Re: Proposal: Add missing Monoid for ZipList

Can someone please explain *why* they want this instance? On Jul 25, 2015 11:23 PM, "Fumiaki Kinoshita" wrote:

There is another possible instance:

instance Semigroup a => Monoid (ZipList a) where mempty = ZipList [] mappend (ZipList xs0) (ZipList ys0) = ZipList (mappend xs0 ys0) where go (x:xs) (y:ys) = x <> y : go xs ys go xs [] = xs go [] ys = ys

But +1 to the original one.

2015-07-26 5:50 GMT+09:00 Christopher Allen :

...

http://hackage.haskell.org/package/base-4.8.1.0/docs/Control-Applicative.htm...

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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries