Agda-2.5.1.2: A dependently typed functional programming language and proof assistant

Safe HaskellSafe
LanguageHaskell98

Agda.Utils.Memo

Synopsis

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.