Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type MonadWriter w = MonadWriter w w
- writer :: forall w m a. MonadWriter w m => (a, w) -> m a
- tell :: forall w m. MonadWriter w m => w -> m ()
- listen :: forall w m a. MonadWriter w m => m a -> m (a, w)
- pass :: forall w m a. MonadWriter w m => m (a, w -> w) -> m a
- listens :: forall w m a b. MonadWriter w m => (w -> b) -> m a -> m (a, b)
- censor :: forall w m a. MonadWriter w m => (w -> w) -> m a -> m a
- type Writer w = Writer w w
- runWriter :: Writer w a -> (a, w)
- execWriter :: Writer w a -> w
- type WriterT w = WriterT w w
- writerT :: m (a, w) -> WriterT w m a
- runWriterT :: WriterT w m a -> m (a, w)
- execWriterT :: Monad m => WriterT w m a -> m w
MonadWriter class
type MonadWriter w = MonadWriter w w Source #
See MonadWriter
.
writer :: forall w m a. MonadWriter w m => (a, w) -> m a Source #
See writer
.
tell :: forall w m. MonadWriter w m => w -> m () Source #
See tell
.
listen :: forall w m a. MonadWriter w m => m a -> m (a, w) Source #
See listen
.
pass :: forall w m a. MonadWriter w m => m (a, w -> w) -> m a Source #
See pass
.
listens :: forall w m a b. MonadWriter w m => (w -> b) -> m a -> m (a, b) Source #
See listens
.
censor :: forall w m a. MonadWriter w m => (w -> w) -> m a -> m a Source #
See censor
.
The Writer monad
execWriter :: Writer w a -> w Source #
See execWriter
.
The WriterT monad transformer
runWriterT :: WriterT w m a -> m (a, w) Source #
See runWriterT
.
execWriterT :: Monad m => WriterT w m a -> m w Source #
See execWriterT
.