[internal data type constructor of Rule and Rules c
martin.hofmann@uni-bamberg.de**20081114121647] hunk ./src/Data/Rules.hs 33
-data Rule = HR {lhs :: LHS, rhs :: RHS} deriving( Eq, Ord)
+data Rule = R {lhs :: LHS, rhs :: RHS} deriving( Eq, Ord)
hunk ./src/Data/Rules.hs 37
-rule = HR
+rule = R
hunk ./src/Data/Rules.hs 49
-    rate (HR ls rs) = size ls * size rs
+    rate (R ls rs) = size ls * size rs
hunk ./src/Data/Rules.hs 52
-    show (HR ls rs) = show ls ++ "=" ++ show rs
+    show (R ls rs) = show ls ++ "=" ++ show rs
+    
+ 
+
hunk ./src/Data/Rules.hs 61
-newtype Rules = HRs { unHRs :: Set Rule }
+
+newtype Rules = RS { unRS :: Set Rule }
hunk ./src/Data/Rules.hs 73
-fold f i rs = S.fold f i (unHRs rs)
+fold f i rs = S.fold f i (unRS rs)
hunk ./src/Data/Rules.hs 76
-map f rs  = HRs $ (S.map f) (unHRs rs)
+map f rs  = RS $ (S.map f) (unRS rs)
hunk ./src/Data/Rules.hs 80
-union (HRs rs1) (HRs rs2) = HRs $ S.union rs1 rs2
+union (RS rs1) (RS rs2) = RS $ S.union rs1 rs2
hunk ./src/Data/Rules.hs 83
-insert r rs = HRs $ (S.insert r) $ unHRs rs
+insert r rs = RS $ (S.insert r) $ unRS rs
hunk ./src/Data/Rules.hs 86
-delete r rs = HRs $ (S.delete r) $ unHRs rs
+delete r rs = RS $ (S.delete r) $ unRS rs
hunk ./src/Data/Rules.hs 97
-rulesFromList rs  = HRs $ S.fromList rs
+rulesFromList rs  = RS $ S.fromList rs
hunk ./src/Data/Rules.hs 100
-rulesFromSet rs = HRs rs
+rulesFromSet rs = RS rs
+
+rulesToList = S.toList.unRS
+rulesToSet = unRS
+
hunk ./src/Data/Rules.hs 106
-rulesToList = S.toList.unHRs
-rulesToSet = unHRs