Language.Symantic.Lib.Monad

Symantic for Monad.

Class Sym_Monad

class Sym_Monad term where

Methods

return :: Monad m => term a -> term (m a)

(>>=) :: Monad m => term (m a) -> term (a -> m b) -> term (m b) infixl 1

join :: Monad m => term (m (m a)) -> term (m a)

when :: Applicative f => term Bool -> term (f ()) -> term (f ())

(>=>) :: Monad m => term (a -> m b) -> term (b -> m c) -> term (a -> m c) infixr 1

return :: Sym_Monad (UnT term) => Trans term => Monad m => term a -> term (m a)

(>>=) :: Sym_Monad (UnT term) => Trans term => Monad m => term (m a) -> term (a -> m b) -> term (m b) infixl 1

join :: Sym_Monad (UnT term) => Trans term => Monad m => term (m (m a)) -> term (m a)

when :: Sym_Monad (UnT term) => Trans term => Applicative f => term Bool -> term (f ()) -> term (f ())

(>=>) :: Sym_Monad (UnT term) => Trans term => Monad m => term (a -> m b) -> term (b -> m c) -> term (a -> m c) infixr 1

Instances

Sym_Monad Eval

Methods

return :: Monad m => Eval a -> Eval (m a)

(>>=) :: Monad m => Eval (m a) -> Eval (a -> m b) -> Eval (m b)

join :: Monad m => Eval (m (m a)) -> Eval (m a)

when :: Applicative f => Eval Bool -> Eval (f ()) -> Eval (f ())

(>=>) :: Monad m => Eval (a -> m b) -> Eval (b -> m c) -> Eval (a -> m c)

Sym_Monad View

Methods

return :: Monad m => View a -> View (m a)

(>>=) :: Monad m => View (m a) -> View (a -> m b) -> View (m b)

join :: Monad m => View (m (m a)) -> View (m a)

when :: Applicative f => View Bool -> View (f ()) -> View (f ())

(>=>) :: Monad m => View (a -> m b) -> View (b -> m c) -> View (a -> m c)

(Sym_Monad term, Sym_Lambda term) => Sym_Monad (BetaT term)

Methods

return :: Monad m => BetaT term a -> BetaT term (m a)

(>>=) :: Monad m => BetaT term (m a) -> BetaT term (a -> m b) -> BetaT term (m b)

join :: Monad m => BetaT term (m (m a)) -> BetaT term (m a)

when :: Applicative f => BetaT term Bool -> BetaT term (f ()) -> BetaT term (f ())

(>=>) :: Monad m => BetaT term (a -> m b) -> BetaT term (b -> m c) -> BetaT term (a -> m c)

(Sym_Monad r1, Sym_Monad r2) => Sym_Monad (Dup r1 r2)

Methods

return :: Monad m => Dup r1 r2 a -> Dup r1 r2 (m a)

(>>=) :: Monad m => Dup r1 r2 (m a) -> Dup r1 r2 (a -> m b) -> Dup r1 r2 (m b)

join :: Monad m => Dup r1 r2 (m (m a)) -> Dup r1 r2 (m a)

when :: Applicative f => Dup r1 r2 Bool -> Dup r1 r2 (f ()) -> Dup r1 r2 (f ())

(>=>) :: Monad m => Dup r1 r2 (a -> m b) -> Dup r1 r2 (b -> m c) -> Dup r1 r2 (a -> m c)

Types

tyMonad :: Source src => Type src vs m -> Type src vs (Monad m)

m0 :: Source src => LenInj vs => KindInj (K m) => Type src (Proxy m ': vs) m

m1 :: Source src => LenInj vs => KindInj (K m) => Type src (a ': (Proxy m ': vs)) m

m2 :: Source src => LenInj vs => KindInj (K m) => Type src (a ': (b ': (Proxy m ': vs))) m

m3 :: Source src => LenInj vs => KindInj (K m) => Type src (a ': (b ': (c ': (Proxy m ': vs)))) m

Terms

teMonad_return :: TermDef Monad '[Proxy a, Proxy m] (Monad m #> (a -> m a))

teMonad_bind :: TermDef Monad '[Proxy a, Proxy b, Proxy m] (Monad m #> (m a -> (a -> m b) -> m b))

teMonad_join :: TermDef Monad '[Proxy a, Proxy m] (Monad m #> (m (m a) -> m a))

teMonad_kleisli_l2r :: TermDef Monad '[Proxy a, Proxy b, Proxy c, Proxy m] (Monad m #> ((a -> m b) -> (b -> m c) -> a -> m c))

teMonad_when :: TermDef Monad '[Proxy m] (Monad m #> (Bool -> m () -> m ()))

Orphan instances

ClassInstancesFor ((* -> *) -> Constraint) Monad

Methods

proveConstraintFor :: Source src => proxy c -> Type Constraint src vs q -> Maybe (Qual q)

TypeInstancesFor ((* -> *) -> Constraint) Monad

Methods

expandFamFor :: Source src => proxy c -> Len Type vs -> Const kt src fam -> Types src vs ts -> Maybe (Type kt src vs (Fam kt fam ts))

NameTyOf ((* -> *) -> Constraint) Monad

Methods

nameTyOf :: proxy c -> Mod NameTy

isNameTyOp :: proxy c -> Bool

FixityOf ((* -> *) -> Constraint) Monad

Methods

fixityOf :: proxy c -> Maybe Fixity

(Source src, SymInj ((* -> *) -> Constraint) ss Monad) => ModuleFor ((* -> *) -> Constraint) src ss Monad

Methods

moduleFor :: (PathMod, Module ss Monad)

Gram_Term_AtomsFor ((* -> *) -> Constraint) src ss g Monad

Methods

g_term_atomsFor :: [CF Monad (AST_Term ss g)]