| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
OccName
Contents
Description
- data NameSpace
- nameSpacesRelated :: NameSpace -> NameSpace -> Bool
- tcName :: NameSpace
- clsName :: NameSpace
- tcClsName :: NameSpace
- dataName :: NameSpace
- varName :: NameSpace
- tvName :: NameSpace
- srcDataName :: NameSpace
- pprNameSpace :: NameSpace -> SDoc
- pprNonVarNameSpace :: NameSpace -> SDoc
- pprNameSpaceBrief :: NameSpace -> SDoc
- data OccName
- pprOccName :: OccName -> SDoc
- mkOccName :: NameSpace -> String -> OccName
- mkOccNameFS :: NameSpace -> FastString -> OccName
- mkVarOcc :: String -> OccName
- mkVarOccFS :: FastString -> OccName
- mkDataOcc :: String -> OccName
- mkDataOccFS :: FastString -> OccName
- mkTyVarOcc :: String -> OccName
- mkTyVarOccFS :: FastString -> OccName
- mkTcOcc :: String -> OccName
- mkTcOccFS :: FastString -> OccName
- mkClsOcc :: String -> OccName
- mkClsOccFS :: FastString -> OccName
- mkDFunOcc :: String -> Bool -> OccSet -> OccName
- setOccNameSpace :: NameSpace -> OccName -> OccName
- demoteOccName :: OccName -> Maybe OccName
- class HasOccName name where
- isDerivedOccName :: OccName -> Bool
- mkDataConWrapperOcc :: OccName -> OccName
- mkWorkerOcc :: OccName -> OccName
- mkMatcherOcc :: OccName -> OccName
- mkBuilderOcc :: OccName -> OccName
- mkDefaultMethodOcc :: OccName -> OccName
- mkGenDefMethodOcc :: OccName -> OccName
- mkDerivedTyConOcc :: OccName -> OccName
- mkNewTyCoOcc :: OccName -> OccName
- mkClassOpAuxOcc :: OccName -> OccName
- mkCon2TagOcc :: OccName -> OccName
- mkTag2ConOcc :: OccName -> OccName
- mkMaxTagOcc :: OccName -> OccName
- mkClassDataConOcc :: OccName -> OccName
- mkDictOcc :: OccName -> OccName
- mkIPOcc :: OccName -> OccName
- mkSpecOcc :: OccName -> OccName
- mkForeignExportOcc :: OccName -> OccName
- mkRepEqOcc :: OccName -> OccName
- mkGenOcc1 :: OccName -> OccName
- mkGenOcc2 :: OccName -> OccName
- mkGenD :: OccName -> OccName
- mkGenR :: OccName -> OccName
- mkGen1R :: OccName -> OccName
- mkGenRCo :: OccName -> OccName
- mkGenC :: OccName -> Int -> OccName
- mkGenS :: OccName -> Int -> Int -> OccName
- mkDataTOcc :: OccName -> OccName
- mkDataCOcc :: OccName -> OccName
- mkDataConWorkerOcc :: OccName -> OccName
- mkSuperDictSelOcc :: Int -> OccName -> OccName
- mkLocalOcc :: Unique -> OccName -> OccName
- mkMethodOcc :: OccName -> OccName
- mkInstTyTcOcc :: String -> OccSet -> OccName
- mkInstTyCoOcc :: OccName -> OccName
- mkEqPredCoOcc :: OccName -> OccName
- mkVectOcc :: Maybe String -> OccName -> OccName
- mkVectTyConOcc :: Maybe String -> OccName -> OccName
- mkVectDataConOcc :: Maybe String -> OccName -> OccName
- mkVectIsoOcc :: Maybe String -> OccName -> OccName
- mkPDataTyConOcc :: Maybe String -> OccName -> OccName
- mkPDataDataConOcc :: Maybe String -> OccName -> OccName
- mkPDatasTyConOcc :: Maybe String -> OccName -> OccName
- mkPDatasDataConOcc :: Maybe String -> OccName -> OccName
- mkPReprTyConOcc :: Maybe String -> OccName -> OccName
- mkPADFunOcc :: Maybe String -> OccName -> OccName
- occNameFS :: OccName -> FastString
- occNameString :: OccName -> String
- occNameSpace :: OccName -> NameSpace
- isVarOcc :: OccName -> Bool
- isTvOcc :: OccName -> Bool
- isTcOcc :: OccName -> Bool
- isDataOcc :: OccName -> Bool
- isDataSymOcc :: OccName -> Bool
- isSymOcc :: OccName -> Bool
- isValOcc :: OccName -> Bool
- parenSymOcc :: OccName -> SDoc -> SDoc
- startsWithUnderscore :: OccName -> Bool
- isTcClsNameSpace :: NameSpace -> Bool
- isTvNameSpace :: NameSpace -> Bool
- isDataConNameSpace :: NameSpace -> Bool
- isVarNameSpace :: NameSpace -> Bool
- isValNameSpace :: NameSpace -> Bool
- data OccEnv a
- emptyOccEnv :: OccEnv a
- unitOccEnv :: OccName -> a -> OccEnv a
- extendOccEnv :: OccEnv a -> OccName -> a -> OccEnv a
- mapOccEnv :: (a -> b) -> OccEnv a -> OccEnv b
- lookupOccEnv :: OccEnv a -> OccName -> Maybe a
- mkOccEnv :: [(OccName, a)] -> OccEnv a
- mkOccEnv_C :: (a -> a -> a) -> [(OccName, a)] -> OccEnv a
- extendOccEnvList :: OccEnv a -> [(OccName, a)] -> OccEnv a
- elemOccEnv :: OccName -> OccEnv a -> Bool
- occEnvElts :: OccEnv a -> [a]
- foldOccEnv :: (a -> b -> b) -> b -> OccEnv a -> b
- plusOccEnv :: OccEnv a -> OccEnv a -> OccEnv a
- plusOccEnv_C :: (a -> a -> a) -> OccEnv a -> OccEnv a -> OccEnv a
- extendOccEnv_C :: (a -> a -> a) -> OccEnv a -> OccName -> a -> OccEnv a
- extendOccEnv_Acc :: (a -> b -> b) -> (a -> b) -> OccEnv b -> OccName -> a -> OccEnv b
- filterOccEnv :: (elt -> Bool) -> OccEnv elt -> OccEnv elt
- delListFromOccEnv :: OccEnv a -> [OccName] -> OccEnv a
- delFromOccEnv :: OccEnv a -> OccName -> OccEnv a
- alterOccEnv :: (Maybe elt -> Maybe elt) -> OccEnv elt -> OccName -> OccEnv elt
- pprOccEnv :: (a -> SDoc) -> OccEnv a -> SDoc
- type OccSet = UniqSet OccName
- emptyOccSet :: OccSet
- unitOccSet :: OccName -> OccSet
- mkOccSet :: [OccName] -> OccSet
- extendOccSet :: OccSet -> OccName -> OccSet
- extendOccSetList :: OccSet -> [OccName] -> OccSet
- unionOccSets :: OccSet -> OccSet -> OccSet
- unionManyOccSets :: [OccSet] -> OccSet
- minusOccSet :: OccSet -> OccSet -> OccSet
- elemOccSet :: OccName -> OccSet -> Bool
- occSetElts :: OccSet -> [OccName]
- foldOccSet :: (OccName -> b -> b) -> b -> OccSet -> b
- isEmptyOccSet :: OccSet -> Bool
- intersectOccSet :: OccSet -> OccSet -> OccSet
- intersectsOccSet :: OccSet -> OccSet -> Bool
- type TidyOccEnv = UniqFM Int
- emptyTidyOccEnv :: TidyOccEnv
- tidyOccName :: TidyOccEnv -> OccName -> (TidyOccEnv, OccName)
- initTidyOccEnv :: [OccName] -> TidyOccEnv
- type FastStringEnv a = UniqFM a
- emptyFsEnv :: FastStringEnv a
- lookupFsEnv :: FastStringEnv a -> FastString -> Maybe a
- extendFsEnv :: FastStringEnv a -> FastString -> a -> FastStringEnv a
- mkFsEnv :: [(FastString, a)] -> FastStringEnv a
The NameSpace type
nameSpacesRelated :: NameSpace -> NameSpace -> Bool Source
Construction
There are two forms of data constructor:
- Source data constructors
- The data constructors mentioned in Haskell source code
- Real data constructors
- The data constructors of the representation type, which may not be the same as the source type
For example:
data T = T !(Int, Int)
The source datacon has type (Int, Int) -> T
The real datacon has type Int -> Int -> T
GHC chooses a representation based on the strictness etc.
Pretty Printing
pprNameSpace :: NameSpace -> SDoc Source
pprNameSpaceBrief :: NameSpace -> SDoc Source
The OccName type
pprOccName :: OccName -> SDoc Source
Construction
mkOccNameFS :: NameSpace -> FastString -> OccName Source
mkVarOccFS :: FastString -> OccName Source
mkDataOccFS :: FastString -> OccName Source
mkTyVarOcc :: String -> OccName Source
mkTyVarOccFS :: FastString -> OccName Source
mkTcOccFS :: FastString -> OccName Source
mkClsOccFS :: FastString -> OccName Source
setOccNameSpace :: NameSpace -> OccName -> OccName Source
demoteOccName :: OccName -> Maybe OccName Source
class HasOccName name where Source
Other names in the compiler add additional information to an OccName. This class provides a consistent way to access the underlying OccName.
Derived OccNames
isDerivedOccName :: OccName -> Bool Source
mkWorkerOcc :: OccName -> OccName Source
mkMatcherOcc :: OccName -> OccName Source
mkBuilderOcc :: OccName -> OccName Source
mkNewTyCoOcc :: OccName -> OccName Source
mkClassOpAuxOcc :: OccName -> OccName Source
mkCon2TagOcc :: OccName -> OccName Source
mkTag2ConOcc :: OccName -> OccName Source
mkMaxTagOcc :: OccName -> OccName Source
mkRepEqOcc :: OccName -> OccName Source
mkDataTOcc :: OccName -> OccName Source
mkDataCOcc :: OccName -> OccName Source
mkMethodOcc :: OccName -> OccName Source
Derive a name for the representation type constructor of a
data/newtype instance.
mkInstTyCoOcc :: OccName -> OccName Source
mkEqPredCoOcc :: OccName -> OccName Source
Deconstruction
occNameFS :: OccName -> FastString Source
occNameString :: OccName -> String Source
occNameSpace :: OccName -> NameSpace Source
isDataSymOcc :: OccName -> Bool Source
Test if the OccName is a data constructor that starts with
a symbol (e.g. :, or [])
isSymOcc :: OccName -> Bool Source
Test if the OccName is that for any operator (whether
it is a data constructor or variable or whatever)
isValOcc :: OccName -> Bool Source
Value OccNamess are those that are either in
the variable or data constructor namespaces
parenSymOcc :: OccName -> SDoc -> SDoc Source
Wrap parens around an operator
startsWithUnderscore :: OccName -> Bool Source
Haskell 98 encourages compilers to suppress warnings about unsed
names in a pattern if they start with _: this implements that test
isTcClsNameSpace :: NameSpace -> Bool Source
isTvNameSpace :: NameSpace -> Bool Source
isVarNameSpace :: NameSpace -> Bool Source
isValNameSpace :: NameSpace -> Bool Source
The OccEnv type
Instances
| Outputable a => Outputable (OccEnv a) |
emptyOccEnv :: OccEnv a Source
unitOccEnv :: OccName -> a -> OccEnv a Source
extendOccEnv :: OccEnv a -> OccName -> a -> OccEnv a Source
lookupOccEnv :: OccEnv a -> OccName -> Maybe a Source
mkOccEnv_C :: (a -> a -> a) -> [(OccName, a)] -> OccEnv a Source
extendOccEnvList :: OccEnv a -> [(OccName, a)] -> OccEnv a Source
elemOccEnv :: OccName -> OccEnv a -> Bool Source
occEnvElts :: OccEnv a -> [a] Source
foldOccEnv :: (a -> b -> b) -> b -> OccEnv a -> b Source
plusOccEnv :: OccEnv a -> OccEnv a -> OccEnv a Source
plusOccEnv_C :: (a -> a -> a) -> OccEnv a -> OccEnv a -> OccEnv a Source
extendOccEnv_C :: (a -> a -> a) -> OccEnv a -> OccName -> a -> OccEnv a Source
extendOccEnv_Acc :: (a -> b -> b) -> (a -> b) -> OccEnv b -> OccName -> a -> OccEnv b Source
filterOccEnv :: (elt -> Bool) -> OccEnv elt -> OccEnv elt Source
delListFromOccEnv :: OccEnv a -> [OccName] -> OccEnv a Source
delFromOccEnv :: OccEnv a -> OccName -> OccEnv a Source
The OccSet type
unitOccSet :: OccName -> OccSet Source
extendOccSet :: OccSet -> OccName -> OccSet Source
extendOccSetList :: OccSet -> [OccName] -> OccSet Source
unionOccSets :: OccSet -> OccSet -> OccSet Source
unionManyOccSets :: [OccSet] -> OccSet Source
minusOccSet :: OccSet -> OccSet -> OccSet Source
elemOccSet :: OccName -> OccSet -> Bool Source
occSetElts :: OccSet -> [OccName] Source
foldOccSet :: (OccName -> b -> b) -> b -> OccSet -> b Source
isEmptyOccSet :: OccSet -> Bool Source
intersectOccSet :: OccSet -> OccSet -> OccSet Source
intersectsOccSet :: OccSet -> OccSet -> Bool Source
Tidying up
type TidyOccEnv = UniqFM Int Source
tidyOccName :: TidyOccEnv -> OccName -> (TidyOccEnv, OccName) Source
initTidyOccEnv :: [OccName] -> TidyOccEnv Source
type FastStringEnv a = UniqFM a Source
lookupFsEnv :: FastStringEnv a -> FastString -> Maybe a Source
extendFsEnv :: FastStringEnv a -> FastString -> a -> FastStringEnv a Source
mkFsEnv :: [(FastString, a)] -> FastStringEnv a Source