[converter functions from/to Dec/Rules
martin.hofmann@uni-bamberg.de**20081127103600] hunk ./src/Data/Initialiser.hs 7
-import Data.Rules
-import Data.Hypotheses
+import Data.Rules (Rules,Rule, rules, rule, rulesToList, lhs, rhs)
+import qualified Data.Rules as R
+
+import Data.Hypotheses (Hypos, Hypo)
+import qualified Data.Hypotheses as H
hunk ./src/Data/Initialiser.hs 16
+decs2rules :: [Dec] -> [(Name,Rules)]
+decs2rules = map dec2rules
+
+dec2rules :: Dec -> (Name,Rules)
+dec2rules (FunD n cs) = (n,toRules cs) 
+dec2rules d = error $ 
+    "Initialiser.dec2rules: " ++ 
+    show d ++ 
+    " is not a function definition!"
+ 
+toRules :: [Clause] -> Rules
+toRules cs = rules $ map toRule cs
+
hunk ./src/Data/Initialiser.hs 31
-toRule c = error $ "Cannot transform clause " ++ (show c) ++ " to an equation!"
+toRule c = error $ 
+    "Cannot transform clause " ++ 
+    (show c) ++ 
+    " to a rule!"
+    
+rules2decs :: [(Name,Rules)] -> [Dec]
+rules2decs = map rules2dec
+
+rules2dec :: (Name,Rules) -> Dec
+rules2dec (n,rs) = FunD n (fromRules rs)
hunk ./src/Data/Initialiser.hs 42
-fromRule :: Equation -> Clause
-fromRule r = Clause (lhs r) (NormalB.rhs r) [] 
+fromRules :: Rules -> [Clause]
+fromRules rs = map fromRule (rulesToList rs)
+     
+fromRule :: Rule -> Clause
+fromRule r = Clause (lhs r) (NormalB $ rhs r) [] 