typia 5.0.0-dev.2023084 → 5.0.0

package/src/schemas/metadata/MetadataAlias.ts

@@ -2,14 +2,12 @@ import { ClassProperties } from "../../typings/ClassProperties";
 
 import { IJsDocTagInfo } from "./IJsDocTagInfo";
 import { IMetadataAlias } from "./IMetadataAlias";
-import { IMetadataTag } from "./IMetadataTag";
 import { Metadata } from "./Metadata";
 
 export class MetadataAlias {
     public readonly name: string;
     public readonly value: Metadata;
     public readonly description: string | null;
-    public readonly tags: IMetadataTag[];
     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,55 +1,49 @@
 import { ClassProperties } from "../../typings/ClassProperties";
 
 import { IMetadataArray } from "./IMetadataArray";
-import { Metadata } from "./Metadata";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+import { MetadataArrayType } from "./MetadataArrayType";
 
 export class MetadataArray {
-    public readonly name: string;
-    public readonly value: Metadata;
-    public readonly nullables: boolean[];
-    public readonly recursive: boolean;
-    public readonly index: number | null;
+    public readonly type: MetadataArrayType;
+    public readonly tags: IMetadataTypeTag[][];
+
+    private name_?: string;
 
     /**
      * @hidden
      */
     private constructor(props: ClassProperties<MetadataArray>) {
-        this.name = props.name;
-        this.value = props.value;
-        this.index = props.index;
-        this.recursive = props.recursive;
-        this.nullables = props.nullables;
-    }
-
-    /**
-     * @internal
-     */
-    public static _From_without_value(
-        props: Omit<IMetadataArray, "value">,
-    ): MetadataArray {
-        return this.create({
-            name: props.name,
-            value: null!,
-            index: props.index,
-            recursive: props.recursive,
-            nullables: props.nullables,
-        });
+        this.type = props.type;
+        this.tags = props.tags;
     }
 
-    /**
-     * @internal
-     */
     public static create(props: ClassProperties<MetadataArray>): 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 {
-            name: this.name,
-            value: this.value.toJSON(),
-            nullables: this.nullables,
-            recursive: this.recursive,
-            index: this.index,
+            type: this.type.toJSON(),
+            tags: this.tags.map((row) => row.slice()),
         };
     }
 }

package/src/schemas/metadata/MetadataArrayType.ts

@@ -0,0 +1,57 @@
+import { ClassProperties } from "../../typings/ClassProperties";
+
+import { IMetadataArrayType } from "./IMetadataArrayType";
+import { Metadata } from "./Metadata";
+
+export class MetadataArrayType {
+    public readonly name: string;
+    public readonly value: Metadata;
+    public readonly nullables: boolean[];
+    public readonly recursive: boolean;
+    public readonly index: number | null;
+
+    /**
+     * @hidden
+     */
+    private constructor(props: ClassProperties<MetadataArrayType>) {
+        this.name = props.name;
+        this.value = props.value;
+        this.index = props.index;
+        this.recursive = props.recursive;
+        this.nullables = props.nullables;
+    }
+
+    /**
+     * @internal
+     */
+    public static _From_without_value(
+        props: Omit<IMetadataArrayType, "value">,
+    ): MetadataArrayType {
+        return this.create({
+            name: props.name,
+            value: null!,
+            index: props.index,
+            recursive: props.recursive,
+            nullables: props.nullables,
+        });
+    }
+
+    /**
+     * @internal
+     */
+    public static create(
+        props: ClassProperties<MetadataArrayType>,
+    ): MetadataArrayType {
+        return new MetadataArrayType(props);
+    }
+
+    public toJSON(): IMetadataArrayType {
+        return {
+            name: this.name,
+            value: this.value.toJSON(),
+            nullables: this.nullables,
+            recursive: this.recursive,
+            index: this.index,
+        };
+    }
+}

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/MetadataEscaped.ts

@@ -1,51 +1,51 @@
-import { ClassProperties } from "../../typings/ClassProperties";
-
-import { IMetadataDictionary } from "./IMetadataDictionary";
-import { IMetadataEscaped } from "./IMetadataEscaped";
-import { Metadata } from "./Metadata";
-
-export class MetadataEscaped {
-    public readonly original: Metadata;
-    public readonly returns: Metadata;
-
-    /**
-     * @hidden
-     */
-    private constructor(props: ClassProperties<MetadataEscaped>) {
-        this.original = props.original;
-        this.returns = props.returns;
-    }
-
-    /**
-     * @internal
-     */
-    public static _From(
-        props: IMetadataEscaped,
-        dict: IMetadataDictionary,
-    ): MetadataEscaped {
-        return this.create({
-            original: Metadata._From(props.original, dict),
-            returns: Metadata._From(props.returns, dict),
-        });
-    }
-
-    /**
-     * @internal
-     */
-    public static create(
-        props: ClassProperties<MetadataEscaped>,
-    ): MetadataEscaped {
-        return new MetadataEscaped(props);
-    }
-
-    public getName(): string {
-        return this.returns.getName();
-    }
-
-    public toJSON(): IMetadataEscaped {
-        return {
-            original: this.original.toJSON(),
-            returns: this.returns.toJSON(),
-        };
-    }
-}
+import { ClassProperties } from "../../typings/ClassProperties";
+
+import { IMetadataDictionary } from "./IMetadataDictionary";
+import { IMetadataEscaped } from "./IMetadataEscaped";
+import { Metadata } from "./Metadata";
+
+export class MetadataEscaped {
+    public readonly original: Metadata;
+    public readonly returns: Metadata;
+
+    /**
+     * @hidden
+     */
+    private constructor(props: ClassProperties<MetadataEscaped>) {
+        this.original = props.original;
+        this.returns = props.returns;
+    }
+
+    /**
+     * @internal
+     */
+    public static _From(
+        props: IMetadataEscaped,
+        dict: IMetadataDictionary,
+    ): MetadataEscaped {
+        return this.create({
+            original: Metadata._From(props.original, dict),
+            returns: Metadata._From(props.returns, dict),
+        });
+    }
+
+    /**
+     * @internal
+     */
+    public static create(
+        props: ClassProperties<MetadataEscaped>,
+    ): MetadataEscaped {
+        return new MetadataEscaped(props);
+    }
+
+    public getName(): string {
+        return this.returns.getName();
+    }
+
+    public toJSON(): IMetadataEscaped {
+        return {
+            original: this.original.toJSON(),
+            returns: this.returns.toJSON(),
+        };
+    }
+}

