Agda.Utils.Memo

valuememo :: MonadState s m => Lens' s (Maybe a) -> m a -> m a

Simple, non-reentrant memoisation.

valuememoRec :: MonadState s m => Lens' s (Maybe a) -> a -> m a -> m a

Recursive memoisation, second argument is the value you get on recursive calls.

valuememoUnsafe :: Ord a => (a -> b) -> a -> b

valuememoUnsafeH :: (Eq a, Hashable a) => (a -> b) -> a -> b