X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FbasicTypes%2FNameEnv.lhs;h=984f0963ccb735e178d88f5dff52aef592f6c8d2;hp=544a8efa74d4dabe661f97555556c15cf24355c7;hb=c0687066474aa4ce4912f31a5c09c1bcd673fb06;hpb=f56db204b1b4c819755a3457b61e1302c22bdc64 diff --git a/compiler/basicTypes/NameEnv.lhs b/compiler/basicTypes/NameEnv.lhs index 544a8ef..984f096 100644 --- a/compiler/basicTypes/NameEnv.lhs +++ b/compiler/basicTypes/NameEnv.lhs @@ -6,7 +6,11 @@ \begin{code} module NameEnv ( - NameEnv, mkNameEnv, + -- * Var, Id and TyVar environments (maps) + NameEnv, + + -- ** Manipulating these environments + mkNameEnv, emptyNameEnv, unitNameEnv, nameEnvElts, nameEnvUniqueElts, extendNameEnv_C, extendNameEnv_Acc, extendNameEnv, extendNameEnvList, extendNameEnvList_C, @@ -19,7 +23,7 @@ module NameEnv ( #include "HsVersions.h" import Name -import Unique(Unique) +import Unique import UniqFM import Maybes \end{code} @@ -54,26 +58,26 @@ foldNameEnv :: (a -> b -> b) -> b -> NameEnv a -> b filterNameEnv :: (elt -> Bool) -> NameEnv elt -> NameEnv elt mapNameEnv :: (elt1 -> elt2) -> NameEnv elt1 -> NameEnv elt2 -emptyNameEnv = emptyUFM -foldNameEnv = foldUFM -mkNameEnv = listToUFM -nameEnvElts = eltsUFM -nameEnvUniqueElts = ufmToList -extendNameEnv_C = addToUFM_C -extendNameEnv_Acc = addToUFM_Acc -extendNameEnv = addToUFM -plusNameEnv = plusUFM -plusNameEnv_C = plusUFM_C -extendNameEnvList = addListToUFM -extendNameEnvList_C = addListToUFM_C -delFromNameEnv = delFromUFM -delListFromNameEnv = delListFromUFM -elemNameEnv = elemUFM -unitNameEnv = unitUFM -filterNameEnv = filterUFM -mapNameEnv = mapUFM +nameEnvElts x = eltsUFM x +emptyNameEnv = emptyUFM +unitNameEnv x y = unitUFM x y +extendNameEnv x y z = addToUFM x y z +extendNameEnvList x l = addListToUFM x l +lookupNameEnv x y = lookupUFM x y +mkNameEnv l = listToUFM l +elemNameEnv x y = elemUFM x y +foldNameEnv a b c = foldUFM a b c +plusNameEnv x y = plusUFM x y +plusNameEnv_C f x y = plusUFM_C f x y +extendNameEnv_C f x y z = addToUFM_C f x y z +mapNameEnv f x = mapUFM f x +nameEnvUniqueElts x = ufmToList x +extendNameEnv_Acc x y z a b = addToUFM_Acc x y z a b +extendNameEnvList_C x y z = addListToUFM_C x y z +delFromNameEnv x y = delFromUFM x y +delListFromNameEnv x y = delListFromUFM x y +filterNameEnv x y = filterUFM x y -lookupNameEnv = lookupUFM -lookupNameEnv_NF env n = expectJust "lookupNameEnv_NF" (lookupUFM env n) +lookupNameEnv_NF env n = expectJust "lookupNameEnv_NF" (lookupNameEnv env n) \end{code}