Proposal: Add missing Monoid for ZipList

[David Feuer]

-1. This breaks the rule that "ZipList is [] with a different Applicative
instance". The monoid instance for lists would work just fine for these.
On Jul 25, 2015 4:50 PM, "Christopher Allen" <cma at bitemyapp.com> wrote:

>
> http://hackage.haskell.org/package/base-4.8.1.0/docs/Control-Applicative.html#t:ZipList
>
> There's a Monoid that matches what the Applicative for ZipList does that
> seems to be missing.
>
> instance Monoid a => Monoid (ZipList a) where
>   mempty  = pure mempty
>   mappend = liftA2 mappend
>
> It's been brought up before:
>
> https://mail.haskell.org/pipermail/haskell-cafe/2009-October/067861.html
>
> Not only is it useful when it's the Monoid you want, but it serves an
> educational purpose for highlighting the relationship between Monoid and
> Applicative as well.
>
> Are there any good reasons not to have it?
>
> I'd like to limit discussion to two weeks.
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150725/971274f3/attachment.html>