typia 9.7.0 → 9.7.1

package/lib/tags/UniqueItems.d.mts

@@ -1,4 +1,23 @@
 import { TagBase } from "./TagBase";
+/**
+ * Unique items validation tag for arrays.
+ *
+ * Enforces that all items in an array are unique, preventing duplicate values.
+ * Uniqueness is determined using strict equality (===) for primitives and
+ * deep structural comparison for objects and arrays. This means two objects
+ * with the same properties and values are considered duplicates.
+ *
+ * @example
+ * // Ensure all IDs are unique
+ * type UserIds = number[] & UniqueItems;
+ *
+ * @example
+ * // Prevent duplicate email addresses
+ * type EmailList = string[] & UniqueItems;
+ *
+ * @template Value - Boolean flag to enable/disable uniqueness validation (defaults to true)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type UniqueItems<Value extends boolean = true> = TagBase<{
     target: "array";
     kind: "uniqueItems";

package/lib/tags/UniqueItems.d.ts

@@ -1,4 +1,23 @@
 import { TagBase } from "./TagBase";
+/**
+ * Unique items validation tag for arrays.
+ *
+ * Enforces that all items in an array are unique, preventing duplicate values.
+ * Uniqueness is determined using strict equality (===) for primitives and
+ * deep structural comparison for objects and arrays. This means two objects
+ * with the same properties and values are considered duplicates.
+ *
+ * @example
+ * // Ensure all IDs are unique
+ * type UserIds = number[] & UniqueItems;
+ *
+ * @example
+ * // Prevent duplicate email addresses
+ * type EmailList = string[] & UniqueItems;
+ *
+ * @template Value - Boolean flag to enable/disable uniqueness validation (defaults to true)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type UniqueItems<Value extends boolean = true> = TagBase<{
     target: "array";
     kind: "uniqueItems";

package/lib/transformers/ImportTransformer.js

@@ -19,12 +19,16 @@ var ImportTransformer;
             return props.file;
         const from = get_directory_path(path_1.default.resolve(props.file.getSourceFile().fileName));
         const to = from.replace(props.top, props.to);
-        return typescript_1.default.visitEachChild(props.file, (node) => transform_node({
+        // First pass: transform relative imports
+        let transformedFile = typescript_1.default.visitEachChild(props.file, (node) => transform_node({
             top: props.top,
             from,
             to,
             node,
         }), props.context);
+        // Second pass: remove unused typia imports
+        transformedFile = removeUnusedTypiaImports(transformedFile);
+        return transformedFile;
     };
     const transform_node = (props) => {
         if (!typescript_1.default.isImportDeclaration(props.node) ||
@@ -51,4 +55,118 @@ const get_directory_path = (file) => {
     split.pop();
     return path_1.default.resolve(split.join(path_1.default.sep));
 };
+/**
+ * Remove unused typia imports that are only used in transformable calls
+ */
+const removeUnusedTypiaImports = (file) => {
+    const imports = new Map();
+    for (const stmt of file.statements) {
+        if (typescript_1.default.isImportDeclaration(stmt) === false ||
+            typescript_1.default.isStringLiteral(stmt.moduleSpecifier) === false ||
+            stmt.moduleSpecifier.text !== "typia" ||
+            stmt.importClause === undefined)
+            continue;
+        // Track default import (import typia from 'typia')
+        if (stmt.importClause.name)
+            imports.set(stmt.importClause.name.text, {
+                declaration: stmt,
+                default: true,
+            });
+        // Track named imports (import { tags } from 'typia') - keep these
+        if (stmt.importClause.namedBindings &&
+            typescript_1.default.isNamedImports(stmt.importClause.namedBindings))
+            for (const element of stmt.importClause.namedBindings.elements)
+                imports.set(element.name.text, {
+                    declaration: stmt,
+                    default: false,
+                });
+    }
+    if (imports.size === 0)
+        return file; // No typia imports to check
+    // Find usage of typia identifiers that are NOT transformable calls
+    const nonTransformableUsage = new Set();
+    const checkUsage = (node) => {
+        if (typescript_1.default.isIdentifier(node) && imports.has(node.text)) {
+            const identifier = node.text;
+            // Check if this identifier is being used as part of a property access
+            if (node.parent &&
+                typescript_1.default.isPropertyAccessExpression(node.parent) &&
+                node.parent.expression === node) {
+                // This is typia.something - check if it's a transformable call pattern
+                if (!isLikelyTransformableCall(node.parent))
+                    nonTransformableUsage.add(identifier);
+            }
+            else
+                // Direct usage of the typia identifier (not as property access)
+                // This is definitely non-transformable usage
+                nonTransformableUsage.add(identifier);
+        }
+        typescript_1.default.forEachChild(node, checkUsage);
+    };
+    // Check all statements except import declarations
+    for (const stmt of file.statements)
+        if (!typescript_1.default.isImportDeclaration(stmt) ||
+            !typescript_1.default.isStringLiteral(stmt.moduleSpecifier) ||
+            stmt.moduleSpecifier.text !== "typia")
+            checkUsage(stmt);
+    // Update import statements
+    const newStatements = file.statements
+        .map((stmt) => {
+        if (typescript_1.default.isImportDeclaration(stmt) &&
+            typescript_1.default.isStringLiteral(stmt.moduleSpecifier) &&
+            stmt.moduleSpecifier.text === "typia" &&
+            stmt.importClause) {
+            const newImportClause = filterTypiaImportClause(stmt.importClause, nonTransformableUsage);
+            if (newImportClause)
+                return typescript_1.default.factory.createImportDeclaration(stmt.modifiers, newImportClause, stmt.moduleSpecifier, stmt.attributes);
+            return null; // Skip adding the import if all imports are unused
+        }
+        return stmt;
+    })
+        .filter((stmt) => stmt !== null);
+    return typescript_1.default.factory.updateSourceFile(file, newStatements, file.isDeclarationFile, file.referencedFiles, file.typeReferenceDirectives, file.hasNoDefaultLib, file.libReferenceDirectives);
+};
+/**
+ * Check if a property access expression looks like a transformable typia call
+ * This uses heuristics to detect patterns like typia.xxx(), typia.namespace.xxx()
+ */
+const isLikelyTransformableCall = (node) => {
+    // Check if this is eventually part of a call expression
+    let current = node;
+    // Walk up the chain to find if this leads to a call expression
+    // Handle patterns like: typia.xxx(), typia.namespace.xxx()
+    while (typescript_1.default.isPropertyAccessExpression(current)) {
+        current = current.parent;
+    }
+    // If the final result is a call expression, this is likely transformable
+    if (typescript_1.default.isCallExpression(current) &&
+        (current.expression === node ||
+            (typescript_1.default.isPropertyAccessExpression(current.expression) &&
+                isTypiaPropertyChain(current.expression)))) {
+        return true;
+    }
+    return false;
+};
+/**
+ * Check if a property access expression is part of a typia.xxx.yyy chain
+ */
+const isTypiaPropertyChain = (node) => {
+    let current = node;
+    while (typescript_1.default.isPropertyAccessExpression(current)) {
+        current = current.expression;
+    }
+    return typescript_1.default.isIdentifier(current) && current.text === "typia";
+};
+/**
+ * Filter import clause to remove unused default imports
+ */
+const filterTypiaImportClause = (importClause, usedImports) => {
+    const hasDefaultImport = importClause.name && usedImports.has(importClause.name.text);
+    const namedBindings = importClause.namedBindings; // Always keep named bindings like { tags }
+    // Return undefined if no imports are used
+    if (!hasDefaultImport && !namedBindings) {
+        return undefined;
+    }
+    return typescript_1.default.factory.createImportClause(importClause.isTypeOnly, hasDefaultImport ? importClause.name : undefined, namedBindings);
+};
 //# sourceMappingURL=ImportTransformer.js.map

