Expands allocate refs #2694

Author: JJ

doc/Type/Blob.pod6

@@ -19,11 +19,11 @@ Defined as:
     multi method new(Blob: Blob:D $blob)
     multi method new(Blob: int @values)
     multi method new(Blob: @values)
-    multi method new(Blob: *@values) {
+    multi method new(Blob: *@values)
 
 
-Creates an empty C<Blob>, or from another C<Blob>, from a list of integers or
-from a list of values
+Creates an empty C<Blob>, or a new C<Blob> from another C<Blob>, or from a list
+of integers or values (which will have to be coerced into integers):
 
     my $blob = Blob.new([1, 2, 3]);
     say Blob.new(<1 2 3>); # OUTPUT: «Blob:0x<01 02 03>␤»
@@ -130,18 +130,26 @@ part of the invocant buffer you would like:
 
 Defined as:
 
-    multi method allocate($elems --> Blob:D)
-    multi method allocate($elems, $pattern --> Blob:D)
+    multi method allocate(Blob:U: Int:D $elements)
+    multi method allocate(Blob:U: Int:D $elements, int $value)
+    multi method allocate(Blob:U: Int:D $elements, Int:D \value)
+    multi method allocate(Blob:U: Int:D $elements, Mu:D $got)
+    multi method allocate(Blob:U: Int:D $elements, int @values)
+    multi method allocate(Blob:U: Int:D $elements, Blob:D $blob)
+    multi method allocate(Blob:U: Int:D $elements, @values)
 
 Returns a newly created C<Blob> object with the given number of elements.
-Optionally takes a second argument that indicates the pattern with which to
-fill the C<Blob>: this can be a single integer value, or any C<Iterable>
-that generates integer values, including another C<Blob>. The pattern will be repeated if not enough
-values are given to fill the entire C<Blob>.
+Optionally takes a second argument that indicates the pattern with which to fill
+the C<Blob>: this can be a single (possibly native) integer value, or any
+C<Iterable> that generates integer values, including another C<Blob>. The
+pattern will be repeated if not enough values are given to fill the entire
+C<Blob>.
 
     my Blob $b0 = Blob.allocate(10,0);
     $b0.say; # OUTPUT: «Blob:0x<00 00 00 00 00 00 00 00 00 00>␤»
 
+If the pattern is a general C<Mu> value, it will fail.
+
 =head2 method unpack
 
 This method is considered B<experimental>, in order to use it you will need to