Control.Search.Generator

Documentation

(<@>) :: Search -> Search -> Search

mmap :: (FMonadT t, MonadInfoT t, Monad m, Monad n, MonadInfo m) => (forall x. m x -> n x) -> t m a -> t n a

search :: Search -> String

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

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

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

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

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

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

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

newtype VarId

Constructors

VarId Int

Instances

Eq VarId

Methods

(==) :: VarId -> VarId -> Bool

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

Ord VarId

Methods

compare :: VarId -> VarId -> Ordering

(<) :: VarId -> VarId -> Bool

(<=) :: VarId -> VarId -> Bool

(>) :: VarId -> VarId -> Bool

(>=) :: VarId -> VarId -> Bool

max :: VarId -> VarId -> VarId

min :: VarId -> VarId -> VarId

Show VarId

Methods

showsPrec :: Int -> VarId -> ShowS

show :: VarId -> String

showList :: [VarId] -> ShowS

mapE :: (HookStatsM m, HookStatsM n) => (forall x. m x -> n x) -> Eval m -> Eval n

data Eval m

Constructors

Eval

Fields

• structs :: ([Struct], [Struct])
• treeState_ :: [(String, Type, Info -> m Statement)]
• evalState_ :: [(String, Type, Info -> m Value)]
• nextSameH :: Info -> m Statement
• nextDiffH :: Info -> m Statement
• pushLeftH :: Info -> m Statement
• pushRightH :: Info -> m Statement
• bodyH :: Info -> m Statement
• initH :: Info -> m Statement
• addH :: Info -> m Statement
• returnH :: Info -> m Statement
• failH :: Info -> m Statement
• tryH :: Info -> m Statement
• tryLH :: Info -> m Statement
• startTryH :: Info -> m Statement
• intArraysE :: [String]
• boolArraysE :: [String]
• intVarsE :: [String]
• deleteH :: Info -> m Statement
• toString :: String
• canBranch :: m Bool
• complete :: Info -> m Value

inite :: Monad m => [(String, Info -> m Value)] -> Info -> m Statement

seqSwitch :: ReaderM SeqPos m => m a -> m a -> m a

class Monad m => VarInfoM m where

Minimal complete definition

lookupVarInfo, setVarInfo

Methods

lookupVarInfo :: VarId -> m Info

setVarInfo :: VarId -> Info -> m ()

Instances

(VarInfoM m, FMonadT t) => VarInfoM (t m)

Methods

lookupVarInfo :: VarId -> t m Info

setVarInfo :: VarId -> Info -> t m ()

type MkEval m = Evalable m => Eval m -> State Int (Eval m)

class (VarInfoM m, HookStatsM m, MonadInfo m, MemoM m, GenModeM m, Functor m) => Evalable m

Instances

(VarInfoM m, HookStatsM m, MonadInfo m, MemoM m, GenModeM m, Functor m) => Evalable m

data SeqPos

Constructors

OutS

FirstS

SecondS

Instances

Show SeqPos

Methods

showsPrec :: Int -> SeqPos -> ShowS

show :: SeqPos -> String

showList :: [SeqPos] -> ShowS

data Search

Constructors

(FMonadT t2, MonadInfoT t2) => Search

Fields

• mkeval :: forall m t1. (HookStatsM m, MonadInfoT t1, FMonadT t1, Evalable m) => MkEval ((t1 :> t2) m)
• runsearch :: forall m x. Evalable m => t2 m x -> m x

(@.) :: Monad m => m (a -> b) -> m a -> m b

(@$) :: Monad m => (a -> b) -> m a -> m b

(@>>>@) :: Evalable m => m Statement -> m Statement -> m Statement

ref_count :: Info -> Value

ref_countx :: Info -> [Char] -> Value

ref_count_type :: Type

commentEval :: Evalable m => Eval m -> Eval m

(@++@) :: ([a1], [a2]) -> ([a1], [a2]) -> ([a1], [a2])

entry :: Monad m => (String, Type, Value -> Statement) -> (String, Type, Info -> m Statement)

numSwitch :: ReaderM t m => (t -> m b) -> m b

data SearchCombiner

Constructors

(FMonadT t1, FMonadT t2, MonadInfoT t1, MonadInfoT t2) => SearchCombiner

Fields

• runner :: forall m x. Evalable m => (t1 :> t2) m x -> m x
• elems :: [SearchCombinerElem t1 t2]

buildCombiner :: [Search] -> SearchCombiner

extractCombiners :: (Evalable m, FMonadT t', MonadInfoT t', FMonadT t1, MonadInfoT t1, FMonadT t2, MonadInfoT t2) => [SearchCombinerElem t1 t2] -> Eval (t' ((t1 :> t2) m)) -> State Int [Eval (t' ((t1 :> t2) m))]

memo :: Memoable m => String -> Info -> m -> m

memoLoop :: (GenModeM m, MemoM m, MonadInfo m, HookStatsM m, VarInfoM m) => Eval m -> Eval m

rReaderT :: (Show s, MemoM m) => s -> MemoReaderT s m a -> m a

cacheStatement :: Evalable m => String -> Statement -> Info -> m Statement

cloneBase :: Info -> Info

mkCopy :: Info -> String -> Statement

mkUpdate :: Info -> String -> (Value -> Value) -> Statement

rp :: Pretty x => Int -> x -> String

inits :: Evalable m => Eval m -> Info -> m Statement

mseqs :: (Traversable t, Monad m) => t (m Statement) -> m Statement

cachedCommit :: Evalable m => Info -> m Statement

cachedAbort :: Evalable m => Info -> m Statement

cachedClone :: (GenModeM m, MemoM m, MonadInfo m, HookStatsM m, VarInfoM m) => Info -> Info -> m Statement

nextSame :: HookStatsM m => Eval m -> Info -> m Statement

nextDiff :: HookStatsM m => Eval m -> Info -> m Statement

pushLeft :: HookStatsM m => Eval m -> Info -> m Statement

pushRight :: HookStatsM m => Eval m -> Info -> m Statement

bodyE :: HookStatsM m => Eval m -> Info -> m Statement

addE :: HookStatsM m => Eval m -> Info -> m Statement

returnE :: HookStatsM m => Eval m -> Info -> m Statement

initE :: HookStatsM m => Eval m -> Info -> m Statement

failE :: HookStatsM m => Eval m -> Info -> m Statement

tryE :: HookStatsM m => Eval m -> Info -> m Statement

startTryE :: HookStatsM m => Eval m -> Info -> m Statement

tryE_ :: HookStatsM m => Eval m -> Info -> m Statement

deleteE :: HookStatsM m => Eval m -> Info -> m Statement