treeFold: two very different implementations.
authorRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Fri, 26 Dec 2014 07:57:50 +0000 (13:27 +0530)
committerRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Fri, 26 Dec 2014 07:57:50 +0000 (13:27 +0530)
hw8/Party.hs

index 180e45a49c32b44fcf389722d0192633ccb27d24..2a5cf79425d156d7020190bb000715cf8eb78733 100644 (file)
@@ -3,6 +3,7 @@ module Party where
 
 import Data.Monoid
 import Employee
+import Data.Tree
 
 -- exercise 1
 -- glCons - a naive way to add an employee to a guest list
@@ -18,3 +19,23 @@ instance Monoid GuestList where
 moreFun :: GuestList -> GuestList -> GuestList
 moreFun g1@(GL _ f1) g2@(GL _ f2) | f1 > f2 = g1
                                   | otherwise = g2
+
+-- treeFold :: (Tree a -> b -> b) -> b -> Tree a -> b
+-- treeFold combine e= treeDestructor e f
+--     where f _ ts = let vs = map (\t1 -> treeFold combine e t1) ts in
+--                    foldr (\acc v -> combine v acc) e vs
+--           treeDestructor _ f1 t1 = case t1 of
+--                          (Node v xs) -> f1 v xs
+
+
+-- treeFold :: (t1 -> [b] -> b) -> Tree t1 -> b
+-- treeFold combine = treeDestructor f
+--      where f v ts = let vs = map (\t -> treeFold combine t) ts in
+--                     combine v vs
+--            treeDestructor f1 t1 = case t1 of
+--                                     (Node v xs) -> f1 v xs
+treeFold :: (b -> a -> b) -> b -> Tree a -> b
+treeFold f e (Node v []) = f e v
+treeFold f e (Node v ts) = let b = foldr (\t acc -> treeFold f acc t) e ts
+                           in
+                             f b v