Safe Haskell	Safe-Inferred

Agda.Utils.Fresh

Description

A common interface for monads which allow some kind of fresh name generation.

Documentation

class HasFresh i a whereSource

Methods

fresh :: (HasFresh i s, MonadState s m) => m iSource

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

HasFresh Int FreshThings
HasFresh i FreshThings => HasFresh i TCState
HasFresh NameId FreshThings
HasFresh MetaId FreshThings
HasFresh CtxId FreshThings
HasFresh MutualId FreshThings
HasFresh InteractionId FreshThings
HasFresh ProblemId FreshThings