2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[NameEnv]{@NameEnv@: name environments}
9 emptyNameEnv, unitNameEnv, nameEnvElts,
10 extendNameEnv_C, extendNameEnvList_C, extendNameEnv, extendNameEnvList,
11 foldNameEnv, filterNameEnv,
12 plusNameEnv, plusNameEnv_C,
13 lookupNameEnv, lookupNameEnv_NF, delFromNameEnv, delListFromNameEnv,
17 #include "HsVersions.h"
21 import Maybes ( expectJust )
24 %************************************************************************
26 \subsection{Name environment}
28 %************************************************************************
31 type NameEnv a = UniqFM a -- Domain is Name
33 emptyNameEnv :: NameEnv a
34 mkNameEnv :: [(Name,a)] -> NameEnv a
35 nameEnvElts :: NameEnv a -> [a]
36 extendNameEnv_C :: (a->a->a) -> NameEnv a -> Name -> a -> NameEnv a
37 extendNameEnvList_C:: (a->a->a) -> NameEnv a -> [(Name,a)] -> NameEnv a
38 extendNameEnv :: NameEnv a -> Name -> a -> NameEnv a
39 plusNameEnv :: NameEnv a -> NameEnv a -> NameEnv a
40 plusNameEnv_C :: (a->a->a) -> NameEnv a -> NameEnv a -> NameEnv a
41 extendNameEnvList :: NameEnv a -> [(Name,a)] -> NameEnv a
42 delFromNameEnv :: NameEnv a -> Name -> NameEnv a
43 delListFromNameEnv :: NameEnv a -> [Name] -> NameEnv a
44 elemNameEnv :: Name -> NameEnv a -> Bool
45 unitNameEnv :: Name -> a -> NameEnv a
46 lookupNameEnv :: NameEnv a -> Name -> Maybe a
47 lookupNameEnv_NF :: NameEnv a -> Name -> a
48 foldNameEnv :: (a -> b -> b) -> b -> NameEnv a -> b
49 filterNameEnv :: (elt -> Bool) -> NameEnv elt -> NameEnv elt
51 emptyNameEnv = emptyUFM
55 extendNameEnv_C = addToUFM_C
56 extendNameEnvList_C = addListToUFM_C
57 extendNameEnv = addToUFM
59 plusNameEnv_C = plusUFM_C
60 extendNameEnvList = addListToUFM
61 delFromNameEnv = delFromUFM
62 delListFromNameEnv = delListFromUFM
65 filterNameEnv = filterUFM
67 lookupNameEnv = lookupUFM
68 lookupNameEnv_NF env n = expectJust "lookupNameEnv_NF" (lookupUFM env n)