Moduleghc-10.0.0.20260917GHC2024

GHC.Types.Name.Env

2 types
48 values

Packageghc-10.0.0.20260917
Exports50
LanguageGHC2024
LicenceBSD-3-Clause
SourceEnv.hs

Var, Id and TyVar environments (maps)

1 declaration

typetype NameEnv a = UniqFM Name a

Name Environment

Manipulating these environments

valuemkNameEnv :: [(Name, a)] -> NameEnv a

valuemkNameEnvWith :: (a -> Name) -> [a] -> NameEnv a

valuefromUniqMap :: UniqMap Name a -> NameEnv a

valueemptyNameEnv :: NameEnv a

valueisEmptyNameEnv :: NameEnv a -> Bool

valueunitNameEnv :: Name -> a -> NameEnv a

valuenonDetNameEnvElts :: NameEnv a -> [a]

valueextendNameEnv_C :: (a -> a -> a) -> NameEnv a -> Name -> a -> NameEnv a

valueextendNameEnv_Acc

:: a -> b -> b
-> a -> b
-> NameEnv b
-> Name
-> a
-> NameEnv b

valueextendNameEnv :: NameEnv a -> Name -> a -> NameEnv a

valueextendNameEnvList :: NameEnv a -> [(Name, a)] -> NameEnv a

valueextendNameEnvList_C

:: a -> a -> a
-> NameEnv a
-> [(Name, a)]
-> NameEnv a

valuefilterNameEnv :: (elt -> Bool) -> NameEnv elt -> NameEnv elt

valueanyNameEnv :: (elt -> Bool) -> NameEnv elt -> Bool

valuemapMaybeNameEnv :: (a -> Maybe b) -> NameEnv a -> NameEnv b

valueextendNameEnvListWith :: (a -> Name) -> NameEnv a -> [a] -> NameEnv a

valueplusNameEnv :: NameEnv a -> NameEnv a -> NameEnv a

valueplusNameEnv_C :: (a -> a -> a) -> NameEnv a -> NameEnv a -> NameEnv a

valueplusNameEnv_CD

:: a -> a -> a
-> NameEnv a
-> a
-> NameEnv a
-> a
-> NameEnv a

valueplusNameEnv_CD2

:: Maybe a -> Maybe a -> a
-> NameEnv a
-> NameEnv a
-> NameEnv a

valuealterNameEnv :: (Maybe a -> Maybe a) -> NameEnv a -> Name -> NameEnv a

valueupsertNameEnv :: (Maybe a -> a) -> NameEnv a -> Name -> NameEnv a

valueplusNameEnvList :: [NameEnv a] -> NameEnv a

valueplusNameEnvListWith :: (a -> a -> a) -> [NameEnv a] -> NameEnv a

valuelookupNameEnv :: NameEnv a -> Name -> Maybe a

valuelookupNameEnv_NF :: NameEnv a -> Name -> a

valuedelFromNameEnv :: NameEnv a -> Name -> NameEnv a

valuedelListFromNameEnv :: NameEnv a -> [Name] -> NameEnv a

valueelemNameEnv :: Name -> NameEnv a -> Bool

valuemapNameEnv :: (elt1 -> elt2) -> NameEnv elt1 -> NameEnv elt2

valuedisjointNameEnv :: NameEnv a -> NameEnv a -> Bool

valueseqEltsNameEnv :: (elt -> ()) -> NameEnv elt -> ()

typetype DNameEnv a = UniqDFM Name a

Deterministic Name Environment

See Note [Deterministic UniqFM] in GHC.Types.Unique.DFM for explanation why we need DNameEnv.

valueemptyDNameEnv :: DNameEnv a

valueisEmptyDNameEnv :: DNameEnv a -> Bool

valuelookupDNameEnv :: DNameEnv a -> Name -> Maybe a

valuedelFromDNameEnv :: DNameEnv a -> Name -> DNameEnv a

valuefilterDNameEnv :: (a -> Bool) -> DNameEnv a -> DNameEnv a

valuemapDNameEnv :: (a -> b) -> DNameEnv a -> DNameEnv b

valueadjustDNameEnv :: (a -> a) -> DNameEnv a -> Name -> DNameEnv a

valueupsertDNameEnv :: (Maybe a -> a) -> DNameEnv a -> Name -> DNameEnv a

valuealterDNameEnv :: (Maybe a -> Maybe a) -> DNameEnv a -> Name -> DNameEnv a

valueextendDNameEnv :: DNameEnv a -> Name -> a -> DNameEnv a

valueeltsDNameEnv :: DNameEnv a -> [a]

valueextendDNameEnv_C :: (a -> a -> a) -> DNameEnv a -> Name -> a -> DNameEnv a

valueplusDNameEnv_C

:: elt -> elt -> elt
-> DNameEnv elt
-> DNameEnv elt
-> DNameEnv elt

valuefoldDNameEnv :: (a -> b -> b) -> b -> DNameEnv a -> b

valuenonDetStrictFoldDNameEnv :: (a -> b -> b) -> b -> DNameEnv a -> b

Dependency analysis

valuedepAnal :: (node -> [Name]) -> (node -> [Name]) -> [node] -> [SCC node]