Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Agda.Utils.Memo
- memo :: MonadState s m => Lens' (Maybe a) s -> m a -> m a
- memoRec :: MonadState s m => Lens' (Maybe a) s -> a -> m a -> m a
Documentation
memo :: MonadState s m => Lens' (Maybe a) s -> m a -> m a Source
Simple, non-reentrant memoisation.
memoRec :: MonadState s m => Lens' (Maybe a) s -> a -> m a -> m a Source
Recursive memoisation, second argument is the value you get on recursive calls.