| 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 Uniques of Names
Anonymous sums
mkSumTyConUnique :: Arity -> Unique Source #
Tuples
Vanilla
Constraint
mkCTupleTyConUnique :: Arity -> Unique Source #
mkCTupleDataConUnique :: Arity -> Unique Source #
Making built-in uniques
mkAlphaTyVarUnique :: Int -> Unique Source #
mkPrimOpIdUnique :: Int -> Unique Source #
mkPrimOpWrapperUnique :: Int -> Unique Source #
mkPreludeMiscIdUnique :: Int -> Unique Source #
mkPreludeDataConUnique :: Arity -> Unique Source #
mkPreludeTyConUnique :: Int -> Unique Source #
mkPreludeClassUnique :: Int -> Unique Source #
mkCoVarUnique :: Int -> Unique Source #
mkVarOccUnique :: FastString -> Unique Source #
mkDataOccUnique :: FastString -> Unique Source #
mkTvOccUnique :: FastString -> Unique Source #
mkTcOccUnique :: FastString -> Unique Source #
mkRegSingleUnique :: Int -> Unique Source #
mkRegPairUnique :: Int -> Unique Source #
mkRegClassUnique :: Int -> Unique Source #
mkRegSubUnique :: Int -> Unique Source #
mkCostCentreUnique :: Int -> Unique Source #
mkBuiltinUnique :: Int -> Unique Source #
mkPseudoUniqueD :: Int -> Unique Source #
mkPseudoUniqueE :: Int -> Unique Source #
mkPseudoUniqueH :: Int -> Unique Source #
Deriving uniquesc
From TyCon name uniques
tyConRepNameUnique :: Unique -> Unique Source #
From DataCon name uniques
dataConWorkerUnique :: Unique -> Unique Source #