2 Jun
2018
2 Jun
'18
6:27 p.m.
Joachim Breitner
Hi,
Am Samstag, den 02.06.2018, 10:55 -0700 schrieb Jared Weakly:
It looks to me like many of the applications of snocBag should really be using OrdList.
Do you think there's benefit in refactoring to use ordList and then removing snoc/cons from the bag API (instead providing only operations that make no assumptions about ordering)?
would you remove `toList` (which has to fix an ordering)?
Yes, this seems unavoidable. However, the documentation would make it clear that the returned order is arbitrary. Cheers, - Ben