| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||
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 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
mkBuiltinUnique :: Int -> Unique | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
mkPseudoUniqueC :: Int -> Unique | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
mkPseudoUniqueD :: Int -> Unique | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
mkPseudoUniqueE :: Int -> Unique | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
mkPseudoUniqueH :: Int -> Unique | |||||||||||||||||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 2.6.1 |