Proposal: Add missing Foldable/Traversable instances for Prelude types

[Edward Kmett]

Thats fine by me. I prefer this version as well. I just want there to be
_an_ instance.

On Thu, Jan 27, 2011 at 6:00 AM, Ross Paterson <ross at soi.city.ac.uk> wrote:

> On Fri, Jan 21, 2011 at 11:16:46PM -0500, Edward Kmett wrote:
> > I went with the default being to avoid prematurely forcing a bottom when
> > possible, to avoid being called out by the strictness police, but I'm not
> > terribly wedded to the behavior.
>
> There are two opposing police forces out there.  I'd prefer the strict
> versions:
>
>  foldMap f (e,a) = f a
>   traverse f (e,a) = (,) e <$> f a
>
> to match the fmap definition.
>
> _______________________________________________
> 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/20110127/60a80191/attachment.htm>