Agda-2.3.2: A dependently typed functional programming language and proof assistant

Safe HaskellSafe-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 iSource

withFresh :: (HasFresh i e, MonadReader e m) => (i -> m a) -> m aSource