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.

Looking up known-key names

knownUniqueName :: Unique -> Maybe Name

Get the Name associated with a known-key Unique.

Getting the Uniques of Names

Anonymous sums

mkSumTyConUnique :: Arity -> Unique

mkSumDataConUnique :: ConTagZ -> Arity -> Unique

Tuples

Vanilla

mkTupleTyConUnique :: Boxity -> Arity -> Unique

mkTupleDataConUnique :: Boxity -> Arity -> Unique

Constraint

mkCTupleTyConUnique :: Arity -> Unique

mkCTupleDataConUnique :: Arity -> Unique

mkCTupleSelIdUnique :: ConTagZ -> Arity -> Unique

Making built-in uniques

mkAlphaTyVarUnique :: Int -> Unique

mkPrimOpIdUnique :: Int -> Unique

mkPrimOpWrapperUnique :: Int -> Unique

mkPreludeMiscIdUnique :: Int -> Unique

mkPreludeDataConUnique :: Int -> Unique

mkPreludeTyConUnique :: Int -> Unique

mkPreludeClassUnique :: Int -> Unique

mkVarOccUnique :: FastString -> Unique

mkDataOccUnique :: FastString -> Unique

mkTvOccUnique :: FastString -> Unique

mkTcOccUnique :: FastString -> Unique

mkRegSingleUnique :: Int -> Unique

mkRegPairUnique :: Int -> Unique

mkRegClassUnique :: Int -> Unique

mkRegSubUnique :: Int -> Unique

mkCostCentreUnique :: Int -> Unique

mkBuiltinUnique :: Int -> Unique

mkPseudoUniqueE :: Int -> Unique

Deriving uniques

From TyCon name uniques

tyConRepNameUnique :: Unique -> Unique

From DataCon name uniques

dataConWorkerUnique :: Unique -> Unique

dataConTyRepNameUnique :: Unique -> Unique

initExitJoinUnique :: Unique

mkBoxingTyConUnique :: Int -> Unique

boxingDataConUnique :: Unique -> Unique