[operators] Range operators, associativity updates

Author: moritz

lib/operators.pod

@@ -503,7 +503,7 @@ or C<fail()>, the old value is restored.
 
 =head2 infix does
 
-    sub infix:<does>(Mu $obj, Mu $role)
+    sub infix:<does>(Mu $obj, Mu $role) is assoc<none>
 
 Mixes C<$role> into C<$obj> at run time. Requires C<$obj> to be mutable.
 
@@ -512,7 +512,7 @@ to act like a role, for example enum values.
 
 =head2 infix but
 
-    sub infix:<but>(Mu $obj, Mu $role)
+    sub infix:<but>(Mu $obj, Mu $role) is assoc<none>
 
 Creates a copy of C<$obj> with C<$role> mixed in. Since C<$obj> is not
 modified, C<but> can be used to created immutable values with mixins.
@@ -522,7 +522,7 @@ to act like a role, for example enum values.
 
 =head2 infix cmp
 
-    multi sub infix:<cmp>($a, $b) returns Order:D
+    multi sub infix:<cmp>($a, $b) returns Order:D is assoc<none>
 
 Generic, "smart" three-way comparator.
 
@@ -537,18 +537,43 @@ if C<$a eqv $b>, then C<$a cmp $b> always returns C<Order::Same>.
 
 =head2 infix leg
 
-    multi sub infix:<leg>($a, $b) returns Order:D
+    multi sub infix:<leg>($a, $b) returns Order:D is assoc<none>
 
 String three-way comparator.
 
 Coerces both arguments to L<Str>, and then does a lexicographic comparison.
 
 =head2 infix <=>
 
-    multi sub infix:«<=>»($a, $b) returns Order:D
+    multi sub infix:«<=>»($a, $b) returns Order:D is assoc<none>
 
 Numeric three-way comparator.
 
 Coerces both arguments to L<Real>, and then does a numeric comparison.
 
+=head2 infix ..
+
+    multi sub infix:<..>($a, $b) returns Range:D is assoc<none>
+
+Constructs a L<Range> from the arguments.
+
+=head2 infix ..^
+
+    multi sub infix:<..^>($a, $b) returns Range:D is assoc<none>
+
+Constructs a L<Range> from the arguments, excluding the end point.
+
+=head2 infix ^..
+
+    multi sub infix:<^..>($a, $b) returns Range:D is assoc<none>
+
+Constructs a L<Range> from the arguments, excluding the start point.
+
+
+=head2 infix ^..^
+
+    multi sub infix:<^..^>($a, $b) returns Range:D is assoc<none>
+
+Constructs a L<Range> from the arguments, excluding both start and end point.
+
 =end pod