|Portability||non-portable (multi-param classes, functional dependencies)|
Lazy writer monads.
Inspired by the paper
/Functional Programming with Overloading and
Mark P Jones (http://web.cecs.pdx.edu/~mpj/pubs/springschool.html)
Advanced School of Functional Programming, 1995.
|newtype Writer w a |
|execWriter :: Writer w a -> w|
|mapWriter :: ((a, w) -> (b, w')) -> Writer w a -> Writer w' b|
|newtype WriterT w m a |
|execWriterT :: Monad m => WriterT w m a -> m w|
|mapWriterT :: (m (a, w) -> n (b, w')) -> WriterT w m a -> WriterT w' n b|
|Produced by Haddock version 2.3.0|