feat: narrow return type for min(), max(), median() and mean()

Consider whether the input is empty or not
azjezz · Apr 6, 2024 · 0773dfd · 0773dfd
1 parent c34e6c2
commit 0773dfd
Show file tree

Hide file tree

Showing 5 changed files with 8 additions and 4 deletions.
diff --git a/docs/component/math.md b/docs/component/math.md
@@ -46,8 +46,8 @@
 - [max](./../../src/Psl/Math/max.php#L19)
 - [max_by](./../../src/Psl/Math/max_by.php#L24)
 - [maxva](./../../src/Psl/Math/maxva.php#L20)
-- [mean](./../../src/Psl/Math/mean.php#L18)
-- [median](./../../src/Psl/Math/median.php#L19)
+- [mean](./../../src/Psl/Math/mean.php#L20)
+- [median](./../../src/Psl/Math/median.php#L21)
 - [min](./../../src/Psl/Math/min.php#L19)
 - [min_by](./../../src/Psl/Math/min_by.php#L24)
 - [minva](./../../src/Psl/Math/minva.php#L20)

diff --git a/src/Psl/Math/max.php b/src/Psl/Math/max.php
@@ -12,7 +12,7 @@
  *
  * @param list<T> $numbers
  *
- * @return T|null
+ * @return ($numbers is non-empty-list<T> ? T : null)
  *
  * @pure
  */

diff --git a/src/Psl/Math/mean.php b/src/Psl/Math/mean.php
@@ -13,6 +13,8 @@
  *
  * @param list<int|float> $numbers
  *
+ * @return ($numbers is non-empty-list ? float : null)
+ *
  * @pure
  */
 function mean(array $numbers): ?float

diff --git a/src/Psl/Math/median.php b/src/Psl/Math/median.php
@@ -14,6 +14,8 @@
  *
  * @param list<int|float> $numbers
  *
+ * @return ($numbers is non-empty-list ? float : null)
+ *
  * @pure
  */
 function median(array $numbers): ?float

diff --git a/src/Psl/Math/min.php b/src/Psl/Math/min.php
@@ -12,7 +12,7 @@
  *
  * @param list<T> $numbers
  *
- * @return T|null
+ * @return ($numbers is non-empty-list<T> ? T : null)
  *
  * @pure
  */
-Original file line number
+Diff line change
@@ Expand Up / @@ -12,7 +12,7 @@ @@
      *
      * @param list<T> $numbers
      *
-     * @return T|null
+     * @return ($numbers is non-empty-list<T> ? T : null)
      *
      * @pure
      */
@@ Expand Down @@