ts-data-forge 6.6.0 → 6.7.0

package/dist/object/object.d.mts

@@ -49,7 +49,7 @@ export declare namespace Obj {
      * @returns `true` if the records are shallowly equal according to the
      *   equality function, `false` otherwise
      */
-    export const shallowEq: (a: UnknownRecord, b: UnknownRecord, eq?: (x: unknown, y: unknown) => boolean) => boolean;
+    const shallowEq: (a: UnknownRecord, b: UnknownRecord, eq?: (x: unknown, y: unknown) => boolean) => boolean;
     /**
      * Creates a new record that contains only the specified keys from the source
      * record. This function supports both direct usage and curried form for
@@ -93,8 +93,8 @@ export declare namespace Obj {
      * @param keys - A readonly array of keys to include in the result
      * @returns A new record containing only the specified keys and their values
      */
-    export function pick<const R extends UnknownRecord, const Keys extends readonly (keyof R)[]>(record: R, keys: Keys): Pick<R, ArrayElement<Keys>>;
-    export function pick<const Keys extends readonly PropertyKey[]>(keys: Keys): <const R extends UnknownRecord>(record: R) => RelaxedPick<R, ArrayElement<Keys>>;
+    function pick<const R extends UnknownRecord, const Keys extends readonly (keyof R)[]>(record: R, keys: Keys): Pick<R, ArrayElement<Keys>>;
+    function pick<const Keys extends readonly PropertyKey[]>(keys: Keys): <const R extends UnknownRecord>(record: R) => RelaxedPick<R, ArrayElement<Keys>>;
     /**
      * Creates a new record that excludes the specified keys from the source
      * record. This function supports both direct usage and curried form for
@@ -140,8 +140,8 @@ export declare namespace Obj {
      * @param keys - A readonly array of keys to exclude from the result
      * @returns A new record containing all properties except the specified keys
      */
-    export function omit<const R extends UnknownRecord, const Keys extends readonly (keyof R)[]>(record: R, keys: Keys): Omit<R, ArrayElement<Keys>>;
-    export function omit<const Keys extends readonly PropertyKey[]>(keys: Keys): <const R extends UnknownRecord>(record: R) => Omit<R, ArrayElement<Keys>>;
+    function omit<const R extends UnknownRecord, const Keys extends readonly (keyof R)[]>(record: R, keys: Keys): Omit<R, ArrayElement<Keys>>;
+    function omit<const Keys extends readonly PropertyKey[]>(keys: Keys): <const R extends UnknownRecord>(record: R) => Omit<R, ArrayElement<Keys>>;
     /**
      * Creates an object from an array of key-value pairs with precise TypeScript
      * typing. This is a type-safe wrapper around `Object.fromEntries` that
@@ -187,40 +187,7 @@ export declare namespace Obj {
      * @param entries - An array of readonly key-value entry tuples `[key, value]`
      * @returns An object created from the entries with precise typing
      */
-    export const fromEntries: <const Entries extends readonly (readonly [PropertyKey, unknown])[]>(entries: Entries) => IsFixedLengthList<Entries> extends true ? TsDataForgeInternals.EntriesToObject<Entries> : TsDataForgeInternals.PartialIfKeyIsUnion<TsDataForgeInternals.KeysOfEntries<Entries>, ReadonlyRecord<TsDataForgeInternals.KeysOfEntries<Entries>, TsDataForgeInternals.ValuesOfEntries<Entries>>>;
-    /**
-     * @internal
-     * Internal type utilities for the Obj module.
-     */
-    namespace TsDataForgeInternals {
-        type RecursionLimit = 20;
-        /** - `[['x', 1], ['y', 3]]` -> `{ x: 1, y: 3 }` */
-        type EntriesToObject<Entries extends readonly (readonly [PropertyKey, unknown])[]> = Readonly<EntriesToObjectImpl<{}, Entries>>;
-        /** @internal */
-        type EntriesToObjectImpl<R, Entries extends readonly (readonly [PropertyKey, unknown])[]> = TypeEq<Entries['length'], 0> extends true ? R : EntriesToObjectImpl<R & Readonly<Record<Entries[0][0], Entries[0][1]>>, List.Tail<Entries>>;
-        /**
-         * - `['x' | 'y' | 'z', number][]]` -> `'x' | 'y' | 'z'`
-         * - `[['a' | 'b' | 'c', number], ...['x' | 'y' | 'z', number][]]` -> `'a' |
-         *   'b' | 'c' | 'x' | 'y' | 'z'`
-         *
-         * @note To handle the second example above, recursion needs to be performed on infinite-length Entries,
-         * but since the timing to stop cannot be determined, a recursion limit is set.
-         */
-        type KeysOfEntries<Entries extends readonly (readonly [PropertyKey, unknown])[]> = KeysOfEntriesImpl<never, Entries, RecursionLimit>;
-        type KeysOfEntriesImpl<K, Entries extends readonly (readonly [PropertyKey, unknown])[], RemainingNumRecursions extends number> = TypeEq<RemainingNumRecursions, 0> extends true ? K : TypeEq<Entries['length'], 0> extends true ? K : KeysOfEntriesImpl<K | Entries[0][0], List.Tail<Entries>, Decrement<RemainingNumRecursions>>;
-        type ValuesOfEntries<Entries extends readonly (readonly [PropertyKey, unknown])[]> = ValuesOfEntriesImpl<never, Entries, RecursionLimit>;
-        type ValuesOfEntriesImpl<K, Entries extends readonly (readonly [PropertyKey, unknown])[], RemainingNumRecursions extends number> = TypeEq<RemainingNumRecursions, 0> extends true ? K : TypeEq<Entries['length'], 0> extends true ? K : ValuesOfEntriesImpl<K | Entries[0][1], List.Tail<Entries>, Decrement<RemainingNumRecursions>>;
-        type PartialIfKeyIsUnion<K, T> = IsUnion<K> extends true ? Partial<T> : T;
-        /** Merges two object types where keys in B override keys in A. */
-        type MergeTwo<A extends UnknownRecord, B extends UnknownRecord> = Readonly<{
-            [K in keyof A | keyof B]: K extends keyof B ? B[K] : K extends keyof A ? A[K] : never;
-        }>;
-        /** Sequentially merges a tuple of object types from left to right. */
-        type MergeAll<Records extends readonly UnknownRecord[], Acc extends UnknownRecord = {}> = Records extends readonly [
-            infer First extends UnknownRecord,
-            ...infer Rest extends readonly UnknownRecord[]
-        ] ? MergeAll<Rest, MergeTwo<Acc, First>> : Acc;
-    }
+    const fromEntries: <const Entries extends readonly (readonly [PropertyKey, unknown])[]>(entries: Entries) => IsFixedLengthList<Entries> extends true ? TsDataForgeInternals.EntriesToObject<Entries> : TsDataForgeInternals.PartialIfKeyIsUnion<TsDataForgeInternals.KeysOfEntries<Entries>, ReadonlyRecord<TsDataForgeInternals.KeysOfEntries<Entries>, TsDataForgeInternals.ValuesOfEntries<Entries>>>;
     /**
      * Merges multiple records into a single record using `Object.assign`.
      * Later records override properties from earlier records with the same key.
@@ -239,7 +206,87 @@ export declare namespace Obj {
      * @param records - The records to merge
      * @returns A new record with all properties merged
      */
-    export const merge: <const Records extends readonly UnknownRecord[]>(...records: Records) => TsDataForgeInternals.MergeAll<Records>;
-    export {};
+    const merge: <const Records extends readonly UnknownRecord[]>(...records: Records) => TsDataForgeInternals.MergeAll<Records>;
+}
+/**
+ * @internal
+ * Internal type utilities for the Obj module.
+ */
+declare namespace TsDataForgeInternals {
+    type RecursionLimit = 20;
+    /** - `[['x', 1], ['y', 3]]` -> `{ x: 1, y: 3 }` */
+    type EntriesToObject<Entries extends readonly (readonly [PropertyKey, unknown])[]> = Readonly<EntriesToObjectImpl<{}, Entries>>;
+    /** @internal */
+    type EntriesToObjectImpl<R, Entries extends readonly (readonly [PropertyKey, unknown])[]> = TypeEq<Entries['length'], 0> extends true ? R : EntriesToObjectImpl<R & Readonly<Record<Entries[0][0], Entries[0][1]>>, List.Tail<Entries>>;
+    /**
+     * - `['x' | 'y' | 'z', number][]]` -> `'x' | 'y' | 'z'`
+     * - `[['a' | 'b' | 'c', number], ...['x' | 'y' | 'z', number][]]` -> `'a' |
+     *   'b' | 'c' | 'x' | 'y' | 'z'`
+     *
+     * @note To handle the second example above, recursion needs to be performed on infinite-length Entries,
+     * but since the timing to stop cannot be determined, a recursion limit is set.
+     */
+    type KeysOfEntries<Entries extends readonly (readonly [PropertyKey, unknown])[]> = KeysOfEntriesImpl<never, Entries, RecursionLimit>;
+    type KeysOfEntriesImpl<K, Entries extends readonly (readonly [PropertyKey, unknown])[], RemainingNumRecursions extends number> = TypeEq<RemainingNumRecursions, 0> extends true ? K : TypeEq<Entries['length'], 0> extends true ? K : KeysOfEntriesImpl<K | Entries[0][0], List.Tail<Entries>, Decrement<RemainingNumRecursions>>;
+    type ValuesOfEntries<Entries extends readonly (readonly [PropertyKey, unknown])[]> = ValuesOfEntriesImpl<never, Entries, RecursionLimit>;
+    type ValuesOfEntriesImpl<K, Entries extends readonly (readonly [PropertyKey, unknown])[], RemainingNumRecursions extends number> = TypeEq<RemainingNumRecursions, 0> extends true ? K : TypeEq<Entries['length'], 0> extends true ? K : ValuesOfEntriesImpl<K | Entries[0][1], List.Tail<Entries>, Decrement<RemainingNumRecursions>>;
+    type PartialIfKeyIsUnion<K, T> = IsUnion<K> extends true ? Partial<T> : T;
+    /**
+     * Merges two object types where keys in B override keys in A, preserving optional modifiers.
+     *
+     * This implementation uses a sophisticated technique to preserve optional property modifiers (`?`)
+     * during the merge operation, which would otherwise be lost in a naive mapped type implementation.
+     *
+     * ## Core Technique: Optional Property Detection
+     *
+     * Uses `{} extends Pick<T, K>` to determine if a property is optional:
+     * - **Required property**: `Pick<T, 'x'>` = `{ x: number }` → `{}` does NOT extend it (false)
+     * - **Optional property**: `Pick<T, 'y'>` = `{ y?: string }` → `{}` DOES extend it (true)
+     *
+     * This works because `{}` (empty object) is assignable to objects with only optional properties
+     * but not to objects with required properties.
+     *
+     * ## Implementation Strategy
+     *
+     * The type is constructed as an intersection of five mapped types:
+     *
+     * 1. **Required properties from B** - Properties in B that are required (override A completely)
+     * 2. **Optional properties from B (not in A)** - New optional properties from B
+     * 3. **Optional properties from B (in A)** - Union of A[K] | B[K] to preserve both possibilities
+     * 4. **Required properties only in A** - Properties in A but not in B that are required
+     * 5. **Optional properties only in A** - Properties in A but not in B that are optional (with `?` modifier)
+     *
+     * Finally, the intersection is flattened using an optional-preserving identity mapping that
+     * re-applies the optional detection logic to maintain the `?` modifiers in the final type.
+     *
+     * @example
+     * ```ts
+     * type A = { x: number; y?: string };
+     * type B = { y?: number; z?: boolean };
+     * type Result = MergeTwo<A, B>;
+     * // Result: { x: number; y?: string | number; z?: boolean }
+     * ```
+     */
+    type MergeTwo<A extends UnknownRecord, B extends UnknownRecord> = {
+        readonly [K in keyof B as {} extends Pick<B, K> ? never : K]: B[K];
+    } & {
+        readonly [K in keyof B as {} extends Pick<B, K> ? K extends keyof A ? never : K : never]?: B[K];
+    } & {
+        readonly [K in keyof B as {} extends Pick<B, K> ? K extends keyof A ? K : never : never]?: K extends keyof A ? A[K] | B[K] : never;
+    } & {
+        readonly [K in Exclude<keyof A, keyof B> as {} extends Pick<A, K> ? never : K]: A[K];
+    } & {
+        readonly [K in Exclude<keyof A, keyof B> as {} extends Pick<A, K> ? K : never]?: A[K];
+    } extends infer O ? Readonly<{
+        [K in keyof O as {} extends Pick<O, K> ? never : K]: O[K];
+    } & {
+        [K in keyof O as {} extends Pick<O, K> ? K : never]?: O[K];
+    }> : never;
+    /** Sequentially merges a tuple of object types from left to right. */
+    type MergeAll<Records extends readonly UnknownRecord[], Acc extends UnknownRecord = {}> = IsFixedLengthList<Records> extends false ? ArrayElement<Records> : Records extends readonly [
+        infer First extends UnknownRecord,
+        ...infer Rest extends readonly UnknownRecord[]
+    ] ? MergeAll<Rest, MergeTwo<Acc, First>> : Acc;
 }
