@kakasoo/deep-strict-types 2.0.5 → 2.0.6

package/README.md

@@ -1,362 +1,236 @@
-# DeepStrictTypes Library Documentation
+# @kakasoo/deep-strict-types
 
-- [한국어 설명](./docs/README_KO.md)
+[![npm version](https://img.shields.io/npm/v/@kakasoo/deep-strict-types.svg)](https://www.npmjs.com/package/@kakasoo/deep-strict-types)
+[![License: ISC](https://img.shields.io/badge/License-ISC-blue.svg)](https://opensource.org/licenses/ISC)
+[![TypeScript](https://img.shields.io/badge/TypeScript-%3E%3D5.0-blue)](https://www.typescriptlang.org/)
 
-## Table of Contents
+Type-safe `Pick`, `Omit`, and key extraction for deeply nested TypeScript objects and arrays.
 
-1. [Introduction](#introduction)
-2. [DeepStrictObjectKeys](#deepstrictobjectkeys)
-3. [DeepStrictOmit](#deepstrictomit)
-4. [DeepStrictPick](#deepstrictpick)
-5. [StringToDeepObject](#stringtodeepobject)
-6. [DeepStrictMerge](#deepstrictmerge)
-7. [DeepDateToString](#deepdatetostring)
-
-## Introduction
-
-DeepStrictTypes is a tool that takes TypeScript’s type manipulation to the next level.  
-It helps you safely perform tasks like `Omit` and `Pick` even with complex nested objects or arrays.  
-By addressing the limitations of TypeScript’s built-in utility types, it allows you to easily handle internal keys with strict and precise type inference.
-
-Key features include:
-
-- **Safe Nested Key Extraction:** It extracts all keys from within an object, boosting type safety.
-- **Precise Type Manipulation:** You can pick or omit only the keys you need even in deeply nested structures, making it easier to work with complex data.
-- **Unbranding and Merging:** It removes unnecessary constraints from branded types and safely merges multiple types.
-- **Utility Function Support (Experimental):** It even provides runtime functions to further ensure type safety during development.
-
-Below is a GIF showing an example of how to use the library.
+[한국어 설명](./docs/README_KO.md)
 
 ![example](https://github.com/user-attachments/assets/28316425-8302-453e-b238-0c732606e6a7)
 
-## DeepStrictObjectKeys
-
-`DeepStrictObjectKeys` extracts all keys from a nested object, preserving its hierarchical structure as a union of string paths.  
-That means you can access not only top-level keys but also nested keys using dot notation or, for arrays, using `[*]`.
-
-### Key Features
+## Installation
 
-- **Preserves Hierarchy:** It retrieves every key from within an object so you can express paths like "user.address.city".
-- **Accurate Type Inference:** Instead of just using `keyof`, it thoroughly infers every nested key for enhanced type safety.
-- **Array Support:** For objects within arrays, it uses `[*]` instead of an index, so you cover all elements at once.
-
-### Example
+```bash
+npm install @kakasoo/deep-strict-types
+```
 
-The following example shows how to extract keys from a nested object using `DeepStrictObjectKeys`.
+## Quick Start
 
 ```typescript
-type Example = {
-  user: {
+import { DeepStrictObjectKeys, DeepStrictPick, DeepStrictOmit } from '@kakasoo/deep-strict-types';
+
+type User = {
+  id: string;
+  profile: {
     name: string;
-    address: {
-      city: string;
-      zip: number;
-    };
+    age: number;
   };
+  posts: {
+    title: string;
+    tags: string[];
+  }[];
 };
 
-// Result: "user" | "user.name" | "user.address" | "user.address.city" | "user.address.zip"
-type Keys = DeepStrictObjectKeys<Example>;
-```
+// Extract all nested key paths
+type Keys = DeepStrictObjectKeys<User>;
+// "id" | "profile" | "profile.name" | "profile.age" | "posts" | "posts[*].title" | "posts[*].tags"
 
-The library also offers a utility function `deepStrictObjectKeys` based on this type, which works like `Object.keys` but correctly extracts nested paths.
+// Pick only what you need
+type NameOnly = DeepStrictPick<User, 'profile.name'>;
+// { profile: { name: string } }
 
-```typescript
-type Target = { a: 1 }[][];
-const keys = deepStrictObjectKeys({} as Target); // Result: ["[*].[*].a"]
+// Remove what you don't need
+type NoAge = DeepStrictOmit<User, 'profile.age'>;
+// { id: string; profile: { name: string }; posts: { title: string; tags: string[] }[] }
 ```
 
-## DeepStrictOmit
-
-`DeepStrictOmit` creates a new type by removing specified keys from a nested object type.
-Similar to the built-in `Omit`, it lets you precisely specify key paths—even in nested structures and arrays—to remove unwanted properties.
-
-### Key Features
-
-- **Omit Nested Keys:** You can specify a nested key path like `"user.profile.name"` to remove just that property.
-- **Handles Arrays:** It applies the same logic to objects within arrays, so you can remove a key from every element.
-- **Accurate Type Inference:** It preserves the rest of the object’s structure and types after omission.
-- **Supports Branded Types:** It works safely with branded types, removing unnecessary constraints.
+## Core Types
 
-### Example
+### `DeepStrictObjectKeys<T>`
 
-Below is an example of how to apply `DeepStrictOmit` to both nested objects and objects within arrays.
+Extracts all keys from a nested object as a union of dot-notation string paths. Arrays use `[*]` notation.
 
 ```typescript
-// Define an example object type
 type Example = {
   user: {
-    id: string;
-    profile: {
-      name: string;
-      age: number;
-      email: string;
-    };
-    posts: {
-      title: string;
-      content: string;
-      meta: {
-        likes: number;
-        shares: number;
-      };
-    }[];
+    name: string;
+    address: { city: string; zip: number };
   };
 };
 
-// Remove the keys 'user.profile.email' and 'user.posts[*].meta.shares'
-type Omitted = DeepStrictOmit<Example, 'user.profile.email' | 'user.posts[*].meta.shares'>;
-
-/*
-  Resulting type Omitted:
-  {
-    user: {
-      id: string;
-      profile: {
-        name: string;
-        age: number;
-      };
-      posts: {
-        title: string;
-        content: string;
-        meta: {
-          likes: number;
-        };
-      }[];
-    };
-  }
-*/
+type Keys = DeepStrictObjectKeys<Example>;
+// "user" | "user.name" | "user.address" | "user.address.city" | "user.address.zip"
 ```
 
-In short, with `DeepStrictOmit` you can neatly remove only the keys you want from even the most complex nested objects or arrays.
-
-## DeepStrictPick
-
-`DeepStrictPick` creates a new type by selecting only the specified keys from a nested object type.
-It works like the built-in `Pick` but lets you precisely choose key paths—even in nested structures and arrays—so you only get the properties you need.
-
-### Key Features
+```typescript
+type WithArray = { items: { name: string; price: number }[] };
 
-- **Pick Nested Keys:** Specify a nested key path like `"user.profile.name"` to pick only that property.
-- **Handles Arrays:** It also works on objects within arrays, allowing you to extract just the desired data.
-- **Accurate Type Inference:** It builds a type that only includes the selected properties, enhancing both type safety and readability.
-- **Flexible:** You can specify multiple nested keys at once.
+type Keys = DeepStrictObjectKeys<WithArray>;
+// "items" | "items[*].name" | "items[*].price"
+```
 
-### Example
+### `DeepStrictPick<T, K>`
 
-Below is an example of using `DeepStrictPick` on nested objects and arrays.
+Creates a new type by selecting only the specified nested keys, preserving the object structure.
 
 ```typescript
-// Define an example object type
 type Example = {
   user: {
     id: string;
-    profile: {
-      name: string;
-      age: number;
-      email: string;
-    };
-    posts: {
-      title: string;
-      content: string;
-      meta: {
-        likes: number;
-        shares: number;
-      };
-    }[];
+    profile: { name: string; age: number; email: string };
+    posts: { title: string; content: string; meta: { likes: number; shares: number } }[];
   };
 };
 
-// Pick only the keys 'user.profile.name' and 'user.posts[*].meta.likes'
 type Picked = DeepStrictPick<Example, 'user.profile.name' | 'user.posts[*].meta.likes'>;
-
 /*
-  Resulting type Picked:
   {
     user: {
-      profile: {
-        name: string;
-      };
-      posts: {
-        meta: {
-          likes: number;
-        };
-      }[];
+      profile: { name: string };
+      posts: { meta: { likes: number } }[];
     };
   }
 */
 ```
 
-So, `DeepStrictPick` lets you extract only the properties you want from even the most deeply nested structures.
-
-## StringToDeepObject
-
-`StringToDeepObject` takes a string path in dot notation and generates a nested object type corresponding to that path.
-It parses the path string step by step, building a nested object and assigning the desired type to the final property.
+### `DeepStrictOmit<T, K>`
 
-### Key Features
-
-- **Parses Path Strings:** Converts a string like "user.profile.name" into an object where each segment becomes a key.
-- **Dynamically Creates Objects:** Automatically builds a nested object based on the path, assigning the specified type at the end.
-- **Merges Union Types:** If you pass a union of path strings, it merges the resulting objects into one combined type.
-- **Type Safe:** Handles string paths safely within the type system to accurately represent nested structures.
-
-### Example
+Creates a new type by removing the specified nested keys.
 
 ```typescript
-// Example: Assigning a string type to the path 'user.profile.name'
-type DeepObj = StringToDeepObject<'user.profile.name', string>;
-
+type Omitted = DeepStrictOmit<Example, 'user.profile.email' | 'user.posts[*].meta.shares'>;
 /*
-  Resulting type DeepObj:
   {
     user: {
-      profile: {
-        name: string;
-      };
+      id: string;
+      profile: { name: string; age: number };
+      posts: { title: string; content: string; meta: { likes: number } }[];
     };
   }
 */
+```
 
-// Another example: Assigning a number type at the end of a path
-type DeepNumberObj = StringToDeepObject<'settings.display.brightness', number>;
+### `DeepStrictMerge<Target, Source>`
 
-/*
-  Resulting type DeepNumberObj:
-  {
-    settings: {
-      display: {
-        brightness: number;
-      };
-    };
-  }
-*/
+Deeply merges two object types. When both types share a key, `Target` takes precedence.
 
-// Union type example: Two paths merge into one combined object type
-type MergedObj = StringToDeepObject<'user.profile.name' | 'user.profile.age', string | number>;
+```typescript
+type A = { user: { id: string; profile: { name: string } } };
+type B = { user: { profile: { email: string }; settings: { theme: string } } };
 
+type Merged = DeepStrictMerge<A, B>;
 /*
-  Resulting type MergedObj:
   {
     user: {
-      profile: {
-        name: string;
-        age: number;
-      };
+      id: string;
+      profile: { name: string; email: string };
+      settings: { theme: string };
     };
   }
 */
 ```
 
-In short, `StringToDeepObject` lets you quickly create nested object types from a dot-delimited string, and even merge multiple paths if needed.
+Arrays of objects are also merged element-wise:
 
-## DeepStrictMerge
-
-`DeepStrictMerge` deeply merges two or more object types into a single unified type.
-It recursively combines every property in nested structures, and when the same key exists in multiple objects, it follows a set of rules to merge them.
-
-### Key Features
+```typescript
+type Merged = DeepStrictMerge<{ a: number }[], { b: string }[]>;
+// { a: number; b: string }[]
+```
 
-- **Deep Merge:** Recursively merges not only top-level properties but also all nested objects.
-- **Accurate Type Inference:** Each object’s type information is retained in the merged result, ensuring type safety.
-- **Conflict Resolution:** When the same key exists in multiple objects, it resolves the conflict according to defined rules.
-- **Flexible:** You can merge several object types at once, making it easy to manage complex data structures.
+### `GetType<T, K>`
 
-### Example
+Extracts the type at a specific nested path.
 
 ```typescript
-// Define two object types to merge
-type ObjA = {
+type Data = {
   user: {
-    id: string;
-    profile: {
-      name: string;
-      age: number;
-    };
+    name: string;
+    posts: { title: string; tags: string[] }[];
   };
 };
 
-type ObjB = {
-  user: {
-    profile: {
-      email: string;
-      // If both objects have the key 'age', the merge rule applies.
-      age: number;
-    };
-    settings: {
-      theme: string;
-    };
-  };
+type T1 = GetType<Data, 'user.name'>;           // string
+type T2 = GetType<Data, 'user.posts'>;           // { title: string; tags: string[] }[]
+type T3 = GetType<Data, 'user.posts[*].title'>;  // string
+type T4 = GetType<Data, 'user.posts[*].tags'>;   // string[]
+```
+
+### `DeepDateToString<T>`
+
+Recursively converts all `Date` types to `string`. Useful for representing serialized/JSON response types.
+
+```typescript
+type Input = {
+  createdAt: Date;
+  user: { name: string; birthDate: Date };
 };
 
-// Deep merge the two objects into one type
-type Merged = DeepStrictMerge<ObjA, ObjB>;
+type Output = DeepDateToString<Input>;
+// { createdAt: string; user: { name: string; birthDate: string } }
+```
 
-/*
-  Resulting type Merged:
-  {
-    user: {
-      id: string;
-      profile: {
-        name: string;
-        age: number;  // Merged according to the rules
-        email: string;
-      };
-      settings: {
-        theme: string;
-      };
-    };
-  }
-*/
+### `DeepStrictUnbrand<T>`
+
+Recursively removes branding (e.g., `typia` tags like `Format<'uuid'>`) from types, restoring base primitives.
+
+```typescript
+type Branded = {
+  id: string & { __brand: 'uuid' };
+  profile: { email: string & { __brand: 'email' } };
+};
+
+type Clean = DeepStrictUnbrand<Branded>;
+// { id: string; profile: { email: string } }
 ```
 
-So, `DeepStrictMerge` lets you seamlessly combine different object types into one, even when they have complex nested structures.
+## Runtime Functions
+
+### `deepStrictObjectKeys(obj)`
 
-## DeepDateToString
+Runtime counterpart of `DeepStrictObjectKeys`. Returns an array of all dot-notation key paths.
 
-`DeepDateToString` finds every `Date` type in an object and converts it to a `string` recursively.
-It locates all `Date` properties—even deep within nested objects or arrays—and converts them to strings, which is especially useful for serialization or JSON conversion.
+```typescript
+import { deepStrictObjectKeys } from '@kakasoo/deep-strict-types';
 
-### Key Features
+const keys = deepStrictObjectKeys({ a: { b: 1, c: 2 } });
+// ["a", "a.b", "a.c"]
+```
 
-- **Recursive Conversion:** It transforms every `Date` type found in the object, including those in nested objects and arrays.
-- **Ensures Type Consistency:** By explicitly converting `Date` to `string`, it prevents type mismatches during serialization or API responses.
-- **Handles Complex Structures:** Works reliably even with deeply nested objects and arrays containing `Date` values.
+### `deepStrictAssert(obj)(key)`
 
-### Example
+Curried runtime function that extracts a specific nested property, preserving the object structure. Type-safe counterpart of `DeepStrictPick`.
 
 ```typescript
-// Define an example object type
-type Example = {
-  createdAt: Date;
-  updatedAt: Date;
-  user: {
-    name: string;
-    birthDate: Date;
-    posts: {
-      title: string;
-      publishedAt: Date;
-    }[];
-  };
-};
+import { deepStrictAssert } from '@kakasoo/deep-strict-types';
 
-// Convert all Date properties to string using DeepDateToString
-type StringifiedExample = DeepDateToString<Example>;
+const data = {
+  user: { name: 'Alice', age: 30 },
+  posts: [{ title: 'Hello', content: 'World' }],
+};
 
-/*
-  Resulting type StringifiedExample:
-  {
-    createdAt: string;
-    updatedAt: string;
-    user: {
-      name: string;
-      birthDate: string;
-      posts: {
-        title: string;
-        publishedAt: string;
-      }[];
-    };
-  }
-*/
+const result = deepStrictAssert(data)('user.name');
+// { user: { name: 'Alice' } }
 ```
 
-In short, `DeepDateToString` makes sure that every `Date` inside an object is converted to a `string`, ensuring type consistency for operations like serialization or JSON conversion.
+## Utility Types
+
+| Type | Description | Example |
+|------|-------------|---------|
+| `DeepStrictObjectLastKeys<T>` | Extracts only the leaf-level (deepest) keys | `"a.b.c"` instead of `"a" \| "a.b" \| "a.b.c"` |
+| `StringToDeepObject<T>` | Converts a comma-separated dot-notation string to a nested object type | `StringToDeepObject<"a.b,c">` = `{ a: { b: any }; c: any }` |
+| `Equal<X, Y>` | Type-level equality check (returns `true` or `false`) | `Equal<string, string>` = `true` |
+| `ElementOf<T>` | Extracts the element type from an array | `ElementOf<string[]>` = `string` |
+| `IsAny<T>` | Checks if a type is `any` | `IsAny<any>` = `true` |
+| `IsUnion<T>` | Checks if a type is a union | `IsUnion<string \| number>` = `true` |
+| `ValueType` | Union of all primitive types + `Date` | `string \| number \| boolean \| ...` |
+| `GetMember<T, Prefix>` | Extracts key segments after a dot-notation prefix | Internal helper for `DeepStrictOmit` |
+| `GetElementMember<T, Prefix>` | Extracts array element sub-keys after a `[*]` prefix | Internal helper for `DeepStrictOmit` |
+| `RemoveAfterDot<T, K>` | Generates wildcard patterns for descendant keys | Internal helper for `DeepStrictPick` |
+| `RemoveArraySymbol<T>` | Strips `[*]` suffix from a key string | `RemoveArraySymbol<"items[*]">` = `"items"` |
+| `RemoveLastProperty<T>` | Extracts all parent path segments | `RemoveLastProperty<"a.b.c">` = `"a" \| "a.b"` |
+
+## License
+
+ISC

package/bin/src/functions/DeepStrictAssert.d.ts

@@ -1,4 +1,23 @@
 import { DeepStrictObjectKeys } from '../types/DeepStrictObjectKeys';
 import { DeepStrictPick } from '../types/DeepStrictPick';
+/**
+ * @title Runtime Function for Type-Safe Deep Property Extraction.
+ *
+ * A curried function that takes an object and returns a picker function.
+ * The picker function accepts a dot-notation key path and returns a new object
+ * containing only the specified nested property, preserving the original structure.
+ *
+ * This is the runtime counterpart of the {@link DeepStrictPick} type.
+ *
+ * @template T - The object type of the input
+ * @param input - The source object to extract properties from
+ * @returns A function that accepts a key path `K` and returns the deeply-picked result
+ *
+ * @example
+ * ```ts
+ * const result = deepStrictAssert({ a: { b: 1, c: 2 } })('a.b');
+ * // result: { a: { b: 1 } }
+ * ```
+ */
 export declare const deepStrictAssert: <T extends object>(input: T) => <K extends DeepStrictObjectKeys<T>>(key: K) => DeepStrictPick<T, K>;
 //# sourceMappingURL=DeepStrictAssert.d.ts.map

package/bin/src/functions/DeepStrictAssert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictAssert.d.ts","sourceRoot":"","sources":["../../../src/functions/DeepStrictAssert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD,eAAO,MAAM,gBAAgB,GAC1B,CAAC,SAAS,MAAM,SAAS,CAAC,MAC1B,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAiC/D,CAAC"}
+{"version":3,"file":"DeepStrictAssert.d.ts","sourceRoot":"","sources":["../../../src/functions/DeepStrictAssert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAEzD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,gBAAgB,GAC1B,CAAC,SAAS,MAAM,SAAS,CAAC,MAC1B,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAiC/D,CAAC"}

package/bin/src/functions/DeepStrictAssert.js

@@ -1,6 +1,25 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.deepStrictAssert = void 0;
+/**
+ * @title Runtime Function for Type-Safe Deep Property Extraction.
+ *
+ * A curried function that takes an object and returns a picker function.
+ * The picker function accepts a dot-notation key path and returns a new object
+ * containing only the specified nested property, preserving the original structure.
+ *
+ * This is the runtime counterpart of the {@link DeepStrictPick} type.
+ *
+ * @template T - The object type of the input
+ * @param input - The source object to extract properties from
+ * @returns A function that accepts a key path `K` and returns the deeply-picked result
+ *
+ * @example
+ * ```ts
+ * const result = deepStrictAssert({ a: { b: 1, c: 2 } })('a.b');
+ * // result: { a: { b: 1 } }
+ * ```
+ */
 const deepStrictAssert = (input) => (key) => {
     const keys = key.split(/(?:\[\*\])?\./g).filter(Boolean);
     const traverse = (input, keys) => {

package/bin/src/functions/DeepStrictAssert.js.map

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictAssert.js","sourceRoot":"","sources":["../../../src/functions/DeepStrictAssert.ts"],"names":[],"mappings":";;;AAGO,MAAM,gBAAgB,GAC3B,CAAmB,KAAQ,EAAE,EAAE,CAC/B,CAAoC,GAAM,EAAwB,EAAE;IAClE,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAEzD,MAAM,QAAQ,GAAG,CAAC,KAAkD,EAAE,IAAc,EAAO,EAAE;QAC3F,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QAE9B,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;gBACrC,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;oBACrB,IAAI,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;wBAClE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;oBACrD,CAAC;oBAED,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,CAAC;gBAED,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,CAAC;YAEH,OAAO,QAAQ,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;gBACnB,IAAI,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;oBAC9D,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;gBACnD,CAAC;gBACD,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,CAAC;YAED,MAAM,IAAI,KAAK,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAyB,CAAC;AACvD,CAAC,CAAC;AAnCS,QAAA,gBAAgB,oBAmCzB"}
+{"version":3,"file":"DeepStrictAssert.js","sourceRoot":"","sources":["../../../src/functions/DeepStrictAssert.ts"],"names":[],"mappings":";;;AAGA;;;;;;;;;;;;;;;;;;GAkBG;AACI,MAAM,gBAAgB,GAC3B,CAAmB,KAAQ,EAAE,EAAE,CAC/B,CAAoC,GAAM,EAAwB,EAAE;IAClE,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAEzD,MAAM,QAAQ,GAAG,CAAC,KAAkD,EAAE,IAAc,EAAO,EAAE;QAC3F,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;QAE9B,IAAI,KAAK,YAAY,KAAK,EAAE,CAAC;YAC3B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;gBACrC,IAAI,KAAK,IAAI,OAAO,EAAE,CAAC;oBACrB,IAAI,OAAO,OAAO,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;wBAClE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;oBACrD,CAAC;oBAED,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,CAAC;gBAED,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,CAAC;YAEH,OAAO,QAAQ,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;gBACnB,IAAI,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;oBAC9D,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;gBACnD,CAAC;gBACD,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,CAAC;YAED,MAAM,IAAI,KAAK,CAAC,2BAA2B,KAAK,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAyB,CAAC;AACvD,CAAC,CAAC;AAnCS,QAAA,gBAAgB,oBAmCzB"}

package/bin/src/functions/DeepStrictObjectKeys.d.ts

@@ -1,6 +1,13 @@
 import { DeepStrictObjectKeys } from '../types';
+/** @internal Removes a leading dot from a string type. e.g., `".foo"` becomes `"foo"`. */
 type RemoveStartWithDot<T extends string> = T extends `.${infer R extends string}` ? R : T;
+/** @internal Replaces all `[*]` array notation with `${number}` for runtime key path access. */
 type Replace<S extends string> = S extends '[*]' ? `${number}` : S extends `[*].${infer Rest}` ? `${number}.${Replace<Rest>}` : S extends `${infer Prefix extends string}.[*]${infer Rest}` ? `${Prefix}.${number}${Replace<Rest>}` : S extends `${infer Prefix extends string}[*]${infer Rest}` ? `${Prefix}.${number}${Replace<Rest>}` : S;
+/**
+ * @internal The return type for {@link deepStrictObjectKeys}.
+ * Converts type-level keys (with `[*]` notation) to runtime-friendly keys (with `${number}` notation),
+ * strips leading dots, and wraps the result in an array type.
+ */
 type ReturnType<Target extends object, Joiner extends {
     array: string;
     object: string;
@@ -8,6 +15,26 @@ type ReturnType<Target extends object, Joiner extends {
     array: '[*]';
     object: '.';
 }> = [Target] extends [never] ? [] : RemoveStartWithDot<Replace<DeepStrictObjectKeys<Target, Joiner, false>>>[];
+/**
+ * @title Runtime Function for Extracting All Nested Keys from an Object.
+ *
+ * Recursively traverses the input object and returns a flat array of all key paths
+ * using dot notation. Nested objects produce paths like `"a.b.c"`, and arrays produce
+ * indexed paths at runtime.
+ *
+ * This is the runtime counterpart of the {@link DeepStrictObjectKeys} type.
+ *
+ * @template Target - The object type to extract keys from
+ * @template Joiner - Separator symbols (defaults to `{ array: '[*]', object: '.' }`)
+ * @param target - The object instance to extract keys from
+ * @returns An array of all dot-notation key paths in the object
+ *
+ * @example
+ * ```ts
+ * const keys = deepStrictObjectKeys({ a: { b: 1, c: 2 } });
+ * // keys: ["a", "a.b", "a.c"]
+ * ```
+ */
 export declare function deepStrictObjectKeys<Target extends object, Joiner extends {
     array: string;
     object: string;

package/bin/src/functions/DeepStrictObjectKeys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictObjectKeys.d.ts","sourceRoot":"","sources":["../../../src/functions/DeepStrictObjectKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAEhD,KAAK,kBAAkB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;AAE3F,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,KAAK,GAC5C,GAAG,MAAM,EAAE,GACX,CAAC,SAAS,OAAO,MAAM,IAAI,EAAE,GAC3B,GAAG,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,GAC5B,CAAC,SAAS,GAAG,MAAM,MAAM,SAAS,MAAM,OAAO,MAAM,IAAI,EAAE,GACzD,GAAG,MAAM,IAAI,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,GACrC,CAAC,SAAS,GAAG,MAAM,MAAM,SAAS,MAAM,MAAM,MAAM,IAAI,EAAE,GACxD,GAAG,MAAM,IAAI,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,GACrC,CAAC,CAAC;AAEZ,KAAK,UAAU,CACb,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,GAAG,CAAA;CAAE,IAC9E,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,kBAAkB,CAAC,OAAO,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAE/G,wBAAgB,oBAAoB,CAClC,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,GAAG,CAAA;CAAE,EAChF,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAqB5C"}
+{"version":3,"file":"DeepStrictObjectKeys.d.ts","sourceRoot":"","sources":["../../../src/functions/DeepStrictObjectKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAEhD,0FAA0F;AAC1F,KAAK,kBAAkB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;AAE3F,gGAAgG;AAChG,KAAK,OAAO,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,KAAK,GAC5C,GAAG,MAAM,EAAE,GACX,CAAC,SAAS,OAAO,MAAM,IAAI,EAAE,GAC3B,GAAG,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,GAC5B,CAAC,SAAS,GAAG,MAAM,MAAM,SAAS,MAAM,OAAO,MAAM,IAAI,EAAE,GACzD,GAAG,MAAM,IAAI,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,GACrC,CAAC,SAAS,GAAG,MAAM,MAAM,SAAS,MAAM,MAAM,MAAM,IAAI,EAAE,GACxD,GAAG,MAAM,IAAI,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,GACrC,CAAC,CAAC;AAEZ;;;;GAIG;AACH,KAAK,UAAU,CACb,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,GAAG,CAAA;CAAE,IAC9E,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,kBAAkB,CAAC,OAAO,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAE/G;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,GAAG,CAAA;CAAE,EAChF,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAqB5C"}

package/bin/src/functions/DeepStrictObjectKeys.js

@@ -1,6 +1,26 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.deepStrictObjectKeys = deepStrictObjectKeys;
+/**
+ * @title Runtime Function for Extracting All Nested Keys from an Object.
+ *
+ * Recursively traverses the input object and returns a flat array of all key paths
+ * using dot notation. Nested objects produce paths like `"a.b.c"`, and arrays produce
+ * indexed paths at runtime.
+ *
+ * This is the runtime counterpart of the {@link DeepStrictObjectKeys} type.
+ *
+ * @template Target - The object type to extract keys from
+ * @template Joiner - Separator symbols (defaults to `{ array: '[*]', object: '.' }`)
+ * @param target - The object instance to extract keys from
+ * @returns An array of all dot-notation key paths in the object
+ *
+ * @example
+ * ```ts
+ * const keys = deepStrictObjectKeys({ a: { b: 1, c: 2 } });
+ * // keys: ["a", "a.b", "a.c"]
+ * ```
+ */
 function deepStrictObjectKeys(target) {
     let joiner = { array: '[*]', object: '.' };
     if (joiner === undefined) {

package/bin/src/functions/DeepStrictObjectKeys.js.map

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictObjectKeys.js","sourceRoot":"","sources":["../../../src/functions/DeepStrictObjectKeys.ts"],"names":[],"mappings":";;AAmBA,oDAwBC;AAxBD,SAAgB,oBAAoB,CAGlC,MAAc;IACd,IAAI,MAAM,GAAW,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAY,CAAC;IAC7D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAY,CAAC;IACnD,CAAC;IAED,MAAM,QAAQ,GAAG,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAEvB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,IAAI,MAAM,EAAE,CAAC;YAClB,MAAM,KAAK,GAAI,MAAc,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAChD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzE,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAA+B,CAAC;AACrE,CAAC"}
+{"version":3,"file":"DeepStrictObjectKeys.js","sourceRoot":"","sources":["../../../src/functions/DeepStrictObjectKeys.ts"],"names":[],"mappings":";;AA8CA,oDAwBC;AA5CD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAgB,oBAAoB,CAGlC,MAAc;IACd,IAAI,MAAM,GAAW,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAY,CAAC;IAC7D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAY,CAAC;IACnD,CAAC;IAED,MAAM,QAAQ,GAAG,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IAEvB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,IAAI,MAAM,EAAE,CAAC;YAClB,MAAM,KAAK,GAAI,MAAc,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAChD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC;gBACzE,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,CAA+B,CAAC;AACrE,CAAC"}

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

@@ -1,10 +1,28 @@
 import { DeepStrictUnbrand } from './DeepStrictUnbrand';
 /**
- * A utility type that recursively converts all `Date` types within a nested object or array to `string`.
+ * @title Type for Recursively Converting All Date Types to String.
  *
- * - If `T` is an array of objects, the type processes each element recursively.
- * - If `T` is a `Date`, it is converted to `string`.
- * - If `T` is an object, each key is checked recursively for `Date` types or nested objects.
+ * A utility type that recursively traverses a nested object or array type and converts
+ * every `Date` type to `string`. This is useful for representing serialized forms of objects
+ * where dates are transmitted as ISO strings (e.g., JSON responses from APIs).
+ *
+ * Conversion rules:
+ * - If `T` is an array of objects, each element is processed recursively.
+ * - If `T` is a `Date`, it becomes `string`.
+ * - If `T` is an object, each property is checked: `Date` properties become `string`,
+ *   nested objects are recursed into, and primitives are preserved as-is.
+ * - Union types containing `Date` (e.g., `Date | null`) have only the `Date` portion converted.
+ * - Branded types are unbranded via {@link DeepStrictUnbrand} before recursion.
+ *
+ * @template T - The object type to convert
+ * @returns A new type with all `Date` occurrences replaced by `string`
+ *
+ * @example
+ * ```typescript
+ * type Ex1 = DeepDateToString<{ created: Date; name: string }>; // { created: string; name: string }
+ * type Ex2 = DeepDateToString<{ items: { date: Date }[] }>; // { items: { date: string }[] }
+ * type Ex3 = DeepDateToString<{ prop: Date | null }>; // { prop: string | null }
+ * ```
  */
 export type DeepDateToString<T extends object> = DeepStrictUnbrand<T> extends Array<infer I extends object> ? Array<DeepDateToString<I>> : T extends Date ? string : {
     [K in keyof T]: T[K] extends infer I ? I extends Date ? string : DeepStrictUnbrand<I> extends object ? DeepDateToString<DeepStrictUnbrand<I>> : I : never;

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

@@ -1 +1 @@
-{"version":3,"file":"DeepDateToString.d.ts","sourceRoot":"","sources":["../../../src/types/DeepDateToString.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAC3C,iBAAiB,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACtD,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,GAC1B,CAAC,SAAS,IAAI,GACZ,MAAM,GACN;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAChC,CAAC,SAAS,IAAI,GACZ,MAAM,GACN,iBAAiB,CAAC,CAAC,CAAC,SAAS,MAAM,GACjC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACtC,CAAC,GACL,KAAK;CACV,CAAC"}
+{"version":3,"file":"DeepDateToString.d.ts","sourceRoot":"","sources":["../../../src/types/DeepDateToString.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAC3C,iBAAiB,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACtD,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,GAC1B,CAAC,SAAS,IAAI,GACZ,MAAM,GACN;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAChC,CAAC,SAAS,IAAI,GACZ,MAAM,GACN,iBAAiB,CAAC,CAAC,CAAC,SAAS,MAAM,GACjC,gBAAgB,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACtC,CAAC,GACL,KAAK;CACV,CAAC"}

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

@@ -25,6 +25,17 @@ declare namespace DeepStrictMerge {
  * 2. For array types, if both `Target` and `Source` are arrays and their elements are objects, those elements are merged.
  *    - If the elements of the arrays are not objects, merging is not possible.
  * 3. If only one of the types is an array, merging is not possible.
+ *
+ * @template Target - The primary object type. Its values take precedence on overlapping keys.
+ * @template Source - The secondary object type whose unique keys are added to the result.
+ * @returns A deeply merged object type combining `Target` and `Source`
+ *
+ * @example
+ * ```ts
+ * type Ex1 = DeepStrictMerge<{ a: 1 }, { b: 2 }>; // { a: 1; b: 2 }
+ * type Ex2 = DeepStrictMerge<{ a: { b: 1 } }, { a: { c: 2 } }>; // { a: { b: 1; c: 2 } }
+ * type Ex3 = DeepStrictMerge<{ a: 1 }, { a: 2 }>; // { a: 1 } (Target wins)
+ * ```
  */
 export type DeepStrictMerge<Target extends object, Source extends object> = Target extends Array<infer TE extends object> ? Source extends Array<infer PE extends object> ? DeepStrictMerge.Infer<TE, PE>[] : never : DeepStrictMerge.Infer<Target, Source>;
 export {};

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

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictMerge.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictMerge.ts"],"names":[],"mappings":"AAAA,kBAAU,eAAe,CAAC;IACxB;;;;;;;;;;OAUG;IACH,KAAY,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,IAAI;SAE/D,GAAG,IAAI,MAAM,MAAM,GAAG,MAAM,MAAM,GAAG,GAAG,SAAS,MAAM,MAAM,GAC1D,GAAG,SAAS,MAAM,MAAM,GACtB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,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,KAAK,GACP,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,GACjC,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,GAAG,SAAS,MAAM,MAAM,GACtB,GAAG,SAAS,MAAM,MAAM,GACtB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,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,KAAK,GACP,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,GACjC,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,KAAK;KACZ,CAAC;CACH;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,eAAe,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,IACtE,MAAM,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,GACzC,MAAM,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,GAC3C,eAAe,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAC/B,KAAK,GACP,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC"}
+{"version":3,"file":"DeepStrictMerge.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictMerge.ts"],"names":[],"mappings":"AAAA,kBAAU,eAAe,CAAC;IACxB;;;;;;;;;;OAUG;IACH,KAAY,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,IAAI;SAE/D,GAAG,IAAI,MAAM,MAAM,GAAG,MAAM,MAAM,GAAG,GAAG,SAAS,MAAM,MAAM,GAC1D,GAAG,SAAS,MAAM,MAAM,GACtB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,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,KAAK,GACP,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,GACjC,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,GAAG,SAAS,MAAM,MAAM,GACtB,GAAG,SAAS,MAAM,MAAM,GACtB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GACxB,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,KAAK,GACP,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,GACjC,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,MAAM,CAAC,GAAG,CAAC,GACb,KAAK;KACZ,CAAC;CACH;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,eAAe,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,SAAS,MAAM,IACtE,MAAM,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,GACzC,MAAM,SAAS,KAAK,CAAC,MAAM,EAAE,SAAS,MAAM,CAAC,GAC3C,eAAe,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAC/B,KAAK,GACP,eAAe,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC"}

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

@@ -30,9 +30,10 @@ declare namespace DeepStrictObjectKeys {
  * type Example1 = DeepStrictObjectKeys<{ a: { b: 1; c: 2 } }>; // "a" | "a.b" | "a.c"
  * type Example2 = DeepStrictObjectKeys<{ a: { b: 1; c: { d: number }[] } }>; // "a" | "a.b" | "a.c" | "a.c[*].d"
  * ```
- * @template Target Destination type for which you want to pull a key
- * @template Joiner It means what symbol to connect when recursively spinning superimposed types.
- * @template IsSafe When a key is a combination type of a primitive type and an object, it means whether to perform a recursive search or not.
+ * @template Target - The object type to extract nested keys from
+ * @template Joiner - Defines the separator symbols for joining nested paths. `array` is used for array access (default `'[*]'`), `object` is used for object access (default `'.'`).
+ * @template IsSafe - When `true`, stops at union types that mix primitives and objects without recursing into them. When `false`, recursively explores all branches of such union types.
+ * @returns A union of all dot-notation key paths in `Target`
  */
 export type DeepStrictObjectKeys<Target extends object, Joiner extends {
     array: string;

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

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictObjectKeys.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictObjectKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,kBAAU,oBAAoB,CAAC;IAC7B;;;;;;OAMG;IACH,KAAY,KAAK,CACf,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,MAAM,EAAE,GAAG,CAAA;KAAE,EAChF,MAAM,SAAS,OAAO,GAAG,IAAI,EAC7B,CAAC,SAAS,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,EAAE,CAAC,IACtD,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GACxB,KAAK,GACL,CAAC,SAAS,MAAM,GACd,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7B,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,IAAI,GAC9B,CAAC,GAEC,CAAC,GACC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GACtB,CAAC,SAAS,SAAS,GACjB,CAAC,GACD,CAAC,SAAS,MAAM,GACd,CAAC,SAAS,KAAK,CAAC,MAAM,QAAQ,SAAS,MAAM,CAAC,GAE1C,CAAC,GAEC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GAEjF,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GACtD,KAAK,GACT,KAAK,CAAC,GAChB,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,SAAS,MAAM,CAAC,GAEjD,CAAC,GAEC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,GAC/E,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,QAAQ,CAAC,GAErC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,IAAI,GAC9B,CAAC,GACD,CAAC,GAAG,KAAK,GACX,MAAM,CAAC,CAAC,CAAC,SAAS,SAAS,GACzB,CAAC,GACD,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3B,CAAC,GACD,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,GACtB,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACrC,GAAG,CAAC,EAAE,GACN,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,GACtE,KAAK,GACjB,KAAK,CAAC;CACb;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,oBAAoB,CAC9B,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IACjD,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,GAAG,CAAC;CACb,EACD,MAAM,SAAS,OAAO,GAAG,IAAI,IAG7B,iBAAiB,CAAC,MAAM,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,CAAC,GAElD,KAAK,CAAC,OAAO,CAAC,SAAS,IAAI,GACzB,MAAM,CAAC,OAAO,CAAC,GACf,OAAO,SAAS,MAAM,GAEpB,AADA,0EAA0E;AAC1E,MAAM,CAAC,OAAO,CAAC,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GAEvF,MAAM,CAAC,OAAO,CAAC,GACnB,iBAAiB,CAAC,MAAM,CAAC,SAAS,SAAS,CAAC,MAAM,OAAO,CAAC,EAAE,GAC1D,KAAK,CAAC,OAAO,CAAC,SAAS,IAAI,GACzB,MAAM,CAAC,OAAO,CAAC,GACf,OAAO,SAAS,MAAM,GACpB,MAAM,CAAC,OAAO,CAAC,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GACvF,MAAM,CAAC,OAAO,CAAC,GAEnB,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC"}
+{"version":3,"file":"DeepStrictObjectKeys.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictObjectKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAChC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,kBAAU,oBAAoB,CAAC;IAC7B;;;;;;OAMG;IACH,KAAY,KAAK,CACf,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG;QAAE,KAAK,EAAE,KAAK,CAAC;QAAC,MAAM,EAAE,GAAG,CAAA;KAAE,EAChF,MAAM,SAAS,OAAO,GAAG,IAAI,EAC7B,CAAC,SAAS,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,MAAM,EAAE,MAAM,EAAE,CAAC,IACtD,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GACxB,KAAK,GACL,CAAC,SAAS,MAAM,GACd,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7B,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,IAAI,GAC9B,CAAC,GAEC,CAAC,GACC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GACtB,CAAC,SAAS,SAAS,GACjB,CAAC,GACD,CAAC,SAAS,MAAM,GACd,CAAC,SAAS,KAAK,CAAC,MAAM,QAAQ,SAAS,MAAM,CAAC,GAE1C,CAAC,GAEC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GAEjF,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GACtD,KAAK,GACT,KAAK,CAAC,GAChB,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,SAAS,MAAM,CAAC,GAEjD,CAAC,GAEC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,GAC/E,MAAM,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,QAAQ,CAAC,GAErC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,IAAI,GAC9B,CAAC,GACD,CAAC,GAAG,KAAK,GACX,MAAM,CAAC,CAAC,CAAC,SAAS,SAAS,GACzB,CAAC,GACD,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAC3B,CAAC,GACD,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,GACtB,MAAM,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACrC,GAAG,CAAC,EAAE,GACN,GAAG,CAAC,EAAE,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,GACtE,KAAK,GACjB,KAAK,CAAC;CACb;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,oBAAoB,CAC9B,MAAM,SAAS,MAAM,EACrB,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IACjD,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,GAAG,CAAC;CACb,EACD,MAAM,SAAS,OAAO,GAAG,IAAI,IAG7B,iBAAiB,CAAC,MAAM,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,CAAC,GAElD,KAAK,CAAC,OAAO,CAAC,SAAS,IAAI,GACzB,MAAM,CAAC,OAAO,CAAC,GACf,OAAO,SAAS,MAAM,GAEpB,AADA,0EAA0E;AAC1E,MAAM,CAAC,OAAO,CAAC,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GAEvF,MAAM,CAAC,OAAO,CAAC,GACnB,iBAAiB,CAAC,MAAM,CAAC,SAAS,SAAS,CAAC,MAAM,OAAO,CAAC,EAAE,GAC1D,KAAK,CAAC,OAAO,CAAC,SAAS,IAAI,GACzB,MAAM,CAAC,OAAO,CAAC,GACf,OAAO,SAAS,MAAM,GACpB,MAAM,CAAC,OAAO,CAAC,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,GACvF,MAAM,CAAC,OAAO,CAAC,GAEnB,oBAAoB,CAAC,KAAK,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC"}

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

@@ -3,6 +3,16 @@ import type { IsAny } from './IsAny';
 import type { IsUnion } from './IsUnion';
 import type { ValueType } from './ValueType';
 declare namespace DeepStrictObjectLastKeys {
+    /**
+     * @internal Recursively extracts only the leaf-level (last) keys from a nested object type.
+     *
+     * Unlike {@link DeepStrictObjectKeys.Infer}, this type skips intermediate keys and only
+     * returns the deepest reachable paths. Union-typed properties are treated as leaf keys.
+     *
+     * @template T - The object type to extract leaf keys from
+     * @template Joiner - Separator symbols for array and object paths
+     * @template P - The current property keys being processed
+     */
     type Infer<T extends object, Joiner extends {
         array: string;
         object: string;
@@ -20,10 +30,15 @@ declare namespace DeepStrictObjectLastKeys {
  * - For arrays, it appends array indices (`[*]`) followed by the key of the element.
  * - For objects, it recursively traverses the nested structure and appends the last level keys.
  *
- * Example Usage:
+ * @template T - The object type to extract leaf keys from
+ * @template Joiner - Defines the separator symbols for joining nested paths. `array` is used for array access (default `'[*]'`), `object` is used for object access (default `'.'`).
+ * @template P - The property keys of `T` to iterate over (defaults to `keyof T`)
+ * @returns A union of dot-notation strings representing only the deepest (leaf) keys in `T`
+ *
+ * @example
  * ```ts
- * type Example1 = DeepStrictObjectLastKeys<{ a: { b: { c: number[] } } }>; // "a.b.c"
- * type Example2 = DeepStrictObjectLastKeys<{ a: { b: number[]; c: { d: string }[] } }>; // "a.b" | "a.c" | "a.c[*].d"
+ * type Ex1 = DeepStrictObjectLastKeys<{ a: { b: { c: number[] } } }>; // "a.b.c"
+ * type Ex2 = DeepStrictObjectLastKeys<{ a: { b: number[]; c: { d: string }[] } }>; // "a.b" | "a.c[*].d"
  * ```
  */
 export type DeepStrictObjectLastKeys<T extends object, Joiner extends {

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

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictObjectLastKeys.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictObjectLastKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,kBAAU,wBAAwB,CAAC;IACjC,KAAY,KAAK,CACf,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS;QACb,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;KAChB,GAAG;QACF,KAAK,EAAE,KAAK,CAAC;QACb,MAAM,EAAE,GAAG,CAAC;KACb,EACD,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,IACzB,CAAC,SAAS,MAAM,GAChB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,CAAC,GACD,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,SAAS,MAAM,CAAC,GAC9C,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,GACpE,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GACpB,CAAC,GACD,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACtB,CAAC,GACD,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GACjB,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,QAAQ,CAAC,GAChC,CAAC,GACD,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAChC,KAAK,GACL,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GACnD,KAAK,GACf,KAAK,CAAC;CACX;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,wBAAwB,CAClC,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IACjD,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,GAAG,CAAC;CACb,EACD,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,IAE3B,iBAAiB,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,CAAC,GAC7C,OAAO,SAAS,MAAM,GACpB,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,GACjE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAC1B,wBAAwB,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"DeepStrictObjectLastKeys.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictObjectLastKeys.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,kBAAU,wBAAwB,CAAC;IACjC;;;;;;;;;OASG;IACH,KAAY,KAAK,CACf,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS;QACb,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,CAAC;KAChB,GAAG;QACF,KAAK,EAAE,KAAK,CAAC;QACb,MAAM,EAAE,GAAG,CAAC;KACb,EACD,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,IACzB,CAAC,SAAS,MAAM,GAChB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,CAAC,GACD,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,SAAS,MAAM,CAAC,GAC9C,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,GACpE,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GACpB,CAAC,GACD,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACtB,CAAC,GACD,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GACjB,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,QAAQ,CAAC,GAChC,CAAC,GACD,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAChC,KAAK,GACL,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GACnD,KAAK,GACf,KAAK,CAAC;CACX;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,wBAAwB,CAClC,CAAC,SAAS,MAAM,EAChB,MAAM,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG;IACjD,KAAK,EAAE,KAAK,CAAC;IACb,MAAM,EAAE,GAAG,CAAC;CACb,EACD,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,CAAC,IAE3B,iBAAiB,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,CAAC,GAC7C,OAAO,SAAS,MAAM,GACpB,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,GACjE,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAC1B,wBAAwB,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}

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

@@ -1,6 +1,19 @@
 import type { DeepStrictObjectKeys } from './DeepStrictObjectKeys';
 import type { GetElementMember } from './GetMember';
 declare namespace DeepStrictOmit {
+    /**
+     * @internal Recursively omits keys from a non-array object type.
+     *
+     * Handles three cases for each property:
+     * - Array of objects: recurses into array elements using {@link GetElementMember} to extract sub-keys
+     * - Object (non-Date): recurses into the nested object
+     * - Primitive / Date / array of primitives: preserves as-is
+     *
+     * Top-level keys that exactly match `K` are removed via the `as` clause.
+     *
+     * @template T - The object type to omit keys from
+     * @template K - The dot-notation key paths to omit (must be valid keys of `T`)
+     */
     type Infer<T extends object, K extends DeepStrictObjectKeys<T>> = [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];
     };

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

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictOmit.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictOmit.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEpD,kBAAU,cAAc,CAAC;IACvB,KAAY,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACxF,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;CACP;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,IAC5E,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,SAAS,MAAM,CAAC,GACzC,KAAK,CACH,cAAc,CACZ,OAAO,EACP,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,oBAAoB,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAChG,CACF,GACD,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"DeepStrictOmit.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictOmit.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAEpD,kBAAU,cAAc,CAAC;IACvB;;;;;;;;;;;;OAYG;IACH,KAAY,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACxF,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;CACP;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,IAC5E,CAAC,SAAS,KAAK,CAAC,MAAM,OAAO,SAAS,MAAM,CAAC,GACzC,KAAK,CACH,cAAc,CACZ,OAAO,EACP,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,oBAAoB,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAChG,CACF,GACD,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC"}

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

@@ -1,5 +1,18 @@
 declare namespace DeepStrictUnbrand {
+    /**
+     * @internal Union of all JavaScript primitive types.
+     * Used to detect branded primitives (primitives intersected with `Record<any, any>`).
+     */
     type Primitive = string | number | boolean | symbol | null | undefined;
+    /**
+     * @internal Strips branding from a single branded primitive type.
+     *
+     * A "branded primitive" is a type like `string & { __brand: 'email' }`.
+     * This type pattern-matches the base primitive and returns it without the brand.
+     *
+     * @template T - A branded primitive type (must extend both `Primitive` and `Record<any, any>`)
+     * @returns The underlying primitive type with branding removed
+     */
     type Infer<T extends Primitive & Record<any, any>> = T extends string & Record<any, any> ? string : T extends number & Record<any, any> ? number : T extends boolean & Record<any, any> ? boolean : T extends symbol & Record<any, any> ? symbol : T extends null & Record<any, any> ? null : T extends undefined & Record<any, any> ? undefined : T;
 }
 /**

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

@@ -1 +1 @@
-{"version":3,"file":"DeepStrictUnbrand.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictUnbrand.ts"],"names":[],"mappings":"AAAA,kBAAU,iBAAiB,CAAC;IAC1B,KAAY,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IAC9E,KAAY,KAAK,CAAC,CAAC,SAAS,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAC3F,MAAM,GACN,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GACjC,MAAM,GACN,CAAC,SAAS,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAClC,OAAO,GACP,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GACjC,MAAM,GACN,CAAC,SAAS,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAC/B,IAAI,GACJ,CAAC,SAAS,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GACpC,SAAS,GACT,CAAC,CAAC;CACjB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,GAC3C,EAAE,GACF,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACrC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAC3B,CAAC,SAAS,iBAAiB,CAAC,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,GAC1D,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,GAC1B,CAAC,SAAS,IAAI,GACZ,CAAC,GACD;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAC/B,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvB,CAAC,CAAC,CAAC,CAAC;CACT,CAAC"}
+{"version":3,"file":"DeepStrictUnbrand.d.ts","sourceRoot":"","sources":["../../../src/types/DeepStrictUnbrand.ts"],"names":[],"mappings":"AAAA,kBAAU,iBAAiB,CAAC;IAC1B;;;OAGG;IACH,KAAY,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IAE9E;;;;;;;;OAQG;IACH,KAAY,KAAK,CAAC,CAAC,SAAS,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAC3F,MAAM,GACN,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GACjC,MAAM,GACN,CAAC,SAAS,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAClC,OAAO,GACP,CAAC,SAAS,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GACjC,MAAM,GACN,CAAC,SAAS,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAC/B,IAAI,GACJ,CAAC,SAAS,SAAS,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GACpC,SAAS,GACT,CAAC,CAAC;CACjB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,GAC3C,EAAE,GACF,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACrC,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAC3B,CAAC,SAAS,iBAAiB,CAAC,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,GAC1D,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,GAC1B,CAAC,SAAS,IAAI,GACZ,CAAC,GACD;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAC/B,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvB,CAAC,CAAC,CAAC,CAAC;CACT,CAAC"}

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

@@ -13,10 +13,13 @@ type Expression<X> = <T>() => T extends X ? 1 : 2;
  * equal, and `false` otherwise.
  *
  * This type performs a strict equality check that distinguishes between:
- * - `any` vs other types
- * - `unknown` vs other types
  * - Union types with different members
  * - Branded types vs their base types
+ * - Optional vs required properties
+ *
+ * **Known limitation:** Due to how TypeScript resolves `any` in generic function signatures,
+ * `Equal<any, T>` returns `true` for any `T`. This means `any` cannot be distinguished
+ * from specific types using this approach.
  *
  * @template X - The first type to compare
  * @template Y - The second type to compare
@@ -30,8 +33,8 @@ type Expression<X> = <T>() => T extends X ? 1 : 2;
  * type Test4 = Equal<string | number, number | string>; // true (order doesn't matter)
  * type Test5 = Equal<{ a: string }, { a: string }>; // true
  * type Test6 = Equal<{ a: string }, { a: string; b?: string }>; // false
- * type Test7 = Equal<any, string>; // false
- * type Test8 = Equal<unknown, any>; // false
+ * type Test7 = Equal<any, string>; // true (known limitation)
+ * type Test8 = Equal<unknown, any>; // true (known limitation)
  * type Test9 = Equal<string & { __brand: 'ID' }, string>; // false (branded types)
  * ```
  */

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

@@ -1 +1 @@
-{"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../../src/types/Equal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAElD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC"}
+{"version":3,"file":"Equal.d.ts","sourceRoot":"","sources":["../../../src/types/Equal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAElD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC"}

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

@@ -1,14 +1,19 @@
 /**
- * @title Type for checking if a type is `any`.
+ * @title Type for Checking if a Type is `any`.
  *
- * This type uses a conditional check to determine if the provided type `T` is `any`.
- * - It works by checking if the type `T` extends from a condition that results in `true` when `T` is `any`, and `false` otherwise.
- * - If `T` is `any`, it resolves to `true`, otherwise it resolves to `false`.
+ * Determines whether the provided type `T` is `any`. It leverages the fact that `any`
+ * is the only type where `0 extends 1 & T` evaluates to `true`, because `1 & any` collapses
+ * to `any`, and `0 extends any` is always true.
  *
- * Example usage:
- * ```ts
+ * @template T - The type to check
+ * @returns `true` if `T` is `any`, `false` otherwise
+ *
+ * @example
+ * ```typescript
  * type Test1 = IsAny<any>; // true
  * type Test2 = IsAny<string>; // false
+ * type Test3 = IsAny<unknown>; // false
+ * type Test4 = IsAny<never>; // false
  * ```
  */
 export type IsAny<T> = 0 extends 1 & T ? true : false;

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

@@ -1 +1 @@
-{"version":3,"file":"IsAny.d.ts","sourceRoot":"","sources":["../../../src/types/IsAny.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC"}
+{"version":3,"file":"IsAny.d.ts","sourceRoot":"","sources":["../../../src/types/IsAny.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC"}

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

@@ -1,3 +1,25 @@
 import { ElementOf } from './ElementOf';
+/**
+ * @title Type for Generating Wildcard Patterns for Descendant Keys.
+ *
+ * A helper type used by {@link DeepStrictPick} to generate string patterns that match
+ * all keys below a given path in a nested object. This allows `DeepStrictPick` to preserve
+ * child properties when selecting a parent key.
+ *
+ * For object properties, it produces `"key.${string}"` patterns.
+ * For array properties, it produces `"key[*].${string}"` patterns.
+ * The type recurses through the object structure following the key path `K`.
+ *
+ * @template T - The object type to traverse
+ * @template K - The key path to generate descendant patterns for
+ * @returns A template literal type matching all descendant keys, or `never` if the path is invalid
+ *
+ * @example
+ * ```typescript
+ * type Ex1 = RemoveAfterDot<{ a: { b: number } }, "a">; // `a.${string}`
+ * type Ex2 = RemoveAfterDot<{ items: { name: string }[] }, "items">; // `items[*].${string}`
+ * type Ex3 = RemoveAfterDot<{ a: { b: { c: number } } }, "a.b">; // `a.b.${string}`
+ * ```
+ */
 export type RemoveAfterDot<T extends object, K extends string> = K extends `${infer First}.${infer Last}` ? First extends keyof T ? T[First] extends Array<any> ? `${First}[*].${string}` : T[First] extends object ? `${First}.${RemoveAfterDot<T[First], Last>}` : never : First extends '[*]' ? T extends Array<any> ? RemoveAfterDot<ElementOf<T>, Last> : never : First extends `${infer Second extends string}[*]` ? Second extends keyof T ? T[Second] extends object ? `${First}.${RemoveAfterDot<T[Second], Last>}` : never : never : never : K extends keyof T ? T[K] extends Array<any> ? `${K}[*].${string}` : `${K}.${string}` : T extends Array<any> ? RemoveAfterDot<ElementOf<T>, K> : never;
 //# sourceMappingURL=RemoveAfterDot.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"RemoveAfterDot.d.ts","sourceRoot":"","sources":["../../../src/types/RemoveAfterDot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,GACrG,KAAK,SAAS,MAAM,CAAC,GACnB,CAAC,CAAC,KAAK,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GACzB,GAAG,KAAK,OAAO,MAAM,EAAE,GACvB,CAAC,CAAC,KAAK,CAAC,SAAS,MAAM,GACrB,GAAG,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,GAC5C,KAAK,GACT,KAAK,SAAS,KAAK,GACjB,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GAClB,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAClC,KAAK,GACP,KAAK,SAAS,GAAG,MAAM,MAAM,SAAS,MAAM,KAAK,GAC/C,MAAM,SAAS,MAAM,CAAC,GACpB,CAAC,CAAC,MAAM,CAAC,SAAS,MAAM,GACtB,GAAG,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,EAAE,GAC7C,KAAK,GACP,KAAK,GACP,KAAK,GACX,CAAC,SAAS,MAAM,CAAC,GACf,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GACrB,GAAG,CAAC,OAAO,MAAM,EAAE,GACnB,GAAG,CAAC,IAAI,MAAM,EAAE,GAClB,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GAClB,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,KAAK,CAAC"}
+{"version":3,"file":"RemoveAfterDot.d.ts","sourceRoot":"","sources":["../../../src/types/RemoveAfterDot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,GACrG,KAAK,SAAS,MAAM,CAAC,GACnB,CAAC,CAAC,KAAK,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GACzB,GAAG,KAAK,OAAO,MAAM,EAAE,GACvB,CAAC,CAAC,KAAK,CAAC,SAAS,MAAM,GACrB,GAAG,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,GAC5C,KAAK,GACT,KAAK,SAAS,KAAK,GACjB,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GAClB,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAClC,KAAK,GACP,KAAK,SAAS,GAAG,MAAM,MAAM,SAAS,MAAM,KAAK,GAC/C,MAAM,SAAS,MAAM,CAAC,GACpB,CAAC,CAAC,MAAM,CAAC,SAAS,MAAM,GACtB,GAAG,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,EAAE,GAC7C,KAAK,GACP,KAAK,GACP,KAAK,GACX,CAAC,SAAS,MAAM,CAAC,GACf,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GACrB,GAAG,CAAC,OAAO,MAAM,EAAE,GACnB,GAAG,CAAC,IAAI,MAAM,EAAE,GAClB,CAAC,SAAS,KAAK,CAAC,GAAG,CAAC,GAClB,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,KAAK,CAAC"}

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

@@ -1,10 +1,22 @@
 /**
- * @title The type that draws only objects from key names that infer members.
+ * @title Type for Stripping the Array Symbol Suffix from a Key String.
  *
- * It is a helper type for use in other types, a type that cuts the back string to infer objects among keys inferred as {@link DeepStrictObjectKeys}.
+ * A helper type that removes the trailing array symbol (default `[*]`) from a key string.
+ * Used internally by {@link GetType} and other types to extract the base property name
+ * from keys that include array notation.
  *
- * ```ts
- * type Example = RemoveArraySymbol<"a[]">; // a
+ * If the string does not end with the array symbol, it is returned unchanged.
+ *
+ * @template T - The key string to process
+ * @template ArraySymbol - The array symbol to strip (defaults to `[*]`)
+ * @returns The key string with the trailing array symbol removed, or the original string if no match
+ *
+ * @example
+ * ```typescript
+ * type Ex1 = RemoveArraySymbol<"items[*]">; // "items"
+ * type Ex2 = RemoveArraySymbol<"items">; // "items"
+ * type Ex3 = RemoveArraySymbol<"[*]">; // ""
+ * type Ex4 = RemoveArraySymbol<"data[]", "[]">; // "data"
  * ```
  */
 export type RemoveArraySymbol<T extends string, ArraySymbol extends string = '[*]'> = T extends `${infer P}${ArraySymbol}` ? P : T;

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

@@ -1 +1 @@
-{"version":3,"file":"RemoveArraySymbol.d.ts","sourceRoot":"","sources":["../../../src/types/RemoveArraySymbol.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,MAAM,MAAM,iBAAiB,CAC3B,CAAC,SAAS,MAAM,EAChB,WAAW,SAAS,MAAM,GAAG,KAAK,IAChC,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC"}
+{"version":3,"file":"RemoveArraySymbol.d.ts","sourceRoot":"","sources":["../../../src/types/RemoveArraySymbol.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,iBAAiB,CAC3B,CAAC,SAAS,MAAM,EAChB,WAAW,SAAS,MAAM,GAAG,KAAK,IAChC,CAAC,SAAS,GAAG,MAAM,CAAC,GAAG,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC"}

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

@@ -1,2 +1,23 @@
+/**
+ * @title Type for Extracting All Parent Path Segments from a Dot-Notation Key.
+ *
+ * A helper type used by {@link DeepStrictPick} to extract all intermediate (parent) paths
+ * from a dot-notation key string. When picking a nested key like `"a.b.c"`, the parent
+ * paths `"a"` and `"a.b"` must be preserved in the result. This type generates those paths.
+ *
+ * For paths containing array notation (`[*]`), both the array path and the base key
+ * without `[*]` are included.
+ *
+ * @template S - The dot-notation key string to extract parent paths from
+ * @returns A union of all parent path segments, or `never` if the key has no dots
+ *
+ * @example
+ * ```typescript
+ * type Ex1 = RemoveLastProperty<"a.b">; // "a"
+ * type Ex2 = RemoveLastProperty<"a.b.c">; // "a" | "a.b"
+ * type Ex3 = RemoveLastProperty<"a[*].b">; // "a[*]" | "a"
+ * type Ex4 = RemoveLastProperty<"a">; // never
+ * ```
+ */
 export type RemoveLastProperty<S extends string> = S extends `${infer First}.${infer Last}` ? First extends `${infer ObjectPart}[*]` ? First | ObjectPart | `${First}.${RemoveLastProperty<Last>}` : `${First}` | `${First}.${RemoveLastProperty<Last>}` : never;
 //# sourceMappingURL=RemoveLastProperty.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"RemoveLastProperty.d.ts","sourceRoot":"","sources":["../../../src/types/RemoveLastProperty.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,GACvF,KAAK,SAAS,GAAG,MAAM,UAAU,KAAK,GACpC,KAAK,GAAG,UAAU,GAAG,GAAG,KAAK,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,GAC3D,GAAG,KAAK,EAAE,GAAG,GAAG,KAAK,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,GACrD,KAAK,CAAC"}
+{"version":3,"file":"RemoveLastProperty.d.ts","sourceRoot":"","sources":["../../../src/types/RemoveLastProperty.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,GACvF,KAAK,SAAS,GAAG,MAAM,UAAU,KAAK,GACpC,KAAK,GAAG,UAAU,GAAG,GAAG,KAAK,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,GAC3D,GAAG,KAAK,EAAE,GAAG,GAAG,KAAK,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,GACrD,KAAK,CAAC"}

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

@@ -1,9 +1,34 @@
 import { StringType } from '@kakasoo/proto-typescript';
+/** @internal Converts a union type to an intersection type. */
 type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+/** @internal Extracts the portion before the first dot in a string. */
 type BeforeDot<T extends string> = T extends `${infer Before}.${infer _}` ? Before : never;
+/** @internal Extracts the portion after the first dot in a string. */
 type AfterDot<T extends string> = T extends `${infer _}.${infer After}` ? After : never;
+/** @internal Extracts a union of all property value types from an object. */
 type ValueOf<T> = T[keyof T];
+/** @internal Converts a string or number type to its string literal representation. */
 type ToString<T> = T extends string ? T : T extends number ? `${T}` : never;
+/**
+ * @title Type for Converting a Comma-Separated Dot-Notation String to a Nested Object Type.
+ *
+ * Converts a string like `"a.b,c"` into a nested object type `{ a: { b: any }; c: any }`.
+ * Comma-separated segments produce an intersection of records, and dot-separated segments
+ * produce nested `Record` types. Leaf values are typed as `any`.
+ *
+ * @template T - The comma-separated dot-notation string to convert
+ * @template P - The split string segments (defaults to splitting T by comma)
+ * @returns A nested object type representing the string structure
+ *
+ * @example
+ * ```typescript
+ * type Ex1 = StringToDeepObject<"a">; // { a: any }
+ * type Ex2 = StringToDeepObject<"a.b">; // { a: { b: any } }
+ * type Ex3 = StringToDeepObject<"a,b">; // { a: any; b: any }
+ * type Ex4 = StringToDeepObject<"a.b,c">; // { a: { b: any }; c: any }
+ * type Ex5 = StringToDeepObject<"a.b.c">; // { a: { b: { c: any } } }
+ * ```
+ */
 export type StringToDeepObject<T extends string, P extends string[] = StringType.Split<T, ','>> = UnionToIntersection<ValueOf<{
     [key in P[number]]: StringType.Includes<key, '.'> extends true ? Record<BeforeDot<key>, StringToDeepObject<ToString<AfterDot<key>>>> : Record<key, any>;
 }>>;

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

@@ -1 +1 @@
-{"version":3,"file":"StringToDeepObject.d.ts","sourceRoot":"","sources":["../../../src/types/StringToDeepObject.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAEvD,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAChH,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,MAAM,IAAI,MAAM,CAAC,EAAE,GAAG,MAAM,GAAG,KAAK,CAAC;AAC3F,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,KAAK,EAAE,GAAG,KAAK,GAAG,KAAK,CAAC;AACxF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7B,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,CAAC,SAAS,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC;AAE5E,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,mBAAmB,CACnH,OAAO,CAAC;KACL,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,IAAI,GAC1D,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GACnE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;CACrB,CAAC,CACH,CAAC"}
+{"version":3,"file":"StringToDeepObject.d.ts","sourceRoot":"","sources":["../../../src/types/StringToDeepObject.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAEvD,+DAA+D;AAC/D,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEhH,uEAAuE;AACvE,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,MAAM,IAAI,MAAM,CAAC,EAAE,GAAG,MAAM,GAAG,KAAK,CAAC;AAE3F,sEAAsE;AACtE,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,KAAK,EAAE,GAAG,KAAK,GAAG,KAAK,CAAC;AAExF,6EAA6E;AAC7E,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAE7B,uFAAuF;AACvF,KAAK,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,CAAC,SAAS,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC;AAE5E;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,mBAAmB,CACnH,OAAO,CAAC;KACL,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,IAAI,GAC1D,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GACnE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC;CACrB,CAAC,CACH,CAAC"}

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

@@ -1,2 +1,19 @@
+/**
+ * @title Union Type of All Primitive and Date Types.
+ *
+ * A union of all JavaScript primitive types and `Date`. This type is used internally
+ * by {@link DeepStrictObjectKeys} and other recursive types to determine when to stop
+ * recursion. Properties whose type extends `ValueType` are treated as leaf nodes
+ * and are not recursively traversed.
+ *
+ * Note that `Date` is included because, although it is technically an object,
+ * it should not be recursively explored for nested keys.
+ *
+ * @example
+ * ```typescript
+ * type IsValue = number extends ValueType ? true : false; // true
+ * type IsNotValue = { a: 1 } extends ValueType ? true : false; // false
+ * ```
+ */
 export type ValueType = number | boolean | string | null | undefined | symbol | bigint | Date;
 //# sourceMappingURL=ValueType.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ValueType.d.ts","sourceRoot":"","sources":["../../../src/types/ValueType.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC"}
+{"version":3,"file":"ValueType.d.ts","sourceRoot":"","sources":["../../../src/types/ValueType.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC"}

package/package.json

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