Safe Haskell	Safe-Inferred

Control.Search.Language

Documentation

spacetype :: GenMode -> [Char]Source

xsspace :: PrettyFlags -> Value -> String -> Doc Source

data GenMode Source

Constructors

ModeUnk
ModeGecode
ModeFZ
ModeMCP

Instances

Eq GenMode

data PrettyFlags Source

Constructors

PrettyFlags
Fields genMode :: GenMode

Instances

Eq PrettyFlags

renderVar :: PrettyFlags -> Value -> Doc Source

class Pretty x whereSource

Methods

prettyX :: PrettyFlags -> x -> Doc Source

pretty :: x -> Doc Source

Instances

Pretty Statement
Pretty Constraint
Pretty Value
Pretty Type
Pretty Struct

data Struct Source

Constructors

Struct String [(Type, String)]

Instances

Eq Struct
Ord Struct
Show Struct
Pretty Struct

data Type Source

Constructors

Pointer Type
SpaceType
Int
Bool
Union [(Type, String)]
SType Struct
THook String

Instances

Eq Type
Ord Type
Show Type
Pretty Type

data Value Source

Instances

Eq Value
Num Value
Ord Value
Show Value
Simplifiable Value
Pretty Value
Eq (Value -> Value -> Value)
Eq (Value -> Value)
Eq (Info -> Value)
Num (Info -> Value)
Ord (Value -> Value -> Value)
Ord (Value -> Value)
Show (Value -> Value -> Value)
Show (Value -> Value)
Show (Info -> Value)

divValue :: Value -> Value -> Value Source

true :: Value Source

false :: Value Source

(&&&) :: Value -> Value -> Value Source

(|||) :: Value -> Value -> Value Source

(@>) :: Value -> Value -> Value Source

(@>=) :: Value -> Value -> Value Source

(@<=) :: Value -> Value -> Value Source

(@==) :: Value -> Value -> Value Source

(@->) :: Value -> String -> Value Source

(@=>) :: Value -> String -> Value Source

(@<) :: Value -> Value -> Value Source

lex :: [Value -> Value -> Value] -> [Value] -> [Value] -> Value Source

simplValue :: Value -> Value Source

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

Eq Constraint
Ord Constraint
Show Constraint
Pretty Constraint

($==) :: Value -> Value -> Constraint Source

($/=) :: Value -> Value -> Constraint Source

($<) :: Value -> Value -> Constraint Source

($<=) :: Value -> Value -> Constraint Source

($>) :: Value -> Value -> Constraint Source

($>=) :: Value -> Value -> Constraint Source

neg :: Constraint -> Constraint Source

data Statement Source

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

Instances

Eq Statement
Ord Statement
Show Statement
Monoid Statement
Simplifiable Statement
Pretty Statement

inliner :: (Statement -> Maybe Statement) -> Statement -> Statement Source

comment :: [Char] -> Statement Source

dec :: Value -> Statement Source

inc :: Value -> Statement Source

(>>>) :: Statement -> Statement -> Statement Source

(<==) :: Value -> Value -> Statement Source

assign :: Value -> Value -> Statement Source

ifthen :: Value -> Statement -> Statement Source

seqs :: [Statement] -> Statement Source

simplStmt :: Statement -> Statement Source

class Simplifiable a whereSource

Methods

simplify :: a -> aSource

Instances

Simplifiable Statement
Simplifiable Value

IVal Int32
BVal Bool
RootSpace
Minus Value Value
Plus Value Value
Mult Value Value
Div Value Value
Mod Value Value
Abs Value
Var String
Ref Value
Deref Value
Clone Value
Field String String
Field' Value String
PField Value String
Lt Value Value
Gq Value Value
Gt Value Value
Eq Value Value
BaseContinue
And Value Value
Or Value Value
Not Value
VHook String
Max Value Value
AVarElem String Value Value
AVarSize String Value
BAVarElem String Value Value
BAVarSize String Value
IVar String Value
MinDom Value
MaxDom Value
Degree Value
WDegree Value
UbRegret Value
LbRegret Value
Median Value
Random
Null
New Struct
Base
Cond Value Value Value
Assigned Value
Dummy Int
MaxVal
MinVal