Proposal: Add missing Foldable/Traversable instances for Prelude types
ekmett at gmail.com
Thu Jan 27 17:15:51 CET 2011
Thats fine by me. I prefer this version as well. I just want there to be
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
> 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Libraries