Moduleghc-lib-parser-9.14.1.20251220GHC2021

GHC.Types.Name.Env

Contents

Var, Id and TyVar environments (maps)
Manipulating these environments
Dependency analysis

Synopsis

type NameEnv
value mkNameEnv
value mkNameEnvWith
value fromUniqMap
value emptyNameEnv
value isEmptyNameEnv
value unitNameEnv
value nonDetNameEnvElts
value extendNameEnv_C
value extendNameEnv_Acc
value extendNameEnv
value extendNameEnvList
value extendNameEnvList_C
value filterNameEnv
value anyNameEnv
value mapMaybeNameEnv
value extendNameEnvListWith
value plusNameEnv
value plusNameEnv_C
value plusNameEnv_CD
value plusNameEnv_CD2
value alterNameEnv
value plusNameEnvList
value plusNameEnvListWith
value lookupNameEnv
value lookupNameEnv_NF
value delFromNameEnv
value delListFromNameEnv
value elemNameEnv
value mapNameEnv
value disjointNameEnv
value seqEltsNameEnv
type DNameEnv
value emptyDNameEnv
value isEmptyDNameEnv
value lookupDNameEnv
value delFromDNameEnv
value filterDNameEnv
value mapDNameEnv
value adjustDNameEnv
value alterDNameEnv
value extendDNameEnv
value eltsDNameEnv
value extendDNameEnv_C
value plusDNameEnv_C
value foldDNameEnv
value nonDetStrictFoldDNameEnv
value depAnal

Packageghc-lib-parser-9.14.1.20251220
Exports48
LanguageGHC2021
LicenceBSD-3-Clause
SourceEnv.hs

Var, Id and TyVar environments (maps)

typetype NameEnv a = UniqFM Name a

Source#

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

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

Source#

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

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]