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

Instances details

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

Instances details

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