package/lib/transformers/ImportTransformer.js.map

@@ -1 +1 @@
-{"version":3,"file":"ImportTransformer.js","sourceRoot":"","sources":["../../src/transformers/ImportTransformer.ts"],"names":[],"mappings":";;;;;;AAAA,gDAAwB;AACxB,4DAA4B;AAE5B,IAAiB,iBAAiB,CAuEjC;AAvED,WAAiB,iBAAiB;IACnB,2BAAS,GACpB,CAAC,KAAmC,EAAE,EAAE,CACxC,CAAC,OAAiC,EAAE,EAAE,CACtC,CAAC,IAAmB,EAAE,EAAE,CACtB,cAAc,CAAC;QACb,GAAG,EAAE,KAAK,CAAC,IAAI;QACf,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,OAAO;QACP,IAAI;KACL,CAAC,CAAC;IAEP,MAAM,cAAc,GAAG,CAAC,KAKvB,EAAiB,EAAE;QAClB,IAAI,KAAK,CAAC,IAAI,CAAC,iBAAiB;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QAEpD,MAAM,IAAI,GAAW,kBAAkB,CACrC,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAClD,CAAC;QACF,MAAM,EAAE,GAAW,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAErD,OAAO,oBAAE,CAAC,cAAc,CACtB,KAAK,CAAC,IAAI,EACV,CAAC,IAAI,EAAE,EAAE,CACP,cAAc,CAAC;YACb,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,IAAI;YACJ,EAAE;YACF,IAAI;SACL,CAAC,EACJ,KAAK,CAAC,OAAO,CACd,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,KAKvB,EAAE,EAAE;QACH,IACE,CAAC,oBAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YACnC,CAAC,oBAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC;YAE/C,OAAO,KAAK,CAAC,IAAI,CAAC;QAEpB,MAAM,IAAI,GAAW,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;QACrD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QAEvC,MAAM,QAAQ,GAAW,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxD,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QAEzD,MAAM,QAAQ,GAAW,CAAC,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAW,cAAI;iBACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC;iBAC5B,KAAK,CAAC,cAAI,CAAC,GAAG,CAAC;iBACf,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QACpD,CAAC,CAAC,EAAE,CAAC;QAEL,OAAO,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CACvC,SAAS,EACT,KAAK,CAAC,IAAI,CAAC,YAAY,EACvB,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EACxC,KAAK,CAAC,IAAI,CAAC,YAAY,CACxB,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,EAvEgB,iBAAiB,iCAAjB,iBAAiB,QAuEjC;AAED,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAU,EAAE;IAClD,MAAM,KAAK,GAAa,cAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,cAAI,CAAC,GAAG,CAAC,CAAC;IAC3D,KAAK,CAAC,GAAG,EAAE,CAAC;IACZ,OAAO,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,cAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5C,CAAC,CAAC"}
+{"version":3,"file":"ImportTransformer.js","sourceRoot":"","sources":["../../src/transformers/ImportTransformer.ts"],"names":[],"mappings":";;;;;;AAAA,gDAAwB;AACxB,4DAA4B;AAE5B,IAAiB,iBAAiB,CA6EjC;AA7ED,WAAiB,iBAAiB;IACnB,2BAAS,GACpB,CAAC,KAAmC,EAAE,EAAE,CACxC,CAAC,OAAiC,EAAE,EAAE,CACtC,CAAC,IAAmB,EAAE,EAAE,CACtB,cAAc,CAAC;QACb,GAAG,EAAE,KAAK,CAAC,IAAI;QACf,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,OAAO;QACP,IAAI;KACL,CAAC,CAAC;IAEP,MAAM,cAAc,GAAG,CAAC,KAKvB,EAAiB,EAAE;QAClB,IAAI,KAAK,CAAC,IAAI,CAAC,iBAAiB;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QAEpD,MAAM,IAAI,GAAW,kBAAkB,CACrC,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAClD,CAAC;QACF,MAAM,EAAE,GAAW,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAErD,yCAAyC;QACzC,IAAI,eAAe,GAAG,oBAAE,CAAC,cAAc,CACrC,KAAK,CAAC,IAAI,EACV,CAAC,IAAI,EAAE,EAAE,CACP,cAAc,CAAC;YACb,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,IAAI;YACJ,EAAE;YACF,IAAI;SACL,CAAC,EACJ,KAAK,CAAC,OAAO,CACd,CAAC;QAEF,2CAA2C;QAC3C,eAAe,GAAG,wBAAwB,CAAC,eAAe,CAAC,CAAC;QAE5D,OAAO,eAAe,CAAC;IACzB,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,CAAC,KAKvB,EAAE,EAAE;QACH,IACE,CAAC,oBAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC;YACnC,CAAC,oBAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC;YAE/C,OAAO,KAAK,CAAC,IAAI,CAAC;QAEpB,MAAM,IAAI,GAAW,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;QACrD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QAEvC,MAAM,QAAQ,GAAW,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACxD,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC;QAEzD,MAAM,QAAQ,GAAW,CAAC,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAW,cAAI;iBACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC;iBAC5B,KAAK,CAAC,cAAI,CAAC,GAAG,CAAC;iBACf,IAAI,CAAC,GAAG,CAAC,CAAC;YACb,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QACpD,CAAC,CAAC,EAAE,CAAC;QAEL,OAAO,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CACvC,SAAS,EACT,KAAK,CAAC,IAAI,CAAC,YAAY,EACvB,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EACxC,KAAK,CAAC,IAAI,CAAC,YAAY,CACxB,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC,EA7EgB,iBAAiB,iCAAjB,iBAAiB,QA6EjC;AAED,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAU,EAAE;IAClD,MAAM,KAAK,GAAa,cAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,cAAI,CAAC,GAAG,CAAC,CAAC;IAC3D,KAAK,CAAC,GAAG,EAAE,CAAC;IACZ,OAAO,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,cAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5C,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAAC,IAAmB,EAAiB,EAAE;IAMtE,MAAM,OAAO,GAAgC,IAAI,GAAG,EAAE,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IACE,oBAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,KAAK,KAAK;YACtC,oBAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,KAAK;YAClD,IAAI,CAAC,eAAe,CAAC,IAAI,KAAK,OAAO;YACrC,IAAI,CAAC,YAAY,KAAK,SAAS;YAE/B,SAAS;QAEX,mDAAmD;QACnD,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI;YACxB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE;gBACvC,WAAW,EAAE,IAAI;gBACjB,OAAO,EAAE,IAAI;aACd,CAAC,CAAC;QAEL,kEAAkE;QAClE,IACE,IAAI,CAAC,YAAY,CAAC,aAAa;YAC/B,oBAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC;YAElD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ;gBAC5D,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE;oBAC7B,WAAW,EAAE,IAAI;oBACjB,OAAO,EAAE,KAAK;iBACf,CAAC,CAAC;IACT,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,4BAA4B;IAEjE,mEAAmE;IACnE,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAU,CAAC;IAChD,MAAM,UAAU,GAAG,CAAC,IAAa,EAAE,EAAE;QACnC,IAAI,oBAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpD,MAAM,UAAU,GAAW,IAAI,CAAC,IAAI,CAAC;YACrC,sEAAsE;YACtE,IACE,IAAI,CAAC,MAAM;gBACX,oBAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC;gBAC1C,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,EAC/B,CAAC;gBACD,uEAAuE;gBACvE,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,MAAM,CAAC;oBACzC,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC1C,CAAC;;gBACC,gEAAgE;gBAChE,6CAA6C;gBAC7C,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAC1C,CAAC;QACD,oBAAE,CAAC,YAAY,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACpC,CAAC,CAAC;IAEF,kDAAkD;IAClD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU;QAChC,IACE,CAAC,oBAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC7B,CAAC,oBAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;YACzC,IAAI,CAAC,eAAe,CAAC,IAAI,KAAK,OAAO;YAErC,UAAU,CAAC,IAAI,CAAC,CAAC;IAErB,2BAA2B;IAC3B,MAAM,aAAa,GAAmB,IAAI,CAAC,UAAU;SAClD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,IACE,oBAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,oBAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC;YACxC,IAAI,CAAC,eAAe,CAAC,IAAI,KAAK,OAAO;YACrC,IAAI,CAAC,YAAY,EACjB,CAAC;YACD,MAAM,eAAe,GAAG,uBAAuB,CAC7C,IAAI,CAAC,YAAY,EACjB,qBAAqB,CACtB,CAAC;YACF,IAAI,eAAe;gBACjB,OAAO,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CACvC,IAAI,CAAC,SAAS,EACd,eAAe,EACf,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,UAAU,CAChB,CAAC;YACJ,OAAO,IAAI,CAAC,CAAC,mDAAmD;QAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACnC,OAAO,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAChC,IAAI,EACJ,aAAa,EACb,IAAI,CAAC,iBAAiB,EACtB,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,uBAAuB,EAC5B,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,sBAAsB,CAC5B,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,yBAAyB,GAAG,CAChC,IAAiC,EACxB,EAAE;IACX,wDAAwD;IACxD,IAAI,OAAO,GAAY,IAAI,CAAC;IAE5B,+DAA+D;IAC/D,2DAA2D;IAC3D,OAAO,oBAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,yEAAyE;IACzE,IACE,oBAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;QAC5B,CAAC,OAAO,CAAC,UAAU,KAAK,IAAI;YAC1B,CAAC,oBAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC;gBAChD,oBAAoB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAC9C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,oBAAoB,GAAG,CAAC,IAAiC,EAAW,EAAE;IAC1E,IAAI,OAAO,GAAkB,IAAI,CAAC;IAElC,OAAO,oBAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO,GAAG,OAAO,CAAC,UAAU,CAAC;IAC/B,CAAC;IAED,OAAO,oBAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC;AAC9D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,uBAAuB,GAAG,CAC9B,YAA6B,EAC7B,WAAwB,EACK,EAAE;IAC/B,MAAM,gBAAgB,GACpB,YAAY,CAAC,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,aAAa,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC,2CAA2C;IAE7F,0CAA0C;IAC1C,IAAI,CAAC,gBAAgB,IAAI,CAAC,aAAa,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,oBAAE,CAAC,OAAO,CAAC,kBAAkB,CAClC,YAAY,CAAC,UAAU,EACvB,gBAAgB,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAChD,aAAa,CACd,CAAC;AACJ,CAAC,CAAC"}

