Writerモナド

なので、Stringに限らずモノイドのインスタンスであればなんでも良い感じに扱える

MaybeがJustかNothingかの文脈を持ち回るように、Writerモナドではログの文字列を持ち回り、ログをするタイミングで今まで持っていたログに追記して持ち回る感じ

型の定義

code:hs

newtype Writer w a = Writer { runWriter :: (a, w) }

定義

code:hs

instance (Monoid w) => Monad (Writer w) where

return x = Writer (x, mempty)

(Writer (x, v)) >>= f = let (Writer (y, v')) = f x

in Writer (y, v <> v')

methods

tell :: MonadWriter w m => w -> m ()

writer :: MonadWriter w m => (a, w) -> m a

普通のタプルからWriter型を作成する

関数

runWriter :: Writer w a -> (a, w)

Writer型の中身のタプルを返す

code:hs

import Control.Monad.Writer

main = do

print $ runWriter $ do -- 初期値はいらない

tell "a"

tell "b"

tell "c"

return ()

-- ((),"abc")

execWriter :: Writer w a -> w

状態だけを返す

動く用いた具体例

code:hs

import Control.Monad.Writer

multWithLog = do

a <- logNum 3

b <- logNum 5

return $ a * b

-- > runWriter multWithLog

用途

ログを取るとか

注意

Writerモナド内のモノイドの連結が左結合にならないように注意する

追記するだけで途中で読むことはできない？

参考