ghc-9.12: The GHC API
Safe HaskellNone
LanguageGHC2021

GHC.Builtin.Uniques

Description

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.

Synopsis

Looking up known-key names

knownUniqueName :: Unique -> Maybe Name Source #

Get the Name associated with a known-key Unique.

Getting the Uniques of Names

Anonymous sums

Tuples

Vanilla

isTupleTyConUnique :: Unique -> Maybe (Boxity, Arity) Source #

This function is an inverse of mkTupleTyConUnique

isTupleDataConLikeUnique :: Unique -> Maybe (Boxity, Arity) Source #

This function is an inverse of mkTupleTyDataUnique that also matches the worker and promoted tycon.

Constraint

Making built-in uniques

Deriving uniques

From TyCon name uniques

From DataCon name uniques