GHC.Unit.Module.Env · ghc-9.14.1

Module mappings

24 declarations

newtypenewtype ModuleEnv elt

#

A map keyed off of Modules

Instances1Outputable

Outputable a => Outputable (ModuleEnv a)Defined in ghc-9.14.1 · GHC.Unit.Module.Env

valueelemModuleEnv :: Module -> ModuleEnv a -> Bool

#

valueextendModuleEnv :: ModuleEnv a -> Module -> a -> ModuleEnv a

#

valueextendModuleEnvList :: ModuleEnv a -> [(Module, a)] -> ModuleEnv a

#

valueextendModuleEnvList_C

:: a -> a -> a
-> ModuleEnv a
-> [(Module, a)]
-> ModuleEnv a

#

valueplusModuleEnv_C

:: a -> a -> a
-> ModuleEnv a
-> ModuleEnv a
-> ModuleEnv a

#

valuedelModuleEnvList :: ModuleEnv a -> [Module] -> ModuleEnv a

#

valuedelModuleEnv :: ModuleEnv a -> Module -> ModuleEnv a

#

valueplusModuleEnv :: ModuleEnv a -> ModuleEnv a -> ModuleEnv a

#

valuelookupModuleEnv :: ModuleEnv a -> Module -> Maybe a

#

valuelookupWithDefaultModuleEnv :: ModuleEnv a -> a -> Module -> a

#

valuemapModuleEnv :: (a -> b) -> ModuleEnv a -> ModuleEnv b

#

valuemkModuleEnv :: [(Module, a)] -> ModuleEnv a

#

valueemptyModuleEnv :: ModuleEnv a

#

valuealterModuleEnv

:: Maybe a -> Maybe a
-> Module
-> ModuleEnv a
-> ModuleEnv a

#

valuepartitionModuleEnv

:: a -> Bool
-> ModuleEnv a
-> (ModuleEnv a, ModuleEnv a)

#

valuemoduleEnvKeys :: ModuleEnv a -> [Module]

#

valuemoduleEnvElts :: ModuleEnv a -> [a]

#

valuemoduleEnvToList :: ModuleEnv a -> [(Module, a)]

#

valueunitModuleEnv :: Module -> a -> ModuleEnv a

#

valueisEmptyModuleEnv :: ModuleEnv a -> Bool

#

valueextendModuleEnvWith

:: a -> a -> a
-> ModuleEnv a
-> Module
-> a
-> ModuleEnv a

#

valuefilterModuleEnv :: (Module -> a -> Bool) -> ModuleEnv a -> ModuleEnv a

#

valuemapMaybeModuleEnv :: (Module -> a -> Maybe b) -> ModuleEnv a -> ModuleEnv b

#

ModuleName mappings

2 declarations

typetype ModuleNameEnv elt = UniqFM ModuleName elt

#

A map keyed off of ModuleNames (actually, their Uniques)

typetype DModuleNameEnv elt = UniqDFM ModuleName elt

#

A map keyed off of ModuleNames (actually, their Uniques) Has deterministic folds and can be deterministically converted to a list

Sets of Modules

14 declarations

typetype ModuleSet = Set NDModule

#

A set of Modules

valueemptyModuleSet :: ModuleSet

#

valuemkModuleSet :: [Module] -> ModuleSet

#

valuemoduleSetElts :: ModuleSet -> [Module]

#

valueextendModuleSet :: ModuleSet -> Module -> ModuleSet

#

valueextendModuleSetList :: ModuleSet -> [Module] -> ModuleSet

#

valuedelModuleSet :: ModuleSet -> Module -> ModuleSet

#

valueelemModuleSet :: Module -> ModuleSet -> Bool

#

valueintersectModuleSet :: ModuleSet -> ModuleSet -> ModuleSet

#

valueminusModuleSet :: ModuleSet -> ModuleSet -> ModuleSet

#

valueunionModuleSet :: ModuleSet -> ModuleSet -> ModuleSet

#

valueunitModuleSet :: Module -> ModuleSet

#

valueisEmptyModuleSet :: ModuleSet -> Bool

#

valueunionManyModuleSets :: [ModuleSet] -> ModuleSet

#

InstalledModuleEnv

9 declarations

newtypenewtype InstalledModuleEnv elt

#

A map keyed off of InstalledModule

Instances1Outputable

Outputable elt => Outputable (InstalledModuleEnv elt)Defined in ghc-9.14.1 · GHC.Unit.Module.Env

valueemptyInstalledModuleEnv :: InstalledModuleEnv a

#

valuelookupInstalledModuleEnv

#

valueextendInstalledModuleEnv

:: InstalledModuleEnv a
-> InstalledModule
-> a
-> InstalledModuleEnv a

#

valuefilterInstalledModuleEnv

:: InstalledModule -> a -> Bool
-> InstalledModuleEnv a
-> InstalledModuleEnv a

#

valuedelInstalledModuleEnv

:: InstalledModuleEnv a
-> InstalledModule
-> InstalledModuleEnv a

#

valuemergeInstalledModuleEnv

:: elta -> eltb -> Maybe eltc
-> InstalledModuleEnv elta -> InstalledModuleEnv eltc
-> InstalledModuleEnv eltb -> InstalledModuleEnv eltc
-> InstalledModuleEnv elta
-> InstalledModuleEnv eltb
-> InstalledModuleEnv eltc

#

valueplusInstalledModuleEnv

:: elt -> elt -> elt
-> InstalledModuleEnv elt
-> InstalledModuleEnv elt
-> InstalledModuleEnv elt

#

valueinstalledModuleEnvElts :: InstalledModuleEnv a -> [(InstalledModule, a)]

#