Safe Haskell	None
Language	Haskell98

Control.Search.Memo

Documentation

Constructors

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

Instances

Eq MemoKey Source #
Methods (==) :: MemoKey -> MemoKey -> Bool # (/=) :: MemoKey -> MemoKey -> Bool #
Ord MemoKey Source #
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 #

Constructors

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

Constructors

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

newtype MemoT m a Source #

Constructors

MemoT
Fields unMemoT :: SStateT MemoInfo m a

Instances

Monad m => MemoM (MemoT m) Source #
Methods getMemo :: MemoT m MemoInfo Source # setMemo :: MemoInfo -> MemoT m () Source #

class Monad m => MemoM m where Source #

Minimal complete definition

Methods

Instances

(MemoM m, FMonadT t) => MemoM (t m) Source #
Methods getMemo :: t m MemoInfo Source # setMemo :: MemoInfo -> t m () Source #
Monad m => MemoM (MemoT m) Source #
Methods getMemo :: MemoT m MemoInfo Source # setMemo :: MemoInfo -> MemoT m () Source #