Safe Haskell | None |
---|---|
Language | Haskell2010 |
The PrelInfo
interface to the compiler's prelude knowledge.
This module serves as the central gathering point for names which the compiler knows something about. This includes functions for,
See Note [Known-key names] and Note [About wired-in things] for information about the two types of prelude things in GHC.
Synopsis
- isKnownKeyName :: Name -> Bool
- lookupKnownKeyName :: Unique -> Maybe Name
- lookupKnownNameInfo :: Name -> SDoc
- knownKeyNames :: [Name]
- wiredInIds :: [Id]
- ghcPrimIds :: [Id]
- primOpRules :: Name -> PrimOp -> Maybe CoreRule
- builtinRules :: [CoreRule]
- ghcPrimExports :: [IfaceExport]
- primOpId :: PrimOp -> Id
- maybeCharLikeCon :: DataCon -> Bool
- maybeIntLikeCon :: DataCon -> Bool
- isNumericClass :: Class -> Bool
- isStandardClass :: Class -> Bool
Known-key names
lookupKnownNameInfo :: Name -> SDoc Source #
Given a Unique
lookup any associated arbitrary SDoc's to be displayed by
GHCi's ':info' command.
Internal use
knownKeyNames
is exported to seed the original name cache only;
if you find yourself wanting to look at it you might consider using
lookupKnownKeyName
or isKnownKeyName
.
knownKeyNames :: [Name] Source #
This list is used to ensure that when you say "Prelude.map" in your source code, or in an interface file, you get a Name with the correct known key (See Note [Known-key names] in PrelNames)
Miscellaneous
wiredInIds :: [Id] Source #
ghcPrimIds :: [Id] Source #
builtinRules :: [CoreRule] Source #
ghcPrimExports :: [IfaceExport] Source #
Random other things
maybeCharLikeCon :: DataCon -> Bool Source #
maybeIntLikeCon :: DataCon -> Bool Source #
Class categories
isNumericClass :: Class -> Bool Source #
isStandardClass :: Class -> Bool Source #