Skip to content

Documentation for Ord class seems self-contradictory

Summary

https://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Ord.html

The doc says

The Ord class is used for totally ordered datatypes.

but also says

<= is customarily expected to implement a non-strict partial order

Proposed improvements or changes

Remove the second claim. Ord should be for total orders.

Environment

  • GHC version used (if appropriate):
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information