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 #

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