Safe Haskell | Safe-Inferred |
---|
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 i
withFresh :: (HasFresh i e, MonadReader e m) => (i -> m a) -> m a