From a6414e365d8b22ce951198107c3e6c342c97eecf Mon Sep 17 00:00:00 2001 From: Jamie Ballingall Date: Tue, 18 Oct 2022 16:09:43 -0400 Subject: [PATCH 1/2] Update Reflexivity law of Ord --- src/Data/Ord.purs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Data/Ord.purs b/src/Data/Ord.purs index ed699905..e0665348 100644 --- a/src/Data/Ord.purs +++ b/src/Data/Ord.purs @@ -39,7 +39,7 @@ import Type.Proxy (Proxy(..)) -- | -- | `Ord` instances should satisfy the laws of total orderings: -- | --- | - Reflexivity: `a <= a` +-- | - Reflexivity: if `a == b` then `a <= b` -- | - Antisymmetry: if `a <= b` and `b <= a` then `a == b` -- | - Transitivity: if `a <= b` and `b <= c` then `a <= c` -- | From 132e927ea48aec964850bdf3f46f85b86de1c3d0 Mon Sep 17 00:00:00 2001 From: Jamie Ballingall Date: Tue, 18 Oct 2022 16:21:13 -0400 Subject: [PATCH 2/2] Update CHANGELOG.md --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index d7e5af83..8a6eeb5d 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -11,6 +11,7 @@ New features: Bugfixes: Other improvements: +- Documentation: Further clarify relationship between `Ord` and `Eq` (#301 by @JamieBallingall) ## [v6.0.1](https://github.com/purescript/purescript-prelude/releases/tag/v6.0.1) - 2022-08-18