2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[NameEnv]{@NameEnv@: name environments}
9 emptyNameEnv, unitNameEnv, nameEnvElts,
10 extendNameEnv_C, extendNameEnv, foldNameEnv, filterNameEnv,
11 plusNameEnv, plusNameEnv_C, extendNameEnv, extendNameEnvList,
12 lookupNameEnv, lookupNameEnv_NF, delFromNameEnv, elemNameEnv
15 #include "HsVersions.h"
19 import Maybes ( expectJust )
22 %************************************************************************
24 \subsection{Name environment}
26 %************************************************************************
29 type NameEnv a = UniqFM a -- Domain is Name
31 emptyNameEnv :: NameEnv a
32 mkNameEnv :: [(Name,a)] -> NameEnv a
33 nameEnvElts :: NameEnv a -> [a]
34 extendNameEnv_C :: (a->a->a) -> NameEnv a -> Name -> a -> NameEnv a
35 extendNameEnv :: NameEnv a -> Name -> a -> NameEnv a
36 plusNameEnv :: NameEnv a -> NameEnv a -> NameEnv a
37 plusNameEnv_C :: (a->a->a) -> NameEnv a -> NameEnv a -> NameEnv a
38 extendNameEnvList:: NameEnv a -> [(Name,a)] -> NameEnv a
39 delFromNameEnv :: NameEnv a -> Name -> NameEnv a
40 elemNameEnv :: Name -> NameEnv a -> Bool
41 unitNameEnv :: Name -> a -> NameEnv a
42 lookupNameEnv :: NameEnv a -> Name -> Maybe a
43 lookupNameEnv_NF :: NameEnv a -> Name -> a
44 mapNameEnv :: (a->b) -> NameEnv a -> NameEnv b
45 foldNameEnv :: (a -> b -> b) -> b -> NameEnv a -> b
46 filterNameEnv :: (elt -> Bool) -> NameEnv elt -> NameEnv elt
48 emptyNameEnv = emptyUFM
52 extendNameEnv_C = addToUFM_C
53 extendNameEnv = addToUFM
55 plusNameEnv_C = plusUFM_C
56 extendNameEnvList= addListToUFM
57 delFromNameEnv = delFromUFM
61 filterNameEnv = filterUFM
63 lookupNameEnv = lookupUFM
64 lookupNameEnv_NF env n = expectJust "lookupNameEnv_NF" (lookupUFM env n)