package/lib/transformers/ImportTransformer.mjs

@@ -14,12 +14,16 @@ var ImportTransformer;
             return props.file;
         const from = get_directory_path(path.resolve(props.file.getSourceFile().fileName));
         const to = from.replace(props.top, props.to);
-        return ts.visitEachChild(props.file, (node) => transform_node({
+        // First pass: transform relative imports
+        let transformedFile = ts.visitEachChild(props.file, (node) => transform_node({
             top: props.top,
             from,
             to,
             node,
         }), props.context);
+        // Second pass: remove unused typia imports
+        transformedFile = removeUnusedTypiaImports(transformedFile);
+        return transformedFile;
     };
     const transform_node = (props) => {
         if (!ts.isImportDeclaration(props.node) ||
@@ -46,6 +50,120 @@ const get_directory_path = (file) => {
     split.pop();
     return path.resolve(split.join(path.sep));
 };
+/**
+ * Remove unused typia imports that are only used in transformable calls
+ */
+const removeUnusedTypiaImports = (file) => {
+    const imports = new Map();
+    for (const stmt of file.statements) {
+        if (ts.isImportDeclaration(stmt) === false ||
+            ts.isStringLiteral(stmt.moduleSpecifier) === false ||
+            stmt.moduleSpecifier.text !== "typia" ||
+            stmt.importClause === undefined)
+            continue;
+        // Track default import (import typia from 'typia')
+        if (stmt.importClause.name)
+            imports.set(stmt.importClause.name.text, {
+                declaration: stmt,
+                default: true,
+            });
+        // Track named imports (import { tags } from 'typia') - keep these
+        if (stmt.importClause.namedBindings &&
+            ts.isNamedImports(stmt.importClause.namedBindings))
+            for (const element of stmt.importClause.namedBindings.elements)
+                imports.set(element.name.text, {
+                    declaration: stmt,
+                    default: false,
+                });
+    }
+    if (imports.size === 0)
+        return file; // No typia imports to check
+    // Find usage of typia identifiers that are NOT transformable calls
+    const nonTransformableUsage = new Set();
+    const checkUsage = (node) => {
+        if (ts.isIdentifier(node) && imports.has(node.text)) {
+            const identifier = node.text;
+            // Check if this identifier is being used as part of a property access
+            if (node.parent &&
+                ts.isPropertyAccessExpression(node.parent) &&
+                node.parent.expression === node) {
+                // This is typia.something - check if it's a transformable call pattern
+                if (!isLikelyTransformableCall(node.parent))
+                    nonTransformableUsage.add(identifier);
+            }
+            else
+                // Direct usage of the typia identifier (not as property access)
+                // This is definitely non-transformable usage
+                nonTransformableUsage.add(identifier);
+        }
+        ts.forEachChild(node, checkUsage);
+    };
+    // Check all statements except import declarations
+    for (const stmt of file.statements)
+        if (!ts.isImportDeclaration(stmt) ||
+            !ts.isStringLiteral(stmt.moduleSpecifier) ||
+            stmt.moduleSpecifier.text !== "typia")
+            checkUsage(stmt);
+    // Update import statements
+    const newStatements = file.statements
+        .map((stmt) => {
+        if (ts.isImportDeclaration(stmt) &&
+            ts.isStringLiteral(stmt.moduleSpecifier) &&
+            stmt.moduleSpecifier.text === "typia" &&
+            stmt.importClause) {
+            const newImportClause = filterTypiaImportClause(stmt.importClause, nonTransformableUsage);
+            if (newImportClause)
+                return ts.factory.createImportDeclaration(stmt.modifiers, newImportClause, stmt.moduleSpecifier, stmt.attributes);
+            return null; // Skip adding the import if all imports are unused
+        }
+        return stmt;
+    })
+        .filter((stmt) => stmt !== null);
+    return ts.factory.updateSourceFile(file, newStatements, file.isDeclarationFile, file.referencedFiles, file.typeReferenceDirectives, file.hasNoDefaultLib, file.libReferenceDirectives);
+};
+/**
+ * Check if a property access expression looks like a transformable typia call
+ * This uses heuristics to detect patterns like typia.xxx(), typia.namespace.xxx()
+ */
+const isLikelyTransformableCall = (node) => {
+    // Check if this is eventually part of a call expression
+    let current = node;
+    // Walk up the chain to find if this leads to a call expression
+    // Handle patterns like: typia.xxx(), typia.namespace.xxx()
+    while (ts.isPropertyAccessExpression(current)) {
+        current = current.parent;
+    }
+    // If the final result is a call expression, this is likely transformable
+    if (ts.isCallExpression(current) &&
+        (current.expression === node ||
+            (ts.isPropertyAccessExpression(current.expression) &&
+                isTypiaPropertyChain(current.expression)))) {
+        return true;
+    }
+    return false;
+};
+/**
+ * Check if a property access expression is part of a typia.xxx.yyy chain
+ */
+const isTypiaPropertyChain = (node) => {
+    let current = node;
+    while (ts.isPropertyAccessExpression(current)) {
+        current = current.expression;
+    }
+    return ts.isIdentifier(current) && current.text === "typia";
+};
+/**
+ * Filter import clause to remove unused default imports
+ */
+const filterTypiaImportClause = (importClause, usedImports) => {
+    const hasDefaultImport = importClause.name && usedImports.has(importClause.name.text);
+    const namedBindings = importClause.namedBindings; // Always keep named bindings like { tags }
+    // Return undefined if no imports are used
+    if (!hasDefaultImport && !namedBindings) {
+        return undefined;
+    }
+    return ts.factory.createImportClause(importClause.isTypeOnly, hasDefaultImport ? importClause.name : undefined, namedBindings);
+};
 
 export { ImportTransformer };
 //# sourceMappingURL=ImportTransformer.mjs.map

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "9.7.0",
+  "version": "9.7.1",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",

package/src/IRandomGenerator.ts

@@ -288,25 +288,33 @@ export namespace IRandomGenerator {
      * Custom string generator that can handle special string formats
      * based on schema properties.
      */
-    string?: (schema: OpenApi.IJsonSchema.IString & Record<string, any>) => string;
+    string?: (
+      schema: OpenApi.IJsonSchema.IString & Record<string, any>,
+    ) => string;
 
     /**
      * Custom number generator that can handle special number constraints
      * based on schema properties.
      */
-    number?: (schema: OpenApi.IJsonSchema.INumber & Record<string, any>) => number;
+    number?: (
+      schema: OpenApi.IJsonSchema.INumber & Record<string, any>,
+    ) => number;
 
     /**
      * Custom integer generator that can handle special integer constraints
      * based on schema properties.
      */
-    integer?: (schema: OpenApi.IJsonSchema.IInteger & Record<string, any>) => number;
+    integer?: (
+      schema: OpenApi.IJsonSchema.IInteger & Record<string, any>,
+    ) => number;
 
     /**
      * Custom bigint generator that can handle special bigint constraints
      * based on schema properties.
      */
-    bigint?: (schema: OpenApi.IJsonSchema.IInteger & Record<string, any>) => bigint;
+    bigint?: (
+      schema: OpenApi.IJsonSchema.IInteger & Record<string, any>,
+    ) => bigint;
 
     /**
      * Custom boolean generator that can handle special boolean constraints
@@ -321,7 +329,7 @@ export namespace IRandomGenerator {
     array?: <T>(
       schema: Omit<OpenApi.IJsonSchema.IArray, "items"> & {
         element: (index: number, count: number) => T;
-      } & Record<string, any>
+      } & Record<string, any>,
     ) => T[];
   }
 }

package/src/programmers/json/JsonStringifyProgrammer.ts

@@ -263,7 +263,7 @@ export namespace JsonStringifyProgrammer {
     if (props.metadata.templates.length)
       if (AtomicPredicator.template(props.metadata)) {
         const partial = Metadata.initialize();
-        partial.atomics.push(
+        (partial.atomics.push(
           MetadataAtomic.create({ type: "string", tags: [] }),
         ),
           unions.push({
@@ -278,7 +278,7 @@ export namespace JsonStringifyProgrammer {
                 ...props,
                 type: "string",
               }),
-          });
+          }));
       }
 
     // CONSTANTS

package/src/tags/Constant.ts

@@ -1,5 +1,37 @@
 import { TagBase } from "./TagBase";
 
+/**
+ * Constant tag that adds title and description metadata to literal types.
+ *
+ * This tag enhances literal values with human-readable documentation without
+ * changing their runtime type. It's particularly useful for enum-like values
+ * where you want to provide context about what each value represents.
+ *
+ * The metadata appears in generated JSON Schema, making API documentation
+ * more descriptive and helping developers understand the meaning of specific
+ * constant values.
+ *
+ * @example
+ * ```typescript
+ * type Status =
+ *   | Constant<"active", { title: "Active", description: "User is currently active" }>
+ *   | Constant<"inactive", { title: "Inactive", description: "User account is disabled" }>
+ *   | Constant<"pending", { title: "Pending", description: "Awaiting verification" }>;
+ * ```
+ *
+ * @example
+ * ```typescript
+ * interface Config {
+ *   debugLevel: Constant<0, { title: "Off", description: "No debug output" }>
+ *             | Constant<1, { title: "Basic", description: "Basic logging" }>
+ *             | Constant<2, { title: "Verbose", description: "Detailed debug info" }>;
+ * }
+ * ```
+ *
+ * @template Value The literal value (boolean, number, string, or bigint)
+ * @template Content Metadata with optional title and description
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Constant<
   Value extends boolean | number | string | bigint,
   Content extends {

package/src/tags/ContentMediaType.ts

@@ -1,5 +1,22 @@
 import { TagBase } from "./TagBase";
 
+/**
+ * String content media type constraint tag.
+ *
+ * Specifies the MIME type of string content for proper interpretation.
+ * This tag serves as metadata to indicate how the string content should be
+ * interpreted, but does not perform validation on the content itself.
+ *
+ * Examples:
+ *   type JsonData = string & ContentMediaType<"application/json">;     // JSON string
+ *   type Base64Image = string & ContentMediaType<"image/png">;         // Base64 PNG
+ *   type XmlContent = string & ContentMediaType<"application/xml">;    // XML data
+ *
+ * Common MIME types: application/json, text/html, image/jpeg, image/png,
+ * application/pdf, text/plain, application/xml, and many more.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type ContentMediaType<Value extends string> = TagBase<{
   target: "string";
   kind: "contentMediaType";

package/src/tags/Default.ts

@@ -1,5 +1,35 @@
 import { TagBase } from "./TagBase";
 
+/**
+ * Default value tag that specifies a default value for properties.
+ *
+ * When a property is not provided during validation, this tag instructs
+ * typia to use the specified default value. This is useful for optional
+ * properties that should have a specific fallback value.
+ *
+ * Supported types: boolean, bigint, number, and string primitives.
+ * Note: Default values are applied during validation, not at compile time.
+ *
+ * @example
+ * ```typescript
+ * interface User {
+ *   name: string;
+ *   active: boolean & Default<true>;  // defaults to true if not provided
+ *   retries: number & Default<3>;     // defaults to 3 if not provided
+ * }
+ * ```
+ *
+ * @example
+ * ```typescript
+ * interface Config {
+ *   timeout: bigint & Default<5000n>;    // defaults to 5000n
+ *   prefix: string & Default<"user_">;   // defaults to "user_"
+ * }
+ * ```
+ *
+ * @template Value The default value (boolean, bigint, number, or string)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Default<Value extends boolean | bigint | number | string> =
   TagBase<{
     target: Value extends boolean

package/src/tags/Example.ts

@@ -1,5 +1,37 @@
 import { TagBase } from "./TagBase";
 
+/**
+ * Example value tag that provides a single example value for documentation.
+ *
+ * This tag adds an example value to your JSON Schema, which is useful for
+ * API documentation, client code generation, and helping developers understand
+ * expected data formats. The example doesn't affect runtime validation.
+ *
+ * Use Example for a single representative value. For multiple named examples,
+ * use the Examples tag instead.
+ *
+ * @example
+ * ```typescript
+ * interface Product {
+ *   name: string & Example<"iPhone 15 Pro">;
+ *   price: number & Example<999.99>;
+ *   inStock: boolean & Example<true>;
+ * }
+ * ```
+ *
+ * @example
+ * ```typescript
+ * interface User {
+ *   profile: {
+ *     bio: string;
+ *     tags: string[];
+ *   } & Example<{ bio: "Software engineer", tags: ["typescript", "react"] }>;
+ * }
+ * ```
+ *
+ * @template Value The example value (primitives, objects, arrays, or null)
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Example<
   Value extends
     | boolean

package/src/tags/Examples.ts

@@ -1,5 +1,45 @@
 import { TagBase } from "./TagBase";
 
+/**
+ * Multiple examples tag that provides named example values for documentation.
+ *
+ * Unlike the Example tag which provides a single example, Examples allows you
+ * to provide multiple labeled examples. This is particularly useful when you
+ * want to show different scenarios or use cases for the same type.
+ *
+ * The examples are added to JSON Schema as an object where keys are descriptive
+ * names and values are the example data. This helps in API documentation and
+ * test case generation.
+ *
+ * @example
+ * ```typescript
+ * interface PaymentRequest {
+ *   amount: number & Examples<{
+ *     small: 10.50,
+ *     medium: 99.99,
+ *     large: 1000.00
+ *   }>;
+ * }
+ * ```
+ *
+ * @example
+ * ```typescript
+ * interface UserStatus {
+ *   state: string & Examples<{
+ *     active: "active",
+ *     inactive: "inactive",
+ *     suspended: "suspended"
+ *   }>;
+ *   profile: object & Examples<{
+ *     basic: { name: "John", age: 25 },
+ *     detailed: { name: "Jane", age: 30, bio: "Developer", verified: true }
+ *   }>;
+ * }
+ * ```
+ *
+ * @template Value A record object mapping example names to example values
+ * @author Jeongho Nam - https://github.com/samchon
+ */
 export type Examples<
   Value extends Record<
     string,

package/src/tags/ExclusiveMaximum.ts

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

package/src/tags/ExclusiveMinimum.ts

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