Haskell каротаж с DateTimes

Question

Я играл с этим писателем монады каротажного например:

http://monads.haskell.cz/examples/example17.hs

Я использую его в качестве проблемы игрушек, чтобы выяснить, как использовать писатель монады протоколирование. Я пытаюсь изменить программу, чтобы она выводила дату и время с каждой строкой. Мое начальное мышление изменить logMsg вроде этого:

-- add a message to the log 
logMsg :: String -> Writer [Entry]() 
logMsg s = do 
    datetime <- getClockTime 
    tell [Log 1 (datetime ++ " " ++ s)] 

Но это не компилируется. Я думаю, что мне нужно вставить IO. Где? Помогите!

Answer 1

Writer тип псевдоним т WriterT w Identity, так что вы можете создать свой псевдоним с IO внутренней монады вместо Identity, что-то вроде:

type WriterIO = Writer w IO 

И вы можете использовать IO с помощью, например, liftIO, например:

Answer 2

Обычный подход заключается не в использовании IO в самой монашке-писателе, а в том, чтобы возвращать записи журнала, а затем использовать те, которые были возвращены после запуска runWriterT. Вот программа, которая суммирует его аргументы, а также регистрирует каждый из них: https://gist.github.com/zsol/4741625