+export {};
 //# sourceMappingURL=object.d.mts.map

package/dist/object/object.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"object.d.mts","sourceRoot":"","sources":["../../src/object/object.mts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,yBAAiB,GAAG,CAAC;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAyCG;IACH,MAAM,CAAC,MAAM,SAAS,GACpB,GAAG,aAAa,EAChB,GAAG,aAAa,EAChB,KAAI,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,KAAK,OAAmB,KAClD,OASF,CAAC;IAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA0CG;IACH,MAAM,UAAU,IAAI,CAClB,KAAK,CAAC,CAAC,SAAS,aAAa,EAC7B,KAAK,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EACvC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAGtD,MAAM,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,SAAS,WAAW,EAAE,EAC5D,IAAI,EAAE,IAAI,GACT,CAAC,KAAK,CAAC,CAAC,SAAS,aAAa,EAC/B,MAAM,EAAE,CAAC,KACN,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAgCxC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4CG;IACH,MAAM,UAAU,IAAI,CAClB,KAAK,CAAC,CAAC,SAAS,aAAa,EAC7B,KAAK,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EACvC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAGtD,MAAM,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,SAAS,WAAW,EAAE,EAC5D,IAAI,EAAE,IAAI,GACT,CAAC,KAAK,CAAC,CAAC,SAAS,aAAa,EAAE,MAAM,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IA0C7E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4CG;IACH,MAAM,CAAC,MAAM,WAAW,GACtB,KAAK,CAAC,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,EAElE,SAAS,OAAO,KACf,iBAAiB,CAAC,OAAO,CAAC,SAAS,IAAI,GACtC,oBAAoB,CAAC,eAAe,CAAC,OAAO,CAAC,GAC7C,oBAAoB,CAAC,mBAAmB,CACtC,oBAAoB,CAAC,aAAa,CAAC,OAAO,CAAC,EAC3C,cAAc,CACZ,oBAAoB,CAAC,aAAa,CAAC,OAAO,CAAC,EAC3C,oBAAoB,CAAC,eAAe,CAAC,OAAO,CAAC,CAC9C,CAG+B,CAAC;IAEvC;;;OAGG;IACH,UAAkB,oBAAoB,CAAC;QACrC,KAAK,cAAc,GAAG,EAAE,CAAC;QAEzB,mDAAmD;QACnD,KAAY,eAAe,CACzB,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,IAE1D,QAAQ,CAAC,mBAAmB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;QAE/C,gBAAgB;QAChB,KAAK,mBAAmB,CACtB,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,IAE5D,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACrC,CAAC,GACD,mBAAmB,CACjB,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAClD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CACnB,CAAC;QAER;;;;;;;WAOG;QACH,KAAY,aAAa,CACvB,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,IAC1D,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;QAEtD,KAAK,iBAAiB,CACpB,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,EAC5D,sBAAsB,SAAS,MAAM,IAErC,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAC,SAAS,IAAI,GAC1C,CAAC,GACD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACvC,CAAC,GACD,iBAAiB,CACf,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACjB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAClB,SAAS,CAAC,sBAAsB,CAAC,CAClC,CAAC;QAEV,KAAY,eAAe,CACzB,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,IAC1D,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;QAExD,KAAK,mBAAmB,CACtB,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,EAC5D,sBAAsB,SAAS,MAAM,IAErC,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAC,SAAS,IAAI,GAC1C,CAAC,GACD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACvC,CAAC,GACD,mBAAmB,CACjB,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACjB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAClB,SAAS,CAAC,sBAAsB,CAAC,CAClC,CAAC;QAEV,KAAY,mBAAmB,CAAC,CAAC,EAAE,CAAC,IAClC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAE3C,kEAAkE;QAClE,KAAK,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,aAAa,IAAI,QAAQ,CAAC;aACxE,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GACvC,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,SAAS,MAAM,CAAC,GACf,CAAC,CAAC,CAAC,CAAC,GACJ,KAAK;SACZ,CAAC,CAAC;QAEH,sEAAsE;QACtE,KAAY,QAAQ,CAClB,OAAO,SAAS,SAAS,aAAa,EAAE,EAExC,GAAG,SAAS,aAAa,GAAG,EAAE,IAC5B,OAAO,SAAS,SAAS;YAC3B,MAAM,KAAK,SAAS,aAAa;YACjC,GAAG,MAAM,IAAI,SAAS,SAAS,aAAa,EAAE;SAC/C,GACG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,GACpC,GAAG,CAAC;KACT;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,MAAM,CAAC,MAAM,KAAK,GAAI,KAAK,CAAC,OAAO,SAAS,SAAS,aAAa,EAAE,EAClE,GAAG,SAAS,OAAO,KAClB,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAEgC,CAAC;;CAC1E"}
+{"version":3,"file":"object.d.mts","sourceRoot":"","sources":["../../src/object/object.mts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,yBAAiB,GAAG,CAAC;IACnB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAyCG;IACI,MAAM,SAAS,GACpB,GAAG,aAAa,EAChB,GAAG,aAAa,EAChB,KAAI,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,KAAK,OAAmB,KAClD,OASF,CAAC;IAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA0CG;IACH,SAAgB,IAAI,CAClB,KAAK,CAAC,CAAC,SAAS,aAAa,EAC7B,KAAK,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EACvC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAGtD,SAAgB,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,SAAS,WAAW,EAAE,EAC5D,IAAI,EAAE,IAAI,GACT,CAAC,KAAK,CAAC,CAAC,SAAS,aAAa,EAC/B,MAAM,EAAE,CAAC,KACN,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAgCxC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4CG;IACH,SAAgB,IAAI,CAClB,KAAK,CAAC,CAAC,SAAS,aAAa,EAC7B,KAAK,CAAC,IAAI,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,EACvC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAGtD,SAAgB,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,SAAS,WAAW,EAAE,EAC5D,IAAI,EAAE,IAAI,GACT,CAAC,KAAK,CAAC,CAAC,SAAS,aAAa,EAAE,MAAM,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IA0C7E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4CG;IACI,MAAM,WAAW,GACtB,KAAK,CAAC,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,EAElE,SAAS,OAAO,KACf,iBAAiB,CAAC,OAAO,CAAC,SAAS,IAAI,GACtC,oBAAoB,CAAC,eAAe,CAAC,OAAO,CAAC,GAC7C,oBAAoB,CAAC,mBAAmB,CACtC,oBAAoB,CAAC,aAAa,CAAC,OAAO,CAAC,EAC3C,cAAc,CACZ,oBAAoB,CAAC,aAAa,CAAC,OAAO,CAAC,EAC3C,oBAAoB,CAAC,eAAe,CAAC,OAAO,CAAC,CAC9C,CAG+B,CAAC;IAEvC;;;;;;;;;;;;;;;;;OAiBG;IACI,MAAM,KAAK,GAAI,KAAK,CAAC,OAAO,SAAS,SAAS,aAAa,EAAE,EAClE,GAAG,SAAS,OAAO,KAClB,oBAAoB,CAAC,QAAQ,CAAC,OAAO,CAEgC,CAAC;CAC1E;AAED;;;GAGG;AACH,OAAO,WAAW,oBAAoB,CAAC;IACrC,KAAK,cAAc,GAAG,EAAE,CAAC;IAEzB,mDAAmD;IACnD,KAAY,eAAe,CACzB,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,IAE1D,QAAQ,CAAC,mBAAmB,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC;IAE/C,gBAAgB;IAChB,KAAK,mBAAmB,CACtB,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,IAE5D,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACrC,CAAC,GACD,mBAAmB,CACjB,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAClD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CACnB,CAAC;IAER;;;;;;;OAOG;IACH,KAAY,aAAa,CACvB,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,IAC1D,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IAEtD,KAAK,iBAAiB,CACpB,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,EAC5D,sBAAsB,SAAS,MAAM,IAErC,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAC,SAAS,IAAI,GAC1C,CAAC,GACD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACvC,CAAC,GACD,iBAAiB,CACf,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACjB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAClB,SAAS,CAAC,sBAAsB,CAAC,CAClC,CAAC;IAEV,KAAY,eAAe,CACzB,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,IAC1D,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IAExD,KAAK,mBAAmB,CACtB,CAAC,EACD,OAAO,SAAS,SAAS,CAAC,SAAS,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,EAAE,EAC5D,sBAAsB,SAAS,MAAM,IAErC,MAAM,CAAC,sBAAsB,EAAE,CAAC,CAAC,SAAS,IAAI,GAC1C,CAAC,GACD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACvC,CAAC,GACD,mBAAmB,CACjB,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACjB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAClB,SAAS,CAAC,sBAAsB,CAAC,CAClC,CAAC;IAEV,KAAY,mBAAmB,CAAC,CAAC,EAAE,CAAC,IAClC,OAAO,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAE3C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAmCG;IAEH,KAAK,QAAQ,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,aAAa,IAAI;QAGhE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KACnE,GAAG;QAGF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAC3C,CAAC,SAAS,MAAM,CAAC,GACf,KAAK,GACL,CAAC,GACH,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAClB,GAAG;QAGF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAC3C,CAAC,SAAS,MAAM,CAAC,GACf,CAAC,GACD,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;KACrD,GAAG;QAGF,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAC7D,KAAK,GACL,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KACb,GAAG;QAGF,QAAQ,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAC7D,CAAC,GACD,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAClB,SAAS,MAAM,CAAC,GACb,QAAQ,CACN;SAEG,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;KAC1D,GAAG;SAED,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;KAC3D,CACF,GACD,KAAK,CAAC;IAEV,sEAAsE;IACtE,KAAY,QAAQ,CAClB,OAAO,SAAS,SAAS,aAAa,EAAE,EAExC,GAAG,SAAS,aAAa,GAAG,EAAE,IAE9B,iBAAiB,CAAC,OAAO,CAAC,SAAS,KAAK,GACpC,YAAY,CAAC,OAAO,CAAC,GACrB,OAAO,SAAS,SAAS;QACrB,MAAM,KAAK,SAAS,aAAa;QACjC,GAAG,MAAM,IAAI,SAAS,SAAS,aAAa,EAAE;KAC/C,GACD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,GACpC,GAAG,CAAC;CACb"}

package/dist/object/object.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"object.mjs","sources":["../../src/object/object.mts"],"sourcesContent":[null],"names":[],"mappings":"AAAA;;;;;;;AAOG;AACG,IAAW;AAAjB,CAAA,UAAiB,GAAG,EAAA;AAClB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCG;IACU,GAAA,CAAA,SAAS,GAAG,CACvB,CAAgB,EAChB,CAAgB,EAChB,EAAA,GAA0C,MAAM,CAAC,EAAE,KACxC;QACX,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAElC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;;AAGlC,QAAA,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;AAAE,YAAA,OAAO,KAAK;QAErD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChD,IAAA,CAAC;IAyDD,SAAgB,IAAI,CAIlB,GAAG,IAA8D,EAAA;AAIjE,QAAA,QAAQ,IAAI,CAAC,MAAM;YACjB,KAAK,CAAC,EAAE;AACN,gBAAA,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI;AAE3B,gBAAA,MAAM,OAAO,GAAG,IAAI,GAAG,CAAU,IAAI,CAAC;gBAEtC;;AAEE,gBAAA,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAClD;YAEd;YAEA,KAAK,CAAC,EAAE;AACN,gBAAA,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI;gBAEnB,OAAO,CAAC,MAAS,KAAK,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YAC1C;;IAEJ;AA5BgB,IAAA,GAAA,CAAA,IAAI,OA4BnB;IAyDD,SAAgB,IAAI,CAIlB,GAAG,IAEwC,EAAA;AAI3C,QAAA,QAAQ,IAAI,CAAC,MAAM;YACjB,KAAK,CAAC,EAAE;AACN,gBAAA,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI;AAE3B,gBAAA,MAAM,OAAO,GAAG,IAAI,GAAG,CAAU,IAAI,CAAC;gBAEtC;;AAEE,gBAAA,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACnD;YAEd;YAEA,KAAK,CAAC,EAAE;AACN,gBAAA,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI;gBAEnB,OAAO,CAA2B,MAAU,KAAI;;oBAE9C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,IAA6B,CAGxD;AAED,oBAAA,OAAO,MAAM;AACf,gBAAA,CAAC;YACH;;IAEJ;AAtCgB,IAAA,GAAA,CAAA,IAAI,OAsCnB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CG;AACU,IAAA,GAAA,CAAA,WAAW,GAAG,CAGzB,OAAgB;;AAWhB,IAAA,MAAM,CAAC,WAAW,CAAC,OAAO,CAAU;AAkGtC;;;;;;;;;;;;;;;;;AAiBG;AACU,IAAA,GAAA,CAAA,KAAK,GAAG,CACnB,GAAG,OAAgB;;IAGnB,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAU;AAC1E,CAAC,EAlagB,GAAG,KAAH,GAAG,GAAA,EAAA,CAAA,CAAA;;;;"}
+{"version":3,"file":"object.mjs","sources":["../../src/object/object.mts"],"sourcesContent":[null],"names":[],"mappings":"AAAA;;;;;;;AAOG;AACG,IAAW;AAAjB,CAAA,UAAiB,GAAG,EAAA;AAClB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyCG;IACU,GAAA,CAAA,SAAS,GAAG,CACvB,CAAgB,EAChB,CAAgB,EAChB,EAAA,GAA0C,MAAM,CAAC,EAAE,KACxC;QACX,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAElC,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;;AAGlC,QAAA,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;AAAE,YAAA,OAAO,KAAK;QAErD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChD,IAAA,CAAC;IAyDD,SAAgB,IAAI,CAIlB,GAAG,IAA8D,EAAA;AAIjE,QAAA,QAAQ,IAAI,CAAC,MAAM;YACjB,KAAK,CAAC,EAAE;AACN,gBAAA,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI;AAE3B,gBAAA,MAAM,OAAO,GAAG,IAAI,GAAG,CAAU,IAAI,CAAC;gBAEtC;;AAEE,gBAAA,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAClD;YAEd;YAEA,KAAK,CAAC,EAAE;AACN,gBAAA,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI;gBAEnB,OAAO,CAAC,MAAS,KAAK,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YAC1C;;IAEJ;AA5BgB,IAAA,GAAA,CAAA,IAAI,OA4BnB;IAyDD,SAAgB,IAAI,CAIlB,GAAG,IAEwC,EAAA;AAI3C,QAAA,QAAQ,IAAI,CAAC,MAAM;YACjB,KAAK,CAAC,EAAE;AACN,gBAAA,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI;AAE3B,gBAAA,MAAM,OAAO,GAAG,IAAI,GAAG,CAAU,IAAI,CAAC;gBAEtC;;AAEE,gBAAA,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACnD;YAEd;YAEA,KAAK,CAAC,EAAE;AACN,gBAAA,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI;gBAEnB,OAAO,CAA2B,MAAU,KAAI;;oBAE9C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,IAA6B,CAGxD;AAED,oBAAA,OAAO,MAAM;AACf,gBAAA,CAAC;YACH;;IAEJ;AAtCgB,IAAA,GAAA,CAAA,IAAI,OAsCnB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA4CG;AACU,IAAA,GAAA,CAAA,WAAW,GAAG,CAGzB,OAAgB;;AAWhB,IAAA,MAAM,CAAC,WAAW,CAAC,OAAO,CAAU;AAEtC;;;;;;;;;;;;;;;;;AAiBG;AACU,IAAA,GAAA,CAAA,KAAK,GAAG,CACnB,GAAG,OAAgB;;IAGnB,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAU;AAC1E,CAAC,EAlUgB,GAAG,KAAH,GAAG,GAAA,EAAA,CAAA,CAAA;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-data-forge",
-  "version": "6.6.0",
+  "version": "6.7.0",
   "private": false,
   "keywords": [
     "typescript",

package/src/object/object.mts

@@ -305,102 +305,6 @@ export namespace Obj {
     // eslint-disable-next-line total-functions/no-unsafe-type-assertion
     Object.fromEntries(entries) as never;
 
-  /**
-   * @internal
-   * Internal type utilities for the Obj module.
-   */
-  declare namespace TsDataForgeInternals {
-    type RecursionLimit = 20;
-
-    /** - `[['x', 1], ['y', 3]]` -> `{ x: 1, y: 3 }` */
-    export type EntriesToObject<
-      Entries extends readonly (readonly [PropertyKey, unknown])[],
-      // eslint-disable-next-line @typescript-eslint/no-empty-object-type
-    > = Readonly<EntriesToObjectImpl<{}, Entries>>;
-
-    /** @internal */
-    type EntriesToObjectImpl<
-      R,
-      Entries extends readonly (readonly [PropertyKey, unknown])[],
-    > =
-      TypeEq<Entries['length'], 0> extends true
-        ? R
-        : EntriesToObjectImpl<
-            R & Readonly<Record<Entries[0][0], Entries[0][1]>>,
-            List.Tail<Entries>
-          >;
-
-    /**
-     * - `['x' | 'y' | 'z', number][]]` -> `'x' | 'y' | 'z'`
-     * - `[['a' | 'b' | 'c', number], ...['x' | 'y' | 'z', number][]]` -> `'a' |
-     *   'b' | 'c' | 'x' | 'y' | 'z'`
-     *
-     * @note To handle the second example above, recursion needs to be performed on infinite-length Entries,
-     * but since the timing to stop cannot be determined, a recursion limit is set.
-     */
-    export type KeysOfEntries<
-      Entries extends readonly (readonly [PropertyKey, unknown])[],
-    > = KeysOfEntriesImpl<never, Entries, RecursionLimit>;
-
-    type KeysOfEntriesImpl<
-      K,
-      Entries extends readonly (readonly [PropertyKey, unknown])[],
-      RemainingNumRecursions extends number,
-    > =
-      TypeEq<RemainingNumRecursions, 0> extends true
-        ? K
-        : TypeEq<Entries['length'], 0> extends true
-          ? K
-          : KeysOfEntriesImpl<
-              K | Entries[0][0],
-              List.Tail<Entries>,
-              Decrement<RemainingNumRecursions>
-            >;
-
-    export type ValuesOfEntries<
-      Entries extends readonly (readonly [PropertyKey, unknown])[],
-    > = ValuesOfEntriesImpl<never, Entries, RecursionLimit>;
-
-    type ValuesOfEntriesImpl<
-      K,
-      Entries extends readonly (readonly [PropertyKey, unknown])[],
-      RemainingNumRecursions extends number,
-    > =
-      TypeEq<RemainingNumRecursions, 0> extends true
-        ? K
-        : TypeEq<Entries['length'], 0> extends true
-          ? K
-          : ValuesOfEntriesImpl<
-              K | Entries[0][1],
-              List.Tail<Entries>,
-              Decrement<RemainingNumRecursions>
-            >;
-
-    export type PartialIfKeyIsUnion<K, T> =
-      IsUnion<K> extends true ? Partial<T> : T;
-
-    /** Merges two object types where keys in B override keys in A. */
-    type MergeTwo<A extends UnknownRecord, B extends UnknownRecord> = Readonly<{
-      [K in keyof A | keyof B]: K extends keyof B
-        ? B[K]
-        : K extends keyof A
-          ? A[K]
-          : never;
-    }>;
-
-    /** Sequentially merges a tuple of object types from left to right. */
-    export type MergeAll<
-      Records extends readonly UnknownRecord[],
-      // eslint-disable-next-line @typescript-eslint/no-empty-object-type
-      Acc extends UnknownRecord = {},
-    > = Records extends readonly [
-      infer First extends UnknownRecord,
-      ...infer Rest extends readonly UnknownRecord[],
-    ]
-      ? MergeAll<Rest, MergeTwo<Acc, First>>
-      : Acc;
-  }
-
   /**
    * Merges multiple records into a single record using `Object.assign`.
    * Later records override properties from earlier records with the same key.
@@ -425,3 +329,174 @@ export namespace Obj {
     // eslint-disable-next-line total-functions/no-unsafe-type-assertion
     Object.fromEntries(records.flatMap((r) => Object.entries(r))) as never;
 }
+
+/**
+ * @internal
+ * Internal type utilities for the Obj module.
+ */
+declare namespace TsDataForgeInternals {
+  type RecursionLimit = 20;
+
+  /** - `[['x', 1], ['y', 3]]` -> `{ x: 1, y: 3 }` */
+  export type EntriesToObject<
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+    // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+  > = Readonly<EntriesToObjectImpl<{}, Entries>>;
+
+  /** @internal */
+  type EntriesToObjectImpl<
+    R,
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+  > =
+    TypeEq<Entries['length'], 0> extends true
+      ? R
+      : EntriesToObjectImpl<
+          R & Readonly<Record<Entries[0][0], Entries[0][1]>>,
+          List.Tail<Entries>
+        >;
+
+  /**
+   * - `['x' | 'y' | 'z', number][]]` -> `'x' | 'y' | 'z'`
+   * - `[['a' | 'b' | 'c', number], ...['x' | 'y' | 'z', number][]]` -> `'a' |
+   *   'b' | 'c' | 'x' | 'y' | 'z'`
+   *
+   * @note To handle the second example above, recursion needs to be performed on infinite-length Entries,
+   * but since the timing to stop cannot be determined, a recursion limit is set.
+   */
+  export type KeysOfEntries<
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+  > = KeysOfEntriesImpl<never, Entries, RecursionLimit>;
+
+  type KeysOfEntriesImpl<
+    K,
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+    RemainingNumRecursions extends number,
+  > =
+    TypeEq<RemainingNumRecursions, 0> extends true
+      ? K
+      : TypeEq<Entries['length'], 0> extends true
+        ? K
+        : KeysOfEntriesImpl<
+            K | Entries[0][0],
+            List.Tail<Entries>,
+            Decrement<RemainingNumRecursions>
+          >;
+
+  export type ValuesOfEntries<
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+  > = ValuesOfEntriesImpl<never, Entries, RecursionLimit>;
+
+  type ValuesOfEntriesImpl<
+    K,
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+    RemainingNumRecursions extends number,
+  > =
+    TypeEq<RemainingNumRecursions, 0> extends true
+      ? K
+      : TypeEq<Entries['length'], 0> extends true
+        ? K
+        : ValuesOfEntriesImpl<
+            K | Entries[0][1],
+            List.Tail<Entries>,
+            Decrement<RemainingNumRecursions>
+          >;
+
+  export type PartialIfKeyIsUnion<K, T> =
+    IsUnion<K> extends true ? Partial<T> : T;
+
+  /**
+   * Merges two object types where keys in B override keys in A, preserving optional modifiers.
+   *
+   * This implementation uses a sophisticated technique to preserve optional property modifiers (`?`)
+   * during the merge operation, which would otherwise be lost in a naive mapped type implementation.
+   *
+   * ## Core Technique: Optional Property Detection
+   *
+   * Uses `{} extends Pick<T, K>` to determine if a property is optional:
+   * - **Required property**: `Pick<T, 'x'>` = `{ x: number }` → `{}` does NOT extend it (false)
+   * - **Optional property**: `Pick<T, 'y'>` = `{ y?: string }` → `{}` DOES extend it (true)
+   *
+   * This works because `{}` (empty object) is assignable to objects with only optional properties
+   * but not to objects with required properties.
+   *
+   * ## Implementation Strategy
+   *
+   * The type is constructed as an intersection of five mapped types:
+   *
+   * 1. **Required properties from B** - Properties in B that are required (override A completely)
+   * 2. **Optional properties from B (not in A)** - New optional properties from B
+   * 3. **Optional properties from B (in A)** - Union of A[K] | B[K] to preserve both possibilities
+   * 4. **Required properties only in A** - Properties in A but not in B that are required
+   * 5. **Optional properties only in A** - Properties in A but not in B that are optional (with `?` modifier)
+   *
+   * Finally, the intersection is flattened using an optional-preserving identity mapping that
+   * re-applies the optional detection logic to maintain the `?` modifiers in the final type.
+   *
+   * @example
+   * ```ts
+   * type A = { x: number; y?: string };
+   * type B = { y?: number; z?: boolean };
+   * type Result = MergeTwo<A, B>;
+   * // Result: { x: number; y?: string | number; z?: boolean }
+   * ```
+   */
+  // transformer-ignore-next-line
+  type MergeTwo<A extends UnknownRecord, B extends UnknownRecord> = {
+    // 1. Required properties from B (override A completely)
+    // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+    readonly [K in keyof B as {} extends Pick<B, K> ? never : K]: B[K];
+  } & {
+    // 2. Optional properties from B that are NOT in A
+    // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+    readonly [K in keyof B as {} extends Pick<B, K>
+      ? K extends keyof A
+        ? never
+        : K
+      : never]?: B[K];
+  } & {
+    // 3. Optional properties from B that ARE in A (create union)
+    // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+    readonly [K in keyof B as {} extends Pick<B, K>
+      ? K extends keyof A
+        ? K
+        : never
+      : never]?: K extends keyof A ? A[K] | B[K] : never;
+  } & {
+    // 4. Required properties only in A (not overridden by B)
+    // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+    readonly [K in Exclude<keyof A, keyof B> as {} extends Pick<A, K>
+      ? never
+      : K]: A[K];
+  } & {
+    // 5. Optional properties only in A (not overridden by B)
+    // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+    readonly [K in Exclude<keyof A, keyof B> as {} extends Pick<A, K>
+      ? K
+      : never]?: A[K];
+  } extends infer O
+    ? Readonly<
+        {
+          // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+          [K in keyof O as {} extends Pick<O, K> ? never : K]: O[K];
+        } & {
+          // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+          [K in keyof O as {} extends Pick<O, K> ? K : never]?: O[K];
+        }
+      >
+    : never;
+
+  /** Sequentially merges a tuple of object types from left to right. */
+  export type MergeAll<
+    Records extends readonly UnknownRecord[],
+    // eslint-disable-next-line @typescript-eslint/no-empty-object-type
+    Acc extends UnknownRecord = {},
+  > =
+    IsFixedLengthList<Records> extends false
+      ? ArrayElement<Records>
+      : Records extends readonly [
+            infer First extends UnknownRecord,
+            ...infer Rest extends readonly UnknownRecord[],
+          ]
+        ? MergeAll<Rest, MergeTwo<Acc, First>>
+        : Acc;
+}

