Moduleghc-9.10.3GHC2021

GHC.Data.FastString.Env

2 types
25 values

Packageghc-9.10.3
Exports27
LanguageGHC2021
LicenceBSD-3-Clause
SourceEnv.hs

FastString environments (maps)

1 declaration

typetype FastStringEnv a = UniqFM FastString a

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

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

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)

1 declaration

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