6 Dec
2020
6 Dec
'20
1:50 p.m.
Am So., 6. Dez. 2020 um 07:20 Uhr schrieb Reed Mullanix < reedmullanix@gmail.com>:
[...] intersections :: Ord a => NonEmpty (Set a) -> Set a intersections (s :| ss) = Foldable.foldl' intersection s ss [...]
Why NonEmpty? I would expect "intersections [] = Set.empty", because the result contains all the elements which are in all sets, i.e. none. That's at least my intuition, is there some law which this would violate?