GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31
Moduleghc-lib-parser-9.14.1.20251220GHC2021
Unique Supply
A value of type UniqSupply is unique, and it can
supply one distinct Unique. Also, from the supply, one can
also manufacture an arbitrary number of further UniqueSupply values,
which will be distinct from the first and from all others.
Obtain the Unique from this particular UniqSupply
Obtain an infinite list of Unique that can be generated by constant splitting of the supply
Obtain the Unique from this particular UniqSupply, and a new supply
Create a unique supply out of thin air. The "tag" (Char) supplied is mostly cosmetic, making it easier to figure out where a Unique was born. See Note [Uniques and tags].
The payload part of the Uniques allocated from this UniqSupply are
guaranteed distinct wrt all other supplies, regardless of their "tag".
This is achieved by allocating the payload part from
a single source of Uniques, namely genSym, shared across
all UniqSupply's.
Build two UniqSupply from a single one, each of which can supply its own Unique.
Create an infinite list of UniqSupply from a single one
A monad which just gives the ability to obtain Uniques
Monad UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.SupplyFunctor UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.SupplyMonadFix UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.SupplyMonadFail UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.SupplyApplicative UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.SupplyMonadGetUnique UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.DSMMonadUnique UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.SupplyA monad for generating unique identifiers
getUniqueSupplyM :: m UniqSupplyGet a new UniqueSupply
getUniqueM :: m UniqueGet a new unique identifier
getUniquesM :: m [Unique]Get an infinite list of new unique identifiers
MonadUnique CoreMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.MonadMonadUnique SimplMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Opt.Simplify.MonadMonadUnique UniqSMDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique.SupplyRun the UniqSM action, returning the final UniqSupply
Run the UniqSM action, discarding the final UniqSupply