type-plus 7.2.1 → 7.3.1

package/esm/object/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/object/index.ts"],"names":[],"mappings":"AAiBA,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,kBAAkB,CAAA;AAChC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,WAAW,CAAA;AACzB,cAAc,WAAW,CAAA;AAEzB,cAAc,aAAa,CAAA;AAE3B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,sBAAsB,CAAA;AACpC,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,+BAA+B,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/object/index.ts"],"names":[],"mappings":"AAkBA,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,eAAe,CAAA;AAC7B,cAAc,aAAa,CAAA;AAC3B,cAAc,kBAAkB,CAAA;AAChC,cAAc,gBAAgB,CAAA;AAC9B,cAAc,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,WAAW,CAAA;AACzB,cAAc,WAAW,CAAA;AAEzB,cAAc,aAAa,CAAA;AAE3B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,sBAAsB,CAAA;AACpC,cAAc,cAAc,CAAA;AAC5B,cAAc,YAAY,CAAA;AAC1B,cAAc,+BAA+B,CAAA"}

package/esm/object/left_join.d.ts

@@ -1,43 +1,15 @@
-import type { IsLiteral } from '../predicates/index.js';
+import type { IsEqual } from '../equal/equal.js';
 import type { AnyRecord } from './AnyRecord.js';
 import type { IsDisjoint } from './IsDisjoint.js';
-import type { KeyTypes } from './KeyTypes.js';
-/**
- * Left join type `A` with type `B`.
- *
- * It handles cases like A or B are `Record`,
- * joining between required and optional props, etc.
- */
-export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsDisjoint<A, B> extends true ? A & B : [keyof A, keyof B] extends [infer KA extends KeyTypes, infer KB extends KeyTypes] ? IsLiteral<KA> extends true ? IsLiteral<KB> extends true ? {
-    [k in Exclude<KA, KB>]: A[k];
-} & {
-    [k in KB]: undefined extends B[k] ? Exclude<A[k] | B[k], undefined> : B[k];
-} : {
-    [k in Exclude<KA, KA & KB>]: A[k];
-} & {
-    [k in Exclude<KB, KA & KB>]: B[k];
-} & {
-    [k in KA & KB]: A[k] | B[k];
-} : IsLiteral<KB> extends true ? {
-    [k in Exclude<KA, KB>]: A[k];
+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 : IsDisjoint<A, B> extends true ? A : {
+    [k in Exclude<keyof A, keyof B> | KeysWithDiffType<A, B>]: A[k];
+};
+export type BNotA<A extends AnyRecord, B extends AnyRecord> = ANotB<B, A>;
+export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true ? A : IsDisjoint<A, B> extends true ? A & B : Properties<{
+    [k in Exclude<keyof A, keyof B>]: A[k];
 } & {
     [k in keyof B]: B[k];
-} : {
-    [k in Exclude<KA, KA & KB>]: A[k];
-} & {
-    [k in Exclude<KB, KA & KB>]: B[k];
-} & {
-    [k in KA & KB]: A[k] | B[k];
-} : never;
-/**
- * Left join `a` with `b`.
- *
- * This returns the proper type of `{ ...a, ...b }`
- *
- * @example
- * ```ts
- * leftJoin({ a: 1 }, {} as { a?: string | undefined }) // { a: number | string }
- * ```
- */
-export declare function leftJoin<A extends AnyRecord, B extends AnyRecord>(a: A, b: B): LeftJoin<A, B>;
+}>;
 //# sourceMappingURL=left_join.d.ts.map

