Safe Haskell | None |
---|---|
Language | Haskell2010 |
Conditional expressions
Documentation
data Condition sig where Source
Equality Condition Source | |
StringTree Condition Source | |
Render Condition Source | |
Eval Condition Source | |
Semantic Condition Source | |
Constrained Condition Source | |
EvalBind Condition Source | |
Optimize Condition Source | |
AlphaEq dom dom dom env => AlphaEq Condition Condition dom env Source | |
type Sat Condition = Top Source |