Safe Haskell | Safe-Infered |
---|
Agda.Utils.Fresh
Description
A common interface for monads which allow some kind of fresh name generation.
Documentation
fresh :: (HasFresh i s, MonadState s m) => m iSource
withFresh :: (HasFresh i e, MonadReader e m) => (i -> m a) -> m aSource