tip-lib-0.2.2: tons of inductive problems - support library and tools

Safe HaskellSafe
LanguageHaskell2010

Tip.Writer

Documentation

newtype WriterT w m a Source

Constructors

WriterT 

Fields

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

Instances

(Monoid w, Monad m) => Monad (WriterT w m) Source 
(Monoid w, Monad m) => Functor (WriterT w m) Source 
(Monoid w, Monad m) => Applicative (WriterT w m) Source 

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

tell :: (Monoid w, Monad m) => w -> WriterT w m () Source

lift :: (Monoid w, Monad m) => m a -> WriterT w m a Source

censor :: (Monoid w, Monad m) => (w -> w) -> WriterT w m a -> WriterT w m a Source