Support non-empty-array<K, V>

Author: vudaltsov

composer.lock

@@ -27,6 +27,7 @@
 use function Typhoon\Type\floatT;
 use function Typhoon\Type\intRangeT;
 use function Typhoon\Type\intT;
+use function Typhoon\Type\nonEmptyArrayT;
 use function Typhoon\Type\nullOrT;
 use function Typhoon\Type\orT;
 use function Typhoon\Type\stringT;
@@ -154,6 +155,15 @@ private function parseIdentifier(string $name, array $genericNodes = []): Type
             };
         }
 
+        if ($name === 'non-empty-array') {
+            return match ($number = \count($templateArguments)) {
+                0 => nonEmptyArrayT(),
+                1 => nonEmptyArrayT(valueType: $templateArguments[0]),
+                2 => nonEmptyArrayT($templateArguments[0], $templateArguments[1]),
+                default => throw new \LogicException(\sprintf('non-empty-array type should have at most 2 type arguments, got %d', $number)),
+            };
+        }
+
         return $this->customTypeParser->parseCustomType($name, $templateArguments, $this->context)
             ?? $this->context->resolveNameAsType($name, $templateArguments);
     }

src/Internal/ContextualTypeParser.php

@@ -15,6 +15,7 @@
 use function Typhoon\Type\floatT;
 use function Typhoon\Type\intRangeT;
 use function Typhoon\Type\intT;
+use function Typhoon\Type\nonEmptyArrayT;
 use function Typhoon\Type\nullOrT;
 use function Typhoon\Type\objectT;
 use function Typhoon\Type\orT;
@@ -101,6 +102,9 @@ private static function cases(): \Generator
         yield 'array' => arrayT;
         yield 'array<string>' => arrayT(valueType: stringT);
         yield 'array<int, string>' => arrayT(intT, stringT);
+        yield 'non-empty-array' => nonEmptyArrayT();
+        yield 'non-empty-array<string>' => nonEmptyArrayT(valueType: stringT);
+        yield 'non-empty-array<int, string>' => nonEmptyArrayT(intT, stringT);
         yield 'mixed' => mixedT;
         yield \stdClass::class => objectT(\stdClass::class);
         yield \Stringable::class => objectT(\Stringable::class);