Update docs for 'Ord' re total ordering

Author: hdgarrood

docs/Prelude.md

@@ -756,7 +756,7 @@ comparing two values:
 
 `LT` - The first value is _less than_ the second.
 `GT` - The first value is _greater than_ the second.
-`EQ` - The first value is _equal to_ or _incomparable to_ the second.
+`EQ` - The first value is _equal to_ the second.
 
 ##### Instances
 ``` purescript
@@ -775,9 +775,10 @@ class (Eq a) <= Ord a where
   compare :: a -> a -> Ordering
 ```
 
-The `Ord` type class represents types which support comparisons.
+The `Ord` type class represents types which support comparisons with a
+_total order_.
 
-`Ord` instances should satisfy the laws of _partially orderings_:
+`Ord` instances should satisfy the laws of total orderings:
 
 - Reflexivity: `a <= a`
 - Antisymmetry: if `a <= b` and `b <= a` then `a = b`

src/Prelude.purs

@@ -624,12 +624,13 @@ foreign import eqArrayImpl :: forall a. (a -> a -> Boolean) -> Array a -> Array
 -- |
 -- | `LT` - The first value is _less than_ the second.
 -- | `GT` - The first value is _greater than_ the second.
--- | `EQ` - The first value is _equal to_ or _incomparable to_ the second.
+-- | `EQ` - The first value is _equal to_ the second.
 data Ordering = LT | GT | EQ
 
--- | The `Ord` type class represents types which support comparisons.
+-- | The `Ord` type class represents types which support comparisons with a
+-- | _total order_.
 -- |
--- | `Ord` instances should satisfy the laws of _partially orderings_:
+-- | `Ord` instances should satisfy the laws of total orderings:
 -- |
 -- | - Reflexivity: `a <= a`
 -- | - Antisymmetry: if `a <= b` and `b <= a` then `a = b`