monadiccp-0.7.6: Constraint Programming

Safe HaskellSafe-Inferred

Control.Search.GeneratorInfo

Documentation

type TreeState = ValueSource

type EvalState = ValueSource

space :: Info -> ValueSource

data Info Source

Constructors

Info 

Fields

baseTstate :: TreeState
 
path :: TreeState -> TreeState
 
abort_ :: [Statement -> Statement]
 
commit_ :: [Statement -> Statement]
 
old :: Info
 
clone :: Info -> Statement
 
field :: String -> Value
 
stackField :: [(String, String)]
 
treeStateType :: Type
 
evalStateType :: Type
 

Instances

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

(@@) :: Ordering -> Ordering -> OrderingSource

type Field = StringSource

tstate :: Info -> TreeStateSource

tstate_type :: Info -> TypeSource

estate :: Info -> ValueSource

estate_type :: Info -> TypeSource

withCommit :: Info -> (Statement -> Statement) -> InfoSource

onAbort :: Info -> Statement -> InfoSource

onCommit :: Info -> Statement -> InfoSource

onCommit' :: Info -> Statement -> InfoSource

withPath :: Info -> (TreeState -> TreeState) -> Type -> Type -> InfoSource

withBase :: Info -> String -> InfoSource

withClone :: Info -> (Info -> Statement) -> InfoSource

withField :: Info -> (String, Info -> Value) -> InfoSource

resetPath :: Info -> InfoSource

resetCommit :: Info -> InfoSource

shiftCommit :: Info -> InfoSource

resetAbort :: Info -> InfoSource

shiftAbort :: Info -> InfoSource

resetClone :: Info -> InfoSource

resetInfo :: Info -> InfoSource

mkInfo :: [Char] -> InfoSource

info :: InfoSource

newinfo :: Info -> [Char] -> InfoSource

commit :: Info -> StatementSource

abort :: Info -> StatementSource

primClone :: Info -> Info -> StatementSource

cloneIt :: Info -> Info -> StatementSource