Proposal: alpha-rename the type signatures of foldl, foldl', and scanl to be consistent with foldr and scanr

Bas van Dijk v.dijk.bas at gmail.com
Fri Nov 9 10:29:31 CET 2012


Hi,

We should make this same change in Control.Monad:

foldM :: Monad m => (a -> b -> m a) -> a -> [b] -> m a    to:
foldM :: Monad m => (b -> a -> m b) -> b -> [a] -> m b

foldM_ :: Monad m => (a -> b -> m a) -> a -> [b] -> m ()    to:
foldM_ :: Monad m => (b -> a -> m b) -> b -> [a] -> m ()

Bas

On 27 October 2012 22:07, Ian Lynagh <ian at well-typed.com> wrote:
> On Sun, Oct 14, 2012 at 04:28:58PM +0200, Gábor Lehel wrote:
>>
>> I've attached a patch.
>
> I've applied the patch, and also the other agreed changes.
>
>
> Thanks
> Ian
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries



More information about the Libraries mailing list