@kakasoo/deep-strict-types 2.0.9 → 2.0.10

package/bin/src/types/DeepMerge.d.ts

@@ -0,0 +1,46 @@
+declare namespace DeepMerge {
+    /**
+     * @title Infer Type
+     *
+     * A helper type that recursively merges two object types, `Target` and `Source`, at the deepest level.
+     * Unlike {@link DeepStrictMerge.Infer}, when both sides have a common key, **Source takes precedence**
+     * for primitive values (override/spread pattern). For nested objects, they are recursively merged
+     * with Source still winning on conflicts.
+     *
+     * Type mismatch rules (different from DeepStrictMerge):
+     * - If one side is an array and the other is not: Source wins
+     * - If one side is an object and the other is a primitive: Source wins
+     */
+    type Infer<Target extends object, Source extends object> = {
+        [key in keyof Target | keyof Source]: key extends keyof Source ? key extends keyof Target ? Target[key] extends object ? Source[key] extends object ? Target[key] extends Date ? Source[key] : Source[key] extends Date ? Source[key] : Target[key] extends Array<infer TE extends object> ? Source[key] extends Array<infer SE extends object> ? Array<Infer<TE, SE>> : Source[key] : Source[key] extends Array<any> ? Source[key] : Infer<Target[key], Source[key]> : Source[key] : Source[key] : Source[key] : key extends keyof Target ? Target[key] : never;
+    };
+}
+/**
+ * @title DeepMerge Type (Source Wins)
+ *
+ * A type that deeply merges two object types, `Target` and `Source`, where **Source takes precedence**
+ * on overlapping keys. This follows the JavaScript spread/Object.assign pattern: `{...target, ...source}`.
+ *
+ * Merge Rules:
+ * 1. For overlapping keys with both sides being non-array, non-Date objects: recursively merge.
+ * 2. For overlapping keys with both sides being arrays of objects: merge the element types.
+ * 3. For all other overlapping cases (type mismatches, primitives): Source wins.
+ * 4. Non-overlapping keys are preserved from whichever side has them.
+ *
+ * Compare with {@link DeepStrictMerge} where Target wins on overlap.
+ *
+ * @template Target - The base object type.
+ * @template Source - The override object type. Its values take precedence on overlapping keys.
+ * @returns A deeply merged object type combining `Target` and `Source`
+ *
+ * @example
+ * ```ts
+ * type Ex1 = DeepMerge<{ a: 1 }, { b: 2 }>;               // { a: 1; b: 2 }
+ * type Ex2 = DeepMerge<{ a: { b: 1 } }, { a: { c: 2 } }>; // { a: { b: 1; c: 2 } }
+ * type Ex3 = DeepMerge<{ a: 1 }, { a: 2 }>;                // { a: 2 } (Source wins)
+ * type Ex4 = DeepMerge<{ a: number[] }, { a: string }>;     // { a: string } (Source wins on mismatch)
+ * ```
+ */
+export type DeepMerge<Target extends object, Source extends object> = Target extends Array<infer TE extends object> ? Source extends Array<infer SE extends object> ? Array<DeepMerge.Infer<TE, SE>> : Source : Source extends Array<any> ? Source : DeepMerge.Infer<Target, Source>;
+export {};
+//# sourceMappingURL=DeepMerge.d.ts.map

