From 10dd0f1eb7f189dd250ed3fa1be658e39694941c Mon Sep 17 00:00:00 2001
From: Carsten Csiky <carsten.csiky@lindenbaum.eu>
Date: Mon, 21 Dec 2020 11:46:23 +0100
Subject: [PATCH 1/2] added Compare classes to Ordering

---
 src/Type/Data/Ordering.purs | 56 +++++++++++++++++++++++++++++++++++--
 1 file changed, 54 insertions(+), 2 deletions(-)

diff --git a/src/Type/Data/Ordering.purs b/src/Type/Data/Ordering.purs
index f09c853..4a494f0 100644
--- a/src/Type/Data/Ordering.purs
+++ b/src/Type/Data/Ordering.purs
@@ -9,6 +9,18 @@ module Type.Data.Ordering
   , class Invert
   , invert
   , class Equals
+  , class Compare
+  , compare
+  , class IsLt
+  , isLt
+  , class IsEq
+  , isEq
+  , class IsGt
+  , isGt
+  , class IsLte
+  , isLte
+  , class IsGte
+  , isGte
   , equals
   ) where
 
@@ -16,6 +28,11 @@ import Prim.Ordering (LT, EQ, GT, Ordering) as PO
 import Data.Ordering (Ordering(..))
 import Type.Data.Boolean (True, False)
 import Type.Proxy (Proxy(..))
+import Data.Ordering (Ordering(..))
+import Data.Symbol (SProxy)
+import Prim.Ordering (Ordering, LT, EQ, GT)
+import Prim.Symbol (class Compare) as Symbol
+import Type.Data.Boolean (class Or, BProxy(..), False, True, Boolean)
 
 -- | Value proxy for `Ordering` types
 -- | **Deprecated:** Use `Type.Proxy` instead
@@ -71,5 +88,40 @@ instance equalsLTGT :: Equals PO.LT PO.GT False
 instance equalsGTLT :: Equals PO.GT PO.LT False
 instance equalsGTEQ :: Equals PO.GT PO.EQ False
 
-equals :: forall proxy l r o. Equals l r o => proxy l -> proxy r -> Proxy o
-equals _ _ = Proxy
+-- | Compares type a b
+class Compare a b (o :: Ordering) | a b -> o
+
+compare :: forall a b o. Compare a b o => a -> b -> OProxy o
+compare _ _ = OProxy
+
+class IsLt a b (isLt :: Boolean) | a b -> isLt
+instance isLtTrue ∷ (Compare a b o, Equals o LT isLt) => IsLt a b isLt
+
+isLt :: forall a b isLt. IsLt a b isLt => a -> b -> BProxy isLt
+isLt _ _ = BProxy
+
+class IsGt a b (isGt :: Boolean) | a b -> isGt
+instance isGtCompare :: (Compare a b o, Equals o GT isGt) => IsGt a b isGt
+
+isGt :: forall a b isGt. IsGt a b isGt => a -> b -> BProxy isGt
+isGt _ _ = BProxy
+
+class IsEq a b (isEq :: Boolean) | a b -> isEq
+instance isEqCompare :: (Compare a b o, Equals o EQ isEq) => IsEq a b isEq
+
+isEq :: forall a b isEq. IsEq a b isEq => a -> b -> BProxy isEq
+isEq _ _ = BProxy
+
+class IsLte a b (isLte :: Boolean) | a b -> isLte
+instance isLteFromIs ∷ (IsEq a b isEq, IsLt a b isLt, Or isEq isLt isLte) => IsLte a b isLte
+
+isLte :: forall a b isLte. IsLte a b isLte => a -> b -> BProxy isLte
+isLte _ _ = BProxy
+
+class IsGte a b (isGte :: Boolean) | a b -> isGte
+instance isGteFromIs :: (IsEq a b isEq, IsGt a b isGt, Or isEq isGt isGte) => IsGte a b isGte
+
+isGte :: forall a b isGte. IsGte a b isGte => a -> b -> BProxy isGte
+isGte _ _ = BProxy
+
+instance compareOrd :: Symbol.Compare lhs rhs ord => Compare (SProxy lhs) (SProxy rhs) ord

From 9c3a444bedd865fee153ee028fbb6f7adc5b140e Mon Sep 17 00:00:00 2001
From: Carsten Csiky <carsten.csiky@lindenbaum.eu>
Date: Mon, 21 Dec 2020 12:05:59 +0100
Subject: [PATCH 2/2] WIP: adapt for 0.14

---
 src/Type/Data/Ordering.purs | 18 +++++++++++-------
 1 file changed, 11 insertions(+), 7 deletions(-)

diff --git a/src/Type/Data/Ordering.purs b/src/Type/Data/Ordering.purs
index 4a494f0..f58017c 100644
--- a/src/Type/Data/Ordering.purs
+++ b/src/Type/Data/Ordering.purs
@@ -21,18 +21,16 @@ module Type.Data.Ordering
   , isLte
   , class IsGte
   , isGte
-  , equals
   ) where
 
 import Prim.Ordering (LT, EQ, GT, Ordering) as PO
-import Data.Ordering (Ordering(..))
 import Type.Data.Boolean (True, False)
 import Type.Proxy (Proxy(..))
 import Data.Ordering (Ordering(..))
 import Data.Symbol (SProxy)
-import Prim.Ordering (Ordering, LT, EQ, GT)
 import Prim.Symbol (class Compare) as Symbol
-import Type.Data.Boolean (class Or, BProxy(..), False, True, Boolean)
+import Prim.Boolean(True, False)
+import Type.Data.Boolean (class Or, BProxy(..))
 
 -- | Value proxy for `Ordering` types
 -- | **Deprecated:** Use `Type.Proxy` instead
@@ -89,35 +87,41 @@ instance equalsGTLT :: Equals PO.GT PO.LT False
 instance equalsGTEQ :: Equals PO.GT PO.EQ False
 
 -- | Compares type a b
+class Compare :: forall k. k -> k -> Ordering -> Constraint
 class Compare a b (o :: Ordering) | a b -> o
 
 compare :: forall a b o. Compare a b o => a -> b -> OProxy o
 compare _ _ = OProxy
 
+class IsLt :: forall k. k -> k -> Boolean -> Constraint
 class IsLt a b (isLt :: Boolean) | a b -> isLt
-instance isLtTrue ∷ (Compare a b o, Equals o LT isLt) => IsLt a b isLt
+instance isLtTrue ∷ (Compare a b o, Equals o PO.LT isLt) => IsLt a b isLt
 
 isLt :: forall a b isLt. IsLt a b isLt => a -> b -> BProxy isLt
 isLt _ _ = BProxy
 
+class IsGt :: forall k. k -> k -> Boolean -> Constraint
 class IsGt a b (isGt :: Boolean) | a b -> isGt
-instance isGtCompare :: (Compare a b o, Equals o GT isGt) => IsGt a b isGt
+instance isGtCompare :: (Compare a b o, Equals o PO.GT isGt) => IsGt a b isGt
 
 isGt :: forall a b isGt. IsGt a b isGt => a -> b -> BProxy isGt
 isGt _ _ = BProxy
 
+class IsEq :: forall k. k -> k -> Boolean -> Constraint
 class IsEq a b (isEq :: Boolean) | a b -> isEq
-instance isEqCompare :: (Compare a b o, Equals o EQ isEq) => IsEq a b isEq
+instance isEqCompare :: (Compare a b o, Equals o PO.EQ isEq) => IsEq a b isEq
 
 isEq :: forall a b isEq. IsEq a b isEq => a -> b -> BProxy isEq
 isEq _ _ = BProxy
 
+class IsLte :: forall k. k -> k -> Boolean -> Constraint
 class IsLte a b (isLte :: Boolean) | a b -> isLte
 instance isLteFromIs ∷ (IsEq a b isEq, IsLt a b isLt, Or isEq isLt isLte) => IsLte a b isLte
 
 isLte :: forall a b isLte. IsLte a b isLte => a -> b -> BProxy isLte
 isLte _ _ = BProxy
 
+class IsGte :: forall k. k -> k -> Boolean -> Constraint
 class IsGte a b (isGte :: Boolean) | a b -> isGte
 instance isGteFromIs :: (IsEq a b isEq, IsGt a b isGt, Or isEq isGt isGte) => IsGte a b isGte