Safe Haskell	None
Language	Haskell2010

Unique

Contents

Main data types

Synopsis

Main data types

data Unique #

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

Eq Unique #
Methods (==) :: Unique -> Unique -> Bool # (/=) :: Unique -> Unique -> Bool #
Show Unique #
Methods showsPrec :: Int -> Unique -> ShowS Source # show :: Unique -> String Source # showList :: [Unique] -> ShowS Source #
Outputable Unique #
Methods ppr :: Unique -> SDoc # pprPrec :: Rational -> Unique -> SDoc #
Uniquable Unique #
Methods getUnique :: Unique -> Unique #

class Uniquable a where #

Class of things that we can obtain a Unique from

Minimal complete definition

getUnique

Methods

getUnique :: a -> Unique #

Instances

Uniquable Int #
Methods getUnique :: Int -> Unique #
Uniquable Name #
Methods getUnique :: Name -> Unique #
Uniquable OccName #
Methods getUnique :: OccName -> Unique #
Uniquable TyCon #
Methods getUnique :: TyCon -> Unique #
Uniquable FastString #
Methods getUnique :: FastString -> Unique #
Uniquable ComponentId #
Methods getUnique :: ComponentId -> Unique #
Uniquable InstalledUnitId #
Methods getUnique :: InstalledUnitId -> Unique #
Uniquable UnitId #
Methods getUnique :: UnitId -> Unique #
Uniquable ModuleName #
Methods getUnique :: ModuleName -> Unique #
Uniquable Module #
Methods getUnique :: Module -> Unique #
Uniquable Unique #
Methods getUnique :: Unique -> Unique #
Uniquable RegClass #
Methods getUnique :: RegClass -> Unique #
Uniquable Reg #	so we can put regs in UniqSets
Methods getUnique :: Reg -> Unique #
Uniquable Reg #
Methods getUnique :: Reg -> Unique #
Uniquable RealReg #
Methods getUnique :: RealReg -> Unique #
Uniquable VirtualReg #
Methods getUnique :: VirtualReg -> Unique #
Uniquable PackageName #
Methods getUnique :: PackageName -> Unique #
Uniquable SourcePackageId #
Methods getUnique :: SourcePackageId -> Unique #
Uniquable Var #
Methods getUnique :: Var -> Unique #
Uniquable PatSyn #
Methods getUnique :: PatSyn -> Unique #
Uniquable DataCon #
Methods getUnique :: DataCon -> Unique #
Uniquable ConLike #
Methods getUnique :: ConLike -> Unique #
Uniquable CoAxiomRule #
Methods getUnique :: CoAxiomRule -> Unique #
Uniquable Class #
Methods getUnique :: Class -> Unique #
Uniquable LocalReg #
Methods getUnique :: LocalReg -> Unique #
Uniquable EvBindsVar #
Methods getUnique :: EvBindsVar -> Unique #
Uniquable name => Uniquable (AnnTarget name) #
Methods getUnique :: AnnTarget name -> Unique #
Uniquable (CoAxiom br) #
Methods getUnique :: CoAxiom br -> Unique #