DB
Потом окажется, что проще тупо в ио писать. С имплисит аргументами
Да, наверное) Я шо ты имеешь в виду под имплисит аргументами?
Size: a a a
2020 December 12
KV
расширение XImplicitParams
к
я просто научил SqlT возвращать
Async a вместо a и сделал тайпкласс MonadAsync m с методом wait :: Async a -> m aтак, а зачем
DB
ну про ?param :: Int?
DB
у SqlT нет MonadIO?
А как это поможет?
DB
А, ну так у SqlT есть, а у главного трансформера Application нет.
YS
Хороший вопрос
DB
В смысле?(
YS
У тебя главная монадка как выглядит?
YS
Классический ридерТ ИО?
KV
а как так получилось
Нету в стеке ио видимо
DB
newtype Application a = Application { runApplication :: ReaderT Config (LoggerT 'Timed () (SqlT IO)) a }
deriving (Functor, Applicative, Monad)к
Нету в стеке ио видимо
есть же, там sqlt
DB
Нету в стеке ио видимо
Есть
KV
Ну тогда конечно странно
YS
newtype Application a = Application { runApplication :: ReaderT Config (LoggerT 'Timed () (SqlT IO)) a }
deriving (Functor, Applicative, Monad)Дерайв монадИо?
DB
Дерайв монадИо?
Так а зачем?