Ord instance

From HaskellWiki
Revision as of 09:00, 3 September 2010 by Lemming (talk | contribs) (sketch)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, 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