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