在Writer monad中更改写入的数据

Question

给定Writermonad动作,我想通过将函数映射到monad动作内的写入数据来修改它.

就像是:

retell :: (w -> w') -> Writer w a -> Writer w' a

这样的函数在库中是否已存在？如果没有,怎么定义？

Answer 1

retell f = Writer . second f $ runWriter 

mapWriter图书馆还提供一项功能.所以你可以这样做:

retell = mapWriter . second

该second函数在Control.Arrow,但您可以自己定义一个不太通用的版本,如下所示:

second f (a, b) = (a, f b)