typia 6.7.2 → 6.8.0-dev.20240811

package/src/programmers/internal/application_v31_schema.ts

@@ -1,157 +1,159 @@
-import { OpenApi } from "@samchon/openapi";
-
-import { Metadata } from "../../schemas/metadata/Metadata";
-import { MetadataAtomic } from "../../schemas/metadata/MetadataAtomic";
-
-import { AtomicPredicator } from "../helpers/AtomicPredicator";
-import { application_array } from "./application_array";
-import { application_boolean } from "./application_boolean";
-import { application_escaped } from "./application_escaped";
-import { application_number } from "./application_number";
-import { application_string } from "./application_string";
-import { application_templates } from "./application_templates";
-import { application_union_discriminator } from "./application_union_discriminator";
-import { application_v31_alias } from "./application_v31_alias";
-import { application_v31_constant } from "./application_v31_constant";
-import { application_v31_native } from "./application_v31_native";
-import { application_v31_object } from "./application_v31_object";
-import { application_v31_tuple } from "./application_v31_tuple";
-
-/**
- * @internal
- */
-export const application_v31_schema =
-  <BlockNever extends boolean>(blockNever: BlockNever) =>
-  (components: OpenApi.IComponents) =>
-  (attribute: OpenApi.IJsonSchema.__IAttribute) =>
-  (
-    meta: Metadata,
-  ): BlockNever extends true
-    ? OpenApi.IJsonSchema | null
-    : OpenApi.IJsonSchema => {
-    if (meta.any === true)
-      return {
-        ...attribute,
-        type: undefined,
-      };
-
-    //----
-    // GATHER UNION SCHEMAS
-    //----
-    const union: OpenApi.IJsonSchema[] = [];
-    const insert = (schema: OpenApi.IJsonSchema) => union.push(schema);
-
-    // NULLABLE
-    if (meta.nullable === true)
-      insert({
-        type: "null",
-      });
-
-    // toJSON() METHOD
-    if (meta.escaped !== null)
-      application_escaped(application_v31_schema(false)(components)({}))(
-        meta.escaped,
-      ).forEach(insert as any);
-
-    // ATOMIC TYPES
-    if (meta.templates.length && AtomicPredicator.template(meta))
-      application_templates(meta).map(insert as any);
-    for (const constant of meta.constants)
-      if (constant.type === "bigint") throw new TypeError(NO_BIGINT);
-      else if (AtomicPredicator.constant(meta)(constant.type) === false)
-        continue;
-      else application_v31_constant(constant).map(insert);
-    for (const a of meta.atomics)
-      if (a.type === "bigint") throw new TypeError(NO_BIGINT);
-      else if (a.type === "boolean")
-        application_boolean(a).forEach(insert as any);
-      else if (a.type === "number")
-        application_number(a).forEach(insert as any);
-      else if (a.type === "string")
-        application_string(a).forEach(insert as any);
-
-    // ARRAY
-    for (const array of meta.arrays)
-      application_array(application_v31_schema(false)(components)({}))(
-        components,
-      )(array).forEach(insert as any);
-
-    // TUPLE
-    for (const tuple of meta.tuples)
-      insert(
-        application_v31_tuple(application_v31_schema(false)(components)({}))(
-          tuple,
-        ),
-      );
-
-    // NATIVES
-    for (const native of meta.natives)
-      if (AtomicPredicator.native(native)) {
-        const type: string = native.toLowerCase();
-        if (meta.atomics.some((a) => a.type === type)) continue;
-        else if (type === "bigint") throw new TypeError(NO_BIGINT);
-        else if (type === "boolean")
-          insert(
-            application_boolean(
-              MetadataAtomic.create({
-                type: "boolean",
-                tags: [],
-              }),
-            )[0]! as any,
-          );
-        else if (type === "number")
-          insert(
-            application_number(
-              MetadataAtomic.create({
-                type: "number",
-                tags: [],
-              }),
-            )[0]! as any,
-          );
-        else if (type === "string")
-          insert(
-            application_string(
-              MetadataAtomic.create({
-                type: "string",
-                tags: [],
-              }),
-            )[0]! as any,
-          );
-      } else insert(application_v31_native(components)(native));
-    if (meta.sets.length) insert(application_v31_native(components)(`Set`));
-    if (meta.maps.length) insert(application_v31_native(components)(`Map`));
-
-    // OBJECT
-    for (const obj of meta.objects)
-      insert(application_v31_object(components)(obj));
-
-    // ALIASES
-    for (const alias of meta.aliases)
-      insert(application_v31_alias(blockNever)(components)(alias));
-
-    //----
-    // RETURNS
-    //----
-    if (union.length === 0 && blockNever === true) return null!;
-    const schema: OpenApi.IJsonSchema =
-      union.length === 0
-        ? { type: undefined }
-        : union.length === 1
-          ? union[0]!
-          : {
-              oneOf: union,
-              discriminator: application_union_discriminator(meta),
-            };
-    return {
-      ...schema,
-      ...attribute,
-      title: attribute.title ?? schema.title,
-      description: attribute.description ?? schema.description,
-      deprecated: attribute.deprecated ?? schema.deprecated,
-    };
-  };
-
-/**
- * @internal
- */
-const NO_BIGINT = "Error on typia.application(): does not allow bigint type.";
+import { OpenApi } from "@samchon/openapi";
+
+import { Metadata } from "../../schemas/metadata/Metadata";
+import { MetadataAtomic } from "../../schemas/metadata/MetadataAtomic";
+
+import { AtomicPredicator } from "../helpers/AtomicPredicator";
+import { application_array } from "./application_array";
+import { application_bigint } from "./application_bigint";
+import { application_boolean } from "./application_boolean";
+import { application_escaped } from "./application_escaped";
+import { application_number } from "./application_number";
+import { application_string } from "./application_string";
+import { application_templates } from "./application_templates";
+import { application_union_discriminator } from "./application_union_discriminator";
+import { application_v31_alias } from "./application_v31_alias";
+import { application_v31_constant } from "./application_v31_constant";
+import { application_v31_native } from "./application_v31_native";
+import { application_v31_object } from "./application_v31_object";
+import { application_v31_tuple } from "./application_v31_tuple";
+
+/**
+ * @internal
+ */
+export const application_v31_schema =
+  <BlockNever extends boolean>(blockNever: BlockNever) =>
+  (components: OpenApi.IComponents) =>
+  (attribute: OpenApi.IJsonSchema.__IAttribute) =>
+  (
+    meta: Metadata,
+  ): BlockNever extends true
+    ? OpenApi.IJsonSchema | null
+    : OpenApi.IJsonSchema => {
+    if (meta.any === true)
+      return {
+        ...attribute,
+        type: undefined,
+      };
+
+    //----
+    // GATHER UNION SCHEMAS
+    //----
+    const union: OpenApi.IJsonSchema[] = [];
+    const insert = (schema: OpenApi.IJsonSchema) => union.push(schema);
+
+    // NULLABLE
+    if (meta.nullable === true)
+      insert({
+        type: "null",
+      });
+
+    // toJSON() METHOD
+    if (meta.escaped !== null)
+      application_escaped(application_v31_schema(false)(components)({}))(
+        meta.escaped,
+      ).forEach(insert as any);
+
+    // ATOMIC TYPES
+    if (meta.templates.length && AtomicPredicator.template(meta))
+      application_templates(meta).map(insert as any);
+    for (const constant of meta.constants)
+      if (AtomicPredicator.constant(meta)(constant.type) === false) continue;
+      else application_v31_constant(constant).map(insert);
+    for (const a of meta.atomics)
+      if (a.type === "boolean") application_boolean(a).forEach(insert as any);
+      else if (a.type === "bigint")
+        application_bigint(a).forEach(insert as any);
+      else if (a.type === "number")
+        application_number(a).forEach(insert as any);
+      else if (a.type === "string")
+        application_string(a).forEach(insert as any);
+
+    // ARRAY
+    for (const array of meta.arrays)
+      application_array(application_v31_schema(false)(components)({}))(
+        components,
+      )(array).forEach(insert as any);
+
+    // TUPLE
+    for (const tuple of meta.tuples)
+      insert(
+        application_v31_tuple(application_v31_schema(false)(components)({}))(
+          tuple,
+        ),
+      );
+
+    // NATIVES
+    for (const native of meta.natives)
+      if (AtomicPredicator.native(native)) {
+        const type: string = native.toLowerCase();
+        if (meta.atomics.some((a) => a.type === type)) continue;
+        else if (type === "boolean")
+          insert(
+            application_boolean(
+              MetadataAtomic.create({
+                type: "boolean",
+                tags: [],
+              }),
+            )[0]! as any,
+          );
+        else if (type === "bigint")
+          insert(
+            application_bigint(
+              MetadataAtomic.create({
+                type: "bigint",
+                tags: [],
+              }),
+            )[0]! as any,
+          );
+        else if (type === "number")
+          insert(
+            application_number(
+              MetadataAtomic.create({
+                type: "number",
+                tags: [],
+              }),
+            )[0]! as any,
+          );
+        else if (type === "string")
+          insert(
+            application_string(
+              MetadataAtomic.create({
+                type: "string",
+                tags: [],
+              }),
+            )[0]! as any,
+          );
+      } else insert(application_v31_native(components)(native));
+    if (meta.sets.length) insert(application_v31_native(components)(`Set`));
+    if (meta.maps.length) insert(application_v31_native(components)(`Map`));
+
+    // OBJECT
+    for (const obj of meta.objects)
+      insert(application_v31_object(components)(obj));
+
+    // ALIASES
+    for (const alias of meta.aliases)
+      insert(application_v31_alias(blockNever)(components)(alias));
+
+    //----
+    // RETURNS
+    //----
+    if (union.length === 0 && blockNever === true) return null!;
+    const schema: OpenApi.IJsonSchema =
+      union.length === 0
+        ? { type: undefined }
+        : union.length === 1
+          ? union[0]!
+          : {
+              oneOf: union,
+              discriminator: application_union_discriminator(meta),
+            };
+    return {
+      ...schema,
+      ...attribute,
+      title: attribute.title ?? schema.title,
+      description: attribute.description ?? schema.description,
+      deprecated: attribute.deprecated ?? schema.deprecated,
+    };
+  };

