Control.Monad.Ether.Implicit.Writer

See Control.Monad.Ether.Writer.

MonadWriter class

type MonadWriter w = MonadWriter w w

See MonadWriter.

writer :: forall w m a. MonadWriter w m => (a, w) -> m a

See writer.

tell :: forall w m. MonadWriter w m => w -> m ()

See tell.

listen :: forall w m a. MonadWriter w m => m a -> m (a, w)

See listen.

pass :: forall w m a. MonadWriter w m => m (a, w -> w) -> m a

See pass.

listens :: forall w m a b. MonadWriter w m => (w -> b) -> m a -> m (a, b)

See listens.

censor :: forall w m a. MonadWriter w m => (w -> w) -> m a -> m a

See censor.

The Writer monad

type Writer w = Writer w w

See Writer.

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

See runWriter.

execWriter :: Writer w a -> w

See execWriter.

The WriterT monad transformer

type WriterT w = WriterT w w

See WriterT.

writerT :: m (a, w) -> WriterT w m a

See writerT.

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

See runWriterT.

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

See execWriterT.