package/esm/object/left_join.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"left_join.d.ts","sourceRoot":"","sources":["../../ts/object/left_join.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAE7C;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC3F,CAAC,GAAG,CAAC,GACL,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,MAAM,EAAE,SAAS,QAAQ,CAAC,GACjF,SAAS,CAAC,EAAE,CAAC,SAAS,IAAI,GACzB,SAAS,CAAC,EAAE,CAAC,SAAS,IAAI,GACzB;KAAG,CAAC,IAAI,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAClC,CAAC,IAAI,EAAE,GAAG,SAAS,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACzE,GACD;KAAG,CAAC,IAAI,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAAG,CAAC,IAAI,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAC/E,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC1B,GACF,SAAS,CAAC,EAAE,CAAC,SAAS,IAAI,GAC1B;KAAG,CAAC,IAAI,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAC3D;KAAG,CAAC,IAAI,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAAG,CAAC,IAAI,OAAO,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAC/E,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC1B,GACF,KAAK,CAAA;AAER;;;;;;;;;GASG;AACH,wBAAgB,QAAQ,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAE7F"}
+{"version":3,"file":"left_join.d.ts","sourceRoot":"","sources":["../../ts/object/left_join.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAC7D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAEjD,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACrF,KAAK,GACL,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC7B,CAAC,GACD;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAEtE,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAEzE,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACxF,CAAC,GACD,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAC7B,CAAC,GAAG,CAAC,GACL,UAAU,CAAC;KAAG,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CAAA"}

package/esm/object/left_join.js

@@ -1,14 +1,2 @@
-/**
- * Left join `a` with `b`.
- *
- * This returns the proper type of `{ ...a, ...b }`
- *
- * @example
- * ```ts
- * leftJoin({ a: 1 }, {} as { a?: string | undefined }) // { a: number | string }
- * ```
- */
-export function leftJoin(a, b) {
-    return { ...a, ...b };
-}
+export {};
 //# sourceMappingURL=left_join.js.map

package/esm/object/left_join.js.map

@@ -1 +1 @@
-{"version":3,"file":"left_join.js","sourceRoot":"","sources":["../../ts/object/left_join.ts"],"names":[],"mappings":"AA6BA;;;;;;;;;GASG;AACH,MAAM,UAAU,QAAQ,CAA2C,CAAI,EAAE,CAAI;IAC5E,OAAO,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAS,CAAA;AAC7B,CAAC"}
+{"version":3,"file":"left_join.js","sourceRoot":"","sources":["../../ts/object/left_join.ts"],"names":[],"mappings":""}

package/esm/object/optional_key.d.ts

@@ -0,0 +1,35 @@
+import type { AnyRecord } from './AnyRecord.js';
+import type { KeyTypes } from './KeyTypes.js';
+/**
+ * Validate if the key `K` in `T` is optional.
+ *
+ * 🎭 *validate*
+ *
+ * @example
+ * ```ts
+ * IsOptionalKey({ a: 1 }, 'a') // false
+ * IsOptionalKey({ a?: 1 }, 'a') // true
+ * ```
+ */
+export type IsOptionalKey<T, K, Then = true, Else = false> = K extends OptionalKeys<T> ? Then : Else;
+/**
+ * Gets the optional keys of `T`.
+ *
+ * 🦴 *utilities*
+ *
+ * @example
+ * ```ts
+ * OptionalKeys<{ a: 1 }> // never
+ * OptionalKeys<{ a?: 1, b: number }> // 'a'
+ * ```
+ */
+export type OptionalKeys<T> = T extends unknown ? {
+    [k in keyof T]-?: Record<KeyTypes, any> extends Pick<T, k> ? k : never;
+}[keyof T] : never;
+/**
+ * Parse `T` to keep only the optional properties.
+ */
+export type OptionalProps<T extends AnyRecord> = T extends unknown ? {
+    [k in OptionalKeys<T>]?: T[k];
+} : never;
+//# sourceMappingURL=optional_key.d.ts.map

package/esm/object/optional_key.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional_key.d.ts","sourceRoot":"","sources":["../../ts/object/optional_key.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAE7C;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,KAAK,IAAI,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AAEpG;;;;;;;;;;GAUG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAC5C;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,CAAC,CAAC,GACnF,KAAK,CAAA;AAER;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,IAAI,CAAC,SAAS,OAAO,GAC/D;KAAG,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CAAE,GACjC,KAAK,CAAA"}

package/esm/object/optional_key.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=optional_key.js.map

package/esm/object/optional_key.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optional_key.js","sourceRoot":"","sources":["../../ts/object/optional_key.ts"],"names":[],"mappings":""}

package/esm/testing/test_type.d.ts

@@ -209,22 +209,27 @@ interface TestType {
     /**
      * A quick way to inspect a type.
      *
-     * The handler is not being call.
+     * The handler receives a `InspectedType` object.
+     * It contains `value` which is typed to `T`,
+     * and many other properties to inspect the behavior of `T`.
      *
-     * It just make it easy to inspect a specific type.
+     * The handler is not being call,
+     * it is use to hold the type in value for inspection.
+     *
+     * 🧪 *testing*
+     * 🦴 *utilities*
      *
      * @example
      * ```ts
-     * testType.inspect<SomeType>(t => ...try out the `t` which is `SomeType` here...)
-     *
-     * // instead of
-     * const r: SomeType = {} as any
-     * ...try out the `r` which is `SomeType` here...
+     * testType.inspect<SomeType>(t => {
+     *   type T = typeof t.value // resolve and inspect the type `T`
+     *   t.extend_boolean // result of `T extends boolean`
+     * })
      * ```
      *
      * After trying out the type, remove the line.
      */
-    inspect<T>(handler: (t: T) => unknown): (t: T) => unknown;
+    inspect<T>(handler: (t: InspectedType<T>) => unknown): T;
 }
 /**
  * Test utilities for types.
@@ -234,5 +239,28 @@ interface TestType {
  * so that the type can be further inspected.
  */
 export declare const testType: TestType;
+export type InspectedType<T> = {
+    value: T;
+    extends_any: T extends any ? true : false;
+    extends_unknown: T extends unknown ? true : false;
+    extends_void: T extends void ? true : false;
+    extends_never: T extends never ? true : false;
+    extends_undefined: T extends undefined ? true : false;
+    extends_null: T extends null ? true : false;
+    extends_boolean: T extends boolean ? true : false;
+    extends_true: T extends true ? true : false;
+    extends_false: T extends false ? true : false;
+    extends_number: T extends number ? true : false;
+    extends_1: T extends 1 ? true : false;
+    extends_bigint: T extends bigint ? true : false;
+    extends_1n: T extends 1n ? true : false;
+    extends_string: T extends string ? true : false;
+    extends_a: T extends 'a' ? true : false;
+    extends_symbol: T extends symbol ? true : false;
+    extends_object: T extends object ? true : false;
+    extends_function: T extends Function ? true : false;
+    extends_array_unknown: T extends unknown[] ? true : false;
+    extends_tuple_empty: T extends [] ? true : false;
+};
 export {};
 //# sourceMappingURL=test_type.d.ts.map

package/esm/testing/test_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"test_type.d.ts","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAA;AAC3E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAElD,UAAU,QAAQ;IACjB;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAC1D;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACvC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAC7C;;;;;;;;;;;;;OAaG;IACH,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACzD;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC7B;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjD;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACrC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/B;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnD;;;;OAIG;IACH,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACvC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/B;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;;;OAMG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAEzC;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACrC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/B;;;;;;;;;;;;;;;;;OAiBG;IACH,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,CAAA;CACzD;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,UAInB,CAAA"}
+{"version":3,"file":"test_type.d.ts","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACxE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAA;AACrD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAA;AAC3E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAClD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAA;AACrE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAA;AAElD,UAAU,QAAQ;IACjB;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAC1D;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACvC;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IAC7C;;;;;;;;;;;;;OAaG;IACH,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAA;IACzD;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC7B;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,aAAa,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjD;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACrC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/B;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnD;;;;OAIG;IACH,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACvC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/B;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;;;OAMG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACnC;;;;OAIG;IACH,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACjC;;;;OAIG;IACH,SAAS,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAEzC;;;;OAIG;IACH,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IACrC;;;;OAIG;IACH,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/B;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,OAAO,GAAG,CAAC,CAAA;CACxD;AAED;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,UAInB,CAAA;AAEF,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI;IAC9B,KAAK,EAAE,CAAC,CAAA;IACR,WAAW,EAAE,CAAC,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAA;IACzC,eAAe,EAAE,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,CAAA;IACjD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;IAC3C,aAAa,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;IAC7C,iBAAiB,EAAE,CAAC,SAAS,SAAS,GAAG,IAAI,GAAG,KAAK,CAAA;IACrD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;IAC3C,eAAe,EAAE,CAAC,SAAS,OAAO,GAAG,IAAI,GAAG,KAAK,CAAA;IACjD,YAAY,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAA;IAC3C,aAAa,EAAE,CAAC,SAAS,KAAK,GAAG,IAAI,GAAG,KAAK,CAAA;IAC7C,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;IAC/C,SAAS,EAAE,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;IACrC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;IAC/C,UAAU,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;IACvC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;IAC/C,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAA;IACvC,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;IAC/C,cAAc,EAAE,CAAC,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAA;IAC/C,gBAAgB,EAAE,CAAC,SAAS,QAAQ,GAAG,IAAI,GAAG,KAAK,CAAA;IACnD,qBAAqB,EAAE,CAAC,SAAS,OAAO,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;IACzD,mBAAmB,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAA;CAChD,CAAA"}