package/src/programmers/json/JsonApplicationProgrammer.ts

@@ -1,82 +1,82 @@
-import { OpenApi, OpenApiV3 } from "@samchon/openapi";
-
-import { IJsonApplication } from "../../schemas/json/IJsonApplication";
-import { Metadata } from "../../schemas/metadata/Metadata";
-
-import { TransformerError } from "../../transformers/TransformerError";
-
-import { AtomicPredicator } from "../helpers/AtomicPredicator";
-import { application_v30_schema } from "../internal/application_v30_schema";
-import { application_v31_schema } from "../internal/application_v31_schema";
-
-export namespace JsonApplicationProgrammer {
-  export const validate = (meta: Metadata) => {
-    const output: string[] = [];
-    if (
-      meta.atomics.some((a) => a.type === "bigint") ||
-      meta.constants.some((c) => c.type === "bigint")
-    )
-      output.push("JSON schema does not support bigint type.");
-    if (
-      meta.tuples.some((t) =>
-        t.type.elements.some((e) => e.isRequired() === false),
-      ) ||
-      meta.arrays.some((a) => a.type.value.isRequired() === false)
-    )
-      output.push("JSON schema does not support undefined type in array.");
-    if (meta.maps.length) output.push("JSON schema does not support Map type.");
-    if (meta.sets.length) output.push("JSON schema does not support Set type.");
-    for (const native of meta.natives)
-      if (
-        AtomicPredicator.native(native) === false &&
-        native !== "Date" &&
-        native !== "Blob" &&
-        native !== "File"
-      )
-        output.push(`JSON schema does not support ${native} type.`);
-    return output;
-  };
-
-  export const write = <Version extends "3.0" | "3.1">(version: Version) =>
-    version === "3.0" ? v30 : v31;
-
-  const v30 = (metadatas: Array<Metadata>): IJsonApplication<"3.0"> => {
-    const components: OpenApiV3.IComponents = {};
-    const generator = (meta: Metadata): OpenApiV3.IJsonSchema | null =>
-      application_v30_schema(true)(components)({})(meta);
-    return {
-      version: "3.0",
-      components,
-      schemas: metadatas.map((meta, i) => {
-        const schema: OpenApiV3.IJsonSchema | null = generator(meta);
-        if (schema === null)
-          throw new TransformerError({
-            code: "typia.json.application",
-            message: `invalid type on argument - (${meta.getName()}, ${i})`,
-          });
-        return schema;
-      }),
-    };
-  };
-
-  const v31 = (metadatas: Array<Metadata>): IJsonApplication<"3.1"> => {
-    const components: OpenApi.IComponents = {
-      schemas: {},
-    };
-    const generator = (meta: Metadata): OpenApi.IJsonSchema | null =>
-      application_v31_schema(true)(components)({})(meta);
-    return {
-      version: "3.1",
-      components,
-      schemas: metadatas.map((meta, i) => {
-        const schema: OpenApi.IJsonSchema | null = generator(meta);
-        if (schema === null)
-          throw new TransformerError({
-            code: "typia.json.application",
-            message: `invalid type on argument - (${meta.getName()}, ${i})`,
-          });
-        return schema;
-      }),
-    };
-  };
-}
+import { OpenApi, OpenApiV3 } from "@samchon/openapi";
+
+import { IJsonApplication } from "../../schemas/json/IJsonApplication";
+import { Metadata } from "../../schemas/metadata/Metadata";
+
+import { TransformerError } from "../../transformers/TransformerError";
+
+import { AtomicPredicator } from "../helpers/AtomicPredicator";
+import { application_v30_schema } from "../internal/application_v30_schema";
+import { application_v31_schema } from "../internal/application_v31_schema";
+
+export namespace JsonApplicationProgrammer {
+  export const validate = (meta: Metadata) => {
+    const output: string[] = [];
+    if (
+      meta.atomics.some((a) => a.type === "bigint") ||
+      meta.constants.some((c) => c.type === "bigint")
+    )
+      output.push("JSON schema does not support bigint type.");
+    if (
+      meta.tuples.some((t) =>
+        t.type.elements.some((e) => e.isRequired() === false),
+      ) ||
+      meta.arrays.some((a) => a.type.value.isRequired() === false)
+    )
+      output.push("JSON schema does not support undefined type in array.");
+    if (meta.maps.length) output.push("JSON schema does not support Map type.");
+    if (meta.sets.length) output.push("JSON schema does not support Set type.");
+    for (const native of meta.natives)
+      if (
+        AtomicPredicator.native(native) === false &&
+        native !== "Date" &&
+        native !== "Blob" &&
+        native !== "File"
+      )
+        output.push(`JSON schema does not support ${native} type.`);
+    return output;
+  };
+
+  export const write = <Version extends "3.0" | "3.1">(version: Version) =>
+    version === "3.0" ? v30 : v31;
+
+  const v30 = (metadatas: Array<Metadata>): IJsonApplication<"3.0"> => {
+    const components: OpenApiV3.IComponents = {};
+    const generator = (meta: Metadata): OpenApiV3.IJsonSchema | null =>
+      application_v30_schema(true)(components)({})(meta);
+    return {
+      version: "3.0",
+      components,
+      schemas: metadatas.map((meta, i) => {
+        const schema: OpenApiV3.IJsonSchema | null = generator(meta);
+        if (schema === null)
+          throw new TransformerError({
+            code: "typia.json.application",
+            message: `invalid type on argument - (${meta.getName()}, ${i})`,
+          });
+        return schema;
+      }),
+    };
+  };
+
+  const v31 = (metadatas: Array<Metadata>): IJsonApplication<"3.1"> => {
+    const components: OpenApi.IComponents = {
+      schemas: {},
+    };
+    const generator = (meta: Metadata): OpenApi.IJsonSchema | null =>
+      application_v31_schema(true)(components)({})(meta);
+    return {
+      version: "3.1",
+      components,
+      schemas: metadatas.map((meta, i) => {
+        const schema: OpenApi.IJsonSchema | null = generator(meta);
+        if (schema === null)
+          throw new TransformerError({
+            code: "typia.json.application",
+            message: `invalid type on argument - (${meta.getName()}, ${i})`,
+          });
+        return schema;
+      }),
+    };
+  };
+}

