Control.Monad.Trans.PreciseFresh

The Fresh monad

type Fresh

runFresh

evalFresh

execFresh

The FreshT monad transformer

data FreshT m a

freshT

runFreshT

evalFreshT

execFreshT

Fresh name generation

type FreshState

nothingUsed

freshIdent

freshIdents

scopeFreshness