Use comparator field of Comparable.By atom

distribution/lib/Standard/Base/0.0.0-dev/src/Any.enso

@@ -13,6 +13,7 @@ from project.Data.Boolean import Boolean, False, True
 from project.Data.Ordering import all
 from project.Data.Range.Extensions import all
 from project.Function import const
+from project.Internal.Ordering_Helpers import assert_same_comparators
 
 ## Any is the universal top-type, with all other types being subsumed by it.
 
@@ -195,8 +196,8 @@ type Any
                  a > 147
     > : Any -> Boolean ! Incomparable_Values
     > self that =
-        assert_same_comparators self that <|
-            case (Comparable.from self).compare self that of
+        assert_same_comparators self that comparator->
+            case comparator.compare self that of
                 Ordering.Greater -> True
                 Nothing -> Error.throw (Incomparable_Values.Error self that)
                 _ -> False
@@ -225,8 +226,8 @@ type Any
                  a >= 147
     >= : Any -> Boolean ! Incomparable_Values
     >= self that =
-        assert_same_comparators self that <|
-            case (Comparable.from self).compare self that of
+        assert_same_comparators self that comparator->
+            case comparator.compare self that of
                 Ordering.Equal -> True
                 Ordering.Greater -> True
                 Nothing -> Error.throw (Incomparable_Values.Error self that)
@@ -255,8 +256,8 @@ type Any
                  a < 147
     < : Any -> Boolean ! Incomparable_Values
     < self that =
-        assert_same_comparators self that <|
-            case (Comparable.from self).compare self that of
+        assert_same_comparators self that comparator->
+            case comparator.compare self that of
                 Ordering.Less -> True
                 Nothing -> Error.throw (Incomparable_Values.Error self that)
                 _ -> False
@@ -287,8 +288,8 @@ type Any
                  a < 147
     <= : Any -> Boolean ! Incomparable_Values
     <= self that =
-        assert_same_comparators self that <|
-            case (Comparable.from self).compare self that of
+        assert_same_comparators self that comparator->
+            case comparator.compare self that of
                 Ordering.Equal -> True
                 Ordering.Less -> True
                 Nothing -> Error.throw (Incomparable_Values.Error self that)
@@ -505,13 +506,3 @@ type Any
         _ = warning_type
         self
 
-## PRIVATE
-   Checks if the comparators for the given objects are both of the same type. If so,
-   proceeds with the given action, and if not, throws `Incomparable_Values` error.
-assert_same_comparators : Any -> Any -> (Any -> Any) -> Any ! Incomparable_Values
-assert_same_comparators this that ~action =
-    comp_this = Comparable.from this
-    comp_that = Comparable.from that
-    case Meta.is_same_object comp_this comp_that of
-        True -> action
-        False -> Error.throw (Incomparable_Values.Error this that)

distribution/lib/Standard/Base/0.0.0-dev/src/Internal/Ordering_Helpers.enso

@@ -0,0 +1,19 @@
+private
+
+import project.Any.Any
+from project.Data.Boolean import Boolean, False, True
+from project.Data.Ordering import all
+import project.Errors.Common.Incomparable_Values
+import project.Error.Error
+import project.Meta
+
+## PRIVATE
+   Checks if the comparators for the given objects are both of the same type. If so,
+   proceeds with the given action, and if not, throws `Incomparable_Values` error.
+assert_same_comparators : Any -> Any -> (Any -> Any) -> Any ! Incomparable_Values
+assert_same_comparators this that ~action =
+    comp_this = Comparable.from this
+    comp_that = Comparable.from that
+    case Meta.is_same_object comp_this.comparator comp_that.comparator of
+        True -> action comp_this.comparator
+        False -> Error.throw (Incomparable_Values.Error this that)