package/src/schemas/metadata/IMetadataConstantValue.ts

@@ -1,11 +1,11 @@
-import { Atomic } from "../../typings/Atomic";
-
-import { IJsDocTagInfo } from "./IJsDocTagInfo";
-import { IMetadataTypeTag } from "./IMetadataTypeTag";
-
-export interface IMetadataConstantValue<T extends Atomic.Type> {
-  value: T;
-  tags?: IMetadataTypeTag[][] | undefined;
-  description?: string | null;
-  jsDocTags?: IJsDocTagInfo[];
-}
+import { Atomic } from "../../typings/Atomic";
+
+import { IJsDocTagInfo } from "./IJsDocTagInfo";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+
+export interface IMetadataConstantValue<T extends Atomic.Type> {
+  value: T;
+  tags?: IMetadataTypeTag[][] | undefined;
+  description?: string | null;
+  jsDocTags?: IJsDocTagInfo[];
+}

package/src/schemas/metadata/IMetadataTemplate.ts

@@ -1,7 +1,7 @@
-import { IMetadata } from "./IMetadata";
-import { IMetadataTypeTag } from "./IMetadataTypeTag";
-
-export interface IMetadataTemplate {
-  row: IMetadata[];
-  tags?: IMetadataTypeTag[][] | undefined;
-}
+import { IMetadata } from "./IMetadata";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+
+export interface IMetadataTemplate {
+  row: IMetadata[];
+  tags?: IMetadataTypeTag[][] | undefined;
+}

