Language.Syntactic.Features.Condition

Conditional expressions

Documentation

data Condition ctx a where

Constructors

Condition :: Sat ctx a => Condition ctx (Bool :-> (a :-> (a :-> Full a)))

Instances

WitnessSat (Condition ctx)

WitnessCons (Condition ctx)

ExprEq (Condition ctx)

ToTree (Condition ctx)

Render (Condition ctx)

Eval (Condition ctx)

conditionCtx :: (Sat ctx (Internal a), Syntactic a dom, (Condition ctx) :<: dom) => Proxy ctx -> ASTF dom Bool -> a -> a -> a

Conditional expression with explicit context

condition :: ((Condition Poly) :<: dom, Syntactic a dom) => ASTF dom Bool -> a -> a -> a

Conditional expression

prjCondition :: (Condition ctx) :<: sup => Proxy ctx -> sup a -> Maybe (Condition ctx a)

Partial Condition projection with explicit context