Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
- knownUniqueName :: Unique -> Maybe Name
- mkSumTyConUnique :: Arity -> Unique
- mkSumDataConUnique :: ConTagZ -> Arity -> Unique
- mkTupleTyConUnique :: Boxity -> Arity -> Unique
- mkTupleDataConUnique :: Boxity -> Arity -> Unique
- mkCTupleTyConUnique :: Arity -> Unique
- mkCTupleDataConUnique :: Arity -> Unique
- mkCTupleSelIdUnique :: ConTagZ -> Arity -> Unique
- mkAlphaTyVarUnique :: Int -> Unique
- mkPrimOpIdUnique :: Int -> Unique
- mkPrimOpWrapperUnique :: Int -> Unique
- mkPreludeMiscIdUnique :: Int -> Unique
- mkPreludeDataConUnique :: Arity -> Unique
- mkPreludeTyConUnique :: Int -> Unique
- mkPreludeClassUnique :: Int -> Unique
- mkCoVarUnique :: 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
- mkPseudoUniqueD :: Int -> Unique
- mkPseudoUniqueE :: Int -> Unique
- mkPseudoUniqueH :: Int -> Unique
- tyConRepNameUnique :: Unique -> Unique
- dataConWorkerUnique :: Unique -> Unique
- dataConTyRepNameUnique :: Unique -> Unique
- initTyVarUnique :: Unique
- initExitJoinUnique :: Unique
Looking up known-key names
Getting the Unique
s of Name
s
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 :: Arity -> Unique #
mkPreludeTyConUnique :: Int -> Unique #
mkPreludeClassUnique :: Int -> Unique #
mkCoVarUnique :: 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 #
mkPseudoUniqueD :: Int -> Unique #
mkPseudoUniqueE :: Int -> Unique #
mkPseudoUniqueH :: Int -> Unique #
Deriving uniquesc
From TyCon name uniques
tyConRepNameUnique :: Unique -> Unique #
From DataCon name uniques
dataConWorkerUnique :: Unique -> Unique #
dataConTyRepNameUnique :: Unique -> Unique #