package/src/tags/Constant.ts

@@ -1,14 +1,14 @@
 import { TagBase } from "./TagBase";
 
 export type Constant<
-  Value extends boolean | number | string,
+  Value extends boolean | number | string | bigint,
   Content extends {
     title?: string | undefined;
     description?: string | undefined;
   },
 > = Value &
   TagBase<{
-    target: "string" | "boolean" | "number";
+    target: "string" | "boolean" | "number" | "bigint";
     kind: "constant";
     value: undefined;
     schema: Content;

package/src/tags/Default.ts

@@ -12,7 +12,11 @@ export type Default<Value extends boolean | bigint | number | string> =
     kind: "default";
     value: Value;
     exclusive: true;
-    schema: {
-      default: Value;
-    };
+    schema: Value extends bigint
+      ? { default: Numeric<Value> }
+      : { default: Value };
   }>;
+
+type Numeric<T extends bigint> = `${T}` extends `${infer N extends number}`
+  ? N
+  : never;

package/src/tags/ExclusiveMaximum.ts

@@ -1,19 +1,25 @@
 import { TagBase } from "./TagBase";
 
 export type ExclusiveMaximum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
+  target: Value extends bigint ? "bigint" : "number";
   kind: "exclusiveMaximum";
   value: Value;
-  validate: `$input < ${Numeric<Value>}`;
+  validate: `$input < ${Cast<Value>}`;
   exclusive: ["exclusiveMaximum", "maximum"];
