monadiccp-0.7.6: Constraint Programming

Safe Haskell	Safe-Inferred

Control.Search.GeneratorInfo

Documentation

type TreeState = Value Source

type EvalState = Value Source

space :: Info -> Value Source

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 -> 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 :: [Char] -> 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