types::nonEmpty()

typhoon-php · Feb 24, 2024 · f2d95e8 · f2d95e8
1 parent 771a658
commit f2d95e8
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/types.php b/src/types.php
@@ -233,6 +233,7 @@ public static function intRange(?int $min = null, ?int $max = null): Type
  }
 
  if ($min === $max) {
+ /** @var int $min */
  return self::literalValue($min);
  }
 
@@ -290,6 +291,16 @@ public static function literalValue(bool|int|float|string $value): Type
  return new LiteralValueType($value);
  }
 
+ /**
+ * @template TType
+ * @param Type<TType> $type
+ * @return Type<TType>
+ */
+ public static function nonEmpty(Type $type): Type
+ {
+ return new NonEmptyType($type);
+ }
+
  /**
  * @template TKey
  * @template TValue