Moduleghc-10.0.0.20260917GHC2024

GHC.Core.TyCon.Env

Contents

TyCon environment (map)
Manipulating these environments

Synopsis

type TyConEnv
value mkTyConEnv
value mkTyConEnvWith
value emptyTyConEnv
value isEmptyTyConEnv
value unitTyConEnv
value nonDetTyConEnvElts
value extendTyConEnv_C
value extendTyConEnv_Acc
value extendTyConEnv
value extendTyConEnvList
value extendTyConEnvList_C
value filterTyConEnv
value anyTyConEnv
value plusTyConEnv
value plusTyConEnv_C
value plusTyConEnv_CD
value plusTyConEnv_CD2
value upsertTyConEnv
value alterTyConEnv
value lookupTyConEnv
value lookupTyConEnv_NF
value delFromTyConEnv
value delListFromTyConEnv
value elemTyConEnv
value mapTyConEnv
value disjointTyConEnv
type DTyConEnv
value emptyDTyConEnv
value isEmptyDTyConEnv
value lookupDTyConEnv
value delFromDTyConEnv
value filterDTyConEnv
value mapDTyConEnv
value mapMaybeDTyConEnv
value adjustDTyConEnv
value upsertDTyConEnv
value alterDTyConEnv
value extendDTyConEnv
value foldDTyConEnv

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

TyCon environment (map)

typetype TyConEnv a = UniqFM TyCon a

Source#

TyCon Environment

Manipulating these environments

valuemkTyConEnv :: [(TyCon, a)] -> TyConEnv a

valuemkTyConEnvWith :: (a -> TyCon) -> [a] -> TyConEnv a

valueemptyTyConEnv :: TyConEnv a

valueisEmptyTyConEnv :: TyConEnv a -> Bool

valueunitTyConEnv :: TyCon -> a -> TyConEnv a

valuenonDetTyConEnvElts :: TyConEnv a -> [a]

valueextendTyConEnv_C :: (a -> a -> a) -> TyConEnv a -> TyCon -> a -> TyConEnv a

valueextendTyConEnv_Acc

:: a -> b -> b
-> a -> b
-> TyConEnv b
-> TyCon
-> a
-> TyConEnv b

valueextendTyConEnv :: TyConEnv a -> TyCon -> a -> TyConEnv a

valueextendTyConEnvList :: TyConEnv a -> [(TyCon, a)] -> TyConEnv a

valueextendTyConEnvList_C

:: a -> a -> a
-> TyConEnv a
-> [(TyCon, a)]
-> TyConEnv a

valuefilterTyConEnv :: (elt -> Bool) -> TyConEnv elt -> TyConEnv elt

valueanyTyConEnv :: (elt -> Bool) -> TyConEnv elt -> Bool

valueplusTyConEnv :: TyConEnv a -> TyConEnv a -> TyConEnv a

valueplusTyConEnv_C :: (a -> a -> a) -> TyConEnv a -> TyConEnv a -> TyConEnv a

valueplusTyConEnv_CD

:: a -> a -> a
-> TyConEnv a
-> a
-> TyConEnv a
-> a
-> TyConEnv a

valueplusTyConEnv_CD2

:: Maybe a -> Maybe a -> a
-> TyConEnv a
-> TyConEnv a
-> TyConEnv a

valueupsertTyConEnv :: (Maybe a -> a) -> TyConEnv a -> TyCon -> TyConEnv a

valuealterTyConEnv :: (Maybe a -> Maybe a) -> TyConEnv a -> TyCon -> TyConEnv a

valuelookupTyConEnv :: TyConEnv a -> TyCon -> Maybe a

valuelookupTyConEnv_NF :: TyConEnv a -> TyCon -> a

valuedelFromTyConEnv :: TyConEnv a -> TyCon -> TyConEnv a

valuedelListFromTyConEnv :: TyConEnv a -> [TyCon] -> TyConEnv a

valueelemTyConEnv :: TyCon -> TyConEnv a -> Bool

valuemapTyConEnv :: (elt1 -> elt2) -> TyConEnv elt1 -> TyConEnv elt2

valuedisjointTyConEnv :: TyConEnv a -> TyConEnv a -> Bool

typetype DTyConEnv a = UniqDFM TyCon a

Source#

Deterministic TyCon Environment

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

valueemptyDTyConEnv :: DTyConEnv a

valueisEmptyDTyConEnv :: DTyConEnv a -> Bool

valuelookupDTyConEnv :: DTyConEnv a -> TyCon -> Maybe a

valuedelFromDTyConEnv :: DTyConEnv a -> TyCon -> DTyConEnv a

valuefilterDTyConEnv :: (a -> Bool) -> DTyConEnv a -> DTyConEnv a

valuemapDTyConEnv :: (a -> b) -> DTyConEnv a -> DTyConEnv b

valuemapMaybeDTyConEnv :: (a -> Maybe b) -> DTyConEnv a -> DTyConEnv b

valueadjustDTyConEnv :: (a -> a) -> DTyConEnv a -> TyCon -> DTyConEnv a

valueupsertDTyConEnv :: (Maybe a -> a) -> DTyConEnv a -> TyCon -> DTyConEnv a

valuealterDTyConEnv

:: Maybe a -> Maybe a
-> DTyConEnv a
-> TyCon
-> DTyConEnv a

valueextendDTyConEnv :: DTyConEnv a -> TyCon -> a -> DTyConEnv a

valuefoldDTyConEnv :: (elt -> a -> a) -> a -> DTyConEnv elt -> a