Proposal: Bounded instance for IntSet (ticket #1953)

David Benbennick dbenbenn at gmail.com
Sun Dec 2 19:01:05 EST 2007


On 12/2/07, Ross Paterson <ross at soi.city.ac.uk> 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).  If this proposal
is accepted, I intend to propose the Bounded instance for Set next
(Bounded a => Bounded (Set a)).


More information about the Libraries mailing list