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