| |||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||
Main data types | |||||||||||||||||||||||||||||||||||||||||||||||
data Unique | |||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||
class Uniquable a where | |||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||
Constructors, desctructors and operations on Uniques | |||||||||||||||||||||||||||||||||||||||||||||||
hasKey :: Uniquable a => a -> Unique -> Bool | |||||||||||||||||||||||||||||||||||||||||||||||
pprUnique :: Unique -> SDoc | |||||||||||||||||||||||||||||||||||||||||||||||
mkUnique :: Char -> Int -> Unique | |||||||||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||||||||
Making built-in uniques | |||||||||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||||||||
mkPseudoUniqueD :: Int -> Unique | |||||||||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 2.3.0 |