-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"
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