Safe Haskell | None |
---|
Documentation
data Construct ctx a whereSource
MaybeWitnessSat ctx1 (Construct ctx2) | |
MaybeWitnessSat ctx (Construct ctx) | |
WitnessSat (Construct ctx) | |
WitnessCons (Construct ctx) | |
ExprEq (Construct ctx) | |
ToTree (Construct ctx) | |
Render (Construct ctx) | |
Eval (Construct ctx) | |
EvalBind (Construct ctx) | |
(:<: (Construct ctx') dom, Optimize dom ctx dom) => Optimize (Construct ctx') ctx dom | |
AlphaEq dom dom dom env => AlphaEq (Construct ctx) (Construct ctx) dom env |