[operators] numeric comparison operators

Author: moritz

lib/operators.pod

@@ -576,4 +576,68 @@ Constructs a L<Range> from the arguments, excluding the start point.
 
 Constructs a L<Range> from the arguments, excluding both start and end point.
 
+=head1 Chaining Binary Precedence
+
+=head2 infix ==
+
+    proto sub infix:<==>($, $) returns Bool:D is assoc:<chain>
+    multi sub infix:<==>(Any, Any)
+    multi sub infix:<==>(Int:D, Int:D)
+    multi sub infix:<==>(Num:D, Num:D)
+    multi sub infix:<==>(Rational:D, Rational:D)
+    multi sub infix:<==>(Real:D, Real:D)
+    multi sub infix:<==>(Complex:D, Complex:D)
+    multi sub infix:<==>(Numeric:D, Numeric:D)
+
+Coerces both arguments to L<Numeric> if necessary, and returns C<True>
+if they are equal.
+
+=head2 infix !=
+
+    proto sub infix:<!=>(Mu, Mu) returns Bool:D is assoc<chain>
+
+Coerces both arguments to L<Numeric>, and returns C<True> if they are
+distinct.
+
+=head2 infix <
+
+    proto sub infix:«<»(Any, Any) returns Boold:D is assoc<chain>
+    multi sub infix:«<»(Int:D, Int:D)
+    multi sub infix:«<»(Num:D, Num:D)
+    multi sub infix:«<»(Real:D, Real:D)
+
+Coerces both arguments to L<Real>, and returns C<True> if the first argument
+is smaller than the second.
+
+=head2 infix <=
+
+    proto sub infix:«<=»(Any, Any) returns Boold:D is assoc<chain>
+    multi sub infix:«<=»(Int:D, Int:D)
+    multi sub infix:«<=»(Num:D, Num:D)
+    multi sub infix:«<=»(Real:D, Real:D)
+
+Coerces both arguments to L<Real>, and returns C<True> if the first argument
+is smaller than or equal to the second.
+
+
+=head2 infix >
+
+    proto sub infix:«>»(Any, Any) returns Boold:D is assoc<chain>
+    multi sub infix:«>»(Int:D, Int:D)
+    multi sub infix:«>»(Num:D, Num:D)
+    multi sub infix:«>»(Real:D, Real:D)
+
+Coerces both arguments to L<Real>, and returns C<True> if the first argument
+is larger than the second.
+
+=head2 infix >=
+
+    proto sub infix:«>=»(Any, Any) returns Boold:D is assoc<chain>
+    multi sub infix:«>=»(Int:D, Int:D)
+    multi sub infix:«>=»(Num:D, Num:D)
+    multi sub infix:«>=»(Real:D, Real:D)
+
+Coerces both arguments to L<Real>, and returns C<True> if the first argument
+is larger than or equal to the second.
+
 =end pod