Safe Haskell | None |
---|
Conditional expressions
Documentation
data Condition ctx a whereSource
MaybeWitnessSat ctx1 (Condition ctx2) | |
MaybeWitnessSat ctx (Condition ctx) | |
WitnessSat (Condition ctx) | |
WitnessCons (Condition ctx) | |
ExprEq (Condition ctx) | |
ToTree (Condition ctx) | |
Render (Condition ctx) | |
Eval (Condition ctx) | |
Semantic (Condition ctx) | |
EvalBind (Condition ctx) | |
(:<: (Condition ctx') dom, :<: (Lambda ctx) dom, :<: (Variable ctx) dom, AlphaEq dom dom dom [(VarId, VarId)], Optimize dom ctx dom) => Optimize (Condition ctx') ctx dom | |
AlphaEq dom dom dom env => AlphaEq (Condition ctx) (Condition ctx) dom env |