Unique
Contents
- 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 :: FastString -> Unique
- mkDataOccUnique :: FastString -> Unique
- mkTvOccUnique :: FastString -> Unique
- mkTcOccUnique :: FastString -> Unique
- mkRegSingleUnique :: Int -> Unique
- mkRegPairUnique :: Int -> Unique
- mkRegClassUnique :: Int -> Unique
- mkRegSubUnique :: Int -> Unique
- mkBuiltinUnique :: Int -> Unique
- mkPseudoUniqueC :: Int -> Unique
- mkPseudoUniqueD :: Int -> Unique
- mkPseudoUniqueE :: Int -> Unique
- mkPseudoUniqueH :: 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
Instances
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
mkRegSingleUnique :: Int -> UniqueSource
mkRegPairUnique :: Int -> UniqueSource
mkRegClassUnique :: Int -> UniqueSource
mkRegSubUnique :: Int -> UniqueSource
mkBuiltinUnique :: Int -> UniqueSource
mkPseudoUniqueC :: Int -> UniqueSource
mkPseudoUniqueD :: Int -> UniqueSource
mkPseudoUniqueE :: Int -> UniqueSource
mkPseudoUniqueH :: Int -> UniqueSource