|
Control.Monad.Writer.Lazy | Portability | non-portable (multi-param classes, functional dependencies) | Stability | experimental | Maintainer | libraries@haskell.org |
|
|
|
|
|
Description |
Lazy writer monads.
Inspired by the paper
/Functional Programming with Overloading and
Higher-Order Polymorphism/,
Mark P Jones (http://web.cecs.pdx.edu/~mpj/pubs/springschool.html)
Advanced School of Functional Programming, 1995.
|
|
Synopsis |
|
|
|
|
MonadWriter class
|
|
|
| Methods | | | listen :: m a -> m (a, w) | Source |
| | pass :: m (a, w -> w) -> m a | Source |
|
| | Instances | |
|
|
|
|
|
|
The Writer monad
|
|
|
|
|
|
|
|
|
|
The WriterT monad transformer
|
|
|
Constructors | | Instances | (Monoid w, Monad m) => MonadWriter w (WriterT w m) | (Monoid w, MonadState s m) => MonadState s (WriterT w m) | (Monoid w, MonadReader r m) => MonadReader r (WriterT w m) | (Monoid w, MonadError e m) => MonadError e (WriterT w m) | Monoid w => MonadTrans (WriterT w) | (Monoid w, Monad m) => Monad (WriterT w m) | Functor m => Functor (WriterT w m) | (Monoid w, MonadFix m) => MonadFix (WriterT w m) | (Monoid w, MonadPlus m) => MonadPlus (WriterT w m) | (Monoid w, Applicative m) => Applicative (WriterT w m) | (Monoid w, Alternative m) => Alternative (WriterT w m) | (Monoid w, MonadIO m) => MonadIO (WriterT w m) | (Monoid w, MonadCont m) => MonadCont (WriterT w m) |
|
|
|
|
|
|
|
module Control.Monad |
|
module Control.Monad.Fix |
|
module Control.Monad.Trans |
|
module Data.Monoid |
|
Produced by Haddock version 2.6.0 |