diff options
Diffstat (limited to 'libraries/ghc-prim/GHC/Classes.hs')
| -rw-r--r-- | libraries/ghc-prim/GHC/Classes.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/libraries/ghc-prim/GHC/Classes.hs b/libraries/ghc-prim/GHC/Classes.hs index 70749097dd..83ba27a767 100644 --- a/libraries/ghc-prim/GHC/Classes.hs +++ b/libraries/ghc-prim/GHC/Classes.hs @@ -307,15 +307,15 @@ instance Ord TyCon where -- 'Ordering' datatype allows a single comparison to determine the precise -- ordering of two objects. -- --- The Haskell Report defines no laws for 'Ord'. However, '<=' is customarily --- expected to implement a non-strict partial order and have the following --- properties: +-- 'Ord', as defined by the Haskell report, implements a total order and has the +-- following properties: -- +-- [__Comparability__]: @x <= y || y <= x@ = 'True' -- [__Transitivity__]: if @x <= y && y <= z@ = 'True', then @x <= z@ = 'True' -- [__Reflexivity__]: @x <= x@ = 'True' -- [__Antisymmetry__]: if @x <= y && y <= x@ = 'True', then @x == y@ = 'True' -- --- Note that the following operator interactions are expected to hold: +-- The following operator interactions are expected to hold: -- -- 1. @x >= y@ = @y <= x@ -- 2. @x < y@ = @x <= y && x /= y@ |