typia 5.3.0-dev.20231112 → 5.3.0-dev.20231119

package/src/tags/ExclusiveMinimum.ts

@@ -1,13 +1,13 @@
-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})`;
+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,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: ["format", "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: ["format", "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,9 +1,9 @@
-import { TagBase } from "./TagBase";
-
-export type Pattern<Value extends string> = TagBase<{
-    target: "string";
-    kind: "pattern";
-    value: Value;
-    validate: `/${Value}/.test($input)`;
-    exclusive: ["format", "pattern"];
-}>;
+import { TagBase } from "./TagBase";
+
+export type Pattern<Value extends string> = TagBase<{
+  target: "string";
+  kind: "pattern";
+  value: Value;
+  validate: `/${Value}/.test($input)`;
+  exclusive: ["format", "pattern"];
+}>;

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 "boolean" | "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 "boolean" | "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/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;