package/bin/src/types/DeepMerge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DeepMerge.d.ts","sourceRoot":"","sources":["../../../src/types/DeepMerge.ts"],"names":[],"mappings":"AAAA,kBAAU,SAAS,CAAC;IAClB;;;;;;;;;;;OAWG;IACH,KAAY,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,IAAI;SAC/D,GAAG,IAAI,MAAM,MAAM,GAAG,MAAM,MAAM,GAAG,GAAG,SAAS,MAAM,MAAM,GAC1D,GAAG,SAAS,MAAM,MAAM,GAEtB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,MAAM,CAAC,GAAG,CAAC,SAAS,IAAI,GACtB,MAAM,CAAC,GAAG,CAAC,GACX,MAAM,CAAC,GAAG,CAAC,SAAS,IAAI,GACtB,MAAM,CAAC,GAAG,CAAC,GACX,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,GAChD,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,GAChD,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GACpB,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GAC5B,MAAM,CAAC,GAAG,CAAC,GACX,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,GACvC,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,GAAG,SAAS,MAAM,MAAM,GACtB,MAAM,CAAC,GAAG,CAAC,GACX,KAAK;KACZ,CAAC;CACH;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,MAAM,SAAS,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,IAChE,MAAM,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,GACzC,MAAM,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,GAC3C,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAC9B,MAAM,GACR,MAAM,SAAS,KAAK,CAAC,GAAG,CAAC,GACvB,MAAM,GACN,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC"}

package/bin/src/types/DeepMerge.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=DeepMerge.js.map

package/bin/src/types/DeepMerge.js.map

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

package/bin/src/types/DeepOmit.d.ts

@@ -0,0 +1,40 @@
+import type { DeepStrictObjectKeys } from './DeepStrictObjectKeys';
+import type { GetElementMember } from './GetMember';
+declare namespace DeepOmit {
+    /**
+     * @internal Recursively omits keys from a non-array object type.
+     *
+     * Unlike {@link DeepStrictOmit.Infer}, this version accepts any string as K,
+     * silently ignoring keys that do not exist in T. The guard conditions
+     * (`GetElementMember<K, key> extends DeepStrictObjectKeys<Element>`) naturally
+     * handle invalid keys by falling through to the else branch which preserves
+     * the value unchanged.
+     *
+     * @template T - The object type to omit keys from
+     * @template K - The dot-notation key paths to omit (any string; invalid keys are ignored)
+     */
+    type Infer<T extends object, K extends string> = '*' extends K ? {} : [K] extends [never] ? T : {
+        [key in keyof T as key extends K ? never : key]: T[key] extends Array<infer Element extends object> ? key extends string ? Element extends Date ? Array<Element> : GetElementMember<K, key> extends DeepStrictObjectKeys<Element> ? Array<Infer<Element, GetElementMember<K, key>>> : Array<Element> : never : T[key] extends Array<infer Element> ? Array<Element> : T[key] extends object ? key extends string ? T[key] extends Date ? T[key] : GetElementMember<K, key> extends DeepStrictObjectKeys<T[key]> ? Infer<T[key], GetElementMember<K, key>> : T[key] : never : T[key];
+    };
+}
+/**
+ * @title Type for Removing Specific Keys from an Interface (Non-Strict).
+ *
+ * The `DeepOmit<T, K>` type creates a new type by excluding properties
+ * corresponding to the key `K` from the object `T`, while preserving the nested structure.
+ * Unlike {@link DeepStrictOmit}, `K` is not constrained to valid keys of `T`.
+ * Invalid or non-existent key paths in `K` are silently ignored.
+ *
+ * {@link DeepStrictObjectKeys} can be used to determine valid keys for omission,
+ * including nested keys represented with dot notation (`.`) and array indices represented with `[*]`.
+ *
+ * Example Usage:
+ * ```ts
+ * type Example1 = DeepOmit<{ a: { b: 1; c: 2 } }, "a.b">;          // { a: { c: 2 } }
+ * type Example2 = DeepOmit<{ a: { b: 1; c: 2 } }, "a.b" | "x.y">; // { a: { c: 2 } } (invalid "x.y" ignored)
+ * type Example3 = DeepOmit<{ a: 1 }, "nonexistent">;                // { a: 1 } (no change)
+ * ```
+ */
+export type DeepOmit<T extends object, K extends string> = '*' extends K ? T extends Array<any> ? never[] : {} : T extends Array<infer Element extends object> ? Array<DeepOmit<Element, GetElementMember<K, ''> extends string ? GetElementMember<K, ''> : never>> : DeepOmit.Infer<T, K>;
+export {};
+//# sourceMappingURL=DeepOmit.d.ts.map

