ghc-9.4.1: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.Builtin.Names

Synopsis

Documentation

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

Uniquable Unique Source # 
Instance details

Defined in GHC.Types.Unique

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

Uniquable LocalReg Source # 
Instance details

Defined in GHC.Cmm.Expr

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

Uniquable CoAxiomRule Source # 
Instance details

Defined in GHC.Core.Coercion.Axiom

Uniquable ConLike Source # 
Instance details

Defined in GHC.Core.ConLike

Uniquable DataCon Source # 
Instance details

Defined in GHC.Core.DataCon

Uniquable PatSyn Source # 
Instance details

Defined in GHC.Core.PatSyn

Uniquable CoercionHole Source # 
Instance details

Defined in GHC.Core.TyCo.Rep

Uniquable TyCon Source # 
Instance details

Defined in GHC.Core.TyCon

Uniquable FastString Source # 
Instance details

Defined in GHC.Types.Unique

Uniquable RealReg Source # 
Instance details

Defined in GHC.Platform.Reg

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

Uniquable RegClass Source # 
Instance details

Defined in GHC.Platform.Reg.Class

Uniquable EvBindsVar Source # 
Instance details

Defined in GHC.Tc.Types.Evidence

Uniquable SkolemInfo Source # 
Instance details

Defined in GHC.Tc.Types.Origin

Uniquable Name Source # 
Instance details

Defined in GHC.Types.Name

Uniquable OccName Source # 
Instance details

Defined in GHC.Types.Name.Occurrence

Uniquable Unique Source # 
Instance details

Defined in GHC.Types.Unique

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

Uniquable PackageName Source # 
Instance details

Defined in GHC.Unit.Info

Uniquable ModuleName Source # 
Instance details

Defined in GHC.Unit.Module.Name

Uniquable Module Source # 
Instance details

Defined in GHC.Unit.Types

Uniquable UnitId Source # 
Instance details

Defined in GHC.Unit.Types

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

pretendNameIsInScope :: Name -> Bool Source #

Should this name be considered in-scope, even though it technically isn't?

This ensures that we don't filter out information because, e.g., Data.Kind.Type isn't imported.

See Note [pretendNameIsInScope].