Eric Wieser (Dec 23 2021 at 22:33):
(I split this to a new thread)
Yaël Dillies (Dec 23 2021 at 22:42):
How is it going?
Yaël Dillies (Dec 23 2021 at 22:44):
Something I noticed is that
multiset does not have a docs#traversable instance because it does not commute with all applicative functors, but only all commutative applicative functors.
data.multiset.functor currently contains the guts of what could be
traversable multiset where it not for this problem. Should we thus change
traversableto take in a specific functor?
Reid Barton (Dec 23 2021 at 23:05):
It's not really a problem.
traversable is about things you can iterate over in a fixed order,
multiset doesn't have an order, so there is no
traversable multiset--that's just the way it is.
Last updated: Aug 03 2023 at 10:10 UTC