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