Control.Search.Language

Documentation

spacetype :: GenMode -> [Char]

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

data GenMode

Constructors

ModeUnk

ModeGecode

ModeFZ

ModeMCP

Instances

Eq GenMode

Methods

(==) :: GenMode -> GenMode -> Bool

(/=) :: GenMode -> GenMode -> Bool

data PrettyFlags

Constructors

PrettyFlags

Fields

• genMode :: GenMode

Instances

Eq PrettyFlags

Methods

(==) :: PrettyFlags -> PrettyFlags -> Bool

(/=) :: PrettyFlags -> PrettyFlags -> Bool

renderVar :: PrettyFlags -> Value -> Doc

class Pretty x where

Methods

prettyX :: PrettyFlags -> x -> Doc

pretty :: x -> Doc

Instances

Pretty Statement

Methods

prettyX :: PrettyFlags -> Statement -> Doc

pretty :: Statement -> Doc

Pretty Constraint

Methods

prettyX :: PrettyFlags -> Constraint -> Doc

pretty :: Constraint -> Doc

Pretty Value

Methods

prettyX :: PrettyFlags -> Value -> Doc

pretty :: Value -> Doc

Pretty Type

Methods

prettyX :: PrettyFlags -> Type -> Doc

pretty :: Type -> Doc

Pretty Struct

Methods

prettyX :: PrettyFlags -> Struct -> Doc

pretty :: Struct -> Doc

data Struct

Constructors

Struct String [(Type, String)]

Instances

Eq Struct

Methods

(==) :: Struct -> Struct -> Bool

(/=) :: Struct -> Struct -> Bool

Ord Struct

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

Methods

showsPrec :: Int -> Struct -> ShowS

show :: Struct -> String

showList :: [Struct] -> ShowS

Pretty Struct

Methods

prettyX :: PrettyFlags -> Struct -> Doc

pretty :: Struct -> Doc

data Type

Constructors

Pointer Type

SpaceType

Int

Bool

Union [(Type, String)]

SType Struct

THook String

Instances

Eq Type

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Ord Type

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

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Pretty Type

Methods

prettyX :: PrettyFlags -> Type -> Doc

pretty :: Type -> Doc

data Value

Constructors

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

Instances

Eq Value

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

Num Value

Methods

(+) :: Value -> Value -> Value

(-) :: Value -> Value -> Value

(*) :: Value -> Value -> Value

negate :: Value -> Value

abs :: Value -> Value

signum :: Value -> Value

fromInteger :: Integer -> Value

Ord Value

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

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Simplifiable Value

Methods

simplify :: Value -> Value

Pretty Value

Methods

prettyX :: PrettyFlags -> Value -> Doc

pretty :: Value -> Doc

Eq (Value -> Value -> Value)

Methods

(==) :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Bool

(/=) :: (Value -> Value -> Value) -> (Value -> Value -> Value) -> Bool

Eq (Value -> Value)

Methods

(==) :: (Value -> Value) -> (Value -> Value) -> Bool

(/=) :: (Value -> Value) -> (Value -> Value) -> Bool

Ord (Value -> Value -> Value)

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)

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)

Methods

showsPrec :: Int -> (Value -> Value -> Value) -> ShowS

show :: (Value -> Value -> Value) -> String

showList :: [Value -> Value -> Value] -> ShowS

Show (Value -> Value)

Methods

showsPrec :: Int -> (Value -> Value) -> ShowS

show :: (Value -> Value) -> String

showList :: [Value -> Value] -> ShowS

divValue :: Value -> Value -> Value

true :: Value

false :: Value

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

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

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

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

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

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

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

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

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

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

simplValue :: Value -> Value

data Constraint

Constructors

EqC Value Value

NqC Value Value

LtC Value Value

LqC Value Value

GtC Value Value

GqC Value Value

TrueC

FalseC

Instances

Eq Constraint

Methods

(==) :: Constraint -> Constraint -> Bool

(/=) :: Constraint -> Constraint -> Bool

Ord Constraint

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

Methods

showsPrec :: Int -> Constraint -> ShowS

show :: Constraint -> String

showList :: [Constraint] -> ShowS

Pretty Constraint

Methods

prettyX :: PrettyFlags -> Constraint -> Doc

pretty :: Constraint -> Doc

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

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

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

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

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

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

neg :: Constraint -> Constraint

data Statement

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

Methods

(==) :: Statement -> Statement -> Bool

(/=) :: Statement -> Statement -> Bool

Ord Statement

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

Methods

showsPrec :: Int -> Statement -> ShowS

show :: Statement -> String

showList :: [Statement] -> ShowS

Semigroup Statement

Methods

(<>) :: Statement -> Statement -> Statement

sconcat :: NonEmpty Statement -> Statement

stimes :: Integral b => b -> Statement -> Statement

Monoid Statement

Methods

mempty :: Statement

mappend :: Statement -> Statement -> Statement

mconcat :: [Statement] -> Statement

Simplifiable Statement

Methods

simplify :: Statement -> Statement

Pretty Statement

Methods

prettyX :: PrettyFlags -> Statement -> Doc

pretty :: Statement -> Doc

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

comment :: [Char] -> Statement

dec :: Value -> Statement

inc :: Value -> Statement

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

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

assign :: Value -> Value -> Statement

ifthen :: Value -> Statement -> Statement

seqs :: Foldable t => t Statement -> Statement

simplStmt :: Statement -> Statement

class Simplifiable a where

Minimal complete definition

simplify

Methods

simplify :: a -> a

Instances

Simplifiable Statement

Methods

simplify :: Statement -> Statement

Simplifiable Value

Methods

simplify :: Value -> Value