Safe Haskell	None
Language	Haskell2010

Unique

Contents

Main data types
- Constructors, desctructors 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 FastString
Methods getUnique :: FastString -> 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 Unique
Methods getUnique :: Unique -> Unique Source
Uniquable Reg	so we can put regs in UniqSets
Methods getUnique :: Reg -> 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 Var
Methods getUnique :: Var -> 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 CoAxiomRule
Methods getUnique :: CoAxiomRule -> Unique Source
Uniquable LocalReg
Methods getUnique :: LocalReg -> Unique Source
Uniquable EvBindsVar
Methods getUnique :: EvBindsVar -> Unique Source
Uniquable name => Uniquable (AnnTarget name)
Methods getUnique :: AnnTarget name -> Unique Source
Uniquable (CoAxiom br)
Methods getUnique :: CoAxiom br -> Unique Source