typia 6.7.2 → 6.8.0-dev.20240811

package/src/tags/Maximum.ts

@@ -1,18 +1,19 @@
 import { TagBase } from "./TagBase";
 
 export type Maximum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
+  target: Value extends bigint ? "bigint" : "number";
   kind: "maximum";
   value: Value;
-  validate: `$input <= ${Numeric<Value>}`;
+  validate: `$input <= ${Cast<Value>}`;
   exclusive: ["maximum", "exclusiveMaximum"];
-  schema: Value extends number
-    ? {
-        maximum: Value;
-      }
-    : undefined;
+  schema: Value extends bigint
+    ? { maximum: Numeric<Value> }
+    : { maximum: Value };
 }>;
 
-type Numeric<Value extends number | bigint> = Value extends number
+type Cast<Value extends number | bigint> = Value extends number
   ? Value
   : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}`
+  ? N
+  : never;

package/src/tags/Minimum.ts

@@ -1,18 +1,19 @@
 import { TagBase } from "./TagBase";
 
 export type Minimum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
+  target: Value extends bigint ? "bigint" : "number";
   kind: "minimum";
   value: Value;
-  validate: `${Numeric<Value>} <= $input`;
+  validate: `${Cast<Value>} <= $input`;
   exclusive: ["minimum", "exclusiveMinimum"];
-  schema: Value extends number
-    ? {
-        minimum: Value;
-      }
-    : undefined;
+  schema: Value extends bigint
+    ? { minimum: Numeric<Value> }
+    : { minimum: Value };
 }>;
 
-type Numeric<Value extends number | bigint> = Value extends number
+type Cast<Value extends number | bigint> = Value extends number
   ? Value
   : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}`
+  ? N
+  : never;

package/src/tags/MultipleOf.ts

