MK
Зачем
Size: a a a
2020 May 04
MK
Звучит как GND
MK
Не?
AV
Нет
AV
newtype Coerced a b = Coerced a
instance (Coercable a b, Foo a) => Foo (Coerced a b) where
..
newtype MyX = ...
deriving Foo via Coerced MyX
AV
Ну на самом деле там может быть что-то сильно newtyp-ов
AV
И в общем случае я не должен делать инстанс для базового типа
AV
На самом деле надо придумать, как мне быть, я не хочу делать инстансы для базовых типов, но развешить просто делать инстансы для обёрток
AV
Не делаешь обёртку - страдай с другим API
AV
а что лучше попросить пользователя дать в функицю getter/lens или функцию? Кажется, что функцию, т.к. getter/lens всегда можно в неё превратить добавив view/(^.)/(^?) в зависимости от необходимости?
JS
ХОРОШИЕ СОВЕТЫ!
лучше брать текущую, а не дефолтную
AV
Но совет выше это не делал
JS
А первый раз передаётся т.к. в структуре констранты названий дней и месяцев
да, потому что она рекурсивная. это отвратительно
AV
Она не рекурсивная
AV
Или я что-то в этом мире не понимаю
AV
А не дефолтную, а системную можно получить например через system-locale, но это такое
JS
Но совет выше это не делал
исправляюсь
do System.Locale.TimeLocale{..} <- currentLocale
t <- getCurrentTime
pure $ formatTime Data.Time.TimeLocale{..} "%x" tJS
Она не рекурсивная
забыл, как это называется, по сути там есть макросы типа спецификатор
%x=dateFmt, которое может тоже содержать спецификаторы, которые надо раскрыватьJS
А не дефолтную, а системную можно получить например через system-locale, но это такое
system-locale тормозит в развитии, я current-locale взял
AV
инетерсно а зачем current-locale и system-locale существуют