Control.Monad.Trans.Memo.State (original) (raw)

Control.Monad.Trans.Memo.State

Contents

• MemoStateT monad transformer
• MemoState monad
• Internal

Synopsis

• type MemoStateT s k v = StateCache (Container s)
• runMemoStateT :: Monad m => MemoStateT s k v m a -> s -> m (a, s)
• evalMemoStateT :: Monad m => MemoStateT c k v m a -> c -> m a
• type MemoState c k v = MemoStateT c k v Identity
• runMemoState :: MemoState c k v a -> c -> (a, c)
• evalMemoState :: MemoState c k v a -> c -> a
• newtype Container s = Container {
  • toState :: s
    }