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

MonadLab.CommonTypes

Synopsis

data Layer = Io | List | ErrorT ErrorName TypeQ | StateT StateName TypeQ | EnvT EnvName TypeQ | WriterT WriterName TypeQ | ContT TypeQ | ResT MonadName type ErrorName = String type StateName = String type EnvName = String type WriterName = String data LayerType = IoLayerType | ListLayerType | StateLayerType | EnvLayerType | ErrorLayerType | WriterLayerType | ContLayerType | ResLayerType layerType :: Layer -> LayerType hasLayerType :: LayerType -> Layer -> Bool type Monad = (MonadTypeCon, ReturnExpQ, BindExpQ, [LayerNPM], LiftExpQ) type MonadName = String type MonadTypeCon = TypeQ -> TypeQ type ReturnExpQ = ExpQ type BindExpQ = ExpQ type LiftExpQ = ExpQ type JoinExpQ = ExpQ type RunExpQ = ExpQ type NonProperMorphismExpQ = ExpQ type MonadTransformer = Monad -> Monad type LayerNPM = (Layer, [NonProperMorphismExpQ]) getTypeCon :: Monad -> MonadTypeCon getReturn :: Monad -> ReturnExpQ getBind :: Monad -> BindExpQ getLayerNPMs :: Monad -> [LayerNPM] getBaseLift :: Monad -> LiftExpQ getJoin :: Monad -> JoinExpQ int :: TypeQ bool :: TypeQ string :: TypeQ composition :: ExpQ arrow :: TypeQ -> TypeQ -> TypeQ

Documentation

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.

type ErrorName = String Source

type StateName = String Source

type EnvName = String Source

type WriterName = String Source

data LayerType Source

Constructors IoLayerType ListLayerType StateLayerType EnvLayerType ErrorLayerType WriterLayerType ContLayerType ResLayerType Instances Eq LayerType

layerType :: Layer -> LayerType Source

hasLayerType :: LayerType -> Layer -> Bool Source

type Monad = (MonadTypeCon, ReturnExpQ, BindExpQ, [LayerNPM], LiftExpQ) Source

The monad type. Each component contains abstract syntax of the Haskell code to implement the monad. Components are (code for the data type, code for the return, code for the bind, code for the non-proper morphisms, code for the monad lifting)

type MonadName = String Source

The name of monad type constructor identifier

type MonadTypeCon = TypeQ -> TypeQ Source

The monad type constructor type.

type ReturnExpQ = ExpQ Source

Code for a monad return

type BindExpQ = ExpQ Source

Code for a monad bind

type LiftExpQ = ExpQ Source

Code for a monad lifting

type JoinExpQ = ExpQ Source

Code for a monad join

type RunExpQ = ExpQ Source

Code for a monad run (evaluation)

type NonProperMorphismExpQ = ExpQ Source

Code for a monad non-proper morphism

type MonadTransformer = Monad -> Monad Source

Monad transformer data type

type LayerNPM = (Layer, [NonProperMorphismExpQ]) Source

Data type to hold a layer's non-proper morphisms

getTypeCon :: Monad -> MonadTypeCon Source

Type constructor accessor

getReturn :: Monad -> ReturnExpQ Source

Return accessor

getBind :: Monad -> BindExpQ Source

Bind accessor

getLayerNPMs :: Monad -> [LayerNPM] Source

Layers accessor

getBaseLift :: Monad -> LiftExpQ Source

Base monad lifting accessor

getJoin :: Monad -> JoinExpQ Source

Join accessor

int :: TypeQ Source

bool :: TypeQ Source

Short hand for [t| Int |], [t| Bool |], and [t| String |]

string :: TypeQ Source

composition :: ExpQ Source

Definition of composition function for use in TH expressions

arrow :: TypeQ -> TypeQ -> TypeQ Source

Convenience function for expressing type t -> t' in TH

Produced by Haddock version 2.4.2