Safe Haskell	Safe
Language	Haskell98

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 Source #
Methods (==) :: GenMode -> GenMode -> Bool # (/=) :: GenMode -> GenMode -> Bool #

data PrettyFlags Source #

Constructors

PrettyFlags
Fields genMode :: GenMode

Instances

Eq PrettyFlags Source #
Methods (==) :: PrettyFlags -> PrettyFlags -> Bool # (/=) :: PrettyFlags -> PrettyFlags -> Bool #

renderVar :: PrettyFlags -> Value -> Doc Source #

class Pretty x where Source #

Methods

prettyX :: PrettyFlags -> x -> Doc Source #

pretty :: x -> Doc Source #

Instances

Pretty Statement Source #
Methods prettyX :: PrettyFlags -> Statement -> Doc Source # pretty :: Statement -> Doc Source #
Pretty Constraint Source #
Methods prettyX :: PrettyFlags -> Constraint -> Doc Source # pretty :: Constraint -> Doc Source #
Pretty Value Source #
Methods prettyX :: PrettyFlags -> Value -> Doc Source # pretty :: Value -> Doc Source #
Pretty Type Source #
Methods prettyX :: PrettyFlags -> Type -> Doc Source # pretty :: Type -> Doc Source #
Pretty Struct Source #
Methods prettyX :: PrettyFlags -> Struct -> Doc Source # pretty :: Struct -> Doc Source #

data Struct Source #

Constructors

Struct String [(Type, String)]

Instances

Eq Struct Source #
Methods (==) :: Struct -> Struct -> Bool # (/=) :: Struct -> Struct -> Bool #
Ord Struct Source #
Methods compare :: Struct -> Struct -> Ordering # (<) :: Struct -> Struct -> Bool # (<=) :: Struct -> Struct -> Bool # (>) :: Struct -> Struct -> Bool # (>=) :: Struct -> Struct -> Bool # max :: Struct -> Struct -> Struct # min :: Struct -> Struct -> Struct #
Show Struct Source #
Methods showsPrec :: Int -> Struct -> ShowS # show :: Struct -> String # showList :: [Struct] -> ShowS #
Pretty Struct Source #
Methods prettyX :: PrettyFlags -> Struct -> Doc Source # pretty :: Struct -> Doc Source #

data Type Source #

Constructors

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

Instances

Eq Type Source #
Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Ord Type Source #
Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Show Type Source #
Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Pretty Type Source #
Methods prettyX :: PrettyFlags -> Type -> Doc Source # pretty :: Type -> Doc Source #

data Value Source #

Instances

Eq Value Source #
Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Num Value Source #
Methods (+) :: Value -> Value -> Value # (-) :: Value -> Value -> Value # (*) :: Value -> Value -> Value # negate :: Value -> Value # abs :: Value -> Value # signum :: Value -> Value # fromInteger :: Integer -> Value #
Ord Value Source #
Methods compare :: Value -> Value -> Ordering # (<) :: Value -> Value -> Bool # (<=) :: Value -> Value -> Bool # (>) :: Value -> Value -> Bool # (>=) :: Value -> Value -> Bool # max :: Value -> Value -> Value # min :: Value -> Value -> Value #
Show Value Source #
Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Simplifiable Value Source #
Methods simplify :: Value -> Value Source #
Pretty Value Source #
Methods prettyX :: PrettyFlags -> Value -> Doc Source # pretty :: Value -> Doc Source #
Eq (Value -> Value -> Value) Source #
Methods (==) :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Bool # (/=) :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Bool #
Eq (Value -> Value) Source #
Methods (==) :: (Value -> Value) -> (Value -> Value) -> Bool # (/=) :: (Value -> Value) -> (Value -> Value) -> Bool #
Ord (Value -> Value -> Value) Source #
Methods compare :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Ordering # (<) :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Bool # (<=) :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Bool # (>) :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Bool # (>=) :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Bool # max :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Value -> Value -> Value # min :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Value -> Value -> Value #
Ord (Value -> Value) Source #
Methods compare :: (Value -> Value) -> (Value -> Value) -> Ordering # (<) :: (Value -> Value) -> (Value -> Value) -> Bool # (<=) :: (Value -> Value) -> (Value -> Value) -> Bool # (>) :: (Value -> Value) -> (Value -> Value) -> Bool # (>=) :: (Value -> Value) -> (Value -> Value) -> Bool # max :: (Value -> Value) -> (Value -> Value) -> Value -> Value # min :: (Value -> Value) -> (Value -> Value) -> Value -> Value #
Show (Value -> Value -> Value) Source #
Methods showsPrec :: Int -> (Value -> Value -> Value) -> ShowS # show :: (Value -> Value -> Value) -> String # showList :: [Value -> Value -> Value] -> ShowS #
Show (Value -> Value) Source #
Methods showsPrec :: Int -> (Value -> Value) -> ShowS # show :: (Value -> Value) -> String # showList :: [Value -> Value] -> ShowS #

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 Source #
Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Ord Constraint Source #
Methods compare :: Constraint -> Constraint -> Ordering # (<) :: Constraint -> Constraint -> Bool # (<=) :: Constraint -> Constraint -> Bool # (>) :: Constraint -> Constraint -> Bool # (>=) :: Constraint -> Constraint -> Bool # max :: Constraint -> Constraint -> Constraint # min :: Constraint -> Constraint -> Constraint #
Show Constraint Source #
Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #
Pretty Constraint Source #
Methods prettyX :: PrettyFlags -> Constraint -> Doc Source # pretty :: Constraint -> Doc Source #

($==) :: 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 Source #
Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #
Ord Statement Source #
Methods compare :: Statement -> Statement -> Ordering # (<) :: Statement -> Statement -> Bool # (<=) :: Statement -> Statement -> Bool # (>) :: Statement -> Statement -> Bool # (>=) :: Statement -> Statement -> Bool # max :: Statement -> Statement -> Statement # min :: Statement -> Statement -> Statement #
Show Statement Source #
Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #
Semigroup Statement Source #
Methods (<>) :: Statement -> Statement -> Statement # sconcat :: NonEmpty Statement -> Statement # stimes :: Integral b => b -> Statement -> Statement #
Monoid Statement Source #
Methods mempty :: Statement # mappend :: Statement -> Statement -> Statement # mconcat :: [Statement] -> Statement #
Simplifiable Statement Source #
Methods simplify :: Statement -> Statement Source #
Pretty Statement Source #
Methods prettyX :: PrettyFlags -> Statement -> Doc Source # pretty :: Statement -> Doc Source #

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 :: Foldable t => t Statement -> Statement Source #

simplStmt :: Statement -> Statement Source #

class Simplifiable a where Source #

Minimal complete definition

simplify

Methods

simplify :: a -> a Source #

Instances

Simplifiable Statement Source #
Methods simplify :: Statement -> Statement Source #
Simplifiable Value Source #
Methods simplify :: Value -> Value Source #

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