- data Unique
- class Uniquable a where
- hasKey :: Uniquable a => a -> Unique -> Bool
- pprUnique :: Unique -> SDoc
- mkUniqueGrimily :: Int -> Unique
- getKey :: Unique -> Int
- getKeyFastInt :: Unique -> FastInt
- incrUnique :: Unique -> Unique
- deriveUnique :: Unique -> Int -> Unique
- newTagUnique :: Unique -> Char -> Unique
- initTyVarUnique :: Unique
- isTupleKey :: Unique -> Bool
- mkAlphaTyVarUnique :: Int -> Unique
- mkPrimOpIdUnique :: Int -> Unique
- mkTupleTyConUnique :: Boxity -> Int -> Unique
- mkTupleDataConUnique :: Boxity -> Int -> Unique
- mkPreludeMiscIdUnique :: Int -> Unique
- mkPreludeDataConUnique :: Int -> Unique
- mkPreludeTyConUnique :: Int -> Unique
- mkPreludeClassUnique :: Int -> Unique
- mkPArrDataConUnique :: Int -> Unique
- mkVarOccUnique, mkTcOccUnique, mkTvOccUnique, mkDataOccUnique :: FastString -> Unique
- mkRegSingleUnique, mkRegClassUnique, mkRegSubUnique, mkRegPairUnique :: Int -> Unique
- mkPseudoUniqueC, mkBuiltinUnique, mkPseudoUniqueH, mkPseudoUniqueE, mkPseudoUniqueD :: Int -> Unique
Main data types
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
Class of things that we can obtain a Unique
from
Uniquable Int | |
Uniquable PackageId | |
Uniquable ModuleName | |
Uniquable Module | |
Uniquable OccName | |
Uniquable FastString | |
Uniquable TyCon | |
Uniquable Name | |
Uniquable Unique | |
Uniquable Reg | so we can put regs in UniqSets |
Uniquable Var | |
Uniquable Class | |
Uniquable DataCon | |
Uniquable CoAxiom | |
Uniquable RegClass | |
Uniquable Reg | |
Uniquable RealReg | |
Uniquable VirtualReg | |
Uniquable BlockId | |
Uniquable LocalReg | |
Uniquable Store | |
Uniquable name => Uniquable (AnnTarget name) |
Constructors, desctructors and operations on Unique
s
mkUniqueGrimily :: Int -> UniqueSource
getKeyFastInt :: Unique -> FastIntSource
incrUnique :: Unique -> UniqueSource
deriveUnique :: Unique -> Int -> UniqueSource
newTagUnique :: Unique -> Char -> UniqueSource
isTupleKey :: Unique -> BoolSource
Making built-in uniques
mkPrimOpIdUnique :: Int -> UniqueSource
mkTupleTyConUnique :: Boxity -> Int -> UniqueSource
mkTupleDataConUnique :: Boxity -> Int -> UniqueSource