Unique

Contents

• Main data types
  • Constructors, desctructors and operations on Uniques
  • Making built-in uniques

Synopsis

• data Unique
• class Uniquable a where
  • getUnique :: a -> Unique
• 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

Constructors, desctructors and operations on Uniques

Making built-in uniques