|
|
|
|
|
|
Synopsis |
|
|
|
|
Var, Id and TyVar environments (maps)
|
|
data NameEnv a |
Instances | |
|
|
Manipulating these environments
|
|
mkNameEnv :: [(Name, a)] -> NameEnv a |
|
emptyNameEnv :: NameEnv a |
|
unitNameEnv :: Name -> a -> NameEnv a |
|
nameEnvElts :: NameEnv a -> [a] |
|
nameEnvUniqueElts :: NameEnv a -> [(Unique, a)] |
|
extendNameEnv_C :: (a -> a -> a) -> NameEnv a -> Name -> a -> NameEnv a |
|
extendNameEnv_Acc :: (a -> b -> b) -> (a -> b) -> NameEnv b -> Name -> a -> NameEnv b |
|
extendNameEnv :: NameEnv a -> Name -> a -> NameEnv a |
|
extendNameEnvList :: NameEnv a -> [(Name, a)] -> NameEnv a |
|
extendNameEnvList_C :: (a -> a -> a) -> NameEnv a -> [(Name, a)] -> NameEnv a |
|
foldNameEnv :: (a -> b -> b) -> b -> NameEnv a -> b |
|
filterNameEnv :: (elt -> Bool) -> NameEnv elt -> NameEnv elt |
|
plusNameEnv :: NameEnv a -> NameEnv a -> NameEnv a |
|
plusNameEnv_C :: (a -> a -> a) -> NameEnv a -> NameEnv a -> NameEnv a |
|
lookupNameEnv :: NameEnv a -> Name -> Maybe a |
|
lookupNameEnv_NF :: NameEnv a -> Name -> a |
|
delFromNameEnv :: NameEnv a -> Name -> NameEnv a |
|
delListFromNameEnv :: NameEnv a -> [Name] -> NameEnv a |
|
elemNameEnv :: Name -> NameEnv a -> Bool |
|
mapNameEnv :: (elt1 -> elt2) -> NameEnv elt1 -> NameEnv elt2 |
|
Produced by Haddock version 2.4.2 |