| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
PrelInfo
Description
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 #