Proposal: Add missing Monoid for ZipList

Christopher Allen cma at bitemyapp.com
Sat Jul 25 20:50:40 UTC 2015


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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20150725/a26e312e/attachment.html>


More information about the Libraries mailing list