monadiccp-0.7.6: Constraint Programming

Safe HaskellNone

Control.Search.Memo

Documentation

data MemoKey Source

Constructors

MemoKey 

Fields

memoFn :: String
 
memoInfo :: Maybe Info
 
memoStack :: Maybe String
 
memoExtra :: Maybe (Map Int String)
 
memoStatement :: Maybe Statement
 
memoParams :: [String]
 

Instances

data MemoValue Source

Constructors

MemoValue 

Fields

memoId :: Int
 
memoCode :: Statement
 
memoUsed :: Int
 
memoFields :: [(String, String)]
 

data MemoInfo Source

Constructors

MemoInfo 

Fields

memoMap :: Map MemoKey MemoValue
 
memoCount :: Int
 
memoRead :: Map Int String
 

initMemoInfo :: MemoInfoSource

newtype MemoT m a Source

Constructors

MemoT 

Fields

unMemoT :: SStateT MemoInfo m a
 

Instances

Monad m => MemoM (MemoT m) 

runMemoT :: Monad m => MemoT m t -> m (t, [(MemoKey, MemoValue)])Source

class Monad m => MemoM m whereSource

Methods

getMemo :: m MemoInfoSource

setMemo :: MemoInfo -> m ()Source

Instances

(MemoM m, FMonadT t) => MemoM (t m) 
Monad m => MemoM (MemoT m)