Control.Search.Memo

Documentation

data MemoKey

Constructors

MemoKey

Fields

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

Instances

Eq MemoKey

Methods

(==) :: MemoKey -> MemoKey -> Bool

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

Ord MemoKey

Methods

compare :: MemoKey -> MemoKey -> Ordering

(<) :: MemoKey -> MemoKey -> Bool

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

(>) :: MemoKey -> MemoKey -> Bool

(>=) :: MemoKey -> MemoKey -> Bool

max :: MemoKey -> MemoKey -> MemoKey

min :: MemoKey -> MemoKey -> MemoKey

data MemoValue

Constructors

MemoValue

Fields

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

data MemoInfo

Constructors

MemoInfo

Fields

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

initMemoInfo :: MemoInfo

newtype MemoT m a

Constructors

MemoT

Fields

• unMemoT :: SStateT MemoInfo m a

Instances

Monad m => MemoM (MemoT m)

Methods

getMemo :: MemoT m MemoInfo

setMemo :: MemoInfo -> MemoT m ()

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

class Monad m => MemoM m where

Minimal complete definition

getMemo, setMemo

Methods

getMemo :: m MemoInfo

setMemo :: MemoInfo -> m ()

Instances

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

Methods

getMemo :: t m MemoInfo

setMemo :: MemoInfo -> t m ()

Monad m => MemoM (MemoT m)

Methods

getMemo :: MemoT m MemoInfo

setMemo :: MemoInfo -> MemoT m ()