containers: intersections for Set, along with Semigroup newtype

Georgi Lyubenov godzbanebane at gmail.com
Sun Dec 6 19:01:03 UTC 2020


I would be opposed to
intersections [] = []
as it is true that *all* things have the property of being a member of
every element of []. In set theory without classes I've usually seen this
worked around by never using intersections on an empty set (ie using
NonEmpty)

=======
Georgi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20201206/4886f2a3/attachment-0001.html>


More information about the Libraries mailing list