Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Syntactic.Constructs.Condition
Description
Conditional expressions
Documentation
data Condition sig where Source
Instances
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 |