@@ -4,17 +4,18 @@ export type MultipleOf<Value extends number | bigint> = TagBase<{
   target: Value extends bigint ? "bigint" : "number";
   kind: "multipleOf";
   value: Value;
-  validate: `$input % ${Numeric<Value>} === ${Value extends bigint
-    ? Numeric<0n>
+  validate: `$input % ${Cast<Value>} === ${Value extends bigint
+    ? Cast<0n>
     : 0}`;
   exclusive: true;
-  schema: Value extends number
-    ? {
-        multipleOf: Value;
-      }
-    : undefined;
+  schema: Value extends bigint
+    ? { multipleOf: Numeric<Value> }
+    : { multipleOf: Value };
 }>;
 
-type Numeric<Value extends number | bigint> = Value extends number
+type Cast<Value extends number | bigint> = Value extends number
   ? Value
   : `BigInt(${Value})`;
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}`
+  ? N
+  : never;

package/src/tags/Type.ts

@@ -1,32 +1,32 @@
-import { TagBase } from "./TagBase";
-
-export type Type<
-  Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double",
-> = TagBase<{
-  target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
-  kind: "type";
-  value: Value;
-  validate: Value extends "int32"
-    ? `Math.floor($input) === $input && -2147483648 <= $input && $input <= 2147483647`
-    : Value extends "uint32"
-      ? `Math.floor($input) === $input && 0 <= $input && $input <= 4294967295`
-      : Value extends "int64"
-        ? {
-            number: `Math.floor($input) === $input && -9223372036854775808 <= $input && $input <= 9223372036854775807`;
-            bigint: `true`;
-          }
-        : Value extends "uint64"
-          ? {
-              number: `Math.floor($input) === $input && 0 <= $input && $input <= 18446744073709551615`;
-              bigint: `BigInt(0) <= $input`;
-            }
-          : Value extends "float"
-            ? `-1.175494351e38 <= $input && $input <= 3.4028235e38`
-            : `true`;
-  exclusive: true;
-  schema: {
-    type: Value extends "int32" | "uint32" | "int64" | "uint64"
-      ? "integer"
-      : "number";
-  };
-}>;
+import { TagBase } from "./TagBase";
+
+export type Type<
+  Value extends "int32" | "uint32" | "int64" | "uint64" | "float" | "double",
+> = TagBase<{
+  target: Value extends "int64" | "uint64" ? "bigint" | "number" : "number";
+  kind: "type";
+  value: Value;
+  validate: Value extends "int32"
+    ? `Math.floor($input) === $input && -2147483648 <= $input && $input <= 2147483647`
+    : Value extends "uint32"
+      ? `Math.floor($input) === $input && 0 <= $input && $input <= 4294967295`
+      : Value extends "int64"
+        ? {
+            number: `Math.floor($input) === $input && -9223372036854775808 <= $input && $input <= 9223372036854775807`;
+            bigint: `true`;
+          }
+        : Value extends "uint64"
+          ? {
+              number: `Math.floor($input) === $input && 0 <= $input && $input <= 18446744073709551615`;
+              bigint: `BigInt(0) <= $input`;
+            }
+          : Value extends "float"
+            ? `-1.175494351e38 <= $input && $input <= 3.4028235e38`
+            : `true`;
+  exclusive: true;
+  schema: {
+    type: Value extends "int32" | "uint32" | "int64" | "uint64"
+      ? "integer"
+      : "number";
+  };
+}>;

package/src/transformers/FileTransformer.ts

@@ -1,91 +1,91 @@
-import ts from "typescript";
-
-import { Singleton } from "../utils/Singleton";
-
-import { IProject } from "./IProject";
-import { NodeTransformer } from "./NodeTransformer";
-import { TransformerError } from "./TransformerError";
-
-export namespace FileTransformer {
-  export const transform =
-    (environments: Omit<IProject, "context">) =>
-    (context: ts.TransformationContext) =>
-    (file: ts.SourceFile): ts.SourceFile => {
-      if (file.isDeclarationFile) return file;
-
-      const project: IProject = {
-        ...environments,
-        context,
-      };
-      checkJsDocParsingMode.get(project, file);
-
-      return ts.visitEachChild(
-        file,
-        (node) => iterate_node(project)(node),
-        context,
-      );
-    };
-
-  const iterate_node =
-    (project: IProject) =>
-    (node: ts.Node): ts.Node =>
-      ts.visitEachChild(
-        try_transform_node(project)(node) ?? node,
-        (child) => iterate_node(project)(child),
-        project.context,
-      );
-
-  const try_transform_node =
-    (project: IProject) =>
-    (node: ts.Node): ts.Node | null => {
-      try {
-        return NodeTransformer.transform(project)(node);
-      } catch (exp) {
-        // ONLY ACCEPT TRANSFORMER-ERROR
-        if (!isTransformerError(exp)) throw exp;
-
-        // REPORT DIAGNOSTIC
-        const diagnostic = ts.createDiagnosticForNode(node, {
-          key: exp.code,
-          category: ts.DiagnosticCategory.Error,
-          message: exp.message,
-          code: `(${exp.code})` as any,
-        });
-        project.extras.addDiagnostic(diagnostic);
-        return null;
-      }
-    };
-}
-
-const isTransformerError = (error: any): error is TransformerError =>
-  typeof error === "object" &&
-  error !== null &&
-  error.constructor.name === "TransformerError" &&
-  typeof error.code === "string" &&
-  typeof error.message === "string";
-
-const checkJsDocParsingMode = new Singleton(
-  (project: IProject, file: ts.SourceFile) => {
-    if (
-      typeof file.jsDocParsingMode === "number" &&
-      file.jsDocParsingMode !== 0
-    ) {
-      project.extras.addDiagnostic(
-        ts.createDiagnosticForNode(file, {
-          code: `(typia setup)` as any,
-          key: "jsDocParsingMode",
-          category: ts.DiagnosticCategory.Warning,
-          message: [
-            `Run "npx typia setup" or "npx typia patch" command again.`,
-            ``,
-            `Since TypeScript v5.3 update, "tsc" no more parses JSDoc comments. Therefore, "typia" also cannot utilize those JSDoc comments too, and it damages on some features of "typia" like "comment tags" or "JSON schema" generator.`,
-            ``,
-            `To solve this problem, run "npx typia setup" or "npx typia patch" command to hack the TypeScript compiler to revive the JSDoc parsing feature.`,
-            ``,
-            `  - reference: https://github.com/microsoft/TypeScript/pull/55739`,
-          ].join("\n"),
-        }),
-      );
-    }
-  },
-);
+import ts from "typescript";
+
+import { Singleton } from "../utils/Singleton";
+
+import { IProject } from "./IProject";
+import { NodeTransformer } from "./NodeTransformer";
+import { TransformerError } from "./TransformerError";
+
+export namespace FileTransformer {
+  export const transform =
+    (environments: Omit<IProject, "context">) =>
+    (context: ts.TransformationContext) =>
+    (file: ts.SourceFile): ts.SourceFile => {
+      if (file.isDeclarationFile) return file;
+
+      const project: IProject = {
+        ...environments,
+        context,
+      };
+      checkJsDocParsingMode.get(project, file);
+
+      return ts.visitEachChild(
+        file,
+        (node) => iterate_node(project)(node),
+        context,
+      );
+    };
+
+  const iterate_node =
+    (project: IProject) =>
+    (node: ts.Node): ts.Node =>
+      ts.visitEachChild(
+        try_transform_node(project)(node) ?? node,
+        (child) => iterate_node(project)(child),
+        project.context,
+      );
+
+  const try_transform_node =
+    (project: IProject) =>
+    (node: ts.Node): ts.Node | null => {
+      try {
+        return NodeTransformer.transform(project)(node);
+      } catch (exp) {
+        // ONLY ACCEPT TRANSFORMER-ERROR
+        if (!isTransformerError(exp)) throw exp;
+
+        // REPORT DIAGNOSTIC
+        const diagnostic = ts.createDiagnosticForNode(node, {
+          key: exp.code,
+          category: ts.DiagnosticCategory.Error,
+          message: exp.message,
+          code: `(${exp.code})` as any,
+        });
+        project.extras.addDiagnostic(diagnostic);
+        return null;
+      }
+    };
+}
+
+const isTransformerError = (error: any): error is TransformerError =>
+  typeof error === "object" &&
+  error !== null &&
+  error.constructor.name === "TransformerError" &&
+  typeof error.code === "string" &&
+  typeof error.message === "string";
+
+const checkJsDocParsingMode = new Singleton(
+  (project: IProject, file: ts.SourceFile) => {
+    if (
+      typeof file.jsDocParsingMode === "number" &&
+      file.jsDocParsingMode !== 0
+    ) {
+      project.extras.addDiagnostic(
+        ts.createDiagnosticForNode(file, {
+          code: `(typia setup)` as any,
+          key: "jsDocParsingMode",
+          category: ts.DiagnosticCategory.Warning,
+          message: [
+            `Run "npx typia setup" or "npx typia patch" command again.`,
+            ``,
+            `Since TypeScript v5.3 update, "tsc" no more parses JSDoc comments. Therefore, "typia" also cannot utilize those JSDoc comments too, and it damages on some features of "typia" like "comment tags" or "JSON schema" generator.`,
+            ``,
+            `To solve this problem, run "npx typia setup" or "npx typia patch" command to hack the TypeScript compiler to revive the JSDoc parsing feature.`,
+            ``,
+            `  - reference: https://github.com/microsoft/TypeScript/pull/55739`,
+          ].join("\n"),
+        }),
+      );
+    }
+  },
+);

package/src/transformers/features/CreateRandomTransformer.ts

@@ -1,40 +1,40 @@
-import ts from "typescript";
-
-import { RandomProgrammer } from "../../programmers/RandomProgrammer";
-
-import { IProject } from "../IProject";
-import { TransformerError } from "../TransformerError";
-
-export namespace CreateRandomTransformer {
-  export const transform =
-    (project: IProject) =>
-    (modulo: ts.LeftHandSideExpression) =>
-    (expression: ts.CallExpression): ts.Expression => {
-      // CHECK GENERIC ARGUMENT EXISTENCE
-      if (!expression.typeArguments?.[0])
-        throw new TransformerError({
-          code: "typia.createRandom",
-          message: "generic argument is not specified.",
-        });
-
-      // GET TYPE INFO
-      const node: ts.TypeNode = expression.typeArguments[0];
-      const type: ts.Type = project.checker.getTypeFromTypeNode(node);
-
-      if (type.isTypeParameter())
-        throw new TransformerError({
-          code: "typia.createRandom",
-          message: "non-specified generic argument.",
-        });
-
-      // DO TRANSFORM
-      return RandomProgrammer.write({
-        ...project,
-        options: {
-          ...project.options,
-          functional: false,
-          numeric: false,
-        },
-      })(modulo)(expression.arguments?.[0])(type, node.getFullText().trim());
-    };
-}
+import ts from "typescript";
+
+import { RandomProgrammer } from "../../programmers/RandomProgrammer";
+
+import { IProject } from "../IProject";
+import { TransformerError } from "../TransformerError";
+
+export namespace CreateRandomTransformer {
+  export const transform =
+    (project: IProject) =>
+    (modulo: ts.LeftHandSideExpression) =>
+    (expression: ts.CallExpression): ts.Expression => {
+      // CHECK GENERIC ARGUMENT EXISTENCE
+      if (!expression.typeArguments?.[0])
+        throw new TransformerError({
+          code: "typia.createRandom",
+          message: "generic argument is not specified.",
+        });
+
+      // GET TYPE INFO
+      const node: ts.TypeNode = expression.typeArguments[0];
+      const type: ts.Type = project.checker.getTypeFromTypeNode(node);
+
+      if (type.isTypeParameter())
+        throw new TransformerError({
+          code: "typia.createRandom",
+          message: "non-specified generic argument.",
+        });
+
+      // DO TRANSFORM
+      return RandomProgrammer.write({
+        ...project,
+        options: {
+          ...project.options,
+          functional: false,
+          numeric: false,
+        },
+      })(modulo)(expression.arguments?.[0])(type, node.getFullText().trim());
+    };
+}

package/src/transformers/features/RandomTransformer.ts

@@ -1,44 +1,44 @@
-import ts from "typescript";
-
-import { RandomProgrammer } from "../../programmers/RandomProgrammer";
-
-import { IProject } from "../IProject";
-import { TransformerError } from "../TransformerError";
-
-export namespace RandomTransformer {
-  export const transform =
-    (project: IProject) =>
-    (modulo: ts.LeftHandSideExpression) =>
-    (expression: ts.CallExpression): ts.Expression => {
-      // CHECK GENERIC ARGUMENT EXISTENCE
-      if (!expression.typeArguments?.[0])
-        throw new TransformerError({
-          code: `typia.${modulo.getText()}`,
-          message: "generic argument is not specified.",
-        });
-
-      // GET TYPE INFO
-      const node: ts.TypeNode = expression.typeArguments[0];
-      const type: ts.Type = project.checker.getTypeFromTypeNode(node);
-
-      if (type.isTypeParameter())
-        throw new TransformerError({
-          code: `typia.${modulo.getText()}`,
-          message: "non-specified generic argument.",
-        });
-
-      // DO TRANSFORM
-      return ts.factory.createCallExpression(
-        RandomProgrammer.write({
-          ...project,
-          options: {
-            ...project.options,
-            functional: false,
-            numeric: false,
-          },
-        })(modulo)()(type, node.getFullText().trim()),
-        undefined,
-        expression.arguments.length ? [expression.arguments[0]!] : undefined,
-      );
-    };
-}
+import ts from "typescript";
+
+import { RandomProgrammer } from "../../programmers/RandomProgrammer";
+
+import { IProject } from "../IProject";
+import { TransformerError } from "../TransformerError";
+
+export namespace RandomTransformer {
+  export const transform =
+    (project: IProject) =>
+    (modulo: ts.LeftHandSideExpression) =>
+    (expression: ts.CallExpression): ts.Expression => {
+      // CHECK GENERIC ARGUMENT EXISTENCE
+      if (!expression.typeArguments?.[0])
+        throw new TransformerError({
+          code: `typia.${modulo.getText()}`,
+          message: "generic argument is not specified.",
+        });
+
+      // GET TYPE INFO
+      const node: ts.TypeNode = expression.typeArguments[0];
+      const type: ts.Type = project.checker.getTypeFromTypeNode(node);
+
+      if (type.isTypeParameter())
+        throw new TransformerError({
+          code: `typia.${modulo.getText()}`,
+          message: "non-specified generic argument.",
+        });
+
+      // DO TRANSFORM
+      return ts.factory.createCallExpression(
+        RandomProgrammer.write({
+          ...project,
+          options: {
+            ...project.options,
+            functional: false,
+            numeric: false,
+          },
+        })(modulo)()(type, node.getFullText().trim()),
+        undefined,
+        expression.arguments.length ? [expression.arguments[0]!] : undefined,
+      );
+    };
+}