minor cleanup; remove one use of fromJust
[ghc-hetmet.git] / ghc / compiler / basicTypes / VarSet.lhs
index 8cad15e..55e82a8 100644 (file)
@@ -7,13 +7,14 @@
 module VarSet (
        VarSet, IdSet, TyVarSet,
        emptyVarSet, unitVarSet, mkVarSet,
-       extendVarSet, extendVarSet_C,
+       extendVarSet, extendVarSetList, extendVarSet_C,
        elemVarSet, varSetElems, subVarSet,
        unionVarSet, unionVarSets,
        intersectVarSet, intersectsVarSet,
        isEmptyVarSet, delVarSet, delVarSetList, delVarSetByKey,
        minusVarSet, foldVarSet, filterVarSet,
-       lookupVarSet, mapVarSet, sizeVarSet, seqVarSet
+       lookupVarSet, mapVarSet, sizeVarSet, seqVarSet,
+       elemVarSetByKey
     ) where
 
 #include "HsVersions.h"
@@ -42,6 +43,7 @@ unionVarSets  :: [VarSet] -> VarSet
 varSetElems    :: VarSet -> [Var]
 unitVarSet     :: Var -> VarSet
 extendVarSet   :: VarSet -> Var -> VarSet
+extendVarSetList:: VarSet -> [Var] -> VarSet
 elemVarSet     :: Var -> VarSet -> Bool
 delVarSet      :: VarSet -> Var -> VarSet
 delVarSetList  :: VarSet -> [Var] -> VarSet
@@ -58,10 +60,12 @@ filterVarSet        :: (Var -> Bool) -> VarSet -> VarSet
 extendVarSet_C  :: (Var->Var->Var) -> VarSet -> Var -> VarSet
 
 delVarSetByKey :: VarSet -> Unique -> VarSet
+elemVarSetByKey :: Unique -> VarSet -> Bool
 
 emptyVarSet    = emptyUniqSet
 unitVarSet     = unitUniqSet
 extendVarSet   = addOneToUniqSet
+extendVarSetList= addListToUniqSet
 intersectVarSet        = intersectUniqSets
 
 intersectsVarSet:: VarSet -> VarSet -> Bool    -- True if non-empty intersection
@@ -85,6 +89,7 @@ sizeVarSet    = sizeUniqSet
 filterVarSet   = filterUniqSet
 extendVarSet_C combine s x = addToUFM_C combine s x x
 delVarSetByKey = delFromUFM_Directly   -- Can't be bothered to add this to UniqSet
+elemVarSetByKey        = elemUniqSet_Directly
 \end{code}
 
 \begin{code}