Conditional expressions
- data Condition ctx a where
- conditionCtx :: (Sat ctx (Internal a), Syntactic a dom, (Condition ctx) :<: dom) => Proxy ctx -> ASTF dom Bool -> a -> a -> a
- condition :: ((Condition Poly) :<: dom, Syntactic a dom) => ASTF dom Bool -> a -> a -> a
- prjCondition :: (Condition ctx) :<: sup => Proxy ctx -> sup a -> Maybe (Condition ctx a)
Documentation
data Condition ctx a whereSource
WitnessSat (Condition ctx) | |
WitnessCons (Condition ctx) | |
ExprEq (Condition ctx) | |
ToTree (Condition ctx) | |
Render (Condition ctx) | |
Eval (Condition ctx) | |
IsSymbol (Condition ctx) | |
((Condition ctx') :<: dom, PartialEval dom ctx dom) => PartialEval (Condition ctx') ctx dom |
conditionCtx :: (Sat ctx (Internal a), Syntactic a dom, (Condition ctx) :<: dom) => Proxy ctx -> ASTF dom Bool -> a -> a -> aSource
Conditional expression with explicit context