package/esm/testing/test_type.js.map

@@ -1 +1 @@
-{"version":3,"file":"test_type.js","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AAuOA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,KAAK,CAAC,EAAc,EAAE;IACjD,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS;QAC5B,OAAO,CAAC,QAAiB,EAAE,EAAE,CAAC,QAAQ,CAAA;IACvC,CAAC;CACD,CAAC,CAAA"}
+{"version":3,"file":"test_type.js","sourceRoot":"","sources":["../../ts/testing/test_type.ts"],"names":[],"mappings":"AA4OA;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,KAAK,CAAC,EAAc,EAAE;IACjD,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS;QAC5B,OAAO,CAAC,QAAiB,EAAE,EAAE,CAAC,QAAQ,CAAA;IACvC,CAAC;CACD,CAAC,CAAA"}

package/package.json

@@ -1,14 +1,15 @@
 {
   "name": "type-plus",
-  "version": "7.2.1",
+  "version": "7.3.1",
   "description": "Provides additional types for TypeScript.",
-  "homepage": "https://github.com/unional/type-plus/tree/main/type-plus",
+  "homepage": "https://github.com/unional/type-plus/tree/main/type-plus#readme",
   "bugs": {
     "url": "https://github.com/unional/type-plus/issues"
   },
   "repository": {
     "type": "git",
-    "url": "https://github.com/unional/type-plus.git"
+    "url": "https://github.com/unional/type-plus.git",
+    "directory": "type-plus"
   },
   "license": "MIT",
   "author": {

package/ts/any/readme.md

@@ -1,6 +1,8 @@
 # Any
 
-`any` is one of the two top type in TypeScript. It is the supertype of all types. It is a way to opt-out of type checking and let the values pass through compile-time checks.
+`any` is one of the two top types in TypeScript.
+It is a supertype of all types.
+It is a way to opt-out of type checking and let the values pass through compile-time checks.
 
 ## Type Checking
 
@@ -15,9 +17,24 @@ except `any & never` which is `never`.
 - [`NotAnyType<T, Then = T, Else = never>`](any_type.ts#L45): check if `T` is not exactly `any`.
 - [`IsNotAny<T, Then = true, Else = false>`](any_type.ts#L60): is `T` not exactly `any`.
 
-## Type Utilities
+## Trivia
 
-- [`IsAnyOrNever<T, Then = true, Else = false>`](any_or_never.ts#L17)]: is `T` type `any` or `never`.
+> Both `any` and `unknown` are top types?
+
+Well, yeah:
+
+```ts
+type A = any extends unknown ? 1 : 2 // 1
+type B = unknown extends any ? 1 : 2 // 1
+```
+
+> Aren't using `any` is bad?
+
+If you use it to simply tell TypeScript to shut up because you are lazy, then yes.
+
+But it is ok to use `any` in many cases, as the type system of TypeScript is not sounded.
+
+There are many cases it is not possible to induce the type correctly.
 
 ## References
 

package/ts/array/array.some.ts

@@ -11,7 +11,7 @@ import type { UnionOfValues } from './union_of_values.js'
  *
  * You can also change it to `strict` mode.
  *
- * 🔧 *utilities*
+ * 🦴 *utilities*
  *
  * @example
  * ```ts

package/ts/merge.ts

@@ -0,0 +1,72 @@
+import type { NonComposableTypes } from './composable_types.js'
+import type { AnyRecord } from './object/AnyRecord.js'
+import type { IsDisjoint } from './object/IsDisjoint.js'
+import type { KeyTypes } from './object/KeyTypes.js'
+import type { OptionalKeys } from './object/OptionalKeys.js'
+import type { Properties } from './object/properties.js'
+import type { IsLiteral } from './predicates/literal.js'
+
+/**
+ * Left join type `A` with type `B`.
+ *
+ * It handles cases like A or B are `Record`,
+ * joining between required and optional props, etc.
+ */
+export type Merge<A, B> = [A, B] extends [NonComposableTypes, unknown] ? B
+	: [A, B] extends [unknown, NonComposableTypes] ? A
+	: A extends AnyRecord ? B extends AnyRecord
+	? IsDisjoint<A, B> extends true
+	? A & B
+	: ([keyof A, keyof B] extends [infer KA extends KeyTypes, infer KB extends KeyTypes]
+		? (IsLiteral<KA> extends true
+			? (IsLiteral<KB> extends true
+				? ([OptionalKeys<A>, OptionalKeys<B>] extends [infer PKA extends KeyTypes, infer PKB extends KeyTypes]
+					?
+					// property is optional when both A[k] and B[k] are optional
+					{
+						[k in PKA & PKB]?: A[k] | B[k] | undefined
+					} &
+					{
+						[k in Exclude<KA & KB, PKA | PKB>]: Merge.JoinProps<A[k], B[k]>
+					} &
+					// properties only in A excluding partials is A[k]
+					{ [k in Exclude<KA, PKA | KB>]: A[k] } &
+					// properties only in B excluding partials is B[k]
+					{ [k in Exclude<KB, PKB>]: B[k] } &
+					// properties is required in A but optional in B is unionized without undefined
+					{ [k in Exclude<KA & PKB, PKA>]: Exclude<A[k] | Partial<B[k]>, undefined> }
+					: never)
+				: Properties<
+					{ [k in Exclude<KA, KA & KB>]: A[k] } &
+					{ [k in Exclude<KB, KA & KB>]: B[k] } &
+					{ [k in KA & KB]: A[k] | B[k] }
+				>)
+			: (IsLiteral<KB> extends true
+				? { [k in Exclude<KA, KB>]: A[k] } & { [k in keyof B]: B[k] }
+				: { [k in Exclude<KA, KA & KB>]: A[k] } & { [k in Exclude<KB, KA & KB>]: B[k] } & {
+					[k in KA & KB]: A[k] | B[k]
+				}))
+		: never)
+	: never : never
+
+export namespace Merge {
+	export type JoinProps<A, B> = A extends NonComposableTypes
+		? B
+		: (B extends NonComposableTypes
+			? A
+			: A & B)
+}
+
+/**
+* Left join `a` with `b`.
+*
+* This returns the proper type of `{ ...a, ...b }`
+*
+* @example
+* ```ts
+* leftJoin({ a: 1 }, {} as { a?: string | undefined }) // { a: number | string }
+* ```
+*/
+export function merge<A, B>(a: A, b: B): Merge<A, B> {
+	return { ...a, ...b } as any
+}

package/ts/mix_types/any_or_never_type.ts

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

package/ts/mix_types/readme.md

@@ -0,0 +1,34 @@
+# Mix Types
+
+This folder contains types and utilities that work across multiple types.
+
+## [AnyOrNeverType](./any_or_never_type.ts)
+
+`AnyOrNeverType<T, Then = T, Else = never>` 🎭 🩳
+
+Parse `T` to ensure it is either exactly `any` or exactly `never`.
+
+```ts
+import type { AnyOrNeverType } from 'type-plus'
+
+type R = AnyOrNeverType<any> // any
+type R = AnyOrNeverType<never> // never
+type R = AnyOrNeverType<never, 1, 2> // 1
+
+type R = AnyOrNeverType<unknown, 1, 2> // 2
+```
+
+## [IsAnyOrNever](./any_or_never_type.ts)
+
+`IsAnyOrNever<T, Then = true, Else = false>` 🎭 🩳
+
+Validate if `T` is either exactly `any` or exactly `never`.
+
+```ts
+import type { IsAnyOrNever } from 'type-plus'
+
+type R = IsAnyOrNever<any> // true
+type R = IsAnyOrNever<never> // true
+
+type R = IsAnyOrNever<unknown> // false
+```

package/ts/object/AnyRecord.ts

@@ -1 +1,3 @@
-export type AnyRecord = Record<keyof any, any>
+import type { KeyTypes } from './KeyTypes.js'
+
+export type AnyRecord = Record<KeyTypes, any>

package/ts/object/index.ts

@@ -9,6 +9,7 @@ export type { KeysWithDiffType } from './KeysWithDiffType.js'
 export type { KnownKeys } from './KnownKeys.js'
 export type { OptionalKeys } from './OptionalKeys.js'
 export type { Partial, PartialExcept, PartialOmit, PartialPick } from './Partial.js'
+export type * from './optional_key.js'
 export type { RecursiveIntersect } from './RecursiveIntersect.js'
 export type { RecursiveRequired } from './RecursiveRequired.js'
 export type { RequiredExcept, RequiredPick } from './Required.js'
@@ -36,4 +37,3 @@ export * from './replaceProperty.js'
 export * from './someKey.js'
 export * from './split.js'
 export * from './typeOverrideIncompatible.js'
-

package/ts/object/left_join.ts

@@ -1,42 +1,19 @@
-import type { IsLiteral } from '../predicates/index.js'
+import type { IsEqual } from '../equal/equal.js'
 import type { AnyRecord } from './AnyRecord.js'
 import type { IsDisjoint } from './IsDisjoint.js'
-import type { KeyTypes } from './KeyTypes.js'
+import type { KeysWithDiffType } from './KeysWithDiffType.js'
+import type { Properties } from './properties.js'
 
-/**
- * Left join type `A` with type `B`.
- *
- * It handles cases like A or B are `Record`,
- * joining between required and optional props, etc.
- */
-export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsDisjoint<A, B> extends true
-	? A & B
-	: [keyof A, keyof B] extends [infer KA extends KeyTypes, infer KB extends KeyTypes]
-	? IsLiteral<KA> extends true
-		? IsLiteral<KB> extends true
-			? { [k in Exclude<KA, KB>]: A[k] } & {
-					[k in KB]: undefined extends B[k] ? Exclude<A[k] | B[k], undefined> : B[k]
-			  }
-			: { [k in Exclude<KA, KA & KB>]: A[k] } & { [k in Exclude<KB, KA & KB>]: B[k] } & {
-					[k in KA & KB]: A[k] | B[k]
-			  }
-		: IsLiteral<KB> extends true
-		? { [k in Exclude<KA, KB>]: A[k] } & { [k in keyof B]: B[k] }
-		: { [k in Exclude<KA, KA & KB>]: A[k] } & { [k in Exclude<KB, KA & KB>]: B[k] } & {
-				[k in KA & KB]: A[k] | B[k]
-		  }
-	: never
+export type ANotB<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true
+	? never
+	: IsDisjoint<A, B> extends true
+	? A
+	: { [k in Exclude<keyof A, keyof B> | KeysWithDiffType<A, B>]: A[k] }
+
+export type BNotA<A extends AnyRecord, B extends AnyRecord> = ANotB<B, A>
 
-/**
- * Left join `a` with `b`.
- *
- * This returns the proper type of `{ ...a, ...b }`
- *
- * @example
- * ```ts
- * leftJoin({ a: 1 }, {} as { a?: string | undefined }) // { a: number | string }
- * ```
- */
-export function leftJoin<A extends AnyRecord, B extends AnyRecord>(a: A, b: B): LeftJoin<A, B> {
-	return { ...a, ...b } as any
-}
+export type LeftJoin<A extends AnyRecord, B extends AnyRecord> = IsEqual<A, B> extends true
+	? A
+	: IsDisjoint<A, B> extends true
+	? A & B
+	: Properties<{ [k in Exclude<keyof A, keyof B>]: A[k] } & { [k in keyof B]: B[k] }>

package/ts/object/optional_key.ts

@@ -0,0 +1,38 @@
+
+import type { AnyRecord } from './AnyRecord.js'
+import type { KeyTypes } from './KeyTypes.js'
+
+/**
+ * Validate if the key `K` in `T` is optional.
+ *
+ * 🎭 *validate*
+ *
+ * @example
+ * ```ts
+ * IsOptionalKey({ a: 1 }, 'a') // false
+ * IsOptionalKey({ a?: 1 }, 'a') // true
+ * ```
+ */
+export type IsOptionalKey<T, K, Then = true, Else = false> = K extends OptionalKeys<T> ? Then : Else
+
+/**
+ * Gets the optional keys of `T`.
+ *
+ * 🦴 *utilities*
+ *
+ * @example
+ * ```ts
+ * OptionalKeys<{ a: 1 }> // never
+ * OptionalKeys<{ a?: 1, b: number }> // 'a'
+ * ```
+ */
+export type OptionalKeys<T> = T extends unknown
+	? { [k in keyof T]-?: Record<KeyTypes, any> extends Pick<T, k> ? k : never }[keyof T]
+	: never
+
+/**
+ * Parse `T` to keep only the optional properties.
+ */
+export type OptionalProps<T extends AnyRecord> = T extends unknown
+	? { [k in OptionalKeys<T>]?: T[k] }
+	: never

package/ts/object/readme.md

@@ -21,6 +21,43 @@ type R = ObjectType<1> // never
 - [`NotObjectType<T, Then = T, Else = never>`](object_type.ts#L48): check if `T` is not `object`.
 - [`IsNotObject<T, Then = true, Else = false>`](object_type.ts#L65): is `T` not `object`.
 
+## IsOptionalKey
+
+> `IsOptionalKey<T, K, Then = true, Else = false>`
+
+Validate if the key `K` in `T` is optional.
+
+```ts
+import type { IsOptionalKey } from 'type-plus'
+
+type R = IsOptionalKey<{ a?: number }, 'a'> // true
+type R = IsOptionalKey<{ a: number }, 'a'> // false
+```
+
+## OptionalKeys
+
+> `OptionalKeys<T>`
+
+Gets the optional keys of `T`.
+
+```ts
+import type { OptionalKeys } from 'type-plus'
+
+type R = OptionalKeys<{ a?: number; b: string }> // 'a'
+```
+
+## OptionalProps
+
+> `OptionalProps<T>`
+
+Gets the optional properties of `T`.
+
+```ts
+import type { OptionalProps } from 'type-plus'
+
+type R = OptionalProps<{ a?: number; b: string }> // { a?: number }
+```
+
 ## References
 
 - [Handbook]