Moduleghc-10.0.0.20260917GHC2024

GHC.Data.FastString.Env

Contents

FastString environments (maps)
Manipulating these environments
Deterministic FastString environments (maps)
Manipulating these environments

Synopsis

type FastStringEnv
value mkFsEnv
value emptyFsEnv
value unitFsEnv
value extendFsEnv_C
value extendFsEnv_Acc
value extendFsEnv
value extendFsEnvList
value extendFsEnvList_C
value filterFsEnv
value plusFsEnv
value plusFsEnv_C
value alterFsEnv
value upsertFsEnv
value lookupFsEnv
value lookupFsEnv_NF
value delFromFsEnv
value delListFromFsEnv
value elemFsEnv
value mapFsEnv
value strictMapFsEnv
value mapMaybeFsEnv
value nonDetFoldFsEnv
type DFastStringEnv
value mkDFsEnv
value emptyDFsEnv
value dFsEnvElts
value lookupDFsEnv

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

FastString environments (maps)

typetype FastStringEnv a = UniqFM FastString a

Source#

A non-deterministic set of FastStrings. See Note [Deterministic UniqFM] in GHC.Types.Unique.DFM for explanation why it's not deterministic and why it matters. Use DFastStringEnv if the set eventually gets converted into a list or folded over in a way where the order changes the generated code.

Manipulating these environments

valuemkFsEnv :: [(FastString, a)] -> FastStringEnv a

valueemptyFsEnv :: FastStringEnv a

valueunitFsEnv :: FastString -> a -> FastStringEnv a

valueextendFsEnv_C

:: a -> a -> a
-> FastStringEnv a
-> FastString
-> a
-> FastStringEnv a

valueextendFsEnv_Acc

:: a -> b -> b
-> a -> b
-> FastStringEnv b
-> FastString
-> a
-> FastStringEnv b

valueextendFsEnv :: FastStringEnv a -> FastString -> a -> FastStringEnv a

valueextendFsEnvList :: FastStringEnv a -> [(FastString, a)] -> FastStringEnv a

valueextendFsEnvList_C

:: a -> a -> a
-> FastStringEnv a
-> [(FastString, a)]
-> FastStringEnv a

valuefilterFsEnv :: (elt -> Bool) -> FastStringEnv elt -> FastStringEnv elt

valueplusFsEnv :: FastStringEnv a -> FastStringEnv a -> FastStringEnv a

valueplusFsEnv_C

:: a -> a -> a
-> FastStringEnv a
-> FastStringEnv a
-> FastStringEnv a

valuealterFsEnv

:: Maybe a -> Maybe a
-> FastStringEnv a
-> FastString
-> FastStringEnv a

valueupsertFsEnv

:: Maybe a -> a
-> FastStringEnv a
-> FastString
-> FastStringEnv a

valuelookupFsEnv :: FastStringEnv a -> FastString -> Maybe a

valuelookupFsEnv_NF :: FastStringEnv a -> FastString -> a

valuedelFromFsEnv :: FastStringEnv a -> FastString -> FastStringEnv a

valuedelListFromFsEnv :: FastStringEnv a -> [FastString] -> FastStringEnv a

valueelemFsEnv :: FastString -> FastStringEnv a -> Bool

valuemapFsEnv :: (elt1 -> elt2) -> FastStringEnv elt1 -> FastStringEnv elt2

valuestrictMapFsEnv :: (a -> b) -> FastStringEnv a -> FastStringEnv b

valuemapMaybeFsEnv

:: elt1 -> Maybe elt2
-> FastStringEnv elt1
-> FastStringEnv elt2

valuenonDetFoldFsEnv :: (a -> b -> b) -> b -> FastStringEnv a -> b

Source#

Fold over a FastStringEnv.

Non-deterministic, unless the folding function is commutative (i.e. a1 f ( a2 f b ) == a2 f ( a1 f b ) for all a1, a2, b).

Deterministic FastString environments (maps)

typetype DFastStringEnv a = UniqDFM FastString a

Manipulating these environments

valuemkDFsEnv :: [(FastString, a)] -> DFastStringEnv a

valueemptyDFsEnv :: DFastStringEnv a

valuedFsEnvElts :: DFastStringEnv a -> [a]

valuelookupDFsEnv :: DFastStringEnv a -> FastString -> Maybe a