|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".
|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.
|Produced by Haddock version 2.4.2|