X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2FbasicTypes%2FVarSet.lhs;fp=compiler%2FbasicTypes%2FVarSet.lhs;h=55e82a8515ae17871946e676343a1ed94dbeb249;hb=0065d5ab628975892cea1ec7303f968c3338cbe1;hp=0000000000000000000000000000000000000000;hpb=28a464a75e14cece5db40f2765a29348273ff2d2;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/VarSet.lhs b/compiler/basicTypes/VarSet.lhs
new file mode 100644
index 0000000..55e82a8
--- /dev/null
+++ b/compiler/basicTypes/VarSet.lhs
@@ -0,0 +1,105 @@
+%
+% (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
+%
+\section{@VarSet@: Variable sets}
+
+\begin{code}
+module VarSet (
+	VarSet, IdSet, TyVarSet,
+	emptyVarSet, unitVarSet, mkVarSet,
+	extendVarSet, extendVarSetList, extendVarSet_C,
+	elemVarSet, varSetElems, subVarSet,
+	unionVarSet, unionVarSets,
+	intersectVarSet, intersectsVarSet,
+	isEmptyVarSet, delVarSet, delVarSetList, delVarSetByKey,
+	minusVarSet, foldVarSet, filterVarSet,
+	lookupVarSet, mapVarSet, sizeVarSet, seqVarSet,
+	elemVarSetByKey
+    ) where
+
+#include "HsVersions.h"
+
+import Var		( Var, Id, TyVar )
+import Unique		( Unique )
+import UniqSet
+import UniqFM		( delFromUFM_Directly, addToUFM_C )
+\end{code}
+
+%************************************************************************
+%*									*
+\subsection{@VarSet@s}
+%*									*
+%************************************************************************
+
+\begin{code}
+type VarSet       = UniqSet Var
+type IdSet 	  = UniqSet Id
+type TyVarSet	  = UniqSet TyVar
+
+emptyVarSet	:: VarSet
+intersectVarSet	:: VarSet -> VarSet -> VarSet
+unionVarSet	:: VarSet -> VarSet -> VarSet
+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
+minusVarSet	:: VarSet -> VarSet -> VarSet
+isEmptyVarSet	:: VarSet -> Bool
+mkVarSet	:: [Var] -> VarSet
+foldVarSet	:: (Var -> a -> a) -> a -> VarSet -> a
+lookupVarSet	:: VarSet -> Var -> Maybe Var
+			-- Returns the set element, which may be
+			-- (==) to the argument, but not the same as
+mapVarSet 	:: (Var -> Var) -> VarSet -> VarSet
+sizeVarSet	:: VarSet -> Int
+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
+	-- (s1 `intersectsVarSet` s2) doesn't compute s2 if s1 is empty
+subVarSet	:: VarSet -> VarSet -> Bool	-- True if first arg is subset of second
+ 	-- (s1 `subVarSet` s2) doesn't compute s2 if s1 is empty
+
+unionVarSet	= unionUniqSets
+unionVarSets	= unionManyUniqSets
+varSetElems	= uniqSetToList
+elemVarSet	= elementOfUniqSet
+minusVarSet	= minusUniqSet
+delVarSet	= delOneFromUniqSet
+delVarSetList	= delListFromUniqSet
+isEmptyVarSet	= isEmptyUniqSet
+mkVarSet	= mkUniqSet
+foldVarSet	= foldUniqSet
+lookupVarSet	= lookupUniqSet
+mapVarSet	= mapUniqSet
+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}
+-- See comments with type signatures
+intersectsVarSet s1 s2 = not (isEmptyVarSet (s1 `intersectVarSet` s2))
+a `subVarSet` b = isEmptyVarSet (a `minusVarSet` b)
+\end{code}
+
+\begin{code}
+seqVarSet :: VarSet -> ()
+seqVarSet s = sizeVarSet s `seq` ()
+\end{code}
+