asum really needs to go into the Foldable class (or something)

[David Feuer]

There's a big difference between operations that don't care what's in the
Foldable, or that inherently know it, and ones that do care. Foldable is
very good at things that don't care, or that know it, like foldl, foldl',
foldl1, foldr, foldr', foldr1, toList, length, null, and, or, any, all. For
elem, sum, product, asum, and traverse_, it matters very much, but Foldable
can't distinguish!

On Wed, Nov 5, 2014 at 1:02 PM, Felipe Lessa <felipe.lessa at gmail.com> wrote:

> Why the separate type class?  Am I missing something?
>
> Cheers! :)
>
> --
> Felipe.
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20141105/e980f86a/attachment.html>