package/bin/src/types/DeepOmit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DeepOmit.d.ts","sourceRoot":"","sources":["../../../src/types/DeepOmit.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEpD,kBAAU,QAAQ,CAAC;IACjB;;;;;;;;;;;OAWG;IACH,KAAY,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,GAAG,SAAS,CAAC,GACjE,EAAE,GACF,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,CAAC,GACD;SACG,GAAG,IAAI,MAAM,CAAC,IAAI,GAAG,SAAS,CAAC,GAAG,KAAK,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,SAAS,MAAM,CAAC,GAC/F,GAAG,SAAS,MAAM,GAChB,OAAO,SAAS,IAAI,GAClB,KAAK,CAAC,OAAO,CAAC,GACd,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,oBAAoB,CAAC,OAAO,CAAC,GAC5D,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAC/C,KAAK,CAAC,OAAO,CAAC,GAClB,KAAK,GACP,CAAC,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,CAAC,GACjC,KAAK,CAAC,OAAO,CAAC,GACd,CAAC,CAAC,GAAG,CAAC,SAAS,MAAM,GACnB,GAAG,SAAS,MAAM,GAChB,CAAC,CAAC,GAAG,CAAC,SAAS,IAAI,GACjB,CAAC,CAAC,GAAG,CAAC,GACN,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAC3D,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,GACvC,CAAC,CAAC,GAAG,CAAC,GACV,KAAK,GACP,CAAC,CAAC,GAAG,CAAC;KACf,CAAC;CACT;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,GAAG,SAAS,CAAC,GACpE,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GAClB,KAAK,EAAE,GACP,EAAE,GACJ,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,SAAS,MAAM,CAAC,GAC3C,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,GAClG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/bin/src/types/DeepOmit.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=DeepOmit.js.map

package/bin/src/types/DeepOmit.js.map

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

package/bin/src/types/DeepPick.d.ts

@@ -0,0 +1,26 @@
+import type { DeepStrictObjectKeys } from './DeepStrictObjectKeys';
+import type { DeepOmit } from './DeepOmit';
+import type { DeepStrictUnbrand } from './DeepStrictUnbrand';
+import type { ExpandGlob } from './ExpandGlob';
+import type { RemoveAfterDot } from './RemoveAfterDot';
+import type { RemoveLastProperty } from './RemoveLastProperty';
+/**
+ * @title Type for Selecting Specific Keys from an Interface (Non-Strict).
+ *
+ * The `DeepPick<T, K>` type creates a new type by selecting only the properties
+ * corresponding to the key `K` from the object `T`, while preserving the nested structure.
+ * Unlike {@link DeepStrictPick}, `K` is not constrained to valid keys of `T`.
+ * Invalid or non-existent key paths in `K` are silently ignored.
+ *
+ * `DeepPick` is implemented by omitting all keys except those selected,
+ * using {@link DeepOmit} internally.
+ *
+ * Example Usage:
+ * ```ts
+ * type Example1 = DeepPick<{ a: { b: 1; c: 2 } }, "a.b">;          // { a: { b: 1 } }
+ * type Example2 = DeepPick<{ a: { b: 1; c: 2 } }, "a.b" | "x.y">; // { a: { b: 1 } } (invalid "x.y" ignored)
+ * type Example3 = DeepPick<{ a: 1; b: 2 }, "nonexistent">;          // {} (nothing matched)
+ * ```
+ */
+export type DeepPick<T extends object, K extends string> = '*' extends K ? T : DeepOmit<T, Exclude<Exclude<DeepStrictObjectKeys<T>, K | RemoveLastProperty<K> | RemoveAfterDot<DeepStrictUnbrand<T>, K> | ExpandGlob<K>>, '*' | `${string}.*`>>;
+//# sourceMappingURL=DeepPick.d.ts.map

