Language.Syntactic.Constructs.Monad

Monadic constructs

Documentation

data MONAD m a 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

MaybeWitnessSat ctx (MONAD m)

WitnessCons (MONAD m)

Monad m => ExprEq (MONAD m)

Monad m => ToTree (MONAD m)

Monad m => Render (MONAD m)

Monad m => Eval (MONAD m)

Monad m => Semantic (MONAD m)

Monad m => EvalBind (MONAD m)

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

prjMonad :: MONAD m :<: sup => Proxy (m ()) -> sup a -> Maybe (MONAD m a)

Projection with explicit monad type