monadiccp-0.7.7: Constraint Programming

Safe HaskellSafe
LanguageHaskell98

Control.Search.GeneratorInfo

Documentation

type TreeState = Value Source #

type EvalState = Value Source #

space :: Info -> Value Source #

data Info Source #

Constructors

Info 

Fields

Instances

Eq Info Source # 

Methods

(==) :: Info -> Info -> Bool #

(/=) :: Info -> Info -> Bool #

Ord Info Source # 

Methods

compare :: Info -> Info -> Ordering #

(<) :: Info -> Info -> Bool #

(<=) :: Info -> Info -> Bool #

(>) :: Info -> Info -> Bool #

(>=) :: Info -> Info -> Bool #

max :: Info -> Info -> Info #

min :: Info -> Info -> Info #

(@@) :: Ordering -> Ordering -> Ordering Source #

type Field = String Source #

tstate :: Info -> TreeState Source #

tstate_type :: Info -> Type Source #

estate :: Info -> Value Source #

estate_type :: Info -> Type Source #

withCommit :: Info -> (Statement -> Statement) -> Info Source #

onAbort :: Info -> Statement -> Info Source #

onCommit :: Info -> Statement -> Info Source #

onCommit' :: Info -> Statement -> Info Source #

withPath :: Info -> (TreeState -> TreeState) -> Type -> Type -> Info Source #

withBase :: Info -> String -> Info Source #

withClone :: Info -> (Info -> Statement) -> Info Source #

withField :: Info -> (String, Info -> Value) -> Info Source #

resetPath :: Info -> Info Source #

resetCommit :: Info -> Info Source #

shiftCommit :: Info -> Info Source #

resetAbort :: Info -> Info Source #

shiftAbort :: Info -> Info Source #

resetClone :: Info -> Info Source #

resetInfo :: Info -> Info Source #

mkInfo :: String -> Info Source #

info :: Info Source #

newinfo :: Info -> [Char] -> Info Source #

commit :: Info -> Statement Source #

abort :: Info -> Statement Source #

primClone :: Info -> Info -> Statement Source #

cloneIt :: Info -> Info -> Statement Source #