Control.Monad.Trans.Memo.Map

MemoT as a specialization of MemoStateT with Data.Map as a container

Documentation

type MemoT k v = MemoStateT (Map k v) k v

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

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

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

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)

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

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

startEvalMemo :: Memo k v a -> a