containers: intersections for Set, along with Semigroup newtype

Sven Panne svenpanne at gmail.com
Sun Dec 6 18:58:53 UTC 2020


Am So., 6. Dez. 2020 um 19:56 Uhr schrieb Reed Mullanix <
reedmullanix at gmail.com>:

> It doesn't violate any laws per say, due to the general lawlessness of
> Foldable, but violates aesthetics. [...]
>

To me it's just the other way around: It violates aesthetics if it doesn't
follow the mathematical definition in all cases, which is why I don't like
NonEmpty here.

>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20201206/effa69a3/attachment.html>


More information about the Libraries mailing list