Language.Syntactic.Constructs.Monad

Monadic constructs

This module is based on the paper Generic Monadic Constructs for Embedded Languages (Persson et al., IFL 2011 http://www.cse.chalmers.se/~emax/documents/persson2011generic.pdf).

Documentation

data MONAD m sig where

Constructors

Return :: MONAD m (a :-> Full (m a))

Bind :: MONAD m (m a :-> ((a -> m b) :-> Full (m b)))

Then :: MONAD m (m a :-> (m b :-> Full (m b)))

When :: MONAD m (Bool :-> (m () :-> Full (m ())))

Instances

Monad m => Semantic (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

semantics :: MONAD m a -> Semantics a

Monad m => StringTree (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

stringTreeSym :: [Tree String] -> MONAD m a -> Tree String

Monad m => Render (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

renderSym :: MONAD m sig -> String

renderArgs :: [String] -> MONAD m sig -> String

Monad m => Eval (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

evaluate :: MONAD m a -> Denotation a

Monad m => Equality (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

equal :: MONAD m a -> MONAD m b -> Bool

exprHash :: MONAD m a -> Hash

Constrained (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Associated Types

type Sat (MONAD m) :: * -> Constraint

Methods

exprDict :: MONAD m a -> Dict (Sat (MONAD m) (DenResult a))

Monad m => EvalBind (MONAD m)

Defined in Language.Syntactic.Constructs.Binding

Methods

evalBindSym :: (EvalBind dom, ConstrainedBy dom Typeable, Typeable (DenResult sig)) => MONAD m sig -> Args (AST dom) sig -> Reader [(VarId, Dynamic)] (DenResult sig)

(AlphaEq dom dom dom env, Monad m) => AlphaEq (MONAD m) (MONAD m) dom env

Defined in Language.Syntactic.Constructs.Binding

Methods

alphaEqSym :: MONAD m a -> Args (AST dom) a -> MONAD m b -> Args (AST dom) b -> Reader env Bool

type Sat (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

type Sat (MONAD m) = Top

prjMonad :: Project (MONAD m) sup => P m -> sup sig -> Maybe (MONAD m sig)

Projection with explicit monad type