tip-lib-0.2.2: tons of inductive problems - support library and tools
Tip.Writer
newtype WriterT w m a Source
Constructors
Fields
Instances
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