Safe Haskell | Safe-Inferred |
---|
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
Safe Haskell | Safe-Inferred |
---|
A common interface for monads which allow some kind of fresh name generation.
fresh :: (HasFresh i s, MonadState s m) => m iSource
withFresh :: (HasFresh i e, MonadReader e m) => (i -> m a) -> m aSource