GHC.Types.Unique

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
Instances details
Show Unique Source # 
Instance details

Defined in GHC.Types.Unique

Methods

showsPrec :: Int -> Unique -> ShowS Source #

show :: Unique -> String Source #

showList :: [Unique] -> ShowS Source #

Uniquable Unique Source # 
Instance details

Defined in GHC.Types.Unique

Methods

getUnique :: Unique -> Unique Source #

Outputable Unique Source # 
Instance details

Defined in GHC.Types.Unique

Methods

ppr :: Unique -> SDoc Source #

Eq Unique Source # 
Instance details

Defined in GHC.Types.Unique

Methods

(==) :: Unique -> Unique -> Bool #

(/=) :: Unique -> Unique -> Bool #

class Uniquable a where Source #

Class of things that we can obtain a Unique from

Methods

getUnique :: a -> Unique Source #

Instances
Instances details
Uniquable Label Source # 
Instance details

Defined in GHC.Cmm.Dataflow.Label

Methods

getUnique :: Label -> Unique Source #

Uniquable LocalReg Source # 
Instance details

Defined in GHC.Cmm.Expr

Methods

getUnique :: LocalReg -> Unique Source #

Uniquable Reg Source #

so we can put regs in UniqSets

Instance details

Defined in GHC.CmmToAsm.Reg.Graph.Base

Methods

getUnique :: Reg -> Unique Source #

Uniquable Class Source # 
Instance details

Defined in GHC.Core.Class

Methods

getUnique :: Class -> Unique Source #

Uniquable CoAxiomRule Source # 
Instance details

Defined in GHC.Core.Coercion.Axiom

Methods

getUnique :: CoAxiomRule -> Unique Source #

Uniquable ConLike Source # 
Instance details

Defined in GHC.Core.ConLike

Methods

getUnique :: ConLike -> Unique Source #

Uniquable DataCon Source # 
Instance details

Defined in GHC.Core.DataCon

Methods

getUnique :: DataCon -> Unique Source #

Uniquable PatSyn Source # 
Instance details

Defined in GHC.Core.PatSyn

Methods

getUnique :: PatSyn -> Unique Source #

Uniquable CoercionHole Source # 
Instance details

Defined in GHC.Core.TyCo.Rep

Methods

getUnique :: CoercionHole -> Unique Source #

Uniquable TyCon Source # 
Instance details

Defined in GHC.Core.TyCon

Methods

getUnique :: TyCon -> Unique Source #

Uniquable FastString Source # 
Instance details

Defined in GHC.Types.Unique

Methods

getUnique :: FastString -> Unique Source #

Uniquable RealReg Source # 
Instance details

Defined in GHC.Platform.Reg

Methods

getUnique :: RealReg -> Unique Source #

Uniquable Reg Source # 
Instance details

Defined in GHC.Platform.Reg

Methods

getUnique :: Reg -> Unique Source #

Uniquable VirtualReg Source # 
Instance details

Defined in GHC.Platform.Reg

Methods

getUnique :: VirtualReg -> Unique Source #

Uniquable RegClass Source # 
Instance details

Defined in GHC.Platform.Reg.Class

Methods

getUnique :: RegClass -> Unique Source #

Uniquable EvBindsVar Source # 
Instance details

Defined in GHC.Tc.Types.Evidence

Methods

getUnique :: EvBindsVar -> Unique Source #

Uniquable SkolemInfo Source # 
Instance details

Defined in GHC.Tc.Types.Origin

Methods

getUnique :: SkolemInfo -> Unique Source #

Uniquable Name Source # 
Instance details

Defined in GHC.Types.Name

Methods

getUnique :: Name -> Unique Source #

Uniquable OccName Source # 
Instance details

Defined in GHC.Types.Name.Occurrence

Methods

getUnique :: OccName -> Unique Source #

Uniquable Unique Source # 
Instance details

Defined in GHC.Types.Unique

Methods

getUnique :: Unique -> Unique Source #

Uniquable Var Source # 
Instance details

Defined in GHC.Types.Var

Methods

getUnique :: Var -> Unique Source #

Uniquable PackageId Source # 
Instance details

Defined in GHC.Unit.Info

Methods

getUnique :: PackageId -> Unique Source #

Uniquable PackageName Source # 
Instance details

Defined in GHC.Unit.Info

Methods

getUnique :: PackageName -> Unique Source #

Uniquable ModuleName Source # 
Instance details

Defined in GHC.Unit.Module.Name

Methods

getUnique :: ModuleName -> Unique Source #

Uniquable Module Source # 
Instance details

Defined in GHC.Unit.Types

Methods

getUnique :: Module -> Unique Source #

Uniquable UnitId Source # 
Instance details

Defined in GHC.Unit.Types

Methods

getUnique :: UnitId -> Unique Source #

Uniquable Int Source # 
Instance details

Defined in GHC.Types.Unique

Methods

getUnique :: Int -> Unique Source #

Uniquable (CoAxiom br) Source # 
Instance details

Defined in GHC.Core.Coercion.Axiom

Methods

getUnique :: CoAxiom br -> Unique Source #

Uniquable unit => Uniquable (Definite unit) Source # 
Instance details

Defined in GHC.Unit.Types

Methods

getUnique :: Definite unit -> Unique Source #

IsUnitId u => Uniquable (GenUnit u) Source # 
Instance details

Defined in GHC.Unit.Types

Methods

getUnique :: GenUnit u -> 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 #

eqUnique :: Unique -> Unique -> Bool Source #

ltUnique :: Unique -> Unique -> Bool Source #

incrUnique :: Unique -> Unique Source #

stepUnique :: Unique -> Int -> Unique Source #

newTagUnique :: Unique -> Char -> 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 GHC.Iface.Binary for details.

Local uniques

These are exposed exclusively for use by uniqAway, which has rather peculiar needs. See Note [Local uniques].

mkLocalUnique :: Int -> Unique Source #

minLocalUnique :: Unique Source #

maxLocalUnique :: Unique Source #