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

Вопрос по 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)
я чего-то никак не могу уместить всю эту цепочку в голове

2 ответов

9 просмотров

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

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

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

Обсуждают сегодня

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Я вот подумал. SSE выполняет операции максимум с 64-битной точностью. А FPU - всегда с 80-битной. Разве не должно быть FPU точнее тогда?
The Bird of Hermes
13
как быть с принтером? такой подход прокатит?
zamtmn
12
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Я не понимаю, это троллинг или что? Швабрика поддерживают, который буквально пишет на ассемблере взаимодействия с винапи. Я это ещё написал загрузчик и хоть что-то изучаю в о...
Shadow Akira
6
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Карта сайта