Module
Contents
- data ModuleName
- pprModuleName :: ModuleName -> SDoc
- moduleNameFS :: ModuleName -> FastString
- moduleNameString :: ModuleName -> String
- moduleNameSlashes :: ModuleName -> String
- mkModuleName :: String -> ModuleName
- mkModuleNameFS :: FastString -> ModuleName
- stableModuleNameCmp :: ModuleName -> ModuleName -> Ordering
- data PackageId
- fsToPackageId :: FastString -> PackageId
- packageIdFS :: PackageId -> FastString
- stringToPackageId :: String -> PackageId
- packageIdString :: PackageId -> String
- stablePackageIdCmp :: PackageId -> PackageId -> Ordering
- primPackageId :: PackageId
- integerPackageId :: PackageId
- basePackageId :: PackageId
- rtsPackageId :: PackageId
- thPackageId :: PackageId
- dphSeqPackageId :: PackageId
- dphParPackageId :: PackageId
- mainPackageId :: PackageId
- data Module
- modulePackageId :: Module -> PackageId
- moduleName :: Module -> ModuleName
- pprModule :: Module -> SDoc
- mkModule :: PackageId -> ModuleName -> Module
- stableModuleCmp :: Module -> Module -> Ordering
- data ModLocation = ModLocation {}
- addBootSuffix :: FilePath -> FilePath
- addBootSuffix_maybe :: Bool -> FilePath -> FilePath
- addBootSuffixLocn :: ModLocation -> ModLocation
- data ModuleEnv elt
- elemModuleEnv :: Module -> ModuleEnv a -> Bool
- extendModuleEnv :: ModuleEnv a -> Module -> a -> ModuleEnv a
- extendModuleEnvList :: ModuleEnv a -> [(Module, a)] -> ModuleEnv a
- extendModuleEnvList_C :: (a -> a -> a) -> ModuleEnv a -> [(Module, a)] -> ModuleEnv a
- plusModuleEnv_C :: (a -> a -> a) -> ModuleEnv a -> ModuleEnv a -> ModuleEnv a
- delModuleEnvList :: ModuleEnv a -> [Module] -> ModuleEnv a
- delModuleEnv :: ModuleEnv a -> Module -> ModuleEnv a
- plusModuleEnv :: ModuleEnv a -> ModuleEnv a -> ModuleEnv a
- lookupModuleEnv :: ModuleEnv a -> Module -> Maybe a
- lookupWithDefaultModuleEnv :: ModuleEnv a -> a -> Module -> a
- mapModuleEnv :: (a -> b) -> ModuleEnv a -> ModuleEnv b
- mkModuleEnv :: [(Module, a)] -> ModuleEnv a
- emptyModuleEnv :: ModuleEnv a
- moduleEnvKeys :: ModuleEnv a -> [Module]
- moduleEnvElts :: ModuleEnv a -> [a]
- moduleEnvToList :: ModuleEnv a -> [(Module, a)]
- unitModuleEnv :: Module -> a -> ModuleEnv a
- isEmptyModuleEnv :: ModuleEnv a -> Bool
- foldModuleEnv :: (a -> b -> b) -> b -> ModuleEnv a -> b
- extendModuleEnvWith :: (a -> a -> a) -> ModuleEnv a -> Module -> a -> ModuleEnv a
- filterModuleEnv :: (Module -> a -> Bool) -> ModuleEnv a -> ModuleEnv a
- type ModuleNameEnv elt = UniqFM elt
- type ModuleSet = Map Module ()
- emptyModuleSet :: ModuleSet
- mkModuleSet :: [Module] -> ModuleSet
- moduleSetElts :: ModuleSet -> [Module]
- extendModuleSet :: ModuleSet -> Module -> ModuleSet
- elemModuleSet :: Module -> ModuleSet -> Bool
The ModuleName type
data ModuleName Source
A ModuleName is essentially a simple string, e.g. Data.List.
moduleNameSlashes :: ModuleName -> StringSource
Returns the string version of the module name, with dots replaced by slashes
stableModuleNameCmp :: ModuleName -> ModuleName -> OrderingSource
Compares module names lexically, rather than by their Uniques
The PackageId type
Essentially just a string identifying a package, including the version: e.g. parsec-1.0
stablePackageIdCmp :: PackageId -> PackageId -> OrderingSource
Compares package ids lexically, rather than by their Uniques
Wired-in PackageIds
Certain packages are known to the compiler, in that we know about certain entities that reside in these packages, and the compiler needs to declare static Modules and Names that refer to these packages. Hence the wired-in packages can't include version numbers, since we don't want to bake the version numbers of these packages into GHC.
So here's the plan. Wired-in packages are still versioned as
normal in the packages database, and you can still have multiple
versions of them installed. However, for each invocation of GHC,
only a single instance of each wired-in package will be recognised
(the desired one is selected via -package/-hide-package), and GHC
will use the unversioned PackageId below when referring to it,
including in .hi files and object file symbols. Unselected
versions of wired-in packages will be ignored, as will any other
package that depends directly or indirectly on it (much as if you
had used -ignore-package).
The Module type
A Module is a pair of a PackageId and a ModuleName.
moduleName :: Module -> ModuleNameSource
mkModule :: PackageId -> ModuleName -> ModuleSource
stableModuleCmp :: Module -> Module -> OrderingSource
This gives a stable ordering, as opposed to the Ord instance which
gives an ordering based on the Uniques of the components, which may
not be stable from run to run of the compiler.
The ModuleLocation type
data ModLocation Source
Where a module lives on the file system: the actual locations of the .hs, .hi and .o files, if we have them
Constructors
| ModLocation | |
Fields
| |
Instances
addBootSuffix :: FilePath -> FilePathSource
Add the -boot suffix to .hs, .hi and .o files
addBootSuffix_maybe :: Bool -> FilePath -> FilePathSource
Add the -boot suffix if the Bool argument is True
addBootSuffixLocn :: ModLocation -> ModLocationSource
Add the -boot suffix to all file paths associated with the module
Module mappings
This is the package Id for the current program. It is the default package Id if you don't specify a package name. We don't add this prefix to symbol names, since there can be only one main package per program.
A map keyed off of Modules
elemModuleEnv :: Module -> ModuleEnv a -> BoolSource
extendModuleEnv :: ModuleEnv a -> Module -> a -> ModuleEnv aSource
extendModuleEnvList :: ModuleEnv a -> [(Module, a)] -> ModuleEnv aSource
extendModuleEnvList_C :: (a -> a -> a) -> ModuleEnv a -> [(Module, a)] -> ModuleEnv aSource
plusModuleEnv_C :: (a -> a -> a) -> ModuleEnv a -> ModuleEnv a -> ModuleEnv aSource
delModuleEnvList :: ModuleEnv a -> [Module] -> ModuleEnv aSource
delModuleEnv :: ModuleEnv a -> Module -> ModuleEnv aSource
plusModuleEnv :: ModuleEnv a -> ModuleEnv a -> ModuleEnv aSource
lookupModuleEnv :: ModuleEnv a -> Module -> Maybe aSource
lookupWithDefaultModuleEnv :: ModuleEnv a -> a -> Module -> aSource
mapModuleEnv :: (a -> b) -> ModuleEnv a -> ModuleEnv bSource
mkModuleEnv :: [(Module, a)] -> ModuleEnv aSource
moduleEnvKeys :: ModuleEnv a -> [Module]Source
moduleEnvElts :: ModuleEnv a -> [a]Source
moduleEnvToList :: ModuleEnv a -> [(Module, a)]Source
unitModuleEnv :: Module -> a -> ModuleEnv aSource
isEmptyModuleEnv :: ModuleEnv a -> BoolSource
foldModuleEnv :: (a -> b -> b) -> b -> ModuleEnv a -> bSource
extendModuleEnvWith :: (a -> a -> a) -> ModuleEnv a -> Module -> a -> ModuleEnv aSource
ModuleName mappings
type ModuleNameEnv elt = UniqFM eltSource
A map keyed off of ModuleNames (actually, their Uniques)
Sets of Modules
mkModuleSet :: [Module] -> ModuleSetSource
moduleSetElts :: ModuleSet -> [Module]Source
extendModuleSet :: ModuleSet -> Module -> ModuleSetSource
elemModuleSet :: Module -> ModuleSet -> BoolSource