Moduleghc-10.0.0.20260917GHC2024

GHC.Core.TyCon.Env

2 types
38 values

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

TyCon environment (map)

1 declaration

typetype TyConEnv a = UniqFM TyCon a

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

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