2 Dec
2007
2 Dec
'07
6:53 p.m.
On Sun, Dec 02, 2007 at 03:45:40PM -0800, David Benbennick wrote:
I propose to add a Bounded instance to IntSet.hs.
IntSet is in Ord, and there are only finitely many instances of IntSet. Therefore there is a min IntSet and a max IntSet. It turns out these bounds are very simple:
instance Bounded IntSet where minBound = empty maxBound = singleton maxBound
These are the minimum and maximum under the Ord instance (also for Set), but what is the intuition behind that ordering?