ghc-8.2.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

Unique

Contents

Synopsis

Main data types

data Unique Source #

Unique identifier.

The type of unique identifiers that are used in many places in GHC for fast ordering and equality tests. You should generate these with the functions from the UniqSupply module

These are sometimes also referred to as "keys" in comments in GHC.

Instances

class Uniquable a where Source #

Class of things that we can obtain a Unique from

Minimal complete definition

getUnique

Methods

getUnique :: a -> Unique Source #

Instances

Uniquable Int Source # 

Methods

getUnique :: Int -> Unique Source #

Uniquable Name Source # 
Uniquable OccName Source # 
Uniquable TyCon Source # 
Uniquable FastString Source # 
Uniquable ComponentId Source # 
Uniquable InstalledUnitId Source # 
Uniquable UnitId Source # 
Uniquable ModuleName Source # 
Uniquable Module Source # 
Uniquable Unique Source # 
Uniquable RegClass Source # 
Uniquable Reg Source #

so we can put regs in UniqSets

Methods

getUnique :: Reg -> Unique Source #

Uniquable Reg Source # 

Methods

getUnique :: Reg -> Unique Source #

Uniquable RealReg Source # 
Uniquable VirtualReg Source # 
Uniquable PackageName Source # 
Uniquable SourcePackageId Source # 
Uniquable Var Source # 

Methods

getUnique :: Var -> Unique Source #

Uniquable PatSyn Source # 
Uniquable DataCon Source # 
Uniquable ConLike Source # 
Uniquable CoAxiomRule Source # 
Uniquable Class Source # 
Uniquable LocalReg Source # 
Uniquable EvBindsVar Source # 
Uniquable name => Uniquable (AnnTarget name) Source # 

Methods

getUnique :: AnnTarget name -> Unique Source #

Uniquable (CoAxiom br) Source # 

Methods

getUnique :: CoAxiom br -> Unique Source #

uNIQUE_BITS :: Int Source #

Constructors, destructors and operations on Uniques

hasKey :: Uniquable a => a -> Unique -> Bool Source #

pprUniqueAlways :: Unique -> SDoc Source #

mkUniqueGrimily :: Int -> Unique Source #

getKey :: Unique -> Int Source #

mkUnique :: Char -> Int -> Unique Source #

unpkUnique :: Unique -> (Char, Int) Source #

deriveUnique :: Unique -> Int -> Unique Source #

newTagUnique :: Unique -> Char -> Unique Source #

initTyVarUnique :: Unique Source #

nonDetCmpUnique :: Unique -> Unique -> Ordering Source #

isValidKnownKeyUnique :: Unique -> Bool Source #

The interface file symbol-table encoding assumes that known-key uniques fit in 30-bits; verify this.

See Note [Symbol table representation of names] in BinIface for details.

Making built-in uniques

mkAlphaTyVarUnique :: Int -> Unique Source #

mkPrimOpIdUnique :: Int -> Unique Source #

mkPreludeMiscIdUnique :: Int -> Unique Source #

mkPreludeDataConUnique :: Arity -> Unique Source #

mkPreludeTyConUnique :: Int -> Unique Source #

mkPreludeClassUnique :: Int -> Unique Source #

mkPArrDataConUnique :: 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 uniques

From TyCon name uniques

tyConRepNameUnique :: Unique -> Unique Source #

From DataCon name uniques

dataConWorkerUnique :: Unique -> Unique Source #

dataConRepNameUnique :: Unique -> Unique Source #