Control.Search.GeneratorInfo

Documentation

type TreeState = Value

type EvalState = Value

space :: Info -> Value

data Info

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

Methods

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

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

Ord Info

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

type Field = String

tstate :: Info -> TreeState

tstate_type :: Info -> Type

estate :: Info -> Value

estate_type :: Info -> Type

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

onAbort :: Info -> Statement -> Info

onCommit :: Info -> Statement -> Info

onCommit' :: Info -> Statement -> Info

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

withBase :: Info -> String -> Info

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

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

resetPath :: Info -> Info

resetCommit :: Info -> Info

shiftCommit :: Info -> Info

resetAbort :: Info -> Info

shiftAbort :: Info -> Info

resetClone :: Info -> Info

resetInfo :: Info -> Info

mkInfo :: String -> Info

info :: Info

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

commit :: Info -> Statement

abort :: Info -> Statement

primClone :: Info -> Info -> Statement

cloneIt :: Info -> Info -> Statement