Added improved typings for Array.every

package.json

@@ -83,6 +83,11 @@
       "types": "./dist/storage.d.ts",
       "import": "./dist/storage.mjs",
       "default": "./dist/storage.js"
+    },
+    "./every-boolean": {
+      "types": "./dist/every-boolean.d.ts",
+      "import": "./dist/every-boolean.mjs",
+      "default": "./dist/every-boolean.js"
     }
   },
   "keywords": [],

src/entrypoints/every-boolean.d.ts

@@ -0,0 +1,23 @@
+/// <reference path="utils.d.ts" />
+
+interface Array<T> {
+  every<U>(
+    predicate: BooleanConstructor,
+    thisArg?: any,
+  ): this is this extends U[]
+    ? TSReset.NonFalsy<T>[]
+    : this[number] extends TSReset.NonFalsy<T>
+    ? this
+    : never;
+}
+
+interface ReadonlyArray<T> {
+  every<U>(
+    predicate: BooleanConstructor,
+    thisArg?: any,
+  ): this is this extends U[]
+    ? TSReset.NonFalsy<T>[]
+    : this[number] extends TSReset.NonFalsy<T>
+    ? this
+    : never;
+}

src/tests/every-boolean.ts

@@ -0,0 +1,72 @@
+import { doNotExecute, Equal, Expect } from "./utils";
+
+doNotExecute(() => {
+  const arr = [1, 2, 3, undefined];
+
+  if (arr.every(Boolean)) {
+    type tests = [Expect<Equal<typeof arr, number[]>>];
+  } else {
+    type tests = [Expect<Equal<typeof arr, (number | undefined)[]>>];
+  }
+});
+
+doNotExecute(() => {
+  const arr = [1, 2, 3, "four"];
+
+  if (arr.every(Boolean)) {
+    type tests = [Expect<Equal<typeof arr, (number | string)[]>>];
+  } else {
+    type tests = [Expect<Equal<typeof arr, never>>];
+  }
+});
+
+doNotExecute(() => {
+  const arr = ["1", "2"] as const;
+
+  if (arr.every(Boolean)) {
+    type tests = [Expect<Equal<typeof arr, readonly ["1", "2"]>>];
+  } else {
+    type tests = [Expect<Equal<typeof arr, never>>];
+  }
+});
+
+doNotExecute(() => {
+  const arr = ["1", "2", undefined] as const;
+
+  if (arr.every(Boolean)) {
+    type tests = [Expect<Equal<typeof arr, never>>];
+  } else {
+    type tests = [Expect<Equal<typeof arr, readonly ["1", "2", undefined]>>];
+  }
+});
+
+doNotExecute(() => {
+  const arr = [0, null, undefined, false, ""] as const;
+
+  if (arr.every(Boolean)) {
+    type tests = [Expect<Equal<typeof arr, never>>];
+  } else {
+    type tests = [
+      Expect<Equal<typeof arr, readonly [0, null, undefined, false, ""]>>,
+    ];
+  }
+});
+
+doNotExecute(() => {
+  const arr: (0 | null | undefined | false | "" | 0n)[] = [
+    0,
+    null,
+    undefined,
+    false,
+    "",
+    0n,
+  ];
+
+  if (arr.every(Boolean)) {
+    type tests = [Expect<Equal<typeof arr, never[]>>];
+  } else {
+    type tests = [
+      Expect<Equal<typeof arr, (0 | null | undefined | false | "" | 0n)[]>>,
+    ];
+  }
+});