YS
Ну ридер поверху в ньютайпе
Ну да, у меня просто поверх ридера свои тайпклассы ещё
data Handle = Handle ...
transaction :: Handle -> Logger.Handle -> (TransactionHandle -> IO a) -> IO a
Size: a a a
2020 May 26
YS
Точнее как
YS
В компоненте приложения - ридер над ио
YS
в других компонентах - свои
YS
Все они потом в приложении через ридерт ио выражаются
AV
Иногда я жалею, что не ввел такие штуки, или хотя бы не следую naming convention
С такими классами бы получилось сделать диспатчинг по принимаемому и возвращаемому значению
LO
в других компонентах - свои
В бизнес логике фри монады, конечно-же
YS
В бизнес логике фри монады, конечно-же
Не, скрин выше - бизнес логика
YS
Там tf)
AV
Это был сарказм/шутка
LO
Не индустриально
YS
Это был сарказм/шутка
не уловил(
AV
Типа, "надо было чтобы были фри монады, иначе харам"
YS
Не индустриально
от слова "индус"?
LO
И имплементация протекает
YS
весь пол залила(
A
ошибки только не надо
Arbitrary называтьYS
ошибки только не надо
Arbitrary называтьУ меня типы есть на ошибки) (конструкторы в адтшке) и пока те ошибки, что я не придумал как-то обобщить - я делаю Arbitrary и сую произвольный текст