type-plus 5.1.0 → 5.3.0

package/esm/predicates/isType.spec.js.map

@@ -1 +1 @@
-{"version":3,"file":"isType.spec.js","sourceRoot":"","sources":["../../ts/predicates/isType.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAS,MAAM,EAAE,MAAM,aAAa,CAAA;AAEvD,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAA;YACvC,IAAI,MAAM,CAAW,OAAO,CAAC,EAAE;gBAC7B,UAAU,CAAW,OAAO,CAAC,CAAA;aAC9B;QACH,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACtD,MAAM,CAAC,GAAG,EAAE,CAAA;YACZ,IAAI,MAAM,CAAK,CAAC,CAAC,EAAE;gBACjB,UAAU,CAAK,CAAC,CAAC,CAAA;aAClB;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC9C,MAAM,CAAC,GAAY,KAAK,CAAA;YACxB,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACnD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACzC,MAAM,CAAC,GAAY,KAAK,CAAA;YACxB,IAAI,MAAM,CAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACjD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,GAAoB,CAAC,CAAA;YAC5B,IAAI,MAAM,CAAS,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE;gBACjD,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;iBACI;gBACH,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,CAAC,GAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;YACvB,IAAI,MAAM,CAAgB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACtC,UAAU,CAAgB,CAAC,CAAC,CAAA;aAC7B;iBACI;gBACH,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;QACH,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACnC,MAAM,CAAC,GAAQ,KAAK,CAAA;YACpB,IAAI,MAAM,CAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACjD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAE1C,cAAc;QACd,oBAAoB;QACpB,sBAAsB;IACxB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEjC,cAAc;QACd,kBAAkB;QAClB,oBAAoB;IACtB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAE1C,cAAc;QACd,mBAAmB;QACnB,sBAAsB;IACxB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAElC,cAAc;QACd,iBAAiB;QACjB,oBAAoB;IACtB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,KAAK,EAAc,CAAA;IAC5B,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,KAAK,EAAiB,CAAA;IAC/B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
+{"version":3,"file":"isType.spec.js","sourceRoot":"","sources":["../../ts/predicates/isType.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAS,MAAM,EAAE,MAAM,aAAa,CAAA;AAEvD,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACxB,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACnD,MAAM,OAAO,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAA;YACvC,IAAI,MAAM,CAAW,OAAO,CAAC,EAAE;gBAC7B,UAAU,CAAW,OAAO,CAAC,CAAA;aAC9B;QACH,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACtD,MAAM,CAAC,GAAG,EAAE,CAAA;YACZ,IAAI,MAAM,CAAK,CAAC,CAAC,EAAE;gBACjB,UAAU,CAAK,CAAC,CAAC,CAAA;aAClB;QACH,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC9C,MAAM,CAAC,GAAY,KAAK,CAAA;YACxB,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACnD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACzC,MAAM,CAAC,GAAY,KAAK,CAAA;YACxB,IAAI,MAAM,CAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACjD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,GAAoB,CAAC,CAAA;YAC5B,IAAI,MAAM,CAAS,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE;gBACjD,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;iBACI;gBACH,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;QACH,CAAC,CAAC,CAAA;QAEF,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,CAAC,GAAQ,EAAE,CAAC,EAAE,CAAC,EAAE,CAAA;YACvB,IAAI,MAAM,CAAgB,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACtC,UAAU,CAAgB,CAAC,CAAC,CAAA;aAC7B;iBACI;gBACH,UAAU,CAAS,CAAC,CAAC,CAAA;aACtB;QACH,CAAC,CAAC,CAAA;QACF,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACnC,MAAM,CAAC,GAAQ,KAAK,CAAA;YACpB,IAAI,MAAM,CAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;gBACjD,UAAU,CAAU,CAAC,CAAC,CAAA;QAC1B,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACnC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAE1C,mBAAmB;QACnB,MAAM,CAAC,CAAC,EAAS,CAAA;QACjB,mBAAmB;QACnB,MAAM,CAAC,CAAC,EAAW,CAAA;IACrB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEjC,mBAAmB;QACnB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QACf,mBAAmB;QACnB,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IACnB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAE1C,mBAAmB;QACnB,MAAM,CAAC,CAAC,EAAQ,CAAA;QAEhB,mBAAmB;QACnB,MAAM,CAAC,CAAC,EAAW,CAAA;IACrB,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAElC,mBAAmB;QACnB,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;QACd,mBAAmB;QACnB,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IACnB,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,KAAK,EAAc,CAAA;IAC5B,CAAC,CAAC,CAAA;IACF,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,KAAK,EAAiB,CAAA;IAC/B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/esm/predicates/logical.d.ts

@@ -1,5 +1,5 @@
-export type And<A extends boolean, B extends boolean> = A extends true ? B extends true ? true : false : false;
-export type Or<A extends boolean, B extends boolean> = A extends true ? true : B extends true ? true : false;
-export type Not<X extends boolean> = X extends true ? false : true;
-export type Xor<A extends boolean, B extends boolean> = A extends true ? Not<B> : B extends true ? true : false;
+export type And<A extends boolean, B extends boolean, Then = true, Else = false> = A extends true ? B extends true ? Then : Else : Else;
+export type Or<A extends boolean, B extends boolean, Then = true, Else = false> = A extends true ? Then : B extends true ? Then : Else;
+export type Not<X extends boolean, Then = true, Else = false> = X extends true ? Else : Then;
+export type Xor<A extends boolean, B extends boolean, Then = true, Else = false> = A extends Then ? Not<B> : B extends true ? Then : Else;
 //# sourceMappingURL=logical.d.ts.map

package/esm/predicates/logical.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"logical.d.ts","sourceRoot":"","sources":["../../ts/predicates/logical.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,CAAA;AAC9G,MAAM,MAAM,EAAE,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;AAC5G,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,IAAI,CAAA;AAClE,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA"}
+{"version":3,"file":"logical.d.ts","sourceRoot":"","sources":["../../ts/predicates/logical.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,CACb,CAAC,SAAS,OAAO,EACjB,CAAC,SAAS,OAAO,EACjB,IAAI,GAAG,IAAI,EACX,IAAI,GAAG,KAAK,IACV,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;AAExD,MAAM,MAAM,EAAE,CACZ,CAAC,SAAS,OAAO,EACjB,CAAC,SAAS,OAAO,EACjB,IAAI,GAAG,IAAI,EACX,IAAI,GAAG,KAAK,IACV,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;AAExD,MAAM,MAAM,GAAG,CACb,CAAC,SAAS,OAAO,EACjB,IAAI,GAAG,IAAI,EACX,IAAI,GAAG,KAAK,IACV,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA;AAEhC,MAAM,MAAM,GAAG,CACb,CAAC,SAAS,OAAO,EACjB,CAAC,SAAS,OAAO,EACjB,IAAI,GAAG,IAAI,EACX,IAAI,GAAG,KAAK,IACV,CAAC,SAAS,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,IAAI,CAAA"}

package/esm/utils/inspect.d.ts

@@ -1,5 +1,5 @@
 /**
  * Inspects the value and returns it.
  */
-export declare function inspect<T>(value: T, inspector: (value: T) => void): T;
+export declare function inspect<T>(value: T, inspector: (value: Readonly<T>) => void): T;
 //# sourceMappingURL=inspect.d.ts.map

package/esm/utils/inspect.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"inspect.d.ts","sourceRoot":"","sources":["../../ts/utils/inspect.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,CAAC,CAGrE"}
+{"version":3,"file":"inspect.d.ts","sourceRoot":"","sources":["../../ts/utils/inspect.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAG/E"}

package/esm/utils/inspect.js.map

@@ -1 +1 @@
-{"version":3,"file":"inspect.js","sourceRoot":"","sources":["../../ts/utils/inspect.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,UAAU,OAAO,CAAI,KAAQ,EAAE,SAA6B;IAChE,SAAS,CAAC,KAAK,CAAC,CAAA;IAChB,OAAO,KAAK,CAAA;AACd,CAAC"}
+{"version":3,"file":"inspect.js","sourceRoot":"","sources":["../../ts/utils/inspect.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,UAAU,OAAO,CAAI,KAAQ,EAAE,SAAuC;IAC1E,SAAS,CAAC,KAAK,CAAC,CAAA;IAChB,OAAO,KAAK,CAAA;AACd,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "type-plus",
-  "version": "5.1.0",
+  "version": "5.3.0",
   "description": "Provides additional types for TypeScript.",
   "homepage": "https://github.com/unional/type-plus",
   "bugs": {
@@ -67,9 +67,9 @@
     "tslib": "^2.4.0",
     "typedoc": "^0.23.0",
     "typedoc-plugin-extras": "^2.2.3",
-    "typescript": "4.9.4"
+    "typescript": "5.0.0-dev.20230116"
   },
-  "packageManager": "pnpm@7.22.0",
+  "packageManager": "pnpm@7.25.0",
   "size-limit": [
     {
       "path": "./cjs/index.js",

package/ts/array/UnionOfValues.ts

@@ -1,10 +1,14 @@
-/**
- * Gets the union of value types in `A`
- */
-export type UnionOfValues<A extends Array<any>> = A extends Array<infer E> ? E : never
-
-/**
- * Gets the union of value types in `A`
- * This will be deprecated in 4.0. Please use UnionOfValues instead.
- */
-export type ArrayValue<A extends any[]> = UnionOfValues<A>
+/**
+ * Gets the union of value types in `A`
+ */
+export type UnionOfValues<A extends Array<any>> = A extends Array<infer E> ? E : never
+
+// alternative implementation
+// export type UnionOfValues<A extends readonly any[]> = (A)[number]
+// from: https://twitter.com/anveio/status/1615140804816928769?s=20&t=wrudiqV94A11CSl19N6Viw
+
+/**
+ * Gets the union of value types in `A`
+ * @deprecated Please use `UnionOfValues` instead.
+ */
+export type ArrayValue<A extends any[]> = UnionOfValues<A>

package/ts/array/index.ts

@@ -1,7 +1,6 @@
 export type { CommonKeys, CommonPropKeys } from './CommonPropKeys.js'
 export type { Concat } from './Concat.js'
 export type { CreateTuple } from './CreateTuple.js'
-export * from './drop.js'
 export type { Filter, KeepMatch } from './Filter.js'
 export type { FindFirst, First } from './FindFirst.js'
 export type { FindLast } from './FindLast.js'
@@ -9,12 +8,12 @@ export type { Head } from './Head.js'
 export type { IntersectOfProps, MapToProp } from './IntersectOfProps.js'
 export type { IsArray } from './IsArray.js'
 export type { Last } from './Last.js'
-export * from './literalArray.js'
 export type { PadLeft } from './PadLeft.js'
-export * from './reduceWhile.js'
 export type { Reverse } from './Reverse.js'
 export type { Some } from './Some.js'
 export type { Tail } from './Tail.js'
 export type { PropUnion, UnionOfProps } from './UnionOfProps.js'
 export type { ArrayValue, UnionOfValues } from './UnionOfValues.js'
-
+export * from './drop.js'
+export * from './literalArray.js'
+export * from './reduceWhile.js'

package/ts/function/ExtractFunction.ts

@@ -1,13 +1,19 @@
-import { AnyFunction } from './AnyFunction.js'
+import type { AnyFunction } from './AnyFunction.js'
 
 /**
- * Extract the function signature from a composit type T.
+ * Extract the function signature from a composite type T.
  *
+ * It works with interact of functions, but not on function overloads and union.
  * @note does not work with function overloads.
  */
 export type ExtractFunction<T extends AnyFunction> = T extends AnyFunction<infer P, infer R>
   ? (...args: P) => R : never
 
+/**
+ * Extract the function signature from a composite function.
+ *
+ * @note does not work with function overloads.
+ */
 export function extractFunction<T extends AnyFunction>(fn: T) {
   return fn as any as ExtractFunction<T>
 }

package/ts/functional/compose.ts

@@ -2,7 +2,11 @@ import type { Head, Last } from '../array/index.js'
 import type { AnyFunction } from '../function/AnyFunction.js'
 
 /**
- * compose functions
+ * Compose functions to produce a new function.
+ * @params args functions to be composed.
+ * Each function will receive the return value of the previous function as its parameters.
+ * @return The composed function will expect the parameters of the first function,
+ * and return the result of the last function.
  */
 export function compose<FS extends AnyFunction[]>(...fns: FS): (...args: Parameters<Head<FS>>) => ReturnType<Last<FS>> {
   // eslint-disable-next-line @typescript-eslint/no-unsafe-return

package/ts/object/filterKey.ts

@@ -1,8 +1,10 @@
-import { KeyTypes } from './KeyTypes.js'
+import type { KeyTypes } from './KeyTypes.js'
 
 export function filterKey<S extends Record<KeyTypes, any>, T = any>(
   subject: S,
-  predicate: (this: T, key: keyof S, index: number, obj: Array<keyof S>) => boolean,
+  predicate: (this: T, key: keyof S, index: number, obj: Array<keyof S>, subject: S) => boolean,
   thisArg?: T): Array<keyof S> {
-  return Object.keys(subject).filter(predicate, thisArg)
+  return Object.keys(subject).filter(function (this: T, k, i, a) {
+    return predicate.apply(this, [k, i, a, subject])
+  }, thisArg)
 }

package/ts/object/findKey.ts

@@ -2,7 +2,9 @@ import { KeyTypes } from './KeyTypes.js'
 
 export function findKey<S extends Record<KeyTypes, any>, T = any>(
   subject: S,
-  predicate: (this: T, key: keyof S, index: number, obj: Array<keyof S>) => boolean,
+  predicate: (this: T, key: keyof S, index: number, obj: Array<keyof S>, subject: S) => boolean,
   thisArg?: T): keyof S | undefined {
-  return Object.keys(subject).find(predicate, thisArg)
+  return Object.keys(subject).find(function (this: T, k, i, a) {
+    return predicate.apply(this, [k, i, a, subject])
+  }, thisArg)
 }

package/ts/object/mapKey.ts

@@ -2,7 +2,9 @@ import { KeyTypes } from './KeyTypes.js'
 
 export function mapKey<R, S extends Record<KeyTypes, any>, T = any>(
   subject: S,
-  predicate: (this: T, key: keyof S, index: number, obj: Array<keyof S>) => R,
+  predicate: (this: T, key: keyof S, index: number, obj: Array<keyof S>, subject: S) => R,
   thisArg?: T): R[] {
-  return Object.keys(subject).map(predicate, thisArg)
+  return Object.keys(subject).map(function (this: T, k, i, a) {
+    return predicate.apply(this, [k, i, a, subject])
+  }, thisArg)
 }

package/ts/object/reduceKey.ts

@@ -2,9 +2,9 @@ import type { KeyTypes } from './KeyTypes.js'
 
 export function reduceByKey<S extends Record<KeyTypes, any>, T>(
   subject: S,
-  callbackfn: (previousValue: T, key: keyof S, currentIndex: number, array: string[]) => T,
+  callbackfn: (previousValue: T, key: keyof S, currentIndex: number, array: string[], subject: S) => T,
   initialValue: T): T {
-  return Object.keys(subject).reduce(callbackfn as any, initialValue)
+  return Object.keys(subject).reduce((p, k, i, a) => callbackfn(p, k, i, a, subject), initialValue)
 }
 
 /**

package/ts/object/someKey.ts

@@ -2,8 +2,10 @@ import type { KeyTypes } from './KeyTypes.js'
 
 export function someKey<S extends Record<KeyTypes, any>, T = any>(
   subject: S,
-  predicate: (this: T, key: keyof S, index: number, array: string[]) => unknown,
+  predicate: (this: T, key: keyof S, index: number, array: string[], subject: S) => unknown,
   thisArg?: T
 ): boolean {
-  return Object.keys(subject).some(predicate, thisArg)
+  return Object.keys(subject).some(function (this: T, k, i, a) {
+    return predicate.apply(this, [k, i, a, subject])
+  }, thisArg)
 }

package/ts/predicates/Equal.ts

@@ -1,30 +1,26 @@
+import type { IsAny } from './IsAny.js'
+import type { And, Or } from './logical.js'
+
 /**
- * `<T>() => T extends A ? 1 : 2` idea originate from `typepark`
- * But it does not work with union types.
- *
- * `<T>() => T extends A` is a trick to create an inferred type `T`.
- * This is needed for `boolean`, `string`, and `number`,
- * as they supports literal types.
+ * Checks if the two types are equal.
  */
-
-import { IsNever } from '../PrimitiveTypes.js'
+export type Equal<A, B, Then = true, Else = false> = [A, B] extends [B, A]
+  ? And<IsAny<A>, IsAny<B>,
+    Then,
+    Or<IsAny<A>, IsAny<B>, Else, Then>>
+  : Else
 
 /**
- * Checks if two types are equal.
+ * Checks if the two types are equal.
  */
-export type Equal<A, B, Then = true, Else = false> =
-  [A, B] extends [object, object]
-  ? (IsNever<A> extends true
-    ? (IsNever<B> extends true ? Then : Else)
-    : (A extends B ? B extends A ? Then : Else : Else))
-  : (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Then : Else
-export type IsEqual<A, B> = Equal<A, B>
+export type IsEqual<A, B, Then = true, Else = false> = Equal<A, B, Then, Else>
 
-export type NotEqual<A, B, Then = true, Else = false> =
-  [A, B] extends [object, object]
-  ? (IsNever<A> extends true
-    ? (IsNever<B> extends true ? Else : Then)
-    : (A extends B ? B extends A ? Else : Then : Then))
-  : (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? Else : Then
+/**
+ * Check if the two types are not equal
+ */
+export type NotEqual<A, B, Then = true, Else = false> = Equal<A, B, Else, Then>
 
-export type IsNotEqual<A, B> = NotEqual<A, B>
+/**
+ * Check if the two types are not equal
+ */
+export type IsNotEqual<A, B, Then = true, Else = false> = NotEqual<A, B, Then, Else>

package/ts/predicates/IsAny.ts

@@ -0,0 +1,3 @@
+import type { IsExtend } from './Extends.js'
+
+export type IsAny<T, Then = true, Else = false> = boolean extends IsExtend<T, string> ? Then : Else

package/ts/predicates/index.ts

@@ -2,16 +2,13 @@ export * from './CanAssign.js'
 export type { Equal, IsEqual, IsNotEqual, NotEqual } from './Equal.js'
 export type { Extendable, IsExtend, IsNotExtend, NotExtendable } from './Extends.js'
 export type { If } from './If.js'
+export type { IsAny } from './IsAny.js'
+export type { IsEmptyObject } from './IsEmptyObject.js'
 export * from './isType.js'
 export type { And, Not, Or, Xor } from './logical.js'
-export type { IsEmptyObject } from './IsEmptyObject.js'
-
-import type { IsExtend } from './Extends.js'
 
 export type IsLiteral<T extends number | string, Then = true, Else = false> = number extends T ?
   Else :
   string extends T ? Else : Then
 
 export type IsBoolean<T, Then = true, Else = false> = boolean extends T ? Then : Else
-
-export type IsAny<T, Then = true, Else = false> = boolean extends IsExtend<T, string> ? Then : Else

package/ts/predicates/isType.ts

@@ -21,7 +21,7 @@ isType.f = function <T extends false>(subject?: T) {
 
 /**
  * Are types A and B equals/not equals.
- * Easier to use then `isType.t<>()` and `isType.f<>()`,
+ * Easier to use than `isType.t<>()` and `isType.f<>()`,
  * when doing type level only equality comparison as you don't have to import `Equal<>`.
  */
 // eslint-disable-next-line @typescript-eslint/no-unused-vars

package/ts/predicates/logical.ts

@@ -1,4 +1,26 @@
-export type And<A extends boolean, B extends boolean> = A extends true ? B extends true ? true : false : false
-export type Or<A extends boolean, B extends boolean> = A extends true ? true : B extends true ? true : false
-export type Not<X extends boolean> = X extends true ? false : true
-export type Xor<A extends boolean, B extends boolean> = A extends true ? Not<B> : B extends true ? true : false
+export type And<
+  A extends boolean,
+  B extends boolean,
+  Then = true,
+  Else = false
+> = A extends true ? B extends true ? Then : Else : Else
+
+export type Or<
+  A extends boolean,
+  B extends boolean,
+  Then = true,
+  Else = false
+> = A extends true ? Then : B extends true ? Then : Else
+
+export type Not<
+  X extends boolean,
+  Then = true,
+  Else = false
+> = X extends true ? Else : Then
+
+export type Xor<
+  A extends boolean,
+  B extends boolean,
+  Then = true,
+  Else = false
+> = A extends Then ? Not<B> : B extends true ? Then : Else

package/ts/utils/inspect.ts

@@ -1,7 +1,7 @@
 /**
  * Inspects the value and returns it.
  */
-export function inspect<T>(value: T, inspector: (value: T) => void): T {
+export function inspect<T>(value: T, inspector: (value: Readonly<T>) => void): T {
   inspector(value)
   return value
 }