Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
A common interface for monads which allow some kind of fresh name generation.
Documentation
fresh :: (HasFresh i s, MonadState s m) => m i Source
withFresh :: (HasFresh i e, MonadReader e m) => (i -> m a) -> m a Source