Add kind equalities to GHC.
[ghc.git] / compiler / basicTypes / NameEnv.hs
index 9018bc4..d2641e2 100644 (file)
@@ -12,7 +12,8 @@ module NameEnv (
 
         -- ** Manipulating these environments
         mkNameEnv,
-        emptyNameEnv, unitNameEnv, nameEnvElts, nameEnvUniqueElts,
+        emptyNameEnv, isEmptyNameEnv,
+        unitNameEnv, nameEnvElts, nameEnvUniqueElts,
         extendNameEnv_C, extendNameEnv_Acc, extendNameEnv,
         extendNameEnvList, extendNameEnvList_C,
         foldNameEnv, filterNameEnv, anyNameEnv,
@@ -68,6 +69,7 @@ depAnal get_defs get_uses nodes
 type NameEnv a = UniqFM a       -- Domain is Name
 
 emptyNameEnv       :: NameEnv a
+isEmptyNameEnv     :: NameEnv a -> Bool
 mkNameEnv          :: [(Name,a)] -> NameEnv a
 nameEnvElts        :: NameEnv a -> [a]
 nameEnvUniqueElts  :: NameEnv a -> [(Unique, a)]
@@ -93,6 +95,7 @@ disjointNameEnv    :: NameEnv a -> NameEnv a -> Bool
 
 nameEnvElts x         = eltsUFM x
 emptyNameEnv          = emptyUFM
+isEmptyNameEnv        = isNullUFM
 unitNameEnv x y       = unitUFM x y
 extendNameEnv x y z   = addToUFM x y z
 extendNameEnvList x l = addListToUFM x l