5 Apr
2006
5 Apr
'06
12:44 p.m.
Robert Dockins wrote:
Why not also Ord instances i.e. for UnbalancedSet
That's a good idea. However, I'm not sure what the "right" total order would be. The obvious thing that comes to me is the lexicographic order on the ascending listing of elements.
That's the one I would expect (and the one used by Data.Set and Data.Map) C.