Safe Haskell | Safe-Inferred |
---|
Control.Search.Language
Documentation
renderVar :: PrettyFlags -> Value -> DocSource
Constructors
simplValue :: Value -> ValueSource
data Constraint Source
Constructors
EqC Value Value | |
NqC Value Value | |
LtC Value Value | |
LqC Value Value | |
GtC Value Value | |
GqC Value Value | |
TrueC | |
FalseC |
Instances
($==) :: Value -> Value -> ConstraintSource
($/=) :: Value -> Value -> ConstraintSource
($<) :: Value -> Value -> ConstraintSource
($<=) :: Value -> Value -> ConstraintSource
($>) :: Value -> Value -> ConstraintSource
($>=) :: Value -> Value -> ConstraintSource
neg :: Constraint -> ConstraintSource
Constructors
IfThenElse Value Statement Statement | |
Push Value | |
Skip | |
Seq Statement Statement | |
Assign Value Value | |
Abort | |
Print Value [String] | |
SHook String | |
Post Value Constraint | |
Fold String Value Value Value (Value -> Value) (Value -> Value -> Value) | |
IFold String Value Value Value (Value -> Value) (Value -> Value -> Value) | |
BFold String Value Value Value (Value -> Value) (Value -> Value -> Value) | |
BIFold String Value Value Value (Value -> Value) (Value -> Value -> Value) | |
Delete Value | |
Block Statement Statement | |
DebugOutput String | |
DebugValue String Value |
class Simplifiable a whereSource
Instances