package/src/object/object.test.mts

@@ -238,4 +238,237 @@ describe('merge', () => {
 
     assert.deepStrictEqual(result, { key: 42 });
   });
+
+  test('type: MergeAll with four objects', () => {
+    const a = { a: 1, b: 2 } as const;
+
+    const b = { b: 3, c: 4 } as const;
+
+    const c = { c: 5, d: 6 } as const;
+
+    const d = { d: 7, e: 8 } as const;
+
+    const result = Obj.merge(a, b, c, d);
+
+    expectType<typeof result, Readonly<{ a: 1; b: 3; c: 5; d: 7; e: 8 }>>('=');
+
+    assert.deepStrictEqual(result, { a: 1, b: 3, c: 5, d: 7, e: 8 });
+  });
+
+  test('type: MergeAll with same key multiple times', () => {
+    const a = { x: 'first' } as const;
+
+    const b = { x: 'second' } as const;
+
+    const c = { x: 'third' } as const;
+
+    const result = Obj.merge(a, b, c);
+
+    expectType<typeof result, Readonly<{ x: 'third' }>>('=');
+
+    assert.deepStrictEqual(result, { x: 'third' });
+  });
+
+  test('type: MergeAll with disjoint keys', () => {
+    const a = { a: 1 } as const;
+
+    const b = { b: 2 } as const;
+
+    const c = { c: 3 } as const;
+
+    const result = Obj.merge(a, b, c);
+
+    expectType<typeof result, Readonly<{ a: 1; b: 2; c: 3 }>>('=');
+
+    assert.deepStrictEqual(result, { a: 1, b: 2, c: 3 });
+  });
+
+  test('type: MergeAll with complex nested types', () => {
+    const a = { value: { nested: 1 } } as const;
+
+    const b = { value: { nested: 2, extra: 'text' } } as const;
+
+    const result = Obj.merge(a, b);
+
+    expectType<
+      typeof result,
+      DeepReadonly<{ value: { nested: 2; extra: 'text' } }>
+    >('=');
+
+    assert.deepStrictEqual(result, { value: { nested: 2, extra: 'text' } });
+  });
+
+  test('type: MergeAll with mixed value types', () => {
+    const a = { x: 1, y: 'string' } as const;
+
+    const b = { y: 2, z: true } as const;
+
+    const c = { z: false, w: undefined } as const;
+
+    const result = Obj.merge(a, b, c);
+
+    expectType<typeof result, Readonly<{ x: 1; y: 2; z: false; w: undefined }>>(
+      '=',
+    );
+
+    assert.deepStrictEqual(result, { x: 1, y: 2, z: false, w: undefined });
+  });
+
+  test('type: MergeAll with mixed value types with optional properties', () => {
+    const a: Readonly<{ x: number; y?: string }> = {
+      x: 1,
+      y: 'string',
+    } as const;
+
+    const b: Readonly<{ y?: number; z?: boolean }> = { y: 2, z: true } as const;
+
+    const c: Readonly<{ z?: boolean; w?: undefined }> = {
+      z: false,
+      w: undefined,
+    } as const;
+
+    const result = Obj.merge(a, b, c);
+
+    expectType<
+      typeof result,
+      Readonly<{ x: number; y?: string | number; z?: boolean; w?: undefined }>
+    >('=');
+
+    assert.deepStrictEqual(result, { x: 1, y: 2, z: false, w: undefined });
+  });
+
+  test('type: MergeAll empty array produces empty object', () => {
+    const result = Obj.merge();
+
+    expectType<typeof result, {}>('=');
+
+    assert.deepStrictEqual(result, {});
+  });
+
+  test('type: MergeAll with arrays as values', () => {
+    const a = { items: [1, 2] } as const;
+
+    const b = { items: [3, 4, 5] } as const;
+
+    const result = Obj.merge(a, b);
+
+    expectType<typeof result, Readonly<{ items: readonly [3, 4, 5] }>>('=');
+
+    assert.deepStrictEqual(result, { items: [3, 4, 5] });
+  });
+
+  test('type: MergeAll preserves literal types', () => {
+    const a = { status: 'pending', count: 0 } as const;
+
+    const b = { status: 'completed' } as const;
+
+    const result = Obj.merge(a, b);
+
+    expectType<typeof result, Readonly<{ status: 'completed'; count: 0 }>>('=');
+
+    assert.deepStrictEqual(result, { status: 'completed', count: 0 });
+  });
+
+  test('type: MergeAll with UnknownRecord[] produces UnknownRecord', () => {
+    const records: readonly UnknownRecord[] = [
+      { a: 1, b: 2 },
+      { b: 3, c: 4 },
+      { c: 5, d: 6 },
+    ] as const;
+
+    const result = Obj.merge(...records);
+
+    expectType<typeof result, UnknownRecord>('=');
+
+    assert.deepStrictEqual(result, { a: 1, b: 3, c: 5, d: 6 });
+  });
+
+  test('type: MergeAll with specific typed array', () => {
+    type MyRecord = Readonly<{ x: number; y: string }>;
+
+    const records: readonly MyRecord[] = [
+      { x: 1, y: 'a' },
+      { x: 2, y: 'b' },
+      { x: 3, y: 'c' },
+    ] as const;
+
+    const result = Obj.merge(...records);
+
+    expectType<typeof result, MyRecord>('=');
+
+    assert.deepStrictEqual(result, { x: 3, y: 'c' });
+  });
+
+  test('type: MergeAll with fixed length typed array', () => {
+    type MyRecord = Readonly<{ x: number; y: string }>;
+
+    const records: ArrayOfLength<3, MyRecord> = [
+      { x: 1, y: 'a' },
+      { x: 2, y: 'b' },
+      { x: 3, y: 'c' },
+    ] as const;
+
+    const result = Obj.merge(...records);
+
+    expectType<typeof result, MyRecord>('=');
+
+    assert.deepStrictEqual(result, { x: 3, y: 'c' });
+  });
+
+  test('type: MergeAll with array and optional properties', () => {
+    type RecordWithOptional = Readonly<{ x: number; y?: string }>;
+
+    const records: readonly RecordWithOptional[] = [
+      { x: 1, y: 'a' },
+      { x: 2 },
+    ] as const;
+
+    const result = Obj.merge(...records);
+
+    expectType<typeof result, RecordWithOptional>('=');
+
+    assert.deepStrictEqual(result, { x: 2, y: 'a' });
+  });
+
+  test('type: MergeAll with fixed length typed array and optional properties', () => {
+    type RecordWithOptional = Readonly<{ x: number; y?: string }>;
+
+    const records: ArrayOfLength<2, RecordWithOptional> = [
+      { x: 1, y: 'a' },
+      { x: 2 },
+    ] as const;
+
+    const result = Obj.merge(...records);
+
+    expectType<typeof result, RecordWithOptional>('=');
+
+    assert.deepStrictEqual(result, { x: 2, y: 'a' });
+  });
+
+  test('type: MergeAll with empty dynamic array', () => {
+    const records: readonly UnknownRecord[] = [] as const;
+
+    const result = Obj.merge(...records);
+
+    expectType<typeof result, UnknownRecord>('=');
+
+    assert.deepStrictEqual(result, {});
+  });
+
+  test('type: MergeAll with union type array', () => {
+    type RecordA = Readonly<{ a: number; b: string }>;
+
+    type RecordB = Readonly<{ c: boolean; d: number }>;
+
+    const records: readonly (RecordA | RecordB)[] = [
+      { a: 1, b: 'text' },
+      { c: true, d: 42 },
+    ] as const;
+
+    const result = Obj.merge(...records);
+
+    expectType<typeof result, RecordA | RecordB>('=');
+
+    assert.deepStrictEqual(result, { a: 1, b: 'text', c: true, d: 42 });
+  });
 });