package/src/schemas/metadata/MetadataProperty.ts

@@ -3,14 +3,12 @@ import { ClassProperties } from "../../typings/ClassProperties";
 import { IJsDocTagInfo } from "./IJsDocTagInfo";
 import { IMetadataDictionary } from "./IMetadataDictionary";
 import { IMetadataProperty } from "./IMetadataProperty";
-import { IMetadataTag } from "./IMetadataTag";
 import { Metadata } from "./Metadata";
 
 export class MetadataProperty {
     public readonly key: Metadata;
     public readonly value: Metadata;
     public readonly description: string | null;
-    public readonly tags: IMetadataTag[];
     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,58 +1,32 @@
 import { ClassProperties } from "../../typings/ClassProperties";
 
 import { IMetadataTuple } from "./IMetadataTuple";
-import { Metadata } from "./Metadata";
+import { IMetadataTypeTag } from "./IMetadataTypeTag";
+import { MetadataTupleType } from "./MetadataTupleType";
 
 export class MetadataTuple {
-    public readonly name: string;
-    public readonly elements: Metadata[];
-
-    public readonly index: number | null;
-    public readonly recursive: boolean;
-    public readonly nullables: boolean[];
-
-    /**
-     * @internal
-     */
-    public of_map?: boolean;
+    public readonly type: MetadataTupleType;
+    public readonly tags: IMetadataTypeTag[][];
 
     /**
-     * @internal
+     * @hidden
      */
     private constructor(props: ClassProperties<MetadataTuple>) {
-        this.name = props.name;
-        this.elements = props.elements;
-        this.index = props.index;
-        this.recursive = props.recursive;
-        this.nullables = props.nullables;
+        this.type = props.type;
+        this.tags = props.tags;
     }
 
     /**
      * @internal
      */
-    public static _From_without_elements(
-        props: Omit<IMetadataTuple, "elements">,
-    ): MetadataTuple {
-        return this.create({
-            name: props.name,
-            index: props.index,
-            elements: null!,
-            recursive: props.recursive,
-            nullables: props.nullables.slice(),
-        });
-    }
-
     public static create(props: ClassProperties<MetadataTuple>): MetadataTuple {
         return new MetadataTuple(props);
     }
 
     public toJSON(): IMetadataTuple {
         return {
-            name: this.name,
-            index: this.index,
-            elements: this.elements.map((elem) => elem.toJSON()),
-            recursive: this.recursive,
-            nullables: this.nullables.slice(),
+            type: this.type.toJSON(),
+            tags: this.tags.map((row) => row.slice()),
         };
     }
 }

package/src/schemas/metadata/MetadataTupleType.ts

@@ -0,0 +1,67 @@
+import { ClassProperties } from "../../typings/ClassProperties";
+
+import { IMetadataTupleType } from "./IMetadataTupleType";
+import { Metadata } from "./Metadata";
+
+export class MetadataTupleType {
+    public readonly name: string;
+    public readonly elements: Metadata[];
+
+    public readonly index: number | null;
+    public readonly recursive: boolean;
+    public readonly nullables: boolean[];
+
+    /**
+     * @internal
+     */
+    public of_map?: boolean;
+
+    /**
+     * @internal
+     */
+    private constructor(props: ClassProperties<MetadataTupleType>) {
+        this.name = props.name;
+        this.elements = props.elements;
+        this.index = props.index;
+        this.recursive = props.recursive;
+        this.nullables = props.nullables;
+    }
+
+    /**
+     * @internal
+     */
+    public static _From_without_elements(
+        props: Omit<IMetadataTupleType, "elements">,
+    ): MetadataTupleType {
+        return this.create({
+            name: props.name,
+            index: props.index,
+            elements: null!,
+            recursive: props.recursive,
+            nullables: props.nullables.slice(),
+        });
+    }
+
+    public static create(
+        props: ClassProperties<MetadataTupleType>,
+    ): MetadataTupleType {
+        return new MetadataTupleType(props);
+    }
+
+    public isRest(): boolean {
+        return (
+            this.elements.length > 0 &&
+            this.elements[this.elements.length - 1]!.rest !== null
+        );
+    }
+
+    public toJSON(): IMetadataTupleType {
+        return {
+            name: this.name,
+            index: this.index,
+            elements: this.elements.map((elem) => elem.toJSON()),
+            recursive: this.recursive,
+            nullables: this.nullables.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"?: {
-        targeet: "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})`;