Merge pull request #14 from Innmind/blackbox-6

Use BlackBox 6

Author: Baptouuuu

composer.json

@@ -26,7 +26,7 @@
     },
     "require-dev": {
         "innmind/static-analysis": "^1.2.1",
-        "innmind/black-box": "~5.5",
+        "innmind/black-box": "~6.1",
         "innmind/coding-standard": "~2.0"
     }
 }

proofs/each.php

@@ -11,8 +11,8 @@
     yield proof(
         'Each::of()',
         given(
-            Set\Sequence::of(Set\Integers::any()),
-            Set\Sequence::of(Set\Strings::any())->atLeast(1),
+            Set::sequence(Set::integers()),
+            Set::sequence(Set::strings())->atLeast(1),
         ),
         static function($assert, $ints, $strings) {
             $assert->true(
@@ -56,7 +56,7 @@ static function($assert, $ints, $strings) {
     yield proof(
         'Each::of() returns the mapped content',
         given(
-            Set\Sequence::of(Set\Integers::any()),
+            Set::sequence(Set::integers()),
         ),
         static function($assert, $ints) {
             $doubles = \array_map(

proofs/has.php

@@ -8,19 +8,19 @@
     yield proof(
         'Has::key()',
         given(
-            Set\Composite::immutable(
+            Set::compose(
                 static fn($keys, $values) => \array_combine(
                     \array_slice($keys, 0, \min(\count($keys), \count($values))),
                     \array_slice($values, 0, \min(\count($keys), \count($values))),
                 ),
-                Set\Sequence::of(Set\Either::any(
-                    Set\Integers::any(),
-                    Set\Strings::any(),
+                Set::sequence(Set::either(
+                    Set::integers(),
+                    Set::strings(),
                 ))->atLeast(1),
-                Set\Sequence::of(Set\Type::any())->atLeast(1),
+                Set::sequence(Set::type())->atLeast(1),
             ),
-            Set\Strings::atLeast(1),
-            Set\Type::any(),
+            Set::strings()->atLeast(1),
+            Set::type(),
         ),
         static function($assert, $array, $key, $value) {
             unset($array[$key]);
@@ -61,19 +61,19 @@ static function($assert, $array, $key, $value) {
     yield proof(
         'Has::key()->withFailure()',
         given(
-            Set\Composite::immutable(
+            Set::compose(
                 static fn($keys, $values) => \array_combine(
                     \array_slice($keys, 0, \min(\count($keys), \count($values))),
                     \array_slice($values, 0, \min(\count($keys), \count($values))),
                 ),
-                Set\Sequence::of(Set\Either::any(
-                    Set\Integers::any(),
-                    Set\Strings::any(),
+                Set::sequence(Set::either(
+                    Set::integers(),
+                    Set::strings(),
                 ))->atLeast(1),
-                Set\Sequence::of(Set\Type::any())->atLeast(1),
+                Set::sequence(Set::type())->atLeast(1),
             ),
-            Set\Strings::atLeast(1),
-            Set\Strings::atLeast(1),
+            Set::strings()->atLeast(1),
+            Set::strings()->atLeast(1),
         ),
         static function($assert, $array, $key, $expected) {
             unset($array[$key]);

proofs/instance.php

@@ -7,7 +7,7 @@
 return static function() {
     yield proof(
         'Instance::of()',
-        given(Set\Type::any()),
+        given(Set::type()),
         static function($assert, $other) {
             $std = new stdClass;
             $assert->true(