[replace various Data.Set.fromList with named constructors
Helmut Grohne <grohne@cs.uni-bonn.de>**20150123173834
 Ignore-this: 720d895cc70a9fa52c5a4f0fe8bb10b3
] hunk ./src/Igor2/RuleDevelopment/ListCata.hs 70
-              return [(S.fromList [cr',afcr],[(name cr',afnm, LT)])]
-    where    
-    mbMapIO r = liftM (map (\(inn,out) -> rule ((butIthArg i r) ++ [inn]) out)) $ liftM2 zip (mbListElems $ ithArg i r)(mbListElems . rhs $ r)
+              return [(covrRules [cr', afcr], [(name cr', afnm, LT)])]
+    where
+    mbMapIO r = liftM (map (\(inn, out) -> rule (butIthArg i r ++ [inn]) out)) $ liftM2 zip (mbListElems $ ithArg i r) (mbListElems . rhs $ r)
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 109
-                return (S.fromList [cr',afcr],[(name cr',afnm, LT)])
+                return (covrRules [cr', afcr], [(name cr', afnm, LT)])
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 146
-        return (S.fromList [cr',afcr],[(name cr',afnm, LT)])
-    where    
-    mapApplicable ios = and $ [hasMapProperty (bc,evi), all (not . hasFreeVars) ios, not . null $ ios]
+        return (covrRules [cr', afcr], [(name cr', afnm, LT)])
+    where
+    mapApplicable ios = hasMapProperty (bc, evi) && all (not . hasFreeVars) ios && not (null ios)
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 215
-    
-    return (S.fromList [cr',afcr],[(name cr',afnm, GT)])
+
+    return (covrRules [cr', afcr], [(name cr', afnm, GT)])
hunk ./src/Igor2/RuleDevelopment/Partition.hs 29
-    return (S.fromList [first, fusedrest],[])
+    return (covrRules [first, fusedrest], [])
hunk ./src/Igor2/RuleDevelopment/Partition.hs 63
-             
-    
-fuseParts :: [[[CovrRule]]] -> IM [CovrRules] 
-fuseParts = lift . mapM ((liftM S.fromList).(mapM fuse))
hunk ./src/Igor2/RuleDevelopment/Partition.hs 64
--- complexity should be O(n*m) where n is the number of rules and m the number 
+
+fuseParts :: [[[CovrRule]]] -> IM [CovrRules]
+fuseParts = lift . mapM (liftM covrRules . mapM fuse)
+
+-- complexity should be O(n*m) where n is the number of rules and m the number
hunk ./src/Igor2/RuleDevelopment/Subfunction.hs 41
-    return $ [(S.fromList (rfnew:rfsubs), calls) ]
-    
+    return [(covrRules (rfnew:rfsubs), calls) ]
+
hunk ./src/Igor2/RuleDevelopment/Subfunction.hs 52
-abduceIOAt rfs p =  S.fromList $ map (fromJust.(subrule p).crul) rfs 
+abduceIOAt rfs p = rules $ map (fromJust . subrule p . crul) rfs
+
+