package/bin/src/types/DeepPick.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DeepPick.d.ts","sourceRoot":"","sources":["../../../src/types/DeepPick.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC7D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE/D;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,GAAG,SAAS,CAAC,GACpE,CAAC,GACD,QAAQ,CACN,CAAC,EACD,OAAO,CACL,OAAO,CACL,oBAAoB,CAAC,CAAC,CAAC,EACvB,CAAC,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CACpF,EACD,GAAG,GAAG,GAAG,MAAM,IAAI,CACpB,CACF,CAAC"}

package/bin/src/types/DeepPick.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=DeepPick.js.map

package/bin/src/types/DeepPick.js.map

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

package/bin/src/types/index.d.ts

@@ -1,4 +1,7 @@
 export * from './DeepDateToString';
+export * from './DeepMerge';
+export * from './DeepOmit';
+export * from './DeepPick';
 export * from './DeepStrictMerge';
 export * from './DeepStrictObjectKeys';
 export * from './DeepStrictObjectLastKeys';

package/bin/src/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,wBAAwB,CAAC;AACvC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,aAAa,CAAC;AAC5B,cAAc,SAAS,CAAC;AACxB,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/types/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,mBAAmB,CAAC;AAClC,cAAc,wBAAwB,CAAC;AACvC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,kBAAkB,CAAC;AACjC,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,aAAa,CAAC;AAC5B,cAAc,SAAS,CAAC;AACxB,cAAc,cAAc,CAAC;AAC7B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,SAAS,CAAC;AACxB,cAAc,WAAW,CAAC;AAC1B,cAAc,kBAAkB,CAAC;AACjC,cAAc,qBAAqB,CAAC;AACpC,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,aAAa,CAAC"}

package/bin/src/types/index.js

@@ -15,6 +15,9 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 __exportStar(require("./DeepDateToString"), exports);
+__exportStar(require("./DeepMerge"), exports);
+__exportStar(require("./DeepOmit"), exports);
+__exportStar(require("./DeepPick"), exports);
 __exportStar(require("./DeepStrictMerge"), exports);
 __exportStar(require("./DeepStrictObjectKeys"), exports);
 __exportStar(require("./DeepStrictObjectLastKeys"), exports);

package/bin/src/types/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/types/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,qDAAmC;AACnC,oDAAkC;AAClC,yDAAuC;AACvC,6DAA2C;AAC3C,mDAAiC;AACjC,mDAAiC;AACjC,sDAAoC;AACpC,8CAA4B;AAC5B,0CAAwB;AACxB,+CAA6B;AAC7B,8CAA4B;AAC5B,4CAA0B;AAC1B,0CAAwB;AACxB,4CAA0B;AAC1B,mDAAiC;AACjC,sDAAoC;AACpC,uDAAqC;AACrC,uDAAqC;AACrC,8CAA4B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/types/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,qDAAmC;AACnC,8CAA4B;AAC5B,6CAA2B;AAC3B,6CAA2B;AAC3B,oDAAkC;AAClC,yDAAuC;AACvC,6DAA2C;AAC3C,mDAAiC;AACjC,mDAAiC;AACjC,sDAAoC;AACpC,8CAA4B;AAC5B,0CAAwB;AACxB,+CAA6B;AAC7B,8CAA4B;AAC5B,4CAA0B;AAC1B,0CAAwB;AACxB,4CAA0B;AAC1B,mDAAiC;AACjC,sDAAoC;AACpC,uDAAqC;AACrC,uDAAqC;AACrC,8CAA4B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kakasoo/deep-strict-types",
-  "version": "2.0.9",
+  "version": "2.0.10",
   "description": "typescript utility types including deep-strict-omit and pick type",
   "private": false,
   "publishConfig": {