|
|
|
|
Synopsis |
|
|
|
Documentation |
|
|
|
|
The Layer data type.
A monad is constructed from a list of layers.
Each layer adds a corresponding set of non-proper
morphisms (npms) for use in the monad. The non-proper morphisms
can be thought of as the interface of the monad or
primitives in the constructed monad "language".
| Constructors | Io | The Io layer.
Adds an npm for IO operations.
| List | The List layer.
Adds an npm for expressing nondeterministic computation.
| ErrorT ErrorName TypeQ | The Error (or Exception) layer.
Adds npms for exception throwing/handling.
| StateT StateName TypeQ | The State layer.
Adds npms for the manipulation of a mutable state.
| EnvT EnvName TypeQ | The Environment layer.
Adds npms for reading/pre-setting an immutable environment.
| WriterT WriterName TypeQ | The Writer layer.
Adds npms for the production/manipulation of sequenced output.
| ContT TypeQ | The Continuation layer.
f no List layer is included in the li , then the corresponding Layer transformers are composed Adds an npm for accessing current continuation to facilate
continuation passing style programming.
| ResT MonadName | The Resumption layer.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |