alpha-rename the type signatures of foldl, foldl', and scanl to be consistent with...
[packages/base.git] / GHC / List.lhs
index 5dfd1ac..b32cea9 100644 (file)
@@ -166,7 +166,7 @@ filterFB c p x r | p x       = x `c` r
 -- can be inlined, and then (often) strictness-analysed,
 -- and hence the classic space leak on foldl (+) 0 xs
 
-foldl        :: (a -> b -> a) -> a -> [b] -> a
+foldl        :: (b -> a -> b) -> b -> [a] -> b
 foldl f z0 xs0 = lgo z0 xs0
              where
                 lgo z []     =  z
@@ -181,7 +181,7 @@ foldl f z0 xs0 = lgo z0 xs0
 --
 -- > last (scanl f z xs) == foldl f z xs.
 
-scanl                   :: (a -> b -> a) -> a -> [b] -> [a]
+scanl                   :: (b -> a -> b) -> b -> [a] -> [b]
 scanl f q ls            =  q : (case ls of
                                 []   -> []
                                 x:xs -> scanl f (f q x) xs)