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

Ord VarId

Show VarId

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

Methods

lookupVarInfo :: VarId -> m Info

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

Instances

(VarInfoM m, FMonadT t) => VarInfoM (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

data Search

Constructors

forall t2 . (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

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

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

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

data SearchCombiner

Constructors

forall t1 t2 . (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 :: (Functor m, MonadInfo m, MemoM m, HookStatsM m, VarInfoM m, GenModeM 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 a => Int -> a -> String

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

mseqs :: Monad m => [m Statement] -> m Statement

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

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

cachedClone :: (Functor m, MonadInfo m, MemoM m, HookStatsM m, VarInfoM m, GenModeM 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