Re: Proposal: Bounded instance for IntSet (ticket #1953)

2 Dec 2007


      On Sun, Dec 02, 2007 at 04:01:05PM -0800, David Benbennick wrote:
...
On 12/2/07, Ross Paterson  wrote:
...
These are the minimum and maximum under the Ord instance (also for Set),
but what is the intuition behind that ordering?
The order on IntSet is the well-known lexicographic order (see
http://en.wikipedia.org/wiki/Lexicographical_order).
Yes, but when does one use that ordering on sets?