Ord instance
Jump to navigation
Jump to search
What is the meaning of the Ord
instance?
Certainly most people agree that an Ord
instance shall provide an total ordering.
However opinions differ whether there shall be more in it:
- An
Ord
instance may also suggest a notion of magnitude - An
Ord
instance may be free of any other association
Depending on these opinions we come to different conclusions
whether there should be Ord
instances for Bool
and Complex
numbers.
Ord for magnitudes
Ord for arbitrary total orderings
See also
- Haskell-Cafe on Unnecessarily strict implementations