Moduleghc-9.14.1GHC2021
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.
Contents
Synopsis
- value knownUniqueName
- value mkSumTyConUnique
- value mkSumDataConUnique
- value isSumTyConUnique
- value mkTupleTyConUnique
- value mkTupleDataConUnique
- value isTupleTyConUnique
- value isTupleDataConLikeUnique
- value mkCTupleTyConUnique
- value mkCTupleDataConUnique
- value mkCTupleSelIdUnique
- value isCTupleTyConUnique
- value mkAlphaTyVarUnique
- value mkPrimOpIdUnique
- value mkPrimOpWrapperUnique
- value mkPreludeMiscIdUnique
- value mkPreludeDataConUnique
- value mkPreludeTyConUnique
- value mkPreludeClassUnique
- value mkRegSingleUnique
- value mkRegPairUnique
- value mkRegClassUnique
- value mkRegSubUnique
- value mkCostCentreUnique
- value varNSUnique
- value dataNSUnique
- value tvNSUnique
- value tcNSUnique
- value mkFldNSUnique
- value isFldNSUnique
- value mkBuiltinUnique
- value mkPseudoUniqueE
- value tyConRepNameUnique
- value dataConWorkerUnique
- value dataConTyRepNameUnique
- value initExitJoinUnique
- value mkBoxingTyConUnique
- value boxingDataConUnique
- Packageghc-9.14.1
- Exports38
- LanguageGHC2021
- LicenceBSD-3-Clause
- SourceUniques.hs
Looking up known-key names
Anonymous sums
Inverse of mkSumTyConUnique
Tuples
Vanilla
Inverse of mkTupleTyConUnique
Inverse of mkTupleTyDataUnique that also matches the worker and promoted tycon.
Constraint
Inverse of mkCTupleTyConUnique