| ||||
| ||||
| ||||
| Synopsis | ||||
| Var, Id and TyVar environments (maps) | ||||
| data NameEnv a | ||||
| ||||
| 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.7.2 |