Safe Haskell	None
Language	Haskell2010

Unique

Contents

Main data types
- Constructors, destructors and operations on Uniques
- Making built-in uniques

Synopsis

Main data types

data Unique Source #

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

Instances

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

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