Safe Haskell | None |
---|
Documentation
mmap :: (FMonadT t, MonadInfoT t, Monad m, Monad n, MonadInfo m) => (forall x. m x -> n x) -> t m a -> t n aSource
($==) :: Value -> Value -> ConstraintSource
($/=) :: Value -> Value -> ConstraintSource
($<) :: Value -> Value -> ConstraintSource
($<=) :: Value -> Value -> ConstraintSource
($>) :: Value -> Value -> ConstraintSource
($>=) :: Value -> Value -> ConstraintSource
Eval | |
|
class Monad m => VarInfoM m whereSource
lookupVarInfo :: VarId -> m InfoSource
setVarInfo :: VarId -> Info -> m ()Source
ref_countx :: Info -> [Char] -> ValueSource
commentEval :: Evalable m => Eval m -> Eval mSource
data SearchCombiner Source
forall t1 t2 . (FMonadT t1, FMonadT t2, MonadInfoT t1, MonadInfoT t2) => SearchCombiner | |
buildCombiner :: [Search] -> SearchCombinerSource
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))]Source
memoLoop :: (Functor m, MonadInfo m, MemoM m, HookStatsM m, VarInfoM m, GenModeM m) => Eval m -> Eval mSource
rReaderT :: (Show s, MemoM m) => s -> MemoReaderT s m a -> m aSource
cachedCommit :: Evalable m => Info -> m StatementSource
cachedAbort :: Evalable m => Info -> m StatementSource