type-plus 7.0.1 → 7.1.0

package/esm/testing/stub.js.map

@@ -1 +1 @@
-{"version":3,"file":"stub.js","sourceRoot":"","sources":["../../ts/testing/stub.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAWxC,MAAM,UAAU,IAAI,CAAI,IAAa;IACpC,OAAO,IAAS,CAAA;AACjB,CAAC;AAQD,SAAS,KAAK,CAAI,IAAiF;IAClG,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,OAAO,CAAI,IAAiF;IACpG,OAAO,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/B,CAAC;AAED,SAAS,eAAe,CACvB,YAAgG;IAEhG,MAAM,OAAO,GAAG;QACf;;;;;;;WAOG;QACH,IAAI,CAAC,IAAiF;YACrF,OAAO,eAAe,CAAC,CAAC,GAAG,YAAY,EAAE,IAAI,CAAC,CAAC,CAAA;QAChD,CAAC;QACD;;WAEG;QAEH,MAAM;YACL,OAAO,CAAC,IAA0B,EAAE,EAAE;gBACrC,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;oBACxC,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE;wBAC/B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAA;qBAChB;oBACD,OAAO,YAAY,CAAsB,IAAI,EAAE,GAAG,CAAC,CAAA;gBACpD,CAAC,EAAE,IAAI,CAAM,CAAA;YACd,CAAC,CAAA;QACF,CAAC;KACD,CAAA;IACD,OAAO,OAAO,CAAA;AACf,CAAC;AACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;AAClB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA"}
+{"version":3,"file":"stub.js","sourceRoot":"","sources":["../../ts/testing/stub.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAcxC,MAAM,UAAU,IAAI,CAAI,IAAa;IACpC,OAAO,IAAS,CAAA;AACjB,CAAC;AAQD,SAAS,KAAK,CAAI,IAAiF;IAClG,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,OAAO,CAAI,IAAiF;IACpG,OAAO,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/B,CAAC;AAED,SAAS,eAAe,CACvB,YAAgG;IAEhG,MAAM,OAAO,GAAG;QACf;;;;;;;WAOG;QACH,IAAI,CAAC,IAAiF;YACrF,OAAO,eAAe,CAAC,CAAC,GAAG,YAAY,EAAE,IAAI,CAAC,CAAC,CAAA;QAChD,CAAC;QACD;;WAEG;QAEH,MAAM;YACL,OAAO,CAAC,IAA0B,EAAE,EAAE;gBACrC,OAAO,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;oBACxC,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE;wBAC/B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAA;qBAChB;oBACD,OAAO,YAAY,CAAsB,IAAI,EAAE,GAAG,CAAC,CAAA;gBACpD,CAAC,EAAE,IAAI,CAAM,CAAA;YACd,CAAC,CAAA;QACF,CAAC;KACD,CAAA;IACD,OAAO,OAAO,CAAA;AACf,CAAC;AACD,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;AAClB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA"}

package/esm/type/failed.d.ts

@@ -25,7 +25,7 @@ export interface Failed<Msg extends string> {
  *
  * It's recommended to create custom failed types instead of using this to provide better message.
  */
-export interface FailedT<Msg extends string, T> {
+export interface FailedT<Msg extends string, _T> {
     [uniSym]: Msg;
 }
 export {};

package/esm/type/failed.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"failed.d.ts","sourceRoot":"","sources":["../../ts/type/failed.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAA;AAEnC;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,MAAM,CAAC,GAAG,SAAS,MAAM;IACzC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,OAAO,CAAC,GAAG,SAAS,MAAM,EAAE,CAAC;IAC7C,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb"}
+{"version":3,"file":"failed.d.ts","sourceRoot":"","sources":["../../ts/type/failed.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,MAAM,EAAE,OAAO,MAAM,CAAA;AAEnC;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,MAAM,CAAC,GAAG,SAAS,MAAM;IACzC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,OAAO,CAAC,GAAG,SAAS,MAAM,EAAE,EAAE;IAC9C,CAAC,MAAM,CAAC,EAAE,GAAG,CAAA;CACb"}

package/esm/type/no_infer.d.ts

@@ -1,13 +1,13 @@
-import { IsNull } from '../null/null_type.js';
-import { Or } from '../predicates/logical.js';
-import { IsUndefined } from '../undefined/undefined_type.js';
+import type { IsNull } from '../null/null_type.js';
+import type { Or } from '../predicates/logical.js';
+import type { IsUndefined } from '../undefined/undefined_type.js';
 /**
  * Prevents inference of a type parameter `T`.
  *
- * A build-in type `NoInfer` is coming soon.
- * @see https://github.com/microsoft/TypeScript/pull/52968
+ * 🦴 *utilities*
  *
- * @by @ajafff
+ * @ajafff original version author
+ * @see https://github.com/microsoft/TypeScript/issues/14829#issuecomment-298425341
  *
  * @example
  * ```ts
@@ -19,6 +19,9 @@ import { IsUndefined } from '../undefined/undefined_type.js';
  * assertEqual(123, 'abc') // Error
  * assertEqual({ x: 1 }, { x: 1, y: 2 }) // Error
  * ```
+ *
+ * A build-in `NoInfer` is coming soon.
+ * @see https://github.com/microsoft/TypeScript/pull/52968
  */
 export type NoInfer<T> = Or<IsNull<T>, IsUndefined<T>, T, T & {}>;
 //# sourceMappingURL=no_infer.d.ts.map

package/esm/type/no_infer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no_infer.d.ts","sourceRoot":"","sources":["../../ts/type/no_infer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAE5D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA"}
+{"version":3,"file":"no_infer.d.ts","sourceRoot":"","sources":["../../ts/type/no_infer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAA;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAEjE;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAA"}

package/esm/type-guard/is_type.d.ts

@@ -11,7 +11,7 @@ export declare namespace isType {
     var t: <T extends true>(subject?: T | undefined) => boolean;
     var f: <T extends false>(subject?: T | undefined) => boolean;
     var never: typeof isNever;
-    var equal: <C extends IsEqual<A, B>, A, B>() => void;
+    var equal: <_C extends IsEqual<A, B>, A, B>() => void;
 }
 /**
  * Check is the type `never`

package/esm/type-guard/is_type.js

@@ -13,7 +13,7 @@ isType.t = function (subject) {
 isType.f = function (subject) {
     return subject === undefined || subject === false;
 };
-function isNever(subject) {
+function isNever(_subject) {
     return true;
 }
 isType.never = isNever;

package/esm/type-guard/is_type.js.map

@@ -1 +1 @@
-{"version":3,"file":"is_type.js","sourceRoot":"","sources":["../../ts/type-guard/is_type.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAmC;IAC3E,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AACjD,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAChD,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AAClD,CAAC,CAAA;AAYD,SAAS,OAAO,CAAC,OAAiB;IACjC,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,GAAG,OAAO,CAAA;AAEtB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,GAAG,cAA4C,CAAC,CAAA"}
+{"version":3,"file":"is_type.js","sourceRoot":"","sources":["../../ts/type-guard/is_type.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,SAAmC;IAC3E,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC/C,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA0B,OAAW;IAC/C,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAA;AACjD,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,CAAC,GAAG,UAA2B,OAAW;IAChD,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,CAAA;AAClD,CAAC,CAAA;AAYD,SAAS,OAAO,CAAC,QAAkB;IAClC,OAAO,IAAI,CAAA;AACZ,CAAC;AAED,MAAM,CAAC,KAAK,GAAG,OAAO,CAAA;AAEtB;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,GAAG,cAA6C,CAAC,CAAA"}

package/esm/unpartial.d.ts

@@ -0,0 +1,2 @@
+export { required, requiredDeep, unpartial } from 'unpartial';
+//# sourceMappingURL=unpartial.d.ts.map

package/esm/unpartial.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unpartial.d.ts","sourceRoot":"","sources":["../ts/unpartial.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA"}

package/esm/unpartial.js

@@ -0,0 +1,2 @@
+export { required, requiredDeep, unpartial } from 'unpartial';
+//# sourceMappingURL=unpartial.js.map

package/esm/unpartial.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unpartial.js","sourceRoot":"","sources":["../ts/unpartial.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA"}

package/esm/void/void_type.d.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js';
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js';
 import type { IsUndefined } from '../undefined/undefined_type.js';
 /**
  * Check if `T` is `void`.

package/esm/void/void_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"void_type.d.ts","sourceRoot":"","sources":["../../ts/void/void_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAEjE;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAC7D,CAAC,EACD,IAAI,EACJ,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CACtD,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE1E;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}
+{"version":3,"file":"void_type.d.ts","sourceRoot":"","sources":["../../ts/void/void_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAA;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAEjE;;;;;;;;GAQG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,YAAY,CAC7D,CAAC,EACD,IAAI,EACJ,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,CACtD,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE5E;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAE1E;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA"}

package/package.json

@@ -1,8 +1,8 @@
 {
   "name": "type-plus",
-  "version": "7.0.1",
+  "version": "7.1.0",
   "description": "Provides additional types for TypeScript.",
-  "homepage": "https://github.com/unional/type-plus",
+  "homepage": "https://github.com/unional/type-plus/tree/main/type-plus",
   "bugs": {
     "url": "https://github.com/unional/type-plus/issues"
   },
@@ -18,8 +18,14 @@
   "sideEffects": false,
   "type": "module",
   "exports": {
-    "import": "./esm/index.js",
-    "require": "./cjs/index.js"
+    "import": {
+      "types": "./esm/index.d.ts",
+      "default": "./esm/index.js"
+    },
+    "require": {
+      "types": "./cjs/index.d.ts",
+      "default": "./cjs/index.js"
+    }
   },
   "main": "./cjs/index.js",
   "module": "./esm/index.js",
@@ -30,67 +36,50 @@
     "ts",
     "!ts/types",
     "!ts/type-checker",
-    "!**/*.{spec,test,unit,accept,integrate,system}.*"
+    "!**/*.{spec,test,unit,accept,integrate,system,perf,stress}.*"
   ],
   "dependencies": {
     "tersify": "^3.11.1",
     "unpartial": "^1.0.4"
   },
   "devDependencies": {
-    "@changesets/cli": "^2.25.2",
-    "@commitlint/cli": "^17.0.2",
-    "@commitlint/config-conventional": "^17.0.2",
     "@jest/globals": "^29.5.0",
     "@repobuddy/jest": "^3.4.0",
+    "@repobuddy/typescript": "^1.2.0",
     "@size-limit/esbuild-why": "^8.2.4",
     "@size-limit/preset-small-lib": "^8.2.4",
     "@types/node": "^18.0.0",
-    "@typescript-eslint/eslint-plugin": "^5.28.0",
-    "@typescript-eslint/parser": "^5.48.0",
     "@unional/fixture": "^3.0.0",
     "assertron": "^11.0.1",
     "cross-env": "^7.0.3",
     "depcheck": "^1.4.3",
-    "eslint": "^8.17.0",
-    "eslint-config-prettier": "^8.7.0",
-    "eslint-plugin-harmony": "^7.1.2",
-    "husky": "^8.0.1",
     "jest": "^29.5.0",
     "jest-watch-suspend": "^1.1.2",
     "jest-watch-toggle-config-2": "^2.1.0",
     "jest-watch-typeahead": "^2.2.2",
-    "ncp": "^2.0.0",
     "npm-run-all": "^4.1.5",
-    "pinst": "^3.0.0",
+    "repobuddy": "^1.0.2",
     "rimraf": "^5.0.0",
     "satisfier": "^5.2.2",
     "size-limit": "^8.2.4",
     "ts-jest": "^29.1.0",
     "tslib": "^2.4.0",
-    "typedoc": "^0.24.1",
-    "typedoc-plugin-extras": "^2.3.2",
-    "typescript": "^5.0.2"
+    "typescript": "^5.0.4"
   },
-  "packageManager": "pnpm@8.5.0",
   "scripts": {
     "build": "run-p build:cjs build:esm build:tslib",
-    "build:cjs": "tsc -p tsconfig.cjs.json && ncp package.cjs.json cjs/package.json",
+    "build:cjs": "buddy ts build cjs",
     "build:esm": "tsc -p tsconfig.esm.json",
-    "build:tslib": "tsc -p tsconfig.tslib.json && ncp package.cjs.json tslib/package.json",
-    "build:doc": "typedoc --plugin typedoc-plugin-extras",
-    "clean": "rimraf cjs coverage esm lib libm tslib",
+    "build:tslib": "buddy ts build tslib",
+    "clean": "rimraf cjs coverage esm lib libm tslib --glob *.tsbuildinfo",
     "coverage": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest --coverage",
-    "cs": "changeset",
     "depcheck": "depcheck",
     "lint": "eslint --ext=ts,js .",
     "nuke": "pnpm clean && rimraf node_modules",
-    "_postinstall": "husky install",
-    "release": "changeset publish",
     "size": "size-limit",
     "test": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest",
     "test:watch": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest --watch",
     "verify": "npm-run-all clean -p build depcheck lint coverage -p size",
-    "version": "changeset version",
     "watch": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest --watch",
     "w": "cross-env NODE_OPTIONS=--experimental-vm-modules NODE_NO_WARNINGS=1 jest --watch"
   }

package/ts/any/any_type.ts

@@ -1,7 +1,10 @@
 
 /**
- * Check if the type `T` is exactly `any`.
+ * Parse `T` to ensure it is exactly `any`.
  *
+ * 🐾 *parse*
+ *
+ * @example
  * ```ts
  * type R = AnyType<any> // any
  *
@@ -13,8 +16,11 @@
 export type AnyType<T, Then = T, Else = never> = 0 extends 1 & T ? Then : Else
 
 /**
- * Is the type `T` exactly `any`.
+ * Validate if `T` is exactly `any`.
+ *
+ * 🎭 *validate*
  *
+ * @example
  * ```ts
  * type R = IsAny<any> // true
  *
@@ -26,11 +32,12 @@ export type AnyType<T, Then = T, Else = never> = 0 extends 1 & T ? Then : Else
 export type IsAny<T, Then = true, Else = false> = AnyType<T, Then, Else>
 
 /**
- * Check if the type `T` is not `any`.
+ * Parse `T` to ensure it is not exactly `any`.
  *
- * ```
- * import type { NotAnyType } from 'type-plus'
+ * 🐾 *parse*
  *
+ * @example
+ * ```ts
  * type R = NotAnyType<any> // never
  *
  * type R = NotAnyType<never> // never
@@ -41,9 +48,12 @@ export type IsAny<T, Then = true, Else = false> = AnyType<T, Then, Else>
 export type NotAnyType<T, Then = T, Else = never> = AnyType<T, Else, Then>
 
 /**
- * Is the type `T` not `any`.
+ * Validate if `T` is not exactly `any`.
  *
- * ```
+ * 🎭 *validate*
+ *
+ * @example
+ * ```ts
  * import type { IsNotAny } from 'type-plus'
  *
  * type R = IsNotAny<any> // false

package/ts/array/array.some.ts

@@ -11,6 +11,8 @@ import type { UnionOfValues } from './union_of_values.js'
  *
  * You can also change it to `strict` mode.
  *
+ * 🔧 *utilities*
+ *
  * @example
  * ```ts
  * Some<string[], string> // true
@@ -30,11 +32,16 @@ export type Some<
 
 export namespace Some {
 	export type Strict<A extends unknown[], Criteria, Then, Else> = number extends A['length']
-		? IsEqual<UnionOfValues<A>, Criteria> extends true
-			? Then
-			: Else
+		? StrictArray<A, Criteria, Then, Else>
 		: StrictTuple<A, Criteria, Then, Else>
 
+	export type StrictArray<A extends unknown[], Criteria, Then, Else> = IsEqual<
+		UnionOfValues<A>,
+		Criteria,
+		Then,
+		Else
+	>
+
 	export type StrictTuple<A extends unknown[], Criteria, Then, Else> = A['length'] extends 0
 		? Else
 		: IsEqual<A[0], Criteria> extends true
@@ -42,9 +49,16 @@ export namespace Some {
 		: StrictTuple<Tail<A>, Criteria, Then, Else>
 
 	export type Loose<A extends unknown[], Criteria, Then, Else> = number extends A['length']
-		? CanAssign<UnionOfValues<A>, Criteria, Then, Else>
+		? LooseArray<A, Criteria, Then, Else>
 		: LooseTuple<A, Criteria, Then, Else>
 
+	export type LooseArray<A extends unknown[], Criteria, Then, Else> = CanAssign<
+		UnionOfValues<A>,
+		Criteria,
+		Then,
+		Else
+	>
+
 	export type LooseTuple<A extends unknown[], Criteria, Then, Else> = A['length'] extends 0
 		? Else
 		: A[0] extends Criteria

package/ts/array/array_plus.split_at.ts

@@ -1,5 +1,5 @@
 import type { IndexAt } from './array_index.js'
-import { ArrayType } from './array_type.js'
+import type { ArrayType } from './array_type.js'
 
 /**
  * Splits an array into two at the specified `Index`.

package/ts/array/reduce_while.ts

@@ -6,7 +6,7 @@ export function reduceWhile<T, R>(
 ) {
 	let acc = initialValue
 	for (let i = 0; i < array.length; i++) {
-		const value = array[i]
+		const value = array[i]!
 		if (!predicate(acc, value)) return acc
 		acc = callbackfn(acc, value, i, array)
 	}

package/ts/assertion/assert_type.ts

@@ -1,6 +1,6 @@
 import { tersify } from 'tersify'
 import { isConstructor, type AnyConstructor } from '../class/index.js'
-import { AnyFunction } from '../function/any_function.js'
+import { type AnyFunction } from '../function/any_function.js'
 
 /**
  * assert the subject satisfies the specified type T
@@ -82,7 +82,10 @@ assertType.noFunction = function <S>(subject: Exclude<S, AnyFunction>): void {
 }
 
 /**
- * @deprecated
+ * 💀 deprecated. It does not work in all cases.
+ *
+ * It passes for function that can be called with `new`.
+ * If the subject is an arrow function, it can still return true after compilation.
  */
 assertType.isConstructor = function (subject: AnyConstructor): asserts subject is AnyConstructor {
 	if (!isConstructor(subject)) throw TypeError(`subject is not a constructor`)
@@ -95,7 +98,7 @@ assertType.noError = function <S>(subject: Exclude<S, Error>): void {
 	if (subject instanceof Error) throw TypeError(`subject is an Error`)
 }
 
-assertType.isNever = function (subject: never): asserts subject is never {}
+assertType.isNever = function (_subject: never): asserts _subject is never {}
 
 /**
  * creates a custom assertion function with standard TypeError.
@@ -110,4 +113,4 @@ assertType.custom = function <T>(validator: (s: T) => boolean): (subject: unknow
 	}
 }
 
-assertType.as = function <T>(subject: unknown): asserts subject is T {}
+assertType.as = function <T>(_subject: unknown): asserts _subject is T {}

package/ts/bigint/bigint_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is exactly `bigint`.

package/ts/bigint/strict_bigint_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is exactly `bigint`.

package/ts/boolean/boolean_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is `boolean`, including `true` and `false`.

package/ts/boolean/false_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is exactly `false`.

package/ts/boolean/strict_boolean_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is exactly `boolean`.

package/ts/boolean/true_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is exactly `true`.

package/ts/equal/equal.ts

@@ -26,16 +26,16 @@ type IdentityEqual<A, B, Then, Else> = (<_>() => _ extends (A & _) | _ ? 1 : 2)
  * Checks `A` and `B` are equal.
  *
  * ```ts
- * type R = Equal<1, 1> // true
- * type R = Equal<any, any> // true
- * type R = Equal<boolean, boolean> // true
- * type R = Equal<true, true> // true
- * type R = Equal<[1], [1]> // true
+ * type R = IsEqual<1, 1> // true
+ * type R = IsEqual<any, any> // true
+ * type R = IsEqual<boolean, boolean> // true
+ * type R = IsEqual<true, true> // true
+ * type R = IsEqual<[1], [1]> // true
  *
- * type R = Equal<boolean, true> // false
- * type R = Equal<any, 1> // false
- * type R = Equal<[any], [1]> // false
- * type R = Equal<{ a: 1 }, { a: 1; b: 2 }> // false
+ * type R = IsEqual<boolean, true> // false
+ * type R = IsEqual<any, 1> // false
+ * type R = IsEqual<[any], [1]> // false
+ * type R = IsEqual<{ a: 1 }, { a: 1; b: 2 }> // false
  * ```
  *
  * Note that intersection type checks only works at first level.
@@ -81,16 +81,16 @@ export type IsEqual<A, B, Then = true, Else = false> = [A, B] extends [B, A]
  * Checks `A` and `B` are not equal.
  *
  * ```ts
- * type R = NotEqual<1, 1> // false
- * type R = NotEqual<any, any> // false
- * type R = NotEqual<boolean, boolean> // false
- * type R = NotEqual<true, true> // false
- * type R = NotEqual<[1], [1]> // false
+ * type R = IsNotEqual<1, 1> // false
+ * type R = IsNotEqual<any, any> // false
+ * type R = IsNotEqual<boolean, boolean> // false
+ * type R = IsNotEqual<true, true> // false
+ * type R = IsNotEqual<[1], [1]> // false
  *
- * type R = NotEqual<boolean, true> // true
- * type R = NotEqual<any, 1> // true
- * type R = NotEqual<[any], [1]> // true
- * type R = NotEqual<{ a: 1 }, { a: 1; b: 2 }> // true
+ * type R = IsNotEqual<boolean, true> // true
+ * type R = IsNotEqual<any, 1> // true
+ * type R = IsNotEqual<[any], [1]> // true
+ * type R = IsNotEqual<{ a: 1 }, { a: 1; b: 2 }> // true
  * ```
  *
  * Note that intersection type checks only works at first level.

package/ts/function/function_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if `T` is a `Function`.

package/ts/function/strict_function_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if `T` is exactly `Function`.

package/ts/functional/context.ts

@@ -57,7 +57,7 @@ function contextBuilder(init: ContextBaseShape, extenders: Array<[ContextExtende
 		},
 		build() {
 			return extenders.reduce((p, [t], i) => {
-				const v = typeof t === 'function' ? (extenders[i][0] = t(p)) : t
+				const v = typeof t === 'function' ? (extenders[i]![0] = t(p)) : t
 				return { ...p, ...v }
 			}, init)
 		}

package/ts/index.ts

@@ -1,5 +1,3 @@
-export { required, requiredDeep, unpartial } from 'unpartial'
-export type { IsAnyOrNever } from './any/any_or_never.js'
 export type { AnyType, IsAny, IsNotAny, NotAnyType } from './any/any_type.js'
 export type { At } from './array/array.at.js'
 export type { Concat } from './array/array.concat.js'
@@ -40,6 +38,7 @@ export * from './functional/index.js'
 export type { JSONArray, JSONObject, JSONPrimitive, JSONTypes } from './json.js'
 export type { Abs, Add, Decrement, GreaterThan, Increment, Max, Multiply, Subtract } from './math/index.js'
 export * as MathPlus from './math/math_plus.js'
+export type { AnyOrNeverType, IsAnyOrNever } from './mix_types/any_or_never_type.js'
 export type { IsNever, IsNotNever, Is_Never, NeverType, NotNeverType, Not_Never } from './never/never_type.js'
 export * from './nodejs/index.js'
 export * from './nominal/index.js'
@@ -97,5 +96,7 @@ export type {
 } from './undefined/undefined_type.js'
 export type { UnionKeys } from './union_keys.js'
 export type { IsNotUnknown, IsUnknown, NotUnknownType, UnknownType } from './unknown/unknown_type.js'
+export * from './unpartial.js'
 export * from './utils/index.js'
 export type { IsNotVoid, IsVoid, NotVoidType, VoidType } from './void/void_type.js'
+

package/ts/mix_types/any_or_never_type.ts

@@ -0,0 +1,30 @@
+import type { IsNever } from '../never/never_type.js'
+import type { IsAny } from '../any/any_type.js'
+
+/**
+ * 🐾 Parse `T` to ensure it is either exactly `any` or exactly `never`.
+ *
+ * @example
+ * ```ts
+ * type R = AnyType<any> // any
+ *
+ * type R = AnyType<never> // never
+ * type R = AnyType<unknown> // never
+ * type R = AnyType<string | boolean> // never
+ * ```
+ */
+export type AnyOrNeverType<T, Then = T, Else = never> = IsNever<T, Then, IsAny<T, Then, Else>>
+
+/**
+ * 🎭 Validate if `T` is either exactly `any` or exactly `never`.
+ *
+ * @example
+ * ```ts
+ * type R = IsAnyOrNever<any> // true
+ * type R = IsAnyOrNever<never> // true
+ *
+ * type R = IsAnyOrNever<1> // false
+ * type R = IsAnyOrNever<unknown> // false
+ * ```
+ */
+export type IsAnyOrNever<T, Then = true, Else = false> = IsNever<T, Then, IsAny<T, Then, Else>>

package/ts/number/number_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if the type `T` is `number`.

package/ts/numeric/integer.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 import type { Numeric } from './numeric_type.js'
 
 /**

package/ts/numeric/numeric_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Either number or bigint.

package/ts/object/ANotB.ts

@@ -2,6 +2,7 @@ import type { IsEqual } from '../equal/equal.js'
 import type { AnyRecord } from './AnyRecord.js'
 import type { IsDisjoint } from './IsDisjoint.js'
 import type { KeysWithDiffType } from './KeysWithDiffType.js'
+import type { Properties } from './properties.js'
 
 export type ANotB<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true
 	? never
@@ -15,4 +16,4 @@ export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> e
 	? A
 	: IsDisjoint<A, B> extends true
 	? A & B
-	: { [k in Exclude<keyof A, keyof B>]: A[k] } & { [k in keyof B]: B[k] }
+	: Properties<{ [k in Exclude<keyof A, keyof B>]: A[k] } & { [k in keyof B]: B[k] }>

package/ts/object/Required.ts

@@ -1,6 +1,6 @@
 // Thanks [jack-williams](https://github.com/jack-williams) for the [solution](https://github.com/Microsoft/TypeScript/issues/29269#issuecomment-451602962)
 
-import { NonUndefined } from '../utils/NonUndefined.js'
+import type { NonUndefined } from '../utils/NonUndefined.js'
 
 export type Required<T> = { [P in keyof T]-?: NonUndefined<T[P]> }
 

package/ts/object/findKey.ts

@@ -1,4 +1,4 @@
-import { KeyTypes } from './KeyTypes.js'
+import type { KeyTypes } from './KeyTypes.js'
 
 export function findKey<S extends Record<KeyTypes, any>, T = any>(
 	subject: S,

package/ts/object/forEachKey.ts

@@ -1,4 +1,4 @@
-import { KeyTypes } from './KeyTypes.js'
+import type { KeyTypes } from './KeyTypes.js'
 
 export function forEachKey<S extends Record<KeyTypes, any>, T = any>(
 	subject: S,

package/ts/object/hasProperty.ts

@@ -1,4 +1,4 @@
-import { UnionKeys } from '../union_keys.js'
+import type { UnionKeys } from '../union_keys.js'
 
 export function hasProperty<T, P extends UnionKeys<T>>(value: T, prop: P): value is T & Record<P, T[P]> {
 	return !!value[prop]

package/ts/object/object_type.ts

@@ -1,4 +1,4 @@
-import type { IsAnyOrNever } from '../any/any_or_never.js'
+import type { IsAnyOrNever } from '../mix_types/any_or_never_type.js'
 
 /**
  * Check if `T` is an `object`.

package/ts/object/split.ts

@@ -3,7 +3,7 @@ import type { AnyRecord } from './AnyRecord.js'
 import type { Omit } from './omit.js'
 import { reduceByKey } from './reduceKey.js'
 import type { Partial } from './Partial.js'
-import { NonUndefined } from '../utils/NonUndefined.js'
+import type { NonUndefined } from '../utils/NonUndefined.js'
 
 type Splitter<T extends AnyRecord> = Partial<{ [k in keyof T]: T[k] | undefined }>
 export type Split<T extends AnyRecord, S extends AnyRecord> = {