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

Andreas Abel andreas.abel at ifi.lmu.de
Fri Nov 9 11:22:03 CET 2012


+1

On 09.11.12 10:29 AM, Bas van Dijk wrote:
> 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
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/



More information about the Libraries mailing list