Proposal: Bounded instance for IntSet (ticket #1953)

David Benbennick dbenbenn at gmail.com
Mon Dec 3 23:02:17 EST 2007


On 12/3/07, Stefan O'Rear <stefanor at cox.net> wrote:
> I would have used descending order; so it's not *completely* universal.

Well, using ascending order agrees with "show" and "toList".

But you do have a point.  If Ord used descending order, then
(isSubsetOf a b) would imply (a <= b).  With the existing Ord
instance, (isSubsetOf a b) implies nothing about (compare a b).


More information about the Libraries mailing list