Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.Utils.Fresh
Description
A common interface for monads which allow some kind of fresh name generation.
Documentation
class
HasFresh
i a
where
Source
Methods
nextFresh
:: a -> (i, a)
Source
fresh
:: (
HasFresh
i s,
MonadState
s m) => m i
Source
withFresh
:: (
HasFresh
i e,
MonadReader
e m) => (i -> m a) -> m a
Source
Produced by
Haddock
version 2.6.1