Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
newtype MemoReaderT r m a Source #
MemoReaderT | |
|
memoReaderT :: MemoM m => (e -> Int -> m a) -> MemoReaderT e m a Source #
deMemoReaderT :: MemoM m => e -> Int -> MemoReaderT e m a -> m a Source #
runMemoReaderT :: (MemoM m, Show s) => s -> MemoReaderT s m a -> m a Source #
modelMemoReaderT :: (Show s, MemoM m) => Model (ReaderOp s) (MemoReaderT s m) Source #