typia 5.0.5 → 5.1.0-dev.20230922

package/src/tags/Format.ts

@@ -1,30 +1,30 @@
-import { TagBase } from "./TagBase";
-
-export type Format<
-    Value extends
-        | "email"
-        | "uuid"
-        | "ipv4"
-        | "ipv6"
-        | "url"
-        | "date"
-        | "date-time",
-> = 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"];
-}>;
+import { TagBase } from "./TagBase";
+
+export type Format<
+    Value extends
+        | "email"
+        | "uuid"
+        | "ipv4"
+        | "ipv6"
+        | "url"
+        | "date"
+        | "date-time",
+> = 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,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MaxItems<Value extends number> = TagBase<{
-    target: "array";
-    kind: "maxItems";
-    value: Value;
-    validate: `$input.length <= ${Value}`;
-    exclusive: true;
-}>;
+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,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MaxLength<Value extends number> = TagBase<{
-    target: "string";
-    kind: "maxLength";
-    value: Value;
-    validate: `$input.length <= ${Value}`;
-    exclusive: true;
-}>;
+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,13 +1,13 @@
-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})`;
+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,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MinItems<Value extends number> = TagBase<{
-    target: "array";
-    kind: "minItems";
-    value: Value;
-    validate: `${Value} <= $input.length`;
-    exclusive: true;
-}>;
+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,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type MinLength<Value extends number> = TagBase<{
-    target: "string";
-    kind: "minLength";
-    value: Value;
-    validate: `${Value} <= $input.length`;
-    exclusive: true;
-}>;
+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,13 +1,13 @@
-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})`;
+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,15 +1,15 @@
-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})`;
+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 @@
-import { TagBase } from "./TagBase";
-
-export type Pattern<Value extends string> = TagBase<{
-    target: "string";
-    kind: "pattern";
-    value: Value;
-    validate: `/${Value}/.test($input)`;
-}>;
+import { TagBase } from "./TagBase";
+
+export type Pattern<Value extends string> = TagBase<{
+    target: "string";
+    kind: "pattern";
+    value: Value;
+    validate: `/${Value}/.test($input)`;
+}>;

package/src/tags/TagBase.ts

@@ -1,68 +1,68 @@
-export type TagBase<Props extends TagBase.IProps<any, any, any, any, any>> = {
-    /**
-     * This is a dummy property for compilation.
-     *
-     * It does not mean anything in runtime.
-     */
-    "typia.tag"?: Props;
-};
-export namespace TagBase {
-    export interface IProps<
-        Target extends "bigint" | "number" | "string" | "array",
-        Kind extends string,
-        Value extends boolean | bigint | number | string | undefined,
-        Validate extends
-            | string
-            | {
-                  [key in Target]?: string;
-              },
-        Exclusive extends boolean | string[],
-    > {
-        /**
-         * Target type.
-         *
-         * If user tries to adapt this tag to a different type, it would be a compile
-         * error.
-         *
-         * For example, you've configured target type as `string`, but user adapted it
-         * onto a `number` type (`number & YourCustomTag<Value>`), then it would be
-         * blocked by TypeScript compiler.
-         */
-        target: Target;
-
-        /**
-         * What kind of tag is this?
-         */
-        kind: Kind;
-
-        /**
-         * Value to be configured by user.
-         */
-        value: Value;
-
-        /**
-         * Validation script.
-         *
-         * This script would be inserted into the generated validation function.
-         * In here script, target variable name must be `$input`. The variable name
-         * `$input` would be transformed to the suitable when compilation.
-         *
-         * Also, If you've take a mistake on this script, compile error would be
-         * occured. So, define it with confidence. Compiler will block all your
-         * mistakes.
-         */
-        validate: Validate;
-
-        /**
-         * Exclusive option.
-         *
-         * If this property configured as `true`, same {@link kind} tag cannot be
-         * duplicated in the target type. Otherwise, if you've configured this
-         * property as string array, all of the {@link kind} value assigned
-         * tags cannot be compatible in the target type.
-         *
-         * @default false
-         */
-        exclusive?: Exclusive | string[];
-    }
-}
+export type TagBase<Props extends TagBase.IProps<any, any, any, any, any>> = {
+    /**
+     * This is a dummy property for compilation.
+     *
+     * It does not mean anything in runtime.
+     */
+    "typia.tag"?: Props;
+};
+export namespace TagBase {
+    export interface IProps<
+        Target extends "bigint" | "number" | "string" | "array",
+        Kind extends string,
+        Value extends boolean | bigint | number | string | undefined,
+        Validate extends
+            | string
+            | {
+                  [key in Target]?: string;
+              },
+        Exclusive extends boolean | string[],
+    > {
+        /**
+         * Target type.
+         *
+         * If user tries to adapt this tag to a different type, it would be a compile
+         * error.
+         *
+         * For example, you've configured target type as `string`, but user adapted it
+         * onto a `number` type (`number & YourCustomTag<Value>`), then it would be
+         * blocked by TypeScript compiler.
+         */
+        target: Target;
+
+        /**
+         * What kind of tag is this?
+         */
+        kind: Kind;
+
+        /**
+         * Value to be configured by user.
+         */
+        value: Value;
+
+        /**
+         * Validation script.
+         *
+         * This script would be inserted into the generated validation function.
+         * In here script, target variable name must be `$input`. The variable name
+         * `$input` would be transformed to the suitable when compilation.
+         *
+         * Also, If you've take a mistake on this script, compile error would be
+         * occured. So, define it with confidence. Compiler will block all your
+         * mistakes.
+         */
+        validate: Validate;
+
+        /**
+         * Exclusive option.
+         *
+         * If this property configured as `true`, same {@link kind} tag cannot be
+         * duplicated in the target type. Otherwise, if you've configured this
+         * property as string array, all of the {@link kind} value assigned
+         * tags cannot be compatible in the target type.
+         *
+         * @default false
+         */
+        exclusive?: Exclusive | string[];
+    }
+}

package/src/tags/Type.ts

@@ -1,27 +1,27 @@
-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;
-}>;
+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;
+}>;

package/src/tags/index.ts

@@ -1,13 +1,13 @@
-export * from "./ExclusiveMaximum";
-export * from "./ExclusiveMinimum";
-export * from "./Format";
-export * from "./Maximum";
-export * from "./MaxItems";
-export * from "./MaxLength";
-export * from "./Minimum";
-export * from "./MinItems";
-export * from "./MinLength";
-export * from "./MultipleOf";
-export * from "./Pattern";
-export * from "./TagBase";
-export * from "./Type";
+export * from "./ExclusiveMaximum";
+export * from "./ExclusiveMinimum";
+export * from "./Format";
+export * from "./Maximum";
+export * from "./MaxItems";
+export * from "./MaxLength";
+export * from "./Minimum";
+export * from "./MinItems";
+export * from "./MinLength";
+export * from "./MultipleOf";
+export * from "./Pattern";
+export * from "./TagBase";
+export * from "./Type";

package/src/transform.ts

@@ -1,35 +1,35 @@
-import ts from "typescript";
-
-import { FileTransformer } from "./transformers/FileTransformer";
-import { IProject } from "./transformers/IProject";
-import { ITransformOptions } from "./transformers/ITransformOptions";
-
-export const transform = (
-    program: ts.Program,
-    options: ITransformOptions | undefined,
-    extras: IProject["extras"],
-): ts.TransformerFactory<ts.SourceFile> => {
-    const compilerOptions: ts.CompilerOptions = program.getCompilerOptions();
-    const strict: boolean =
-        compilerOptions.strictNullChecks !== undefined
-            ? !!compilerOptions.strictNullChecks
-            : !!compilerOptions.strict;
-    if (strict === false)
-        extras.addDiagnostic({
-            category: ts.DiagnosticCategory.Error,
-            code: "(typia)" as any,
-            file: undefined,
-            start: undefined,
-            length: undefined,
-            messageText: "strict mode is required.",
-        });
-    return FileTransformer.transform({
-        program,
-        compilerOptions,
-        checker: program.getTypeChecker(),
-        printer: ts.createPrinter(),
-        options: options ?? {},
-        extras,
-    });
-};
-export default transform;
+import ts from "typescript";
+
+import { FileTransformer } from "./transformers/FileTransformer";
+import { IProject } from "./transformers/IProject";
+import { ITransformOptions } from "./transformers/ITransformOptions";
+
+export const transform = (
+    program: ts.Program,
+    options: ITransformOptions | undefined,
+    extras: IProject["extras"],
+): ts.TransformerFactory<ts.SourceFile> => {
+    const compilerOptions: ts.CompilerOptions = program.getCompilerOptions();
+    const strict: boolean =
+        compilerOptions.strictNullChecks !== undefined
+            ? !!compilerOptions.strictNullChecks
+            : !!compilerOptions.strict;
+    if (strict === false)
+        extras.addDiagnostic({
+            category: ts.DiagnosticCategory.Error,
+            code: "(typia)" as any,
+            file: undefined,
+            start: undefined,
+            length: undefined,
+            messageText: "strict mode is required.",
+        });
+    return FileTransformer.transform({
+        program,
+        compilerOptions,
+        checker: program.getTypeChecker(),
+        printer: ts.createPrinter(),
+        options: options ?? {},
+        extras,
+    });
+};
+export default transform;