Merge branch 'master' of github.com:perl6/doc

Author: jonathanstowe

lib/Type/List.pod

@@ -545,7 +545,7 @@ prints
 
     method rotor(*@cycle, Bool() :$partial)
 
-Returns a list of list, which each sublist is made of elements of the
+Returns a list of lists, where each sublist is made up of elements of the
 invocant.
 
 In the simplest case, C<@cycle> contains just one integer, in which case the

lib/Type/Mu.pod

@@ -255,6 +255,42 @@ Takes the given item and passes it to the enclosing C<gather> block.
         take (1 .. $max-lotto-numbers).pick(1);
     }.say;    #-> 32 22 1 17 32 9  (for example)
 
+=head2 method so
+
+    method so()
+
+Returns a C<Bool> value representing the logical non-negation of an
+expression.  One can use this method similarly to the English sentence: "If
+that is B<so>, then do this thing".  For instance,
+
+    my @args = <-a -e -b -v>;
+    my $verbose-selected = any(@args) eq '-v' | '-V';
+    if $verbose-selected.so {
+        say "Verbose option detected in arguments";
+    } #-> Verbose option detected in arguments
+
+=head2 method not
+
+    method not()
+
+Returns a C<Bool> value representing the logical negation of an expression.
+Thus it is the opposite of C<so>.
+
+    my @args = <-a -e -b>;
+    my $verbose-selected = any(@args) eq '-v' | '-V';
+    if $verbose-selected.not {
+        say "Verbose option not present in arguments";
+    } #-> Verbose option not present in arguments
+
+Since there is also a prefix version of C<not>, the above code reads better
+like so:
+
+    my @args = <-a -e -b>;
+    my $verbose-selected = any(@args) eq '-v' | '-V';
+    if not $verbose-selected {
+        say "Verbose option not present in arguments";
+    } #-> Verbose option not present in arguments
+
 =end pod
 
 # vim: expandtab shiftwidth=4 ft=perl6

type-graph.txt

@@ -215,6 +215,7 @@ role  NumericEnumeration
 role  StringyEnumeration
 class Enum                                         does Associative
 class Pair                          is Enum
+class PairMap                       is Hash
 class EnumMap                       is Iterable is Cool does Associative
 class Stash                         is Hash
 class PseudoStash                   is EnumMap