MonadLab-0.0.2: Automatically generate layered monads Source code Contents Index

MonadLab.MonadLab

Synopsis

mkMonad :: MonadName -> [Layer] -> Q [Dec] data Layer = Io | List | ErrorT ErrorName TypeQ | StateT StateName TypeQ | EnvT EnvName TypeQ | WriterT WriterName TypeQ | ContT TypeQ | ResT MonadName errorTRec :: String -> String -> Layer stateTRec :: String -> String -> Layer envTRec :: String -> String -> Layer writerTRec :: String -> String -> Layer contTRec :: String -> Layer

Documentation

mkMonad :: MonadName -> [Layer] -> Q [Dec] Source

data Layer Source

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.

errorTRec :: String -> String -> Layer Source

stateTRec :: String -> String -> Layer Source

envTRec :: String -> String -> Layer Source

writerTRec :: String -> String -> Layer Source

contTRec :: String -> Layer Source

Produced by Haddock version 2.4.2