Documentation

newtype MemoReaderT r m a Source

memoReaderT :: MemoM m => (e -> Int -> m a) -> MemoReaderT e m aSource

deMemoReaderT :: MemoM m => e -> Int -> MemoReaderT e m a -> m aSource

runMemoReaderT :: (MemoM m, Show s) => s -> MemoReaderT s m a -> m aSource

modelMemoReaderT :: (Show s, MemoM m) => Model (ReaderOp s) (MemoReaderT s m)Source