George Russell ([EMAIL PROTECTED]) wrote:
: Marc van Dongen wrote:
: > Wouldn't that make Enum depend on Ord?
: > Doesn't seem to make sense if classes are
: > enumerable but not comparable.
Of course above I should have said orderable in stead of comparable.
: What examples are there of types for which it would be sensible to implement
: Enum but not Ord? The concept rather puzzles me. In particular, suppose you
: don't have an ordering on the pair (a,b). How do you propose to compute
: [a..b]
data Human = Woman | Man
I can see reasons why I would like to know which
Humans are there from a to b given a certain predifined
order. Bu having said that I also think that in order to
implement this, it is not necesary to to have to say that
Woman is less than Man or vice versa.
Regards,
Marc
