PrelNames
- data Unique
- class Uniquable a where
- hasKey :: Uniquable a => a -> Unique -> Bool
- itName :: Unique -> Name
- mkUnboundName :: RdrName -> Name
- isUnboundName :: Name -> Bool
- basicKnownKeyNames :: [Name]
- genericTyConNames :: [Name]
- pRELUDE :: Module
- gHC_TYPES :: Module
- gHC_BOOL :: Module
- gHC_UNIT :: Module
- gHC_ORDERING :: Module
- gHC_GENERICS :: Module
- gHC_MAGIC :: Module
- gHC_CLASSES :: Module
- gHC_BASE :: Module
- gHC_ENUM :: Module
- gHC_SHOW :: Module
- gHC_READ :: Module
- gHC_NUM :: Module
- gHC_INTEGER :: Module
- gHC_INTEGER_TYPE :: Module
- gHC_LIST :: Module
- gHC_PARR :: Module
- gHC_TUPLE :: Module
- dATA_TUPLE :: Module
- dATA_EITHER :: Module
- dATA_STRING :: Module
- dATA_FOLDABLE :: Module
- dATA_TRAVERSABLE :: Module
- gHC_PACK :: Module
- gHC_CONC :: Module
- gHC_IO :: Module
- gHC_IO_Exception :: Module
- gHC_ST :: Module
- gHC_ARR :: Module
- gHC_STABLE :: Module
- gHC_ADDR :: Module
- gHC_PTR :: Module
- gHC_ERR :: Module
- gHC_REAL :: Module
- gHC_FLOAT :: Module
- gHC_TOP_HANDLER :: Module
- sYSTEM_IO :: Module
- dYNAMIC :: Module
- tYPEABLE :: Module
- gENERICS :: Module
- dOTNET :: Module
- rEAD_PREC :: Module
- lEX :: Module
- gHC_INT :: Module
- gHC_WORD :: Module
- mONAD :: Module
- mONAD_FIX :: Module
- aRROW :: Module
- cONTROL_APPLICATIVE :: Module
- gHC_DESUGAR :: Module
- rANDOM :: Module
- gHC_EXTS :: Module
- cONTROL_EXCEPTION_BASE :: Module
- gHC_PRIM :: Module
- rOOT_MAIN :: Module
- mAIN :: Module
- iNTERACTIVE :: Module
- mAIN_NAME :: ModuleName
- pRELUDE_NAME :: ModuleName
- mkPrimModule :: FastString -> Module
- mkIntegerModule :: FastString -> Module
- mkBaseModule :: FastString -> Module
- mkBaseModule_ :: ModuleName -> Module
- mkMainModule :: FastString -> Module
- mkMainModule_ :: ModuleName -> Module
- mkTupleModule :: Boxity -> Arity -> Module
- main_RDR_Unqual :: RdrName
- dot_tv_RDR :: RdrName
- forall_tv_RDR :: RdrName
- ge_RDR :: RdrName
- ne_RDR :: RdrName
- le_RDR :: RdrName
- lt_RDR :: RdrName
- gt_RDR :: RdrName
- compare_RDR :: RdrName
- ltTag_RDR :: RdrName
- eqTag_RDR :: RdrName
- gtTag_RDR :: RdrName
- eq_RDR :: RdrName
- numClass_RDR :: RdrName
- ordClass_RDR :: RdrName
- enumClass_RDR :: RdrName
- monadClass_RDR :: RdrName
- eqClass_RDR :: RdrName
- append_RDR :: RdrName
- map_RDR :: RdrName
- build_RDR :: RdrName
- returnM_RDR :: RdrName
- bindM_RDR :: RdrName
- failM_RDR :: RdrName
- foldr_RDR :: RdrName
- right_RDR :: RdrName
- left_RDR :: RdrName
- toEnum_RDR :: RdrName
- fromEnum_RDR :: RdrName
- enumFromTo_RDR :: RdrName
- enumFromThen_RDR :: RdrName
- enumFromThenTo_RDR :: RdrName
- enumFrom_RDR :: RdrName
- plusInteger_RDR :: RdrName
- timesInteger_RDR :: RdrName
- ratioDataCon_RDR :: RdrName
- ioDataCon_RDR :: RdrName
- unpackCString_RDR :: RdrName
- unpackCStringFoldr_RDR :: RdrName
- unpackCStringUtf8_RDR :: RdrName
- eqString_RDR :: RdrName
- wordDataCon_RDR :: RdrName
- newStablePtr_RDR :: RdrName
- returnIO_RDR :: RdrName
- bindIO_RDR :: RdrName
- fromRational_RDR :: RdrName
- minus_RDR :: RdrName
- times_RDR :: RdrName
- plus_RDR :: RdrName
- fromInteger_RDR :: RdrName
- fromString_RDR :: RdrName
- compose_RDR :: RdrName
- getTag_RDR :: RdrName
- succ_RDR :: RdrName
- pred_RDR :: RdrName
- minBound_RDR :: RdrName
- maxBound_RDR :: RdrName
- and_RDR :: RdrName
- range_RDR :: RdrName
- inRange_RDR :: RdrName
- index_RDR :: RdrName
- unsafeIndex_RDR :: RdrName
- unsafeRangeSize_RDR :: RdrName
- not_RDR :: RdrName
- readListDefault_RDR :: RdrName
- readListPrec_RDR :: RdrName
- readListPrecDefault_RDR :: RdrName
- readPrec_RDR :: RdrName
- parens_RDR :: RdrName
- choose_RDR :: RdrName
- lexP_RDR :: RdrName
- readList_RDR :: RdrName
- ident_RDR :: RdrName
- symbol_RDR :: RdrName
- punc_RDR :: RdrName
- alt_RDR :: RdrName
- reset_RDR :: RdrName
- prec_RDR :: RdrName
- step_RDR :: RdrName
- showList___RDR :: RdrName
- showsPrec_RDR :: RdrName
- showString_RDR :: RdrName
- showSpace_RDR :: RdrName
- showParen_RDR :: RdrName
- showList_RDR :: RdrName
- mkTypeRep_RDR :: RdrName
- mkTyConRep_RDR :: RdrName
- typeOf_RDR :: RdrName
- undefined_RDR :: RdrName
- inlDataCon_RDR :: RdrName
- inrDataCon_RDR :: RdrName
- genUnitDataCon_RDR :: RdrName
- crossDataCon_RDR :: RdrName
- pure_RDR :: RdrName
- ap_RDR :: RdrName
- foldable_foldr_RDR :: RdrName
- traverse_RDR :: RdrName
- fmap_RDR :: RdrName
- tcQual_RDR :: Module -> FastString -> RdrName
- clsQual_RDR :: Module -> FastString -> RdrName
- dataQual_RDR :: Module -> FastString -> RdrName
- varQual_RDR :: Module -> FastString -> RdrName
- runMainIOName :: Name
- orderingTyConName :: Name
- leftDataConName :: Name
- rightDataConName :: Name
- eitherTyConName :: Name
- plusTyConName :: Name
- genUnitTyConName :: Name
- crossTyConName :: Name
- unpackCStringAppendName :: Name
- unpackCStringFoldrName :: Name
- unpackCStringUtf8Name :: Name
- eqStringName :: Name
- stringTyConName :: Name
- unpackCStringName :: Name
- inlineIdName :: Name
- eqName :: Name
- ordClassName :: Name
- geName :: Name
- functorClassName :: Name
- eqClassName :: Name
- thenMName :: Name
- bindMName :: Name
- returnMName :: Name
- failMName :: Name
- monadClassName :: Name
- foldableClassName :: Name
- traversableClassName :: Name
- applicativeClassName :: Name
- groupWithName :: Name
- otherwiseIdName :: Name
- foldrName :: Name
- buildName :: Name
- augmentName :: Name
- mapName :: Name
- appendName :: Name
- assertName :: Name
- breakpointName :: Name
- breakpointCondName :: Name
- breakpointAutoName :: Name
- dollarName :: Name
- opaqueTyConName :: Name
- fromStringName :: Name
- breakpointJumpName :: Name
- breakpointCondJumpName :: Name
- breakpointAutoJumpName :: Name
- sndName :: Name
- fstName :: Name
- fromIntegerName :: Name
- minusName :: Name
- negateName :: Name
- plusIntegerName :: Name
- timesIntegerName :: Name
- integerTyConName :: Name
- smallIntegerName :: Name
- numClassName :: Name
- ratioTyConName :: Name
- ratioDataConName :: Name
- realClassName :: Name
- integralClassName :: Name
- realFracClassName :: Name
- fractionalClassName :: Name
- fromRationalName :: Name
- rationalTyConName :: Name
- realFloatClassName :: Name
- floatingClassName :: Name
- ixClassName :: Name
- typeable1ClassName :: Name
- typeable2ClassName :: Name
- typeable3ClassName :: Name
- typeable4ClassName :: Name
- typeable5ClassName :: Name
- typeable6ClassName :: Name
- typeable7ClassName :: Name
- typeableClassName :: Name
- typeableClassNames :: [Name]
- dataClassName :: Name
- assertErrorName :: Name
- enumFromName :: Name
- enumFromToName :: Name
- enumFromThenName :: Name
- enumFromThenToName :: Name
- boundedClassName :: Name
- enumClassName :: Name
- filterName :: Name
- zipName :: Name
- concatName :: Name
- showClassName :: Name
- readClassName :: Name
- enumFromThenToPName :: Name
- nullPName :: Name
- lengthPName :: Name
- singletonPName :: Name
- replicatePName :: Name
- mapPName :: Name
- filterPName :: Name
- zipPName :: Name
- crossMapPName :: Name
- indexPName :: Name
- toPName :: Name
- emptyPName :: Name
- appPName :: Name
- enumFromToPName :: Name
- ioDataConName :: Name
- thenIOName :: Name
- bindIOName :: Name
- returnIOName :: Name
- failIOName :: Name
- ioTyConName :: Name
- printName :: Name
- int16TyConName :: Name
- int32TyConName :: Name
- int64TyConName :: Name
- int8TyConName :: Name
- word16TyConName :: Name
- word32TyConName :: Name
- word64TyConName :: Name
- wordTyConName :: Name
- wordDataConName :: Name
- word8TyConName :: Name
- funPtrTyConName :: Name
- ptrTyConName :: Name
- newStablePtrName :: Name
- stablePtrTyConName :: Name
- runSTRepName :: Name
- mfixName :: Name
- monadFixClassName :: Name
- composeAName :: Name
- firstAName :: Name
- appAName :: Name
- choiceAName :: Name
- loopAName :: Name
- arrAName :: Name
- toAnnotationWrapperName :: Name
- randomClassName :: Name
- randomGenClassName :: Name
- isStringClassName :: Name
- monadPlusClassName :: Name
- objectTyConName :: Name
- marshalObjectName :: Name
- marshalStringName :: Name
- unmarshalStringName :: Name
- checkDotnetResName :: Name
- unmarshalObjectName :: Name
- tcQual :: Module -> FastString -> Unique -> Name
- clsQual :: Module -> FastString -> Unique -> Name
- varQual :: Module -> FastString -> Unique -> Name
- mk_known_key_name :: NameSpace -> Module -> FastString -> Unique -> Name
- conName :: Module -> FastString -> Unique -> Name
- methName :: Module -> FastString -> Unique -> Name
- enumClassKey :: Unique
- eqClassKey :: Unique
- floatingClassKey :: Unique
- fractionalClassKey :: Unique
- integralClassKey :: Unique
- monadClassKey :: Unique
- dataClassKey :: Unique
- functorClassKey :: Unique
- numClassKey :: Unique
- ordClassKey :: Unique
- readClassKey :: Unique
- realClassKey :: Unique
- realFloatClassKey :: Unique
- realFracClassKey :: Unique
- showClassKey :: Unique
- ixClassKey :: Unique
- boundedClassKey :: Unique
- typeable1ClassKey :: Unique
- typeable2ClassKey :: Unique
- typeable3ClassKey :: Unique
- typeable4ClassKey :: Unique
- typeable5ClassKey :: Unique
- typeable6ClassKey :: Unique
- typeable7ClassKey :: Unique
- typeableClassKey :: Unique
- monadFixClassKey :: Unique
- randomClassKey :: Unique
- randomGenClassKey :: Unique
- monadPlusClassKey :: Unique
- isStringClassKey :: Unique
- foldableClassKey :: Unique
- traversableClassKey :: Unique
- applicativeClassKey :: Unique
- arrayPrimTyConKey :: Unique
- boolTyConKey :: Unique
- byteArrayPrimTyConKey :: Unique
- charPrimTyConKey :: Unique
- charTyConKey :: Unique
- doublePrimTyConKey :: Unique
- doubleTyConKey :: Unique
- floatPrimTyConKey :: Unique
- floatTyConKey :: Unique
- funTyConKey :: Unique
- intPrimTyConKey :: Unique
- intTyConKey :: Unique
- int8TyConKey :: Unique
- int16TyConKey :: Unique
- int32PrimTyConKey :: Unique
- int32TyConKey :: Unique
- int64PrimTyConKey :: Unique
- int64TyConKey :: Unique
- integerTyConKey :: Unique
- listTyConKey :: Unique
- foreignObjPrimTyConKey :: Unique
- weakPrimTyConKey :: Unique
- mutableArrayPrimTyConKey :: Unique
- mutableByteArrayPrimTyConKey :: Unique
- orderingTyConKey :: Unique
- mVarPrimTyConKey :: Unique
- ratioTyConKey :: Unique
- rationalTyConKey :: Unique
- realWorldTyConKey :: Unique
- stablePtrPrimTyConKey :: Unique
- stablePtrTyConKey :: Unique
- anyTyConKey :: Unique
- addrPrimTyConKey :: Unique
- stableNamePrimTyConKey :: Unique
- stableNameTyConKey :: Unique
- mutVarPrimTyConKey :: Unique
- ioTyConKey :: Unique
- wordPrimTyConKey :: Unique
- wordTyConKey :: Unique
- word8TyConKey :: Unique
- word16TyConKey :: Unique
- word32PrimTyConKey :: Unique
- word32TyConKey :: Unique
- word64PrimTyConKey :: Unique
- word64TyConKey :: Unique
- liftedConKey :: Unique
- unliftedConKey :: Unique
- anyBoxConKey :: Unique
- kindConKey :: Unique
- boxityConKey :: Unique
- typeConKey :: Unique
- threadIdPrimTyConKey :: Unique
- bcoPrimTyConKey :: Unique
- ptrTyConKey :: Unique
- funPtrTyConKey :: Unique
- tVarPrimTyConKey :: Unique
- statePrimTyConKey :: Unique
- plusTyConKey :: Unique
- genUnitTyConKey :: Unique
- crossTyConKey :: Unique
- parrTyConKey :: Unique
- objectTyConKey :: Unique
- eitherTyConKey :: Unique
- coSuperKindTyConKey :: Unique
- tySuperKindTyConKey :: Unique
- openTypeKindTyConKey :: Unique
- unliftedTypeKindTyConKey :: Unique
- ubxTupleKindTyConKey :: Unique
- argTypeKindTyConKey :: Unique
- liftedTypeKindTyConKey :: Unique
- transCoercionTyConKey :: Unique
- leftCoercionTyConKey :: Unique
- rightCoercionTyConKey :: Unique
- instCoercionTyConKey :: Unique
- unsafeCoercionTyConKey :: Unique
- csel1CoercionTyConKey :: Unique
- csel2CoercionTyConKey :: Unique
- cselRCoercionTyConKey :: Unique
- symCoercionTyConKey :: Unique
- unknown1TyConKey :: Unique
- unknown2TyConKey :: Unique
- unknown3TyConKey :: Unique
- opaqueTyConKey :: Unique
- unknownTyConKey :: Unique
- stringTyConKey :: Unique
- unitTyConKey :: Unique
- consDataConKey :: Unique
- doubleDataConKey :: Unique
- falseDataConKey :: Unique
- floatDataConKey :: Unique
- intDataConKey :: Unique
- nilDataConKey :: Unique
- ratioDataConKey :: Unique
- stableNameDataConKey :: Unique
- trueDataConKey :: Unique
- wordDataConKey :: Unique
- ioDataConKey :: Unique
- integerDataConKey :: Unique
- charDataConKey :: Unique
- inlDataConKey :: Unique
- inrDataConKey :: Unique
- genUnitDataConKey :: Unique
- crossDataConKey :: Unique
- parrDataConKey :: Unique
- rightDataConKey :: Unique
- leftDataConKey :: Unique
- augmentIdKey :: Unique
- appendIdKey :: Unique
- buildIdKey :: Unique
- errorIdKey :: Unique
- foldlIdKey :: Unique
- foldrIdKey :: Unique
- recSelErrorIdKey :: Unique
- integerMinusOneIdKey :: Unique
- integerPlusOneIdKey :: Unique
- integerPlusTwoIdKey :: Unique
- integerZeroIdKey :: Unique
- int2IntegerIdKey :: Unique
- seqIdKey :: Unique
- irrefutPatErrorIdKey :: Unique
- eqStringIdKey :: Unique
- noMethodBindingErrorIdKey :: Unique
- nonExhaustiveGuardsErrorIdKey :: Unique
- runtimeErrorIdKey :: Unique
- parErrorIdKey :: Unique
- parIdKey :: Unique
- patErrorIdKey :: Unique
- realWorldPrimIdKey :: Unique
- recConErrorIdKey :: Unique
- recUpdErrorIdKey :: Unique
- traceIdKey :: Unique
- unpackCStringUtf8IdKey :: Unique
- unpackCStringAppendIdKey :: Unique
- unpackCStringFoldrIdKey :: Unique
- unpackCStringIdKey :: Unique
- absentErrorIdKey :: Unique
- concatIdKey :: Unique
- filterIdKey :: Unique
- zipIdKey :: Unique
- bindIOIdKey :: Unique
- returnIOIdKey :: Unique
- deRefStablePtrIdKey :: Unique
- newStablePtrIdKey :: Unique
- smallIntegerIdKey :: Unique
- plusIntegerIdKey :: Unique
- timesIntegerIdKey :: Unique
- printIdKey :: Unique
- failIOIdKey :: Unique
- nullAddrIdKey :: Unique
- voidArgIdKey :: Unique
- fstIdKey :: Unique
- sndIdKey :: Unique
- otherwiseIdKey :: Unique
- assertIdKey :: Unique
- runSTRepIdKey :: Unique
- unsafeCoerceIdKey :: Unique
- runMainKey :: Unique
- rootMainKey :: Unique
- lazyIdKey :: Unique
- assertErrorIdKey :: Unique
- thenIOIdKey :: Unique
- breakpointCondIdKey :: Unique
- breakpointAutoIdKey :: Unique
- breakpointJumpIdKey :: Unique
- breakpointCondJumpIdKey :: Unique
- breakpointAutoJumpIdKey :: Unique
- breakpointIdKey :: Unique
- inlineIdKey :: Unique
- groupWithIdKey :: Unique
- dollarIdKey :: Unique
- mapIdKey :: Unique
- nullPIdKey :: Unique
- lengthPIdKey :: Unique
- replicatePIdKey :: Unique
- mapPIdKey :: Unique
- filterPIdKey :: Unique
- zipPIdKey :: Unique
- crossMapPIdKey :: Unique
- indexPIdKey :: Unique
- toPIdKey :: Unique
- enumFromToPIdKey :: Unique
- enumFromThenToPIdKey :: Unique
- emptyPIdKey :: Unique
- appPIdKey :: Unique
- singletonPIdKey :: Unique
- marshalObjectIdKey :: Unique
- marshalStringIdKey :: Unique
- unmarshalStringIdKey :: Unique
- checkDotnetResNameIdKey :: Unique
- unmarshalObjectIdKey :: Unique
- unboundKey :: Unique
- minusClassOpKey :: Unique
- fromRationalClassOpKey :: Unique
- enumFromClassOpKey :: Unique
- enumFromThenClassOpKey :: Unique
- enumFromToClassOpKey :: Unique
- enumFromThenToClassOpKey :: Unique
- eqClassOpKey :: Unique
- geClassOpKey :: Unique
- negateClassOpKey :: Unique
- failMClassOpKey :: Unique
- bindMClassOpKey :: Unique
- thenMClassOpKey :: Unique
- returnMClassOpKey :: Unique
- fromIntegerClassOpKey :: Unique
- mfixIdKey :: Unique
- composeAIdKey :: Unique
- firstAIdKey :: Unique
- appAIdKey :: Unique
- choiceAIdKey :: Unique
- loopAIdKey :: Unique
- arrAIdKey :: Unique
- fromStringClassOpKey :: Unique
- toAnnotationWrapperIdKey :: Unique
- numericTyKeys :: [Unique]
- kindKeys :: [Unique]
- numericClassKeys :: [Unique]
- fractionalClassKeys :: [Unique]
- needsDataDeclCtxtClassKeys :: [Unique]
- standardClassKeys :: [Unique]
- derivableClassKeys :: [Unique]
Documentation
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
| Uniquable Int | |
| Uniquable PackageId | |
| Uniquable ModuleName | |
| Uniquable Module | |
| Uniquable OccName | |
| Uniquable FastString | |
| Uniquable Unique | |
| Uniquable RegClass | |
| Uniquable Reg | |
| Uniquable RealReg | |
| Uniquable VirtualReg | |
| Uniquable Reg | so we can put regs in UniqSets |
| Uniquable SlotClass | |
| Uniquable TyCon | |
| Uniquable Name | |
| Uniquable Var | |
| Uniquable Class | |
| Uniquable DataCon | |
| Uniquable BlockId | |
| Uniquable LocalReg | |
| Uniquable Store | |
| Uniquable name => Uniquable (AnnTarget name) |
mkUnboundName :: RdrName -> NameSource
isUnboundName :: Name -> BoolSource
mkTupleModule :: Boxity -> Arity -> ModuleSource
tcQual_RDR :: Module -> FastString -> RdrNameSource
clsQual_RDR :: Module -> FastString -> RdrNameSource
dataQual_RDR :: Module -> FastString -> RdrNameSource
varQual_RDR :: Module -> FastString -> RdrNameSource
mk_known_key_name :: NameSpace -> Module -> FastString -> Unique -> NameSource