Safe Haskell	None
Language	Haskell2010

Unique

Contents

Main data types

Synopsis

data Unique
class Uniquable a where
- getUnique :: a -> Unique
uNIQUE_BITS :: Int
hasKey :: Uniquable a => a -> Unique -> Bool
pprUniqueAlways :: Unique -> SDoc
mkUniqueGrimily :: Int -> Unique
getKey :: Unique -> Int
mkUnique :: Char -> Int -> Unique
unpkUnique :: Unique -> (Char, Int)
eqUnique :: Unique -> Unique -> Bool
ltUnique :: Unique -> Unique -> Bool
deriveUnique :: Unique -> Int -> Unique
newTagUnique :: Unique -> Char -> Unique
initTyVarUnique :: Unique
initExitJoinUnique :: Unique
nonDetCmpUnique :: Unique -> Unique -> Ordering
isValidKnownKeyUnique :: Unique -> Bool
mkAlphaTyVarUnique :: Int -> Unique
mkPrimOpIdUnique :: Int -> Unique
mkPreludeMiscIdUnique :: Int -> Unique
mkPreludeDataConUnique :: Arity -> Unique
mkPreludeTyConUnique :: Int -> Unique
mkPreludeClassUnique :: Int -> Unique
mkCoVarUnique :: Int -> Unique
mkVarOccUnique :: FastString -> Unique
mkDataOccUnique :: FastString -> Unique
mkTvOccUnique :: FastString -> Unique
mkTcOccUnique :: FastString -> Unique
mkRegSingleUnique :: Int -> Unique
mkRegPairUnique :: Int -> Unique
mkRegClassUnique :: Int -> Unique
mkRegSubUnique :: Int -> Unique
mkCostCentreUnique :: Int -> Unique
mkBuiltinUnique :: Int -> Unique
mkPseudoUniqueD :: Int -> Unique
mkPseudoUniqueE :: Int -> Unique
mkPseudoUniqueH :: Int -> Unique
tyConRepNameUnique :: Unique -> Unique
dataConWorkerUnique :: Unique -> Unique
dataConTyRepNameUnique :: Unique -> Unique

Main data types

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

Instances

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

class Uniquable a where Source #

Class of things that we can obtain a Unique from

Methods

getUnique :: a -> Unique Source #

Instances

Uniquable Int Source #
Instance details Defined in Unique Methods getUnique :: Int -> Unique Source #
Uniquable Name Source #
Instance details Defined in Name Methods getUnique :: Name -> Unique Source #
Uniquable OccName Source #
Instance details Defined in OccName Methods getUnique :: OccName -> Unique Source #
Uniquable TyCon Source #
Instance details Defined in TyCon Methods getUnique :: TyCon -> Unique Source #
Uniquable FastString Source #
Instance details Defined in Unique Methods getUnique :: FastString -> Unique Source #
Uniquable ComponentId Source #
Instance details Defined in Module Methods getUnique :: ComponentId -> Unique Source #
Uniquable InstalledUnitId Source #
Instance details Defined in Module Methods getUnique :: InstalledUnitId -> Unique Source #
Uniquable UnitId Source #
Instance details Defined in Module Methods getUnique :: UnitId -> Unique Source #
Uniquable ModuleName Source #
Instance details Defined in Module Methods getUnique :: ModuleName -> Unique Source #
Uniquable Module Source #
Instance details Defined in Module Methods getUnique :: Module -> Unique Source #
Uniquable Unique Source #
Instance details Defined in Unique Methods getUnique :: Unique -> Unique Source #
Uniquable RegClass Source #
Instance details Defined in RegClass Methods getUnique :: RegClass -> Unique Source #
Uniquable Reg Source #	so we can put regs in UniqSets
Instance details Defined in RegAlloc.Graph.ArchBase Methods getUnique :: Reg -> Unique Source #
Uniquable Reg Source #
Instance details Defined in Reg Methods getUnique :: Reg -> Unique Source #
Uniquable RealReg Source #
Instance details Defined in Reg Methods getUnique :: RealReg -> Unique Source #
Uniquable VirtualReg Source #
Instance details Defined in Reg Methods getUnique :: VirtualReg -> Unique Source #
Uniquable PackageName Source #
Instance details Defined in PackageConfig Methods getUnique :: PackageName -> Unique Source #
Uniquable SourcePackageId Source #
Instance details Defined in PackageConfig Methods getUnique :: SourcePackageId -> Unique Source #
Uniquable Var Source #
Instance details Defined in Var Methods getUnique :: Var -> Unique Source #
Uniquable PatSyn Source #
Instance details Defined in PatSyn Methods getUnique :: PatSyn -> Unique Source #
Uniquable DataCon Source #
Instance details Defined in DataCon Methods getUnique :: DataCon -> Unique Source #
Uniquable ConLike Source #
Instance details Defined in ConLike Methods getUnique :: ConLike -> Unique Source #
Uniquable CoAxiomRule Source #
Instance details Defined in CoAxiom Methods getUnique :: CoAxiomRule -> Unique Source #
Uniquable Class Source #
Instance details Defined in Class Methods getUnique :: Class -> Unique Source #
Uniquable Label Source #
Instance details Defined in Hoopl.Label Methods getUnique :: Label -> Unique Source #
Uniquable LocalReg Source #
Instance details Defined in CmmExpr Methods getUnique :: LocalReg -> Unique Source #
Uniquable EvBindsVar Source #
Instance details Defined in TcEvidence Methods getUnique :: EvBindsVar -> Unique Source #
Uniquable name => Uniquable (AnnTarget name) Source #
Instance details Defined in Annotations Methods getUnique :: AnnTarget name -> Unique Source #
Uniquable (CoAxiom br) Source #
Instance details Defined in CoAxiom Methods getUnique :: CoAxiom br -> Unique Source #