-  schema: Value extends number
+  schema: Value extends bigint
     ? {
         exclusiveMaximum: true;
-        maximum: Value;
+        maximum: Numeric<Value>;
       }
-    : undefined;
+    : {
+        exclusiveMaximum: true;
+        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/ExclusiveMinimum.ts

@@ -1,19 +1,25 @@
 import { TagBase } from "./TagBase";
 
 export type ExclusiveMinimum<Value extends number | bigint> = TagBase<{
-  target: Value extends number ? "number" : "bigint";
+  target: Value extends bigint ? "bigint" : "number";
   kind: "exclusiveMinimum";
   value: Value;
-  validate: `${Numeric<Value>} < $input`;
+  validate: `${Cast<Value>} < $input`;
   exclusive: ["exclusiveMinimum", "minimum"];
-  schema: Value extends number
+  schema: Value extends bigint
     ? {
         exclusiveMinimum: true;
-        minimum: Value;
+        minimum: Numeric<Value>;
       }
-    : undefined;
+    : {
+        exclusiveMinimum: true;
+        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/JsonSchemaPlugin.ts

@@ -1,7 +1,7 @@
 import { TagBase } from "./TagBase";
 
 export type JsonSchemaPlugin<Schema extends object> = TagBase<{
-  target: "string" | "boolean" | "number" | "array";
+  target: "string" | "boolean" | "bigint" | "number" | "array";
   kind: "jsonPlugin";
   value: undefined;
   schema: Schema;