typia 9.7.0 → 9.7.1

package/lib/tags/Format.d.ts

@@ -1,4 +1,28 @@
 import type { TagBase } from "./TagBase";
+/**
+ * String format constraint tag.
+ *
+ * Validates strings against predefined formats for common use cases.
+ * This tag provides built-in validation for standard string formats without
+ * needing to write custom regular expressions.
+ *
+ * Examples:
+ *   type Email = string & Format<"email">;              // user@example.com
+ *   type WebURL = string & Format<"url">;               // https://example.com
+ *   type DateTime = string & Format<"date-time">;       // 2024-01-15T10:30:00Z
+ *
+ * Supported formats include:
+ * - Network: email, url, hostname, ipv4, ipv6, uri
+ * - Identifiers: uuid, byte, password
+ * - Date/Time: date, time, date-time, duration
+ * - Data: json-pointer, regex
+ * - Internationalized: idn-email, idn-hostname, iri
+ *
+ * Note: This tag is mutually exclusive with the Pattern tag. You cannot use both
+ * Format and Pattern on the same type.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Format<Value extends Format.Value> = TagBase<{
     target: "string";
     kind: "format";

package/lib/tags/JsonSchemaPlugin.d.mts

@@ -1,4 +1,30 @@
 import { TagBase } from "./TagBase";
+/**
+ * Injects custom properties into generated JSON Schema.
+ *
+ * The JsonSchemaPlugin tag allows you to add vendor-specific extensions or custom metadata
+ * to the generated JSON Schema output. These properties are merged at the root level of
+ * the schema and are commonly used for documentation, tooling hints, or API-specific metadata.
+ * The custom properties only affect schema generation and do not impact runtime validation.
+ *
+ * @example
+ * ```typescript
+ * // Add OpenAPI vendor extensions
+ * type UserId = string & JsonSchemaPlugin<{
+ *   "x-internal-id": true,
+ *   "x-deprecated": "Use UUID instead"
+ * }>;
+ *
+ * // Add custom documentation metadata
+ * type Price = number & JsonSchemaPlugin<{
+ *   "x-format": "currency",
+ *   "x-example": 19.99
+ * }>;
+ * ```
+ *
+ * @template Schema - Object containing custom properties to add to the JSON Schema
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type JsonSchemaPlugin<Schema extends object> = TagBase<{
     target: "string" | "boolean" | "bigint" | "number" | "array" | "object";
     kind: "jsonPlugin";

package/lib/tags/JsonSchemaPlugin.d.ts

@@ -1,4 +1,30 @@
 import { TagBase } from "./TagBase";
+/**
+ * Injects custom properties into generated JSON Schema.
+ *
+ * The JsonSchemaPlugin tag allows you to add vendor-specific extensions or custom metadata
+ * to the generated JSON Schema output. These properties are merged at the root level of
+ * the schema and are commonly used for documentation, tooling hints, or API-specific metadata.
+ * The custom properties only affect schema generation and do not impact runtime validation.
+ *
+ * @example
+ * ```typescript
+ * // Add OpenAPI vendor extensions
+ * type UserId = string & JsonSchemaPlugin<{
+ *   "x-internal-id": true,
+ *   "x-deprecated": "Use UUID instead"
+ * }>;
+ *
+ * // Add custom documentation metadata
+ * type Price = number & JsonSchemaPlugin<{
+ *   "x-format": "currency",
+ *   "x-example": 19.99
+ * }>;
+ * ```
+ *
+ * @template Schema - Object containing custom properties to add to the JSON Schema
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type JsonSchemaPlugin<Schema extends object> = TagBase<{
     target: "string" | "boolean" | "bigint" | "number" | "array" | "object";
     kind: "jsonPlugin";

package/lib/tags/MaxItems.d.mts

@@ -1,4 +1,23 @@
 import { TagBase } from "./TagBase";
+/**
+ * Maximum items validation tag for arrays.
+ *
+ * Enforces that an array contains at most the specified number of items.
+ * This tag is useful for limiting array sizes, such as restricting the
+ * number of uploaded files, limiting selections in a form, or capping
+ * the size of collections to prevent performance issues.
+ *
+ * @example
+ * // Allow maximum 5 file uploads
+ * type FileList = File[] & MaxItems<5>;
+ *
+ * @example
+ * // Limit tags to 10 items
+ * type ProductTags = string[] & MaxItems<10>;
+ *
+ * @template Value - The maximum number of items allowed
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MaxItems<Value extends number> = TagBase<{
     target: "array";
     kind: "maxItems";

package/lib/tags/MaxItems.d.ts

@@ -1,4 +1,23 @@
 import { TagBase } from "./TagBase";
+/**
+ * Maximum items validation tag for arrays.
+ *
+ * Enforces that an array contains at most the specified number of items.
+ * This tag is useful for limiting array sizes, such as restricting the
+ * number of uploaded files, limiting selections in a form, or capping
+ * the size of collections to prevent performance issues.
+ *
+ * @example
+ * // Allow maximum 5 file uploads
+ * type FileList = File[] & MaxItems<5>;
+ *
+ * @example
+ * // Limit tags to 10 items
+ * type ProductTags = string[] & MaxItems<10>;
+ *
+ * @template Value - The maximum number of items allowed
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MaxItems<Value extends number> = TagBase<{
     target: "array";
     kind: "maxItems";

package/lib/tags/MaxLength.d.mts

@@ -1,4 +1,16 @@
 import { TagBase } from "./TagBase";
+/**
+ * String maximum length constraint tag.
+ *
+ * Validates that a string's length is less than or equal to the specified value.
+ * This tag enforces an upper limit on the number of characters in a string.
+ *
+ * Examples:
+ *   type ShortComment = string & MaxLength<200>;  // Comment limited to 200 characters
+ *   type ZipCode = string & MaxLength<10>;        // Zip code with max 10 characters
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MaxLength<Value extends number> = TagBase<{
     target: "string";
     kind: "maxLength";

package/lib/tags/MaxLength.d.ts

@@ -1,4 +1,16 @@
 import { TagBase } from "./TagBase";
+/**
+ * String maximum length constraint tag.
+ *
+ * Validates that a string's length is less than or equal to the specified value.
+ * This tag enforces an upper limit on the number of characters in a string.
+ *
+ * Examples:
+ *   type ShortComment = string & MaxLength<200>;  // Comment limited to 200 characters
+ *   type ZipCode = string & MaxLength<10>;        // Zip code with max 10 characters
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MaxLength<Value extends number> = TagBase<{
     target: "string";
     kind: "maxLength";

package/lib/tags/Maximum.d.mts

@@ -1,4 +1,22 @@
 import { TagBase } from "./TagBase";
+/**
+ * Maximum value constraint tag.
+ *
+ * Enforces that a numeric value must be less than or equal to the specified maximum.
+ * This constraint validates that the input value satisfies: input <= maximum.
+ *
+ * Example usage:
+ * ```typescript
+ * type Percentage = number & tags.Maximum<100>;     // Must be <= 100
+ * type SmallInt = bigint & tags.Maximum<255n>;      // BigInt must be <= 255
+ * ```
+ *
+ * Note: This tag is mutually exclusive with ExclusiveMaximum. You cannot apply both
+ * Maximum and ExclusiveMaximum constraints to the same property.
+ *
+ * @template Value - The maximum value constraint (number or bigint literal)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Maximum<Value extends number | bigint> = TagBase<{
     target: Value extends bigint ? "bigint" : "number";
     kind: "maximum";

package/lib/tags/Maximum.d.ts

@@ -1,4 +1,22 @@
 import { TagBase } from "./TagBase";
+/**
+ * Maximum value constraint tag.
+ *
+ * Enforces that a numeric value must be less than or equal to the specified maximum.
+ * This constraint validates that the input value satisfies: input <= maximum.
+ *
+ * Example usage:
+ * ```typescript
+ * type Percentage = number & tags.Maximum<100>;     // Must be <= 100
+ * type SmallInt = bigint & tags.Maximum<255n>;      // BigInt must be <= 255
+ * ```
+ *
+ * Note: This tag is mutually exclusive with ExclusiveMaximum. You cannot apply both
+ * Maximum and ExclusiveMaximum constraints to the same property.
+ *
+ * @template Value - The maximum value constraint (number or bigint literal)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Maximum<Value extends number | bigint> = TagBase<{
     target: Value extends bigint ? "bigint" : "number";
     kind: "maximum";

package/lib/tags/MinItems.d.mts

@@ -1,4 +1,23 @@
 import { TagBase } from "./TagBase";
+/**
+ * Minimum items validation tag for arrays.
+ *
+ * Enforces that an array contains at least the specified number of items.
+ * This tag is useful for ensuring arrays have a minimum length requirement,
+ * such as requiring at least one item in a list or a minimum number of
+ * selections in a multi-choice field.
+ *
+ * @example
+ * // Require at least 1 item in the array
+ * type Tags = string[] & MinItems<1>;
+ *
+ * @example
+ * // Require at least 3 selections
+ * type MultipleChoice = number[] & MinItems<3>;
+ *
+ * @template Value - The minimum number of items required
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MinItems<Value extends number> = TagBase<{
     target: "array";
     kind: "minItems";

package/lib/tags/MinItems.d.ts

@@ -1,4 +1,23 @@
 import { TagBase } from "./TagBase";
+/**
+ * Minimum items validation tag for arrays.
+ *
+ * Enforces that an array contains at least the specified number of items.
+ * This tag is useful for ensuring arrays have a minimum length requirement,
+ * such as requiring at least one item in a list or a minimum number of
+ * selections in a multi-choice field.
+ *
+ * @example
+ * // Require at least 1 item in the array
+ * type Tags = string[] & MinItems<1>;
+ *
+ * @example
+ * // Require at least 3 selections
+ * type MultipleChoice = number[] & MinItems<3>;
+ *
+ * @template Value - The minimum number of items required
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MinItems<Value extends number> = TagBase<{
     target: "array";
     kind: "minItems";

package/lib/tags/MinLength.d.mts

@@ -1,4 +1,16 @@
 import { TagBase } from "./TagBase";
+/**
+ * String minimum length constraint tag.
+ *
+ * Validates that a string's length is greater than or equal to the specified value.
+ * This tag ensures that string values meet a minimum character count requirement.
+ *
+ * Examples:
+ *   type Username = string & MinLength<3>;     // Username must be at least 3 characters
+ *   type Password = string & MinLength<8>;     // Password must be at least 8 characters
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MinLength<Value extends number> = TagBase<{
     target: "string";
     kind: "minLength";

package/lib/tags/MinLength.d.ts

@@ -1,4 +1,16 @@
 import { TagBase } from "./TagBase";
+/**
+ * String minimum length constraint tag.
+ *
+ * Validates that a string's length is greater than or equal to the specified value.
+ * This tag ensures that string values meet a minimum character count requirement.
+ *
+ * Examples:
+ *   type Username = string & MinLength<3>;     // Username must be at least 3 characters
+ *   type Password = string & MinLength<8>;     // Password must be at least 8 characters
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MinLength<Value extends number> = TagBase<{
     target: "string";
     kind: "minLength";

package/lib/tags/Minimum.d.mts

@@ -1,4 +1,22 @@
 import { TagBase } from "./TagBase";
+/**
+ * Minimum value constraint tag.
+ *
+ * Enforces that a numeric value must be greater than or equal to the specified minimum.
+ * This constraint validates that the input value satisfies: input >= minimum.
+ *
+ * Example usage:
+ * ```typescript
+ * type Age = number & tags.Minimum<0>;        // Age must be 0 or greater
+ * type Balance = bigint & tags.Minimum<0n>;   // BigInt balance must be non-negative
+ * ```
+ *
+ * Note: This tag is mutually exclusive with ExclusiveMinimum. You cannot apply both
+ * Minimum and ExclusiveMinimum constraints to the same property.
+ *
+ * @template Value - The minimum value constraint (number or bigint literal)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Minimum<Value extends number | bigint> = TagBase<{
     target: Value extends bigint ? "bigint" : "number";
     kind: "minimum";

package/lib/tags/Minimum.d.ts

@@ -1,4 +1,22 @@
 import { TagBase } from "./TagBase";
+/**
+ * Minimum value constraint tag.
+ *
+ * Enforces that a numeric value must be greater than or equal to the specified minimum.
+ * This constraint validates that the input value satisfies: input >= minimum.
+ *
+ * Example usage:
+ * ```typescript
+ * type Age = number & tags.Minimum<0>;        // Age must be 0 or greater
+ * type Balance = bigint & tags.Minimum<0n>;   // BigInt balance must be non-negative
+ * ```
+ *
+ * Note: This tag is mutually exclusive with ExclusiveMinimum. You cannot apply both
+ * Minimum and ExclusiveMinimum constraints to the same property.
+ *
+ * @template Value - The minimum value constraint (number or bigint literal)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Minimum<Value extends number | bigint> = TagBase<{
     target: Value extends bigint ? "bigint" : "number";
     kind: "minimum";

package/lib/tags/MultipleOf.d.mts

@@ -1,4 +1,22 @@
 import { TagBase } from "./TagBase";
+/**
+ * Multiple of constraint tag.
+ *
+ * Enforces that a numeric value must be an exact multiple of the specified divisor.
+ * This constraint validates that the input value satisfies: input % divisor === 0.
+ *
+ * Example usage:
+ * ```typescript
+ * type EvenNumber = number & tags.MultipleOf<2>;         // Must be even (2, 4, 6, ...)
+ * type DollarAmount = number & tags.MultipleOf<0.01>;    // Must be in cents
+ * ```
+ *
+ * Common use cases include validating even/odd numbers, currency amounts,
+ * time intervals, or any value that must align to specific increments.
+ *
+ * @template Value - The divisor value that input must be a multiple of (number or bigint literal)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MultipleOf<Value extends number | bigint> = TagBase<{
     target: Value extends bigint ? "bigint" : "number";
     kind: "multipleOf";

package/lib/tags/MultipleOf.d.ts

@@ -1,4 +1,22 @@
 import { TagBase } from "./TagBase";
+/**
+ * Multiple of constraint tag.
+ *
+ * Enforces that a numeric value must be an exact multiple of the specified divisor.
+ * This constraint validates that the input value satisfies: input % divisor === 0.
+ *
+ * Example usage:
+ * ```typescript
+ * type EvenNumber = number & tags.MultipleOf<2>;         // Must be even (2, 4, 6, ...)
+ * type DollarAmount = number & tags.MultipleOf<0.01>;    // Must be in cents
+ * ```
+ *
+ * Common use cases include validating even/odd numbers, currency amounts,
+ * time intervals, or any value that must align to specific increments.
+ *
+ * @template Value - The divisor value that input must be a multiple of (number or bigint literal)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type MultipleOf<Value extends number | bigint> = TagBase<{
     target: Value extends bigint ? "bigint" : "number";
     kind: "multipleOf";

package/lib/tags/Pattern.d.mts

@@ -1,4 +1,19 @@
 import { TagBase } from "./TagBase";
+/**
+ * String pattern (regular expression) constraint tag.
+ *
+ * Validates that a string matches a specified regular expression pattern.
+ * Use this tag to enforce custom string formats through regex validation.
+ *
+ * Examples:
+ *   type PhoneNumber = string & Pattern<"^\\d{3}-\\d{3}-\\d{4}$">;  // 123-456-7890
+ *   type HexColor = string & Pattern<"^#[0-9A-Fa-f]{6}$">;          // #FF5733
+ *
+ * Note: This tag is mutually exclusive with the Format tag. You cannot use both
+ * Pattern and Format on the same type.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Pattern<Value extends string> = TagBase<{
     target: "string";
     kind: "pattern";

package/lib/tags/Pattern.d.ts

@@ -1,4 +1,19 @@
 import { TagBase } from "./TagBase";
+/**
+ * String pattern (regular expression) constraint tag.
+ *
+ * Validates that a string matches a specified regular expression pattern.
+ * Use this tag to enforce custom string formats through regex validation.
+ *
+ * Examples:
+ *   type PhoneNumber = string & Pattern<"^\\d{3}-\\d{3}-\\d{4}$">;  // 123-456-7890
+ *   type HexColor = string & Pattern<"^#[0-9A-Fa-f]{6}$">;          // #FF5733
+ *
+ * Note: This tag is mutually exclusive with the Format tag. You cannot use both
+ * Pattern and Format on the same type.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Pattern<Value extends string> = TagBase<{
     target: "string";
     kind: "pattern";

package/lib/tags/Sequence.d.mts

@@ -1,4 +1,29 @@
 import { TagBase } from "./TagBase";
+/**
+ * Assigns unique field numbers for Protocol Buffer serialization.
+ *
+ * In Protocol Buffer encoding, each field in a message must have a unique numeric identifier.
+ * The Sequence tag assigns these field numbers to TypeScript properties, enabling proper
+ * Protocol Buffer serialization and deserialization. Field numbers 1-15 require only one
+ * byte to encode, making them ideal for frequently used fields. Numbers 19000-19999 are
+ * reserved by the Protocol Buffer specification and should not be used.
+ *
+ * @example
+ * ```typescript
+ * interface User {
+ *   id: string & Sequence<1>;        // Most frequent field uses 1
+ *   email: string & Sequence<2>;     // Common fields use low numbers
+ *   createdAt: number & Sequence<3>;
+ *   metadata?: object & Sequence<10>; // Optional fields work too
+ * }
+ *
+ * // Generate Protocol Buffer message
+ * const message = typia.protobuf.message<User>();
+ * ```
+ *
+ * @template N - Field number (positive integer from 1 to 536,870,911, excluding 19000-19999)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Sequence<N extends number> = TagBase<{
     target: "boolean" | "bigint" | "number" | "string" | "array" | "object";
     kind: "sequence";

package/lib/tags/Sequence.d.ts

@@ -1,4 +1,29 @@
 import { TagBase } from "./TagBase";
+/**
+ * Assigns unique field numbers for Protocol Buffer serialization.
+ *
+ * In Protocol Buffer encoding, each field in a message must have a unique numeric identifier.
+ * The Sequence tag assigns these field numbers to TypeScript properties, enabling proper
+ * Protocol Buffer serialization and deserialization. Field numbers 1-15 require only one
+ * byte to encode, making them ideal for frequently used fields. Numbers 19000-19999 are
+ * reserved by the Protocol Buffer specification and should not be used.
+ *
+ * @example
+ * ```typescript
+ * interface User {
+ *   id: string & Sequence<1>;        // Most frequent field uses 1
+ *   email: string & Sequence<2>;     // Common fields use low numbers
+ *   createdAt: number & Sequence<3>;
+ *   metadata?: object & Sequence<10>; // Optional fields work too
+ * }
+ *
+ * // Generate Protocol Buffer message
+ * const message = typia.protobuf.message<User>();
+ * ```
+ *
+ * @template N - Field number (positive integer from 1 to 536,870,911, excluding 19000-19999)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Sequence<N extends number> = TagBase<{
     target: "boolean" | "bigint" | "number" | "string" | "array" | "object";
     kind: "sequence";

package/lib/tags/TagBase.d.mts

@@ -1,3 +1,25 @@
+/**
+ * Base type for all validation tags in typia.
+ *
+ * TagBase provides the foundation for all typia's validation tags. It attaches
+ * metadata to TypeScript types that typia's transformer processes at compile-time
+ * to generate optimized runtime validation code.
+ *
+ * @template Props - Tag properties that define validation behavior
+ *
+ * @example
+ * ```typescript
+ * // Custom tag example
+ * type MyCustomTag<Value extends number> = TagBase<{
+ *   target: "number";
+ *   kind: "MyCustom";
+ *   value: Value;
+ *   validate: `$input === ${Value}`;
+ * }>;
+ * ```
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type TagBase<Props extends TagBase.IProps<any, any, any, any, any, any>> = {
     /**
      * This is a dummy property for compilation.
@@ -7,6 +29,11 @@ export type TagBase<Props extends TagBase.IProps<any, any, any, any, any, any>>
     "typia.tag"?: Props;
 };
 export declare namespace TagBase {
+    /**
+     * Properties interface for validation tags.
+     *
+     * @author Jeongho Nam - https://github.com/samchon
+     */
     interface IProps<Target extends "boolean" | "bigint" | "number" | "string" | "array" | "object", Kind extends string, Value extends boolean | bigint | number | string | undefined, Validate extends string | {
         [key in Target]?: string;
     }, Exclusive extends boolean | string[], Schema extends object | undefined> {

package/lib/tags/TagBase.d.ts

@@ -1,3 +1,25 @@
+/**
+ * Base type for all validation tags in typia.
+ *
+ * TagBase provides the foundation for all typia's validation tags. It attaches
+ * metadata to TypeScript types that typia's transformer processes at compile-time
+ * to generate optimized runtime validation code.
+ *
+ * @template Props - Tag properties that define validation behavior
+ *
+ * @example
+ * ```typescript
+ * // Custom tag example
+ * type MyCustomTag<Value extends number> = TagBase<{
+ *   target: "number";
+ *   kind: "MyCustom";
+ *   value: Value;
+ *   validate: `$input === ${Value}`;
+ * }>;
+ * ```
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type TagBase<Props extends TagBase.IProps<any, any, any, any, any, any>> = {
     /**
      * This is a dummy property for compilation.
@@ -7,6 +29,11 @@ export type TagBase<Props extends TagBase.IProps<any, any, any, any, any, any>>
     "typia.tag"?: Props;
 };
 export declare namespace TagBase {
+    /**
+     * Properties interface for validation tags.
+     *
+     * @author Jeongho Nam - https://github.com/samchon
+     */
     interface IProps<Target extends "boolean" | "bigint" | "number" | "string" | "array" | "object", Kind extends string, Value extends boolean | bigint | number | string | undefined, Validate extends string | {
         [key in Target]?: string;
     }, Exclusive extends boolean | string[], Schema extends object | undefined> {

package/lib/tags/Type.d.mts

@@ -1,4 +1,30 @@
 import { TagBase } from "./TagBase";
+/**
+ * Type tag for specifying numeric bit-width representations.
+ *
+ * Constrains numeric types to specific bit-width formats used in systems programming
+ * and protocol buffers. Ensures numbers conform to platform-specific representations.
+ *
+ * Supported types:
+ * - `int32`: 32-bit signed integer (-2^31 to 2^31-1)
+ * - `uint32`: 32-bit unsigned integer (0 to 2^32-1)
+ * - `int64`: 64-bit signed integer (supports both bigint and number)
+ * - `uint64`: 64-bit unsigned integer (supports both bigint and number)
+ * - `float`: 32-bit floating point (single precision)
+ * - `double`: 64-bit floating point (double precision, default JS number)
+ *
+ * @template Value - The numeric type representation
+ *
+ * @example
+ * ```typescript
+ * type Score = number & Type<"int32">;      // -2,147,483,648 to 2,147,483,647
+ * type UserId = number & Type<"uint32">;    // 0 to 4,294,967,295
+ * type FileSize = bigint & Type<"int64">;   // Large file sizes
+ * type Coordinate = number & Type<"double">; // High precision coordinates
+ * ```
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Type<Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double"> = TagBase<{
     target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
     kind: "type";

package/lib/tags/Type.d.ts

@@ -1,4 +1,30 @@
 import { TagBase } from "./TagBase";
+/**
+ * Type tag for specifying numeric bit-width representations.
+ *
+ * Constrains numeric types to specific bit-width formats used in systems programming
+ * and protocol buffers. Ensures numbers conform to platform-specific representations.
+ *
+ * Supported types:
+ * - `int32`: 32-bit signed integer (-2^31 to 2^31-1)
+ * - `uint32`: 32-bit unsigned integer (0 to 2^32-1)
+ * - `int64`: 64-bit signed integer (supports both bigint and number)
+ * - `uint64`: 64-bit unsigned integer (supports both bigint and number)
+ * - `float`: 32-bit floating point (single precision)
+ * - `double`: 64-bit floating point (double precision, default JS number)
+ *
+ * @template Value - The numeric type representation
+ *
+ * @example
+ * ```typescript
+ * type Score = number & Type<"int32">;      // -2,147,483,648 to 2,147,483,647
+ * type UserId = number & Type<"uint32">;    // 0 to 4,294,967,295
+ * type FileSize = bigint & Type<"int64">;   // Large file sizes
+ * type Coordinate = number & Type<"double">; // High precision coordinates
+ * ```
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Type<Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double"> = TagBase<{
     target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
     kind: "type";