Proposal: alpha-rename the type signatures of foldl, foldl', and scanl to be consistent with foldr and scanr
Simon Hengel
sol at typeful.net
Sun Oct 14 19:01:26 CEST 2012
> The total change would be to replace
>
> Prelude.foldl :: (a -> b -> a) -> a -> [b] -> a
> Prelude.scanl :: (a -> b -> a) -> a -> [b] -> [a]
> Data.List.foldl' :: (a -> b -> a) -> a -> [b] -> a
> Data.Foldable.foldl :: (a -> b -> a) -> a -> t b -> a
> Data.Foldable.foldl' :: (a -> b -> a) -> a -> t b -> a
>
> with
>
> Prelude.foldl :: (b -> a -> b) -> b -> [a] -> b
> Prelude.scanl :: (b -> a -> b) -> b -> [a] -> [b]
> Data.List.foldl' :: (b -> a -> b) -> b -> [a] -> b
> Data.Foldable.foldl :: (b -> a -> b) -> b -> t a -> b
> Data.Foldable.foldl' :: (b -> a -> b) -> b -> t a -> b
+1
Cheers,
Simon
More information about the Libraries
mailing list