Вопрос по co-log: а допустим у меня есть такая ф-ция (взял

Question

Вопрос по co-log: а допустим у меня есть такая ф-ция (взял

из примера из репки):
foo :: (WithLog env String m, WithLog env Int m) => m ()
foo = do
logMsg ("whatever" :: String)
logMsg @Int 42
как мне её использовать?
т.е. если
type WithLog env msg m = (MonadReader env m, HasLog env msg m)
я чего-то никак не могу уместить всю эту цепочку в голове

#haskell #programming #russian

0

16.11.2018

2 ответов

21 просмотр

Dmitrii

Вообще, этот пример еще касается и того, как использовать LogAction в кастомной монаде. Подразумевается, что usingLoggerT должен использоваться для игрушечных приложений, а когда есть своя монада с конфигом внутри ReaderT, то надо добавлять LogAction прямо в этот конфиг. Примера с вызовом функции foo не было отчасти из-за того, что библиотека молодая, но отчасти из-за того, что я придумал способ использовать LogAction нормально внутри кастомной монады только сегодня. Тем временем создал пулл-реквест с тем, как использовать co-log с кастомной монадой: * https://github.com/kowainik/co-log/pull/83 Уметь логированные разные типы, конечно, необязательно, можно и просто Message использовать. Но это просто proof-of-concept, что так можно делать без проблем.

0

16.11.2018

Cheese Syrowiecki · Accepted Answer

Cheese Syrowiecki

попробуй вызвать в любом do-блоке

0

16.11.2018

169 похожих чатов

Вопрос по co-log: а допустим у меня есть такая ф-ция (взял

2 ответов

Похожие вопросы