Control.Monad.Writer.CPS

Documentation

newtype WriterT w m a

Constructors

WriterT

Fields

unWriterT :: forall r. (a -> w -> m r) -> m r

Instances

Monoid w => MonadWriter w (WriterT w m)

Monoid w => MonadTrans (WriterT w)

Monoid w => Monad (WriterT w m)

Functor (WriterT w m)

Monoid w => Applicative (WriterT w m)

runWriterT :: Monad m => WriterT w m a -> m (a, w)

execWriterT :: Monad m => WriterT w m a -> m w

mapWriterT :: (Monad m, Monad n) => (m (a, w) -> n (b, w)) -> WriterT w m a -> WriterT w n b

type Writer w = WriterT w Identity

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

execWriter :: Writer w a -> w