add Is::shape()

CHANGELOG.md

@@ -2,6 +2,10 @@
 
 ## [Unreleased]
 
+### Added
+
+- `Innmind\Validation\Is::shape()` as a shortcut to `Is::array()->and(Shape::of())`
+
 ### Fixed
 
 - `OrConstraint::and()` was applying an _or_ constraint

proofs/is.php

@@ -369,4 +369,28 @@ static function($assert, $array, $other) {
             );
         },
     );
+
+    yield proof(
+        'Is::shape()',
+        given(
+            Set\Strings::madeOf(Set\Chars::alphanumerical())->atLeast(1),
+            Set\Type::any(),
+            Set\Integers::any(),
+        ),
+        static function($assert, $key, $value, $int) {
+            $assert->null(
+                Is::shape($key, Is::int())($value)->match(
+                    static fn($value) => $value,
+                    static fn() => null,
+                ),
+            );
+            $assert->same(
+                [$key => $int],
+                Is::shape($key, Is::int())([$key => $int])->match(
+                    static fn($value) => $value,
+                    static fn() => null,
+                ),
+            );
+        },
+    );
 };

src/Is.php

@@ -117,6 +117,18 @@ public static function list(): self
         return new self(\array_is_list(...), 'list');
     }
 
+    /**
+     * @psalm-pure
+     *
+     * @param non-empty-string $key
+     *
+     * @return Constraint<mixed, non-empty-array<non-empty-string, mixed>>
+     */
+    public static function shape(string $key, Constraint $constraint): Constraint
+    {
+        return self::array()->and(Shape::of($key, $constraint));
+    }
+
     public function and(Constraint $constraint): Constraint
     {
         return AndConstraint::of($this, $constraint);