typia 5.0.0-dev.20230824 → 5.0.0-dev.20230828

package/src/schemas/metadata/Metadata.ts

@@ -1,18 +1,16 @@
-import { $clone } from "../../functional/$clone";
-
 import { ClassProperties } from "../../typings/ClassProperties";
 import { Writable } from "../../typings/Writable";
 
 import { ArrayUtil } from "../../utils/ArrayUtil";
 
 import { IMetadata } from "./IMetadata";
-import { IMetadataAtomic } from "./IMetadataAtomic";
 import { IMetadataCollection } from "./IMetadataCollection";
 import { IMetadataDictionary } from "./IMetadataDictionary";
 import { IMetadataTypeTag } from "./IMetadataTypeTag";
 import { MetadataAlias } from "./MetadataAlias";
 import { MetadataArray } from "./MetadataArray";
 import { MetadataArrayType } from "./MetadataArrayType";
+import { MetadataAtomic } from "./MetadataAtomic";
 import { MetadataConstant } from "./MetadataConstant";
 import { MetadataEscaped } from "./MetadataEscaped";
 import { MetadataObject } from "./MetadataObject";
@@ -28,7 +26,7 @@ export class Metadata {
     public functional: boolean;
 
     public escaped: MetadataEscaped | null;
-    public atomics: IMetadataAtomic[];
+    public atomics: MetadataAtomic[];
     public constants: MetadataConstant[];
     public templates: Metadata[][];
 
@@ -120,8 +118,16 @@ export class Metadata {
             nullable: this.nullable,
             functional: this.functional,
 
-            atomics: $clone(this.atomics),
-            constants: $clone(this.constants),
+            atomics: this.atomics.map((a) =>
+                MetadataAtomic.create({
+                    type: a.type,
+                    tags: a.tags.map((r) => r.slice()),
+                }),
+            ),
+            constants: this.constants.map((c) => ({
+                type: c.type,
+                values: c.values.slice() as any,
+            })),
             templates: this.templates.map((tpl) =>
                 tpl.map((meta) => meta.toJSON()),
             ),
@@ -130,11 +136,11 @@ export class Metadata {
             rest: this.rest ? this.rest.toJSON() : null,
             arrays: this.arrays.map((array) => ({
                 name: array.type.name,
-                tags: $clone(array.tags),
+                tags: array.tags.map((r) => r.slice()),
             })),
             tuples: this.tuples.map((tuple) => ({
                 name: tuple.type.name,
-                tags: $clone(tuple.tags),
+                tags: tuple.tags.map((r) => r.slice()),
             })),
             objects: this.objects.map((obj) => obj.name),
             aliases: this.aliases.map((alias) => alias.name),
@@ -215,8 +221,10 @@ export class Metadata {
             nullable: meta.nullable,
             functional: meta.functional,
 
-            constants: $clone(meta.constants),
-            atomics: $clone(meta.atomics),
+            constants: meta.constants.slice(),
+            atomics: meta.atomics.map((a) =>
+                MetadataAtomic.create({ type: a.type, tags: a.tags }),
+            ),
             templates: meta.templates.map((tpl) =>
                 tpl.map((meta) => this._From(meta, dict)),
             ),
@@ -228,29 +236,29 @@ export class Metadata {
             arrays: meta.arrays.map((ref) => {
                 const type = dict.arrays.get(ref.name);
                 if (type === undefined)
-                    throw new Error(
+                    throw new RangeError(
                         `Error on Metadata.from(): failed to find array "${ref.name}".`,
                     );
                 return MetadataArray.create({
                     type,
-                    tags: $clone(ref.tags),
+                    tags: ref.tags.map((row) => row.slice()),
                 });
             }),
             tuples: meta.tuples.map((t) => {
                 const type = dict.tuples.get(t.name);
                 if (type === undefined)
-                    throw new Error(
+                    throw new RangeError(
                         `Error on Metadata.from(): failed to find tuple "${t.name}".`,
                     );
                 return MetadataTuple.create({
                     type,
-                    tags: $clone(t.tags),
+                    tags: t.tags.map((r) => r.slice()),
                 });
             }),
             objects: meta.objects.map((name) => {
                 const found = dict.objects.get(name);
                 if (found === undefined)
-                    throw new Error(
+                    throw new RangeError(
                         `Error on Metadata.from(): failed to find object "${name}".`,
                     );
                 return found;
@@ -258,7 +266,7 @@ export class Metadata {
             aliases: meta.aliases.map((alias) => {
                 const found = dict.aliases.get(alias);
                 if (found === undefined)
-                    throw new Error(
+                    throw new RangeError(
                         `Error on Metadata.from(): failed to find alias "${alias}".`,
                     );
                 return found;
@@ -277,8 +285,7 @@ export class Metadata {
         ACCESSORS
     ----------------------------------------------------------- */
     public getName(): string {
-        this.name_ ??= getName(this);
-        return this.name_;
+        return (this.name_ ??= getName(this));
     }
 
     public empty(): boolean {
@@ -306,24 +313,6 @@ export class Metadata {
         );
     }
 
-    /**
-     * @internal
-     */
-    public binarySize(): number {
-        return (
-            new Set<string>([
-                ...this.atomics.map((a) => a.type),
-                ...this.constants.map((c) => c.type),
-                ...(this.templates.length ? ["string"] : []),
-            ]).size +
-            this.arrays.length +
-            this.tuples.length +
-            this.natives.length +
-            this.objects.length +
-            this.maps.length
-        );
-    }
-
     public bucket(): number {
         return (
             (this.any ? 1 : 0) +
@@ -361,13 +350,6 @@ export class Metadata {
         return emended > 1;
     }
 
-    /**
-     * @internal
-     */
-    public isBinaryUnion(): boolean {
-        return this.binarySize() > 1;
-    }
-
     /**
      * @internal
      */
@@ -615,11 +597,15 @@ const getName = (metadata: Metadata): string => {
 
     // ATOMIC
     for (const atom of metadata.atomics) {
-        elements.push(atom.type);
+        elements.push(atom.getName());
     }
     for (const constant of metadata.constants)
         for (const value of constant.values)
-            elements.push(JSON.stringify(value));
+            elements.push(
+                constant.type === "string"
+                    ? JSON.stringify(value)
+                    : value.toString(),
+            );
     for (const template of metadata.templates)
         elements.push(
             "`" +
@@ -644,7 +630,7 @@ const getName = (metadata: Metadata): string => {
     // INSTANCES
     if (metadata.rest !== null) elements.push(`...${metadata.rest.getName()}`);
     for (const tuple of metadata.tuples) elements.push(tuple.type.name);
-    for (const array of metadata.arrays) elements.push(array.type.name);
+    for (const array of metadata.arrays) elements.push(array.getName());
     for (const object of metadata.objects) elements.push(object.name);
     for (const alias of metadata.aliases) elements.push(alias.name);
     if (metadata.escaped !== null) elements.push(metadata.escaped.getName());

package/src/schemas/metadata/MetadataAlias.ts

@@ -2,14 +2,12 @@ import { ClassProperties } from "../../typings/ClassProperties";
 
 import { IJsDocTagInfo } from "./IJsDocTagInfo";
 import { IMetadataAlias } from "./IMetadataAlias";
-import { IMetadataCommentTag } from "./IMetadataCommentTag";
 import { Metadata } from "./Metadata";
 
 export class MetadataAlias {
     public readonly name: string;
     public readonly value: Metadata;
     public readonly description: string | null;
-    public readonly tags: IMetadataCommentTag[];
     public readonly jsDocTags: IJsDocTagInfo[];
     public readonly recursive: boolean;
     public readonly nullables: boolean[];
@@ -24,7 +22,6 @@ export class MetadataAlias {
         this.name = props.name;
         this.value = props.value;
         this.description = props.description;
-        this.tags = props.tags;
         this.jsDocTags = props.jsDocTags;
         this.recursive = props.recursive;
         this.nullables = props.nullables;
@@ -46,7 +43,6 @@ export class MetadataAlias {
             value: null!,
             description: props.description,
             recursive: props.recursive,
-            tags: props.tags.slice(),
             jsDocTags: props.jsDocTags.slice(),
             nullables: props.nullables.slice(),
         });
@@ -58,7 +54,6 @@ export class MetadataAlias {
             value: this.value.toJSON(),
             description: this.description,
             recursive: this.recursive,
-            tags: this.tags.slice(),
             jsDocTags: this.jsDocTags.slice(),
             nullables: this.nullables.slice(),
         };

package/src/schemas/metadata/MetadataArray.ts

@@ -1,5 +1,3 @@
-import { $clone } from "../../functional/$clone";
-
 import { ClassProperties } from "../../typings/ClassProperties";
 
 import { IMetadataArray } from "./IMetadataArray";
@@ -10,6 +8,8 @@ export class MetadataArray {
     public readonly type: MetadataArrayType;
     public readonly tags: IMetadataTypeTag[][];
 
+    private name_?: string;
+
     /**
      * @hidden
      */
@@ -22,10 +22,28 @@ export class MetadataArray {
         return new MetadataArray(props);
     }
 
+    public getName(): string {
+        return (this.name_ ??= (() => {
+            if (this.tags.length === 0) return this.type.name;
+            else if (this.tags.length === 1) {
+                const str: string = [
+                    this.type.name,
+                    ...this.tags[0]!.map((t) => t.name),
+                ].join(" & ");
+                return `(${str})`;
+            }
+            const rows: string[] = this.tags.map((row) => {
+                const str: string = row.map((t) => t.name).join(" & ");
+                return row.length === 1 ? str : `(${str})`;
+            });
+            return `(${this.type.name} & (${rows.join(" | ")}))`;
+        })());
+    }
+
     public toJSON(): IMetadataArray {
         return {
             type: this.type.toJSON(),
-            tags: $clone(this.tags),
+            tags: this.tags.map((row) => row.slice()),
         };
     }
 }

package/src/schemas/metadata/MetadataAtomic.ts

@@ -0,0 +1,42 @@
+import { ClassProperties } from "../../typings/ClassProperties";
+
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+
+export class MetadataAtomic {
+    public readonly type: "boolean" | "bigint" | "number" | "string";
+    public readonly tags: IMetadataTypeTag[][];
+
+    private name_?: string;
+
+    /**
+     * @internal
+     */
+    private constructor(props: ClassProperties<MetadataAtomic>) {
+        this.type = props.type;
+        this.tags = props.tags;
+    }
+
+    public static create(
+        props: ClassProperties<MetadataAtomic>,
+    ): MetadataAtomic {
+        return new MetadataAtomic(props);
+    }
+
+    public getName(): string {
+        return (this.name_ ??= (() => {
+            if (this.tags.length === 0) return this.type;
+            else if (this.tags.length === 1) {
+                const str: string = [
+                    this.type,
+                    ...this.tags[0]!.map((t) => t.name),
+                ].join(" & ");
+                return `(${str})`;
+            }
+            const rows: string[] = this.tags.map((row) => {
+                const str: string = row.map((t) => t.name).join(" & ");
+                return row.length === 1 ? str : `(${str})`;
+            });
+            return `(${this.type} & (${rows.join(" | ")}))`;
+        })());
+    }
+}

package/src/schemas/metadata/MetadataProperty.ts

@@ -1,7 +1,6 @@
 import { ClassProperties } from "../../typings/ClassProperties";
 
 import { IJsDocTagInfo } from "./IJsDocTagInfo";
-import { IMetadataCommentTag } from "./IMetadataCommentTag";
 import { IMetadataDictionary } from "./IMetadataDictionary";
 import { IMetadataProperty } from "./IMetadataProperty";
 import { Metadata } from "./Metadata";
@@ -10,7 +9,6 @@ export class MetadataProperty {
     public readonly key: Metadata;
     public readonly value: Metadata;
     public readonly description: string | null;
-    public readonly tags: IMetadataCommentTag[];
     public readonly jsDocTags: IJsDocTagInfo[];
 
     /* -----------------------------------------------------------
@@ -23,7 +21,6 @@ export class MetadataProperty {
         this.key = props.key;
         this.value = props.value;
         this.description = props.description;
-        this.tags = props.tags;
         this.jsDocTags = props.jsDocTags;
     }
 
@@ -47,7 +44,6 @@ export class MetadataProperty {
             key: Metadata._From(property.key, dict),
             value: Metadata._From(property.value, dict),
             description: property.description,
-            tags: property.tags.slice(),
             jsDocTags: property.jsDocTags.slice(),
         });
     }
@@ -57,7 +53,6 @@ export class MetadataProperty {
             key: this.key.toJSON(),
             value: this.value.toJSON(),
             description: this.description,
-            tags: this.tags,
             jsDocTags: this.jsDocTags,
         };
     }

package/src/schemas/metadata/MetadataTuple.ts

@@ -1,5 +1,3 @@
-import { $clone } from "../../functional/$clone";
-
 import { ClassProperties } from "../../typings/ClassProperties";
 
 import { IMetadataTuple } from "./IMetadataTuple";
@@ -11,13 +9,16 @@ export class MetadataTuple {
     public readonly tags: IMetadataTypeTag[][];
 
     /**
-     * @internal
+     * @hidden
      */
     private constructor(props: ClassProperties<MetadataTuple>) {
         this.type = props.type;
         this.tags = props.tags;
     }
 
+    /**
+     * @internal
+     */
     public static create(props: ClassProperties<MetadataTuple>): MetadataTuple {
         return new MetadataTuple(props);
     }
@@ -25,7 +26,7 @@ export class MetadataTuple {
     public toJSON(): IMetadataTuple {
         return {
             type: this.type.toJSON(),
-            tags: $clone(this.tags),
+            tags: this.tags.map((row) => row.slice()),
         };
     }
 }

package/src/tags/ExclusiveMaximum.ts

@@ -1,8 +1,13 @@
-export type ExclusiveMaximum<Fixed extends number | bigint> = {
-    "typia.tag"?: {
-        target: Fixed extends number ? "number" : "bigint";
-        kind: "exclusiveMaximum";
-        value: Fixed;
-        validate?: `$input < ${Fixed}`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type ExclusiveMaximum<Value extends number | bigint> = TagBase<{
+    target: Value extends number ? "number" : "bigint";
+    kind: "exclusiveMaximum";
+    value: Value;
+    validate: `$input < ${Numeric<Value>}`;
+    exclusive: ["exclusiveMaximum", "maximum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+    ? Value
+    : `BigInt(${Value})`;

package/src/tags/ExclusiveMinimum.ts

@@ -1,8 +1,13 @@
-export type ExclusiveMinimum<Fixed extends number | bigint> = {
-    "typia.tag"?: {
-        target: Fixed extends number ? "number" : "bigint";
-        kind: "exclusiveMinimum";
-        value: Fixed;
-        validate?: `${Fixed} < $input`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type ExclusiveMinimum<Value extends number | bigint> = TagBase<{
+    target: Value extends number ? "number" : "bigint";
+    kind: "exclusiveMinimum";
+    value: Value;
+    validate: `${Numeric<Value>} < $input`;
+    exclusive: ["exclusiveMinimum", "minimum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+    ? Value
+    : `BigInt(${Value})`;

package/src/tags/Format.ts

@@ -1,3 +1,5 @@
+import { TagBase } from "./TagBase";
+
 export type Format<
     Value extends
         | "email"
@@ -7,23 +9,22 @@ export type Format<
         | "url"
         | "date"
         | "date-time",
-> = {
-    "typia.tag"?: {
-        target: "string";
-        kind: "format";
-        value: Value;
-        validate: Value extends "email"
-            ? `/^(([^<>()[\]\.,;:\s@\"]+(\.[^<>()[\]\.,;:\s@\"]+)*)|(\".+\"))@(([^<>()[\]\.,;:\s@\"]+\.)+[^<>()[\]\.,;:\s@\"]{2,})$/i.test($input)`
-            : Value extends "uuid"
-            ? `/^(?:[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}|00000000-0000-0000-0000-000000000000)$/i.test($input)`
-            : Value extends "ipv4"
-            ? `/^(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)$/.test($input)`
-            : Value extends "ipv6"
-            ? `/^(([0-9a-fA-F]{1,4}:){7,7}[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,7}:|([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}|([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}|([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}|([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}|[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})|:((:[0-9a-fA-F]{1,4}){1,7}|:)|fe80:(:[0-9a-fA-F]{0,4}){0,4}%[0-9a-zA-Z]{1,}|::(ffff(:0{1,4}){0,1}:){0,1}((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])|([0-9a-fA-F]{1,4}:){1,4}:((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9]))$/.test($input)`
-            : Value extends "url"
-            ? `/^[a-zA-Z0-9]+:\/\/(?:www.)?[-a-zA-Z0-9@:%._+~#=]{1,256}.[a-zA-Z0-9()]{1,6}\b(?:[-a-zA-Z0-9()@:%_+.~#?&/=]*)$/.test($input)`
-            : Value extends "date"
-            ? `/^(\d{4})-(\d{2})-(\d{2})$/.test($input)`
-            : `!isNaN(new Date($input).getTime())`;
-    };
-};
+> = TagBase<{
+    target: "string";
+    kind: "format";
+    value: Value;
+    validate: Value extends "email"
+        ? `/^(([^<>()[\\]\\.,;:\\s@\\"]+(\\.[^<>()[\\]\\.,;:\\s@\\"]+)*)|(\\".+\\"))@(([^<>()[\\]\\.,;:\\s@\\"]+\\.)+[^<>()[\\]\\.,;:\\s@\\"]{2,})$/i.test($input)`
+        : Value extends "uuid"
+        ? `/^(?:[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}|00000000-0000-0000-0000-000000000000)$/i.test($input)`
+        : Value extends "ipv4"
+        ? `/^(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)\\.(?:25[0-5]|2[0-4][0-9]|[01]?[0-9][0-9]?)$/.test($input)`
+        : Value extends "ipv6"
+        ? `/^(([0-9a-fA-F]{1,4}:){7,7}[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,7}:|([0-9a-fA-F]{1,4}:){1,6}:[0-9a-fA-F]{1,4}|([0-9a-fA-F]{1,4}:){1,5}(:[0-9a-fA-F]{1,4}){1,2}|([0-9a-fA-F]{1,4}:){1,4}(:[0-9a-fA-F]{1,4}){1,3}|([0-9a-fA-F]{1,4}:){1,3}(:[0-9a-fA-F]{1,4}){1,4}|([0-9a-fA-F]{1,4}:){1,2}(:[0-9a-fA-F]{1,4}){1,5}|[0-9a-fA-F]{1,4}:((:[0-9a-fA-F]{1,4}){1,6})|:((:[0-9a-fA-F]{1,4}){1,7}|:)|fe80:(:[0-9a-fA-F]{0,4}){0,4}%[0-9a-zA-Z]{1,}|::(ffff(:0{1,4}){0,1}:){0,1}((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])|([0-9a-fA-F]{1,4}:){1,4}:((25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9])\\.){3,3}(25[0-5]|(2[0-4]|1{0,1}[0-9]){0,1}[0-9]))$/.test($input)`
+        : Value extends "url"
+        ? `/^[a-zA-Z0-9]+:\\/\\/(?:www.)?[-a-zA-Z0-9@:%._+~#=]{1,256}.[a-zA-Z0-9()]{1,6}\\b(?:[-a-zA-Z0-9()@:%_+.~#?&/=]*)$/.test($input)`
+        : Value extends "date"
+        ? `/^(\\d{4})-(\\d{2})-(\\d{2})$/.test($input)`
+        : `!isNaN(new Date($input).getTime())`;
+    exclusive: ["pattern"];
+}>;

package/src/tags/MaxItems.ts

@@ -1,8 +1,9 @@
-export type MaxItems<Size extends number> = {
-    "typia.tag"?: {
-        target: "array";
-        kind: "maxItems";
-        value: Size;
-        validate: `$input.length <= ${Size}`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type MaxItems<Value extends number> = TagBase<{
+    target: "array";
+    kind: "maxItems";
+    value: Value;
+    validate: `$input.length <= ${Value}`;
+    exclusive: true;
+}>;

package/src/tags/MaxLength.ts

@@ -1,8 +1,9 @@
-export type MaxLength<Fixed extends number> = {
-    "typia.tag"?: {
-        target: "array";
-        kind: "maxLength";
-        value: number;
-        validate: `$input.length <= ${Fixed}`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type MaxLength<Value extends number> = TagBase<{
+    target: "string";
+    kind: "maxLength";
+    value: Value;
+    validate: `$input.length <= ${Value}`;
+    exclusive: true;
+}>;

package/src/tags/Maximum.ts

@@ -1,8 +1,13 @@
-export type Maximum<Fixed extends number | bigint> = {
-    "typia.tag"?: {
-        target: Fixed extends number ? "number" : "bigint";
-        kind: "maximum";
-        value: Fixed;
-        validate: `$input <= ${Fixed}`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type Maximum<Value extends number | bigint> = TagBase<{
+    target: Value extends number ? "number" : "bigint";
+    kind: "maximum";
+    value: Value;
+    validate: `$input <= ${Numeric<Value>}`;
+    exclusive: ["maximum", "exclusiveMaximum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+    ? Value
+    : `BigInt(${Value})`;

package/src/tags/MinItems.ts

@@ -1,8 +1,9 @@
-export type MinItems<Size extends number> = {
-    "typia.tag"?: {
-        target: "array";
-        kind: "minItems";
-        value: Size;
-        validate: `${Size} <= $input.length`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type MinItems<Value extends number> = TagBase<{
+    target: "array";
+    kind: "minItems";
+    value: Value;
+    validate: `${Value} <= $input.length`;
+    exclusive: true;
+}>;

package/src/tags/MinLength.ts

@@ -1,8 +1,9 @@
-export type MinLength<Fixed extends number> = {
-    "typia.tag"?: {
-        target: "array";
-        kind: "minLength";
-        value: number;
-        validate: `${Fixed} <= $input.length`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type MinLength<Value extends number> = TagBase<{
+    target: "string";
+    kind: "minLength";
+    value: Value;
+    validate: `${Value} <= $input.length`;
+    exclusive: true;
+}>;

package/src/tags/Minimum.ts

@@ -1,8 +1,13 @@
-export type Minimum<Fixed extends number | bigint> = {
-    "typia.tag"?: {
-        target: Fixed extends number ? "number" : "bigint";
-        kind: "minimum";
-        value: Fixed;
-        validate?: `${Fixed} <= $input`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type Minimum<Value extends number | bigint> = TagBase<{
+    target: Value extends number ? "number" : "bigint";
+    kind: "minimum";
+    value: Value;
+    validate: `${Numeric<Value>} <= $input`;
+    exclusive: ["minimum", "exclusiveMinimum"];
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+    ? Value
+    : `BigInt(${Value})`;

package/src/tags/MultipleOf.ts

@@ -1,10 +1,15 @@
-export type MultipleOf<Fixed extends number | bigint> = {
-    "typia.tag"?: {
-        target: Fixed extends bigint ? "bigint" : "number";
-        kind: "multipleOf";
-        value: Fixed;
-        validate: `$input % ${Fixed} === ${Fixed extends bigint
-            ? "bigint"
-            : "number"}`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+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>
+        : 0}`;
+    exclusive: true;
+}>;
+
+type Numeric<Value extends number | bigint> = Value extends number
+    ? Value
+    : `BigInt(${Value})`;

package/src/tags/Pattern.ts

@@ -1,8 +1,8 @@
-export type Pattern<Value extends string> = {
-    "typia.tag"?: {
-        target: "string";
-        kind: "pattern";
-        value: Value;
-        validate: `RegExp(/${Value}/).test($input)`;
-    };
-};
+import { TagBase } from "./TagBase";
+
+export type Pattern<Value extends string> = TagBase<{
+    target: "string";
+    kind: "pattern";
+    value: Value;
+    validate: `/${Value}/.test($input)`;
+}>;