Inline {Map,Set}.fold* when 2 arguments are given.
authorMilan Straka <fox@ucw.cz>
Sun, 22 Apr 2012 16:00:43 +0000 (18:00 +0200)
committerMilan Straka <fox@ucw.cz>
Sun, 22 Apr 2012 16:00:43 +0000 (18:00 +0200)
Inlining folds when 2 arguments are given is consistent
with Prelude.foldr and {IntMap,IntSeT}.fold*.

Data/Map/Base.hs
Data/Set.hs

index 9669551..966cba7 100644 (file)
@@ -1648,7 +1648,7 @@ mapKeysMonotonic f (Bin sz k x l r) =
 -- > let f a len = len + (length a)
 -- > foldr f 0 (fromList [(5,"a"), (3,"bbb")]) == 4
 foldr :: (a -> b -> b) -> b -> Map k a -> b
-foldr f = go
+foldr f z = go z
   where
     go z Tip             = z
     go z (Bin _ _ x l r) = go (f x (go z r)) l
@@ -1658,7 +1658,7 @@ foldr f = go
 -- evaluated before using the result in the next application. This
 -- function is strict in the starting value.
 foldr' :: (a -> b -> b) -> b -> Map k a -> b
-foldr' f = go
+foldr' f z = go z
   where
     STRICT_1_OF_2(go)
     go z Tip             = z
@@ -1675,7 +1675,7 @@ foldr' f = go
 -- > let f len a = len + (length a)
 -- > foldl f 0 (fromList [(5,"a"), (3,"bbb")]) == 4
 foldl :: (a -> b -> a) -> a -> Map k b -> a
-foldl f = go
+foldl f z = go z
   where
     go z Tip             = z
     go z (Bin _ _ x l r) = go (f (go z l) x) r
@@ -1685,7 +1685,7 @@ foldl f = go
 -- evaluated before using the result in the next application. This
 -- function is strict in the starting value.
 foldl' :: (a -> b -> a) -> a -> Map k b -> a
-foldl' f = go
+foldl' f z = go z
   where
     STRICT_1_OF_2(go)
     go z Tip             = z
@@ -1703,7 +1703,7 @@ foldl' f = go
 -- > let f k a result = result ++ "(" ++ (show k) ++ ":" ++ a ++ ")"
 -- > foldrWithKey f "Map: " (fromList [(5,"a"), (3,"b")]) == "Map: (5:a)(3:b)"
 foldrWithKey :: (k -> a -> b -> b) -> b -> Map k a -> b
-foldrWithKey f = go
+foldrWithKey f z = go z
   where
     go z Tip             = z
     go z (Bin _ kx x l r) = go (f kx x (go z r)) l
@@ -1713,7 +1713,7 @@ foldrWithKey f = go
 -- evaluated before using the result in the next application. This
 -- function is strict in the starting value.
 foldrWithKey' :: (k -> a -> b -> b) -> b -> Map k a -> b
-foldrWithKey' f = go
+foldrWithKey' f z = go z
   where
     STRICT_1_OF_2(go)
     go z Tip              = z
@@ -1731,7 +1731,7 @@ foldrWithKey' f = go
 -- > let f result k a = result ++ "(" ++ (show k) ++ ":" ++ a ++ ")"
 -- > foldlWithKey f "Map: " (fromList [(5,"a"), (3,"b")]) == "Map: (3:b)(5:a)"
 foldlWithKey :: (a -> k -> b -> a) -> a -> Map k b -> a
-foldlWithKey f = go
+foldlWithKey f z = go z
   where
     go z Tip              = z
     go z (Bin _ kx x l r) = go (f (go z l) kx x) r
@@ -1741,7 +1741,7 @@ foldlWithKey f = go
 -- evaluated before using the result in the next application. This
 -- function is strict in the starting value.
 foldlWithKey' :: (a -> k -> b -> a) -> a -> Map k b -> a
-foldlWithKey' f = go
+foldlWithKey' f z = go z
   where
     STRICT_1_OF_2(go)
     go z Tip              = z
index a1c8599..1b208c9 100644 (file)
@@ -606,7 +606,7 @@ fold = foldr
 --
 -- > toAscList set = foldr (:) [] set
 foldr :: (a -> b -> b) -> b -> Set a -> b
-foldr f = go
+foldr f z = go z
   where
     go z Tip           = z
     go z (Bin _ x l r) = go (f x (go z r)) l
@@ -616,7 +616,7 @@ foldr f = go
 -- evaluated before using the result in the next application. This
 -- function is strict in the starting value.
 foldr' :: (a -> b -> b) -> b -> Set a -> b
-foldr' f = go
+foldr' f z = go z
   where
     STRICT_1_OF_2(go)
     go z Tip           = z
@@ -630,7 +630,7 @@ foldr' f = go
 --
 -- > toDescList set = foldl (flip (:)) [] set
 foldl :: (a -> b -> a) -> a -> Set b -> a
-foldl f = go
+foldl f z = go z
   where
     go z Tip           = z
     go z (Bin _ x l r) = go (f (go z l) x) r
@@ -640,7 +640,7 @@ foldl f = go
 -- evaluated before using the result in the next application. This
 -- function is strict in the starting value.
 foldl' :: (a -> b -> a) -> a -> Set b -> a
-foldl' f = go
+foldl' f z = go z
   where
     STRICT_1_OF_2(go)
     go z Tip           = z