Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Types.Unique

Contents

Main data types
Constructors, destructors and operations on Uniques
Local uniques

Synopsis

newtype Unique
class Uniquable
value uNIQUE_BITS
value hasKey
value pprUniqueAlways
value mkTag
value mkUniqueGrimily
value mkUniqueIntGrimily
value getKey
value mkUnique
value unpkUnique
value mkUniqueInt
value eqUnique
value ltUnique
value incrUnique
value stepUnique
value newTagUnique
value nonDetCmpUnique
value isValidKnownKeyUnique
value mkLocalUnique
value minLocalUnique
value maxLocalUnique

Packageghc-lib-parser-9.14.1.20251220
Exports22
LanguageGHC2021
LicenceBSD-3-Clause
SourceUnique.hs

Main data types

newtypenewtype 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.

Instances4Eq, Show, Uniquable, Outputable

Eq UniqueDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique
Show UniqueDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique
Uniquable UniqueDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique
Outputable UniqueDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique

classclass Uniquable a where

Source#

Class of things that we can obtain a Unique from

Methods

getUnique :: a -> Unique

Instances33Uniquable, …

Uniquable IntDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique
Uniquable Word64Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique
Uniquable LabelDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Cmm.Dataflow.Label
Uniquable LocalRegDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Cmm.Reg
Uniquable ClassDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Class
Uniquable ConLikeDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.ConLike
Uniquable DataConDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.DataCon
Uniquable PatSynDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.PatSyn
Uniquable CoercionHoleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.TyCo.Rep
Uniquable TyConDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.TyCon
Uniquable FastStringDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique
Uniquable IdentDefined in ghc-lib-parser-9.14.1.20251220 · GHC.JS.Ident
Uniquable RealRegDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Platform.Reg
Uniquable RegDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Platform.Reg
Uniquable VirtualRegDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Platform.Reg
Uniquable RegClassDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Platform.Reg.Class
Uniquable EvBindsVarDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Evidence
Uniquable SkolemInfoDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Tc.Types.Origin
Uniquable ConLikeNameDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.GREInfo
Uniquable NameDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Name
Uniquable NameSpaceDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Name.Occurrence
Uniquable UniqueDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique
Uniquable VarDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Var
Uniquable PackageIdDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Unit.Info
Uniquable PackageNameDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Unit.Info
Uniquable WarningCategoryDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Unit.Module.Warnings
Uniquable ModuleDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Unit.Types
Uniquable UnitIdDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Unit.Types
Uniquable FieldLabelStringDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.FieldLabel · orphan
Uniquable ModuleNameDefined in ghc-lib-parser-9.14.1.20251220 · GHC.Types.Unique
Uniquable (CoAxiom br)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Core.Coercion.Axiom
Uniquable unit => Uniquable (Definite unit)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Unit.Types
IsUnitId u => Uniquable (GenUnit u)Defined in ghc-lib-parser-9.14.1.20251220 · GHC.Unit.Types

valueuNIQUE_BITS :: Int

Constructors, destructors and operations on Uniques

valuehasKey :: Uniquable a => a -> Unique -> Bool

valuepprUniqueAlways :: IsLine doc => Unique -> doc

valuemkTag :: Char -> Word64

Source#

Put the character in the highest bits of the Word64. This may truncate the character to 8. This function is used in mkSplitUniqSupply so that it can precompute and share the tag part of the uniques it generates.

valuemkUniqueGrimily :: Word64 -> Unique

valuemkUniqueIntGrimily :: Int -> Unique

valuegetKey :: Unique -> Word64

valuemkUnique :: Char -> Word64 -> Unique

valueunpkUnique :: Unique -> (Char, Word64)

valuemkUniqueInt :: Char -> Int -> Unique

valueeqUnique :: Unique -> Unique -> Bool

valueltUnique :: Unique -> Unique -> Bool

valueincrUnique :: Unique -> Unique

valuestepUnique :: Unique -> Word64 -> Unique

valuenewTagUnique :: Unique -> Char -> Unique

valuenonDetCmpUnique :: Unique -> Unique -> Ordering

valueisValidKnownKeyUnique :: 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].

valuemkLocalUnique :: Word64 -> Unique

valueminLocalUnique :: Unique

valuemaxLocalUnique :: Unique