mtl-c-0.1: Very strict CPS'd transformers

Safe HaskellTrustworthy
LanguageHaskell98

Control.Monad.Writer.CPS

Documentation

newtype WriterT w m a Source

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) Source

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

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

type Writer w = WriterT w Identity Source

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

execWriter :: Writer w a -> w Source

module Control.Monad.Writer.Class