Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Utils.Fresh
Description
A common interface for monads which allow some kind of fresh name generation.
Documentation
class HasFresh i a whereSource
Methods
nextFresh :: a -> (i, a)Source
show/hide Instances
fresh :: (HasFresh i s, MonadState s m) => m iSource
withFresh :: (HasFresh i e, MonadReader e m) => (i -> m a) -> m aSource
Produced by Haddock version 2.4.2