Control.Monad.Trans.Memo.Strict

Documentation

newtype MemoT k v m a

Constructors

MemoT

Fields

toStateT :: StateT (Map k v) m a

Instances

(Monad m, Ord k) => MonadMemo k v (MemoT k v m)

(Monad m, Ord k) => MonadCache k v (MemoT k v m)

MonadTrans (MemoT k v)

Monad m => Monad (MemoT k v m)

Functor m => Functor (MemoT k v m)

MonadFix m => MonadFix (MemoT k v m)

MonadPlus m => MonadPlus (MemoT k v m)

(Functor m, Monad m) => Applicative (MemoT k v m)

(Functor m, MonadPlus m) => Alternative (MemoT k v m)

MonadIO m => MonadIO (MemoT k v m)

runMemoT :: MemoT k v m a -> Map k v -> m (a, Map k v)

startRunMemoT :: MemoT k v m a -> m (a, Map k v)

evalMemoT :: Monad m => MemoT k v m a -> Map k v -> m a

startEvalMemoT :: Monad m => MemoT k v m a -> m a

type Memo k v = MemoT k v Identity

runMemo :: Memo k v a -> Map k v -> (a, Map k v)

startRunMemo :: Memo k v a -> (a, Map k v)

evalMemo :: Memo k v a -> Map k v -> a

startEvalMemo :: Memo k v a -> a