Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Builtin.Uniques

This is where we define a mapping from Uniques to their associated known-key Names for things associated with tuples and sums. We use this mapping while deserializing known-key Names in interface file symbol tables, which are encoded as their Unique. See Note [Symbol table representation of names] for details.

38 values

Packageghc-lib-parser-9.14.1.20251220
Exports38
LanguageGHC2021
LicenceBSD-3-Clause
SourceUniques.hs

Looking up known-key names

1 declaration

valueknownUniqueName :: Unique -> Maybe Name

Get the Name associated with a known-key Unique.

Getting the Uniques of Names

0 declarations

Anonymous sums

valuemkSumTyConUnique :: Arity -> Unique

valuemkSumDataConUnique :: ConTagZ -> Arity -> Unique

valueisSumTyConUnique :: Unique -> Maybe Arity

Inverse of mkSumTyConUnique

Tuples

Vanilla

valuemkTupleTyConUnique :: Boxity -> Arity -> Unique

valuemkTupleDataConUnique :: Boxity -> Arity -> Unique

valueisTupleTyConUnique :: Unique -> Maybe (Boxity, Arity)

Inverse of mkTupleTyConUnique

valueisTupleDataConLikeUnique :: Unique -> Maybe (Boxity, Arity)

Inverse of mkTupleTyDataUnique that also matches the worker and promoted tycon.

Constraint

valuemkCTupleTyConUnique :: Arity -> Unique

valuemkCTupleDataConUnique :: Arity -> Unique

valuemkCTupleSelIdUnique :: ConTagZ -> Arity -> Unique

valueisCTupleTyConUnique :: Unique -> Maybe Arity

Inverse of mkCTupleTyConUnique

Making built-in uniques

valuemkAlphaTyVarUnique :: Int -> Unique

valuemkPrimOpIdUnique :: Int -> Unique

valuemkPrimOpWrapperUnique :: Int -> Unique

valuemkPreludeMiscIdUnique :: Int -> Unique

valuemkPreludeDataConUnique :: Int -> Unique

valuemkPreludeTyConUnique :: Int -> Unique

valuemkPreludeClassUnique :: Int -> Unique

valuemkRegSingleUnique :: Int -> Unique

valuemkRegPairUnique :: Int -> Unique

valuemkRegClassUnique :: Int -> Unique

valuemkRegSubUnique :: Int -> Unique

valuemkCostCentreUnique :: Int -> Unique

valuevarNSUnique :: Unique

valuedataNSUnique :: Unique

valuetvNSUnique :: Unique

valuetcNSUnique :: Unique

valuemkFldNSUnique :: FastString -> Unique

valueisFldNSUnique :: Unique -> Bool

valuemkBuiltinUnique :: Int -> Unique

valuemkPseudoUniqueE :: Int -> Unique

Deriving uniques

From TyCon name uniques

valuetyConRepNameUnique :: Unique -> Unique

From DataCon name uniques

valuedataConWorkerUnique :: Unique -> Unique

valuedataConTyRepNameUnique :: Unique -> Unique

valueinitExitJoinUnique :: Unique

valuemkBoxingTyConUnique :: Int -> Unique

valueboxingDataConUnique :: Unique -> Unique