Personal tools

Ord instance

From HaskellWiki

Revision as of 09:00, 3 September 2010 by Lemming (Talk | contribs)

(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.

1 Ord for magnitudes

2 Ord for arbitrary total orderings

3 See also