Ord instance
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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
Ordinstance may also suggest a notion of magnitude - An
Ordinstance 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