typia 5.5.7 → 5.5.8-dev.20240402

package/src/Resolved.ts

@@ -26,84 +26,85 @@
  * @author Jeongho Nam - https://github.com/samchon
  * @author Kyungsu Kang - https://github.com/kakasoo
  */
-export type Resolved<T> = Equal<T, ResolvedMain<T>> extends true
-  ? T
-  : ResolvedMain<T>;
+export type Resolved<T> =
+  Equal<T, ResolvedMain<T>> extends true ? T : ResolvedMain<T>;
 
 type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
 
 type ResolvedMain<T> = T extends [never]
   ? never // (special trick for jsonable | null) type
   : ValueOf<T> extends boolean | number | bigint | string
-  ? ValueOf<T>
-  : T extends Function
-  ? never
-  : T extends object
-  ? ResolvedObject<T>
-  : ValueOf<T>;
+    ? ValueOf<T>
+    : T extends Function
+      ? never
+      : T extends object
+        ? ResolvedObject<T>
+        : ValueOf<T>;
 
-type ResolvedObject<T extends object> = T extends Array<infer U>
-  ? IsTuple<T> extends true
-    ? ResolvedTuple<T>
-    : ResolvedMain<U>[]
-  : T extends Set<infer U>
-  ? Set<ResolvedMain<U>>
-  : T extends Map<infer K, infer V>
-  ? Map<ResolvedMain<K>, ResolvedMain<V>>
-  : T extends WeakSet<any> | WeakMap<any, any>
-  ? never
-  : T extends
-      | Date
-      | Uint8Array
-      | Uint8ClampedArray
-      | Uint16Array
-      | Uint32Array
-      | BigUint64Array
-      | Int8Array
-      | Int16Array
-      | Int32Array
-      | BigInt64Array
-      | Float32Array
-      | Float64Array
-      | ArrayBuffer
-      | SharedArrayBuffer
-      | DataView
-      | Blob
-      | File
-  ? T
-  : {
-      [P in keyof T]: ResolvedMain<T[P]>;
-    };
+type ResolvedObject<T extends object> =
+  T extends Array<infer U>
+    ? IsTuple<T> extends true
+      ? ResolvedTuple<T>
+      : ResolvedMain<U>[]
+    : T extends Set<infer U>
+      ? Set<ResolvedMain<U>>
+      : T extends Map<infer K, infer V>
+        ? Map<ResolvedMain<K>, ResolvedMain<V>>
+        : T extends WeakSet<any> | WeakMap<any, any>
+          ? never
+          : T extends
+                | Date
+                | Uint8Array
+                | Uint8ClampedArray
+                | Uint16Array
+                | Uint32Array
+                | BigUint64Array
+                | Int8Array
+                | Int16Array
+                | Int32Array
+                | BigInt64Array
+                | Float32Array
+                | Float64Array
+                | ArrayBuffer
+                | SharedArrayBuffer
+                | DataView
+                | Blob
+                | File
+            ? T
+            : {
+                [P in keyof T]: ResolvedMain<T[P]>;
+              };
 
 type ResolvedTuple<T extends readonly any[]> = T extends []
   ? []
   : T extends [infer F]
-  ? [ResolvedMain<F>]
-  : T extends [infer F, ...infer Rest extends readonly any[]]
-  ? [ResolvedMain<F>, ...ResolvedTuple<Rest>]
-  : T extends [(infer F)?]
-  ? [ResolvedMain<F>?]
-  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-  ? [ResolvedMain<F>?, ...ResolvedTuple<Rest>]
-  : [];
+    ? [ResolvedMain<F>]
+    : T extends [infer F, ...infer Rest extends readonly any[]]
+      ? [ResolvedMain<F>, ...ResolvedTuple<Rest>]
+      : T extends [(infer F)?]
+        ? [ResolvedMain<F>?]
+        : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+          ? [ResolvedMain<F>?, ...ResolvedTuple<Rest>]
+          : [];
 
 type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
   never,
 ]
   ? false
   : T extends readonly any[]
-  ? number extends T["length"]
-    ? false
-    : true
-  : false;
+    ? number extends T["length"]
+      ? false
+      : true
+    : false;
 
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-  ? boolean
-  : IsValueOf<Instance, Number> extends true
-  ? number
-  : IsValueOf<Instance, String> extends true
-  ? string
-  : Instance;
+type ValueOf<Instance> =
+  IsValueOf<Instance, Boolean> extends true
+    ? boolean
+    : IsValueOf<Instance, Number> extends true
+      ? number
+      : IsValueOf<Instance, String> extends true
+        ? string
+        : Instance;
 
 type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
   ? Object extends IValueOf<infer Primitive>

package/src/SnakeCase.ts

@@ -8,9 +8,8 @@
  * @template T Target type to be snake cased
  * @author Jeongho Nam - https://github.com/samchon
  */
-export type SnakeCase<T> = Equal<T, SnakageMain<T>> extends true
-  ? T
-  : SnakageMain<T>;
+export type SnakeCase<T> =
+  Equal<T, SnakageMain<T>> extends true ? T : SnakageMain<T>;
 
 /* -----------------------------------------------------------
     OBJECT CONVERSION
@@ -20,45 +19,48 @@ type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
 type SnakageMain<T> = T extends [never]
   ? never // special trick for (jsonable | null) type
   : T extends { valueOf(): boolean | bigint | number | string }
-  ? ValueOf<T>
-  : T extends Function
-  ? never
-  : T extends object
-  ? SnakageObject<T>
-  : T;
+    ? ValueOf<T>
+    : T extends Function
+      ? never
+      : T extends object
+        ? SnakageObject<T>
+        : T;
 
-type SnakageObject<T extends object> = T extends Array<infer U>
-  ? IsTuple<T> extends true
-    ? SnakageTuple<T>
-    : SnakageMain<U>[]
-  : T extends Set<infer U>
-  ? Set<SnakageMain<U>>
-  : T extends Map<infer K, infer V>
-  ? Map<SnakageMain<K>, SnakageMain<V>>
-  : T extends WeakSet<any> | WeakMap<any, any>
-  ? never
-  : T extends
-      | Date
-      | Uint8Array
-      | Uint8ClampedArray
-      | Uint16Array
-      | Uint32Array
-      | BigUint64Array
-      | Int8Array
-      | Int16Array
-      | Int32Array
-      | BigInt64Array
-      | Float32Array
-      | Float64Array
-      | ArrayBuffer
-      | SharedArrayBuffer
-      | DataView
-      | Blob
-      | File
-  ? T
-  : {
-      [Key in keyof T as SnakageString<Key & string>]: SnakageMain<T[Key]>;
-    };
+type SnakageObject<T extends object> =
+  T extends Array<infer U>
+    ? IsTuple<T> extends true
+      ? SnakageTuple<T>
+      : SnakageMain<U>[]
+    : T extends Set<infer U>
+      ? Set<SnakageMain<U>>
+      : T extends Map<infer K, infer V>
+        ? Map<SnakageMain<K>, SnakageMain<V>>
+        : T extends WeakSet<any> | WeakMap<any, any>
+          ? never
+          : T extends
+                | Date
+                | Uint8Array
+                | Uint8ClampedArray
+                | Uint16Array
+                | Uint32Array
+                | BigUint64Array
+                | Int8Array
+                | Int16Array
+                | Int32Array
+                | BigInt64Array
+                | Float32Array
+                | Float64Array
+                | ArrayBuffer
+                | SharedArrayBuffer
+                | DataView
+                | Blob
+                | File
+            ? T
+            : {
+                [Key in keyof T as SnakageString<Key & string>]: SnakageMain<
+                  T[Key]
+                >;
+              };
 
 /* -----------------------------------------------------------
     SPECIAL CASES
@@ -68,29 +70,30 @@ type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
 ]
   ? false
   : T extends readonly any[]
-  ? number extends T["length"]
-    ? false
-    : true
-  : false;
+    ? number extends T["length"]
+      ? false
+      : true
+    : false;
 type SnakageTuple<T extends readonly any[]> = T extends []
   ? []
   : T extends [infer F]
-  ? [SnakageMain<F>]
-  : T extends [infer F, ...infer Rest extends readonly any[]]
-  ? [SnakageMain<F>, ...SnakageTuple<Rest>]
-  : T extends [(infer F)?]
-  ? [SnakageMain<F>?]
-  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-  ? [SnakageMain<F>?, ...SnakageTuple<Rest>]
-  : [];
+    ? [SnakageMain<F>]
+    : T extends [infer F, ...infer Rest extends readonly any[]]
+      ? [SnakageMain<F>, ...SnakageTuple<Rest>]
+      : T extends [(infer F)?]
+        ? [SnakageMain<F>?]
+        : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+          ? [SnakageMain<F>?, ...SnakageTuple<Rest>]
+          : [];
 
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-  ? boolean
-  : IsValueOf<Instance, Number> extends true
-  ? number
-  : IsValueOf<Instance, String> extends true
-  ? string
-  : Instance;
+type ValueOf<Instance> =
+  IsValueOf<Instance, Boolean> extends true
+    ? boolean
+    : IsValueOf<Instance, Number> extends true
+      ? number
+      : IsValueOf<Instance, String> extends true
+        ? string
+        : Instance;
 
 type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
   ? Object extends IValueOf<infer Primitive>
@@ -119,16 +122,16 @@ type SnakageStringRepeatedly<
       Second
     >}${Lowercase<Second>}${SnakageStringRepeatedly<Rest, Second>}`
   : S extends `${infer First}`
-  ? `${Underscore<Previous, First>}${Lowercase<First>}`
-  : "";
+    ? `${Underscore<Previous, First>}${Lowercase<First>}`
+    : "";
 type Underscore<First extends string, Second extends string> = First extends
   | UpperAlphabetic
   | ""
   | "_"
   ? ""
   : Second extends UpperAlphabetic
-  ? "_"
-  : "";
+    ? "_"
+    : "";
 type UpperAlphabetic =
   | "A"
   | "B"

package/src/TypeGuardError.ts

@@ -1,36 +1,36 @@
-export class TypeGuardError extends Error {
-  public readonly method: string;
-  public readonly path: string | undefined;
-  public readonly expected: string;
-  public readonly value: any;
-
-  public constructor(props: TypeGuardError.IProps) {
-    // MESSAGE CONSTRUCTION
-    super(
-      props.message ||
-        `Error on ${props.method}(): invalid type${
-          props.path ? ` on ${props.path}` : ""
-        }, expect to be ${props.expected}`,
-    );
-
-    // INHERITANCE POLYFILL
-    const proto = new.target.prototype;
-    if (Object.setPrototypeOf) Object.setPrototypeOf(this, proto);
-    else (this as any).__proto__ = proto;
-
-    // ASSIGN MEMBERS
-    this.method = props.method;
-    this.path = props.path;
-    this.expected = props.expected;
-    this.value = props.value;
-  }
-}
-export namespace TypeGuardError {
-  export interface IProps {
-    method: string;
-    path?: undefined | string;
-    expected: string;
-    value: any;
-    message?: undefined | string;
-  }
-}
+export class TypeGuardError extends Error {
+  public readonly method: string;
+  public readonly path: string | undefined;
+  public readonly expected: string;
+  public readonly value: any;
+
+  public constructor(props: TypeGuardError.IProps) {
+    // MESSAGE CONSTRUCTION
+    super(
+      props.message ||
+        `Error on ${props.method}(): invalid type${
+          props.path ? ` on ${props.path}` : ""
+        }, expect to be ${props.expected}`,
+    );
+
+    // INHERITANCE POLYFILL
+    const proto = new.target.prototype;
+    if (Object.setPrototypeOf) Object.setPrototypeOf(this, proto);
+    else (this as any).__proto__ = proto;
+
+    // ASSIGN MEMBERS
+    this.method = props.method;
+    this.path = props.path;
+    this.expected = props.expected;
+    this.value = props.value;
+  }
+}
+export namespace TypeGuardError {
+  export interface IProps {
+    method: string;
+    path?: undefined | string;
+    expected: string;
+    value: any;
+    message?: undefined | string;
+  }
+}

package/src/executable/TypiaGenerateWizard.ts

@@ -1,83 +1,83 @@
-import fs from "fs";
-
-import { TypiaProgrammer } from "../programmers/TypiaProgrammer";
-
-import { ArgumentParser } from "./setup/ArgumentParser";
-import { PackageManager } from "./setup/PackageManager";
-
-export namespace TypiaGenerateWizard {
-  export async function generate(): Promise<void> {
-    console.log("----------------------------------------");
-    console.log(" Typia Generate Wizard");
-    console.log("----------------------------------------");
-
-    // LOAD PACKAGE.JSON INFO
-    const pack: PackageManager = await PackageManager.mount();
-    const options: IArguments = await ArgumentParser.parse(pack)(inquiry);
-    await TypiaProgrammer.build(options);
-  }
-
-  const inquiry: ArgumentParser.Inquiry<IArguments> = async (
-    _pack,
-    command,
-    prompt,
-    action,
-  ) => {
-    // PREPARE ASSETS
-    command.option("--input [path]", "input directory");
-    command.option("--output [directory]", "output directory");
-    command.option("--project [project]", "tsconfig.json file location");
-
-    const questioned = { value: false };
-
-    const input = (name: string) => async (message: string) => {
-      const result = await prompt()({
-        type: "input",
-        name,
-        message,
-        default: "",
-      });
-      return result[name] as string;
-    };
-    const select =
-      (name: string) =>
-      (message: string) =>
-      async <Choice extends string>(choices: Choice[]): Promise<Choice> => {
-        questioned.value = true;
-        return (
-          await prompt()({
-            type: "list",
-            name: name,
-            message: message,
-            choices: choices,
-          })
-        )[name];
-      };
-    const configure = async (): Promise<string> => {
-      const files: string[] = await (
-        await fs.promises.readdir(process.cwd())
-      ).filter(
-        (str) =>
-          str.substring(0, 8) === "tsconfig" &&
-          str.substring(str.length - 5) === ".json",
-      );
-      if (files.length === 0)
-        throw new URIError(`Unable to find "tsconfig.json" file.`);
-      else if (files.length === 1) return files[0]!;
-      return select("tsconfig")("TS Config File")(files);
-    };
-
-    return action(async (options) => {
-      options.input ??= await input("input")("input directory");
-      options.output ??= await input("output")("output directory");
-      options.project ??= await configure();
-      return options as IArguments;
-    });
-  };
-
-  export interface IArguments {
-    input: string;
-    output: string;
-    project: string;
-  }
-}
+import fs from "fs";
+
+import { TypiaProgrammer } from "../programmers/TypiaProgrammer";
+
+import { ArgumentParser } from "./setup/ArgumentParser";
+import { PackageManager } from "./setup/PackageManager";
+
+export namespace TypiaGenerateWizard {
+  export async function generate(): Promise<void> {
+    console.log("----------------------------------------");
+    console.log(" Typia Generate Wizard");
+    console.log("----------------------------------------");
+
+    // LOAD PACKAGE.JSON INFO
+    const pack: PackageManager = await PackageManager.mount();
+    const options: IArguments = await ArgumentParser.parse(pack)(inquiry);
+    await TypiaProgrammer.build(options);
+  }
+
+  const inquiry: ArgumentParser.Inquiry<IArguments> = async (
+    _pack,
+    command,
+    prompt,
+    action,
+  ) => {
+    // PREPARE ASSETS
+    command.option("--input [path]", "input directory");
+    command.option("--output [directory]", "output directory");
+    command.option("--project [project]", "tsconfig.json file location");
+
+    const questioned = { value: false };
+
+    const input = (name: string) => async (message: string) => {
+      const result = await prompt()({
+        type: "input",
+        name,
+        message,
+        default: "",
+      });
+      return result[name] as string;
+    };
+    const select =
+      (name: string) =>
+      (message: string) =>
+      async <Choice extends string>(choices: Choice[]): Promise<Choice> => {
+        questioned.value = true;
+        return (
+          await prompt()({
+            type: "list",
+            name: name,
+            message: message,
+            choices: choices,
+          })
+        )[name];
+      };
+    const configure = async (): Promise<string> => {
+      const files: string[] = await (
+        await fs.promises.readdir(process.cwd())
+      ).filter(
+        (str) =>
+          str.substring(0, 8) === "tsconfig" &&
+          str.substring(str.length - 5) === ".json",
+      );
+      if (files.length === 0)
+        throw new URIError(`Unable to find "tsconfig.json" file.`);
+      else if (files.length === 1) return files[0]!;
+      return select("tsconfig")("TS Config File")(files);
+    };
+
+    return action(async (options) => {
+      options.input ??= await input("input")("input directory");
+      options.output ??= await input("output")("output directory");
+      options.project ??= await configure();
+      return options as IArguments;
+    });
+  };
+
+  export interface IArguments {
+    input: string;
+    output: string;
+    project: string;
+  }
+}

package/src/executable/TypiaPatchWizard.ts

@@ -1,42 +1,42 @@
-import fs from "fs";
-
-export namespace TypiaPatchWizard {
-  export const main = async (): Promise<void> => {
-    console.log("----------------------------------------");
-    console.log(" Typia Setup Wizard");
-    console.log("----------------------------------------");
-    console.log(
-      [
-        `Since TypeScript v5.3 update, "tsc" no more parses JSDoc comments.`,
-        ``,
-        `Therefore, "typia" revives the JSDoc parsing feature by patching "tsc".`,
-        ``,
-        `This is a temporary feature of "typia", and it would be removed when "ts-patch" being updated.`,
-      ].join("\n"),
-    );
-
-    await patch();
-  };
-
-  export const patch = async (): Promise<void> => {
-    const location: string = require.resolve("typescript/lib/tsc.js");
-    const content: string = await fs.promises.readFile(location, "utf8");
-    if (content.indexOf(FROM_WITH_COMMENT) !== -1)
-      await fs.promises.writeFile(
-        location,
-        content.replace(FROM_WITH_COMMENT, TO_WITH_COMMENT),
-        "utf8",
-      );
-    else if (content.indexOf(FROM_ONLY) !== -1)
-      await fs.promises.writeFile(
-        location,
-        content.replace(FROM_ONLY, TO_ONLY),
-        "utf8",
-      );
-  };
-}
-
-const FROM_WITH_COMMENT = `var defaultJSDocParsingMode = 2 /* ParseForTypeErrors */`;
-const TO_WITH_COMMENT = `var defaultJSDocParsingMode = 0 /* ParseAll */`;
-const FROM_ONLY = `var defaultJSDocParsingMode = 2`;
-const TO_ONLY = `var defaultJSDocParsingMode = 0`;
+import fs from "fs";
+
+export namespace TypiaPatchWizard {
+  export const main = async (): Promise<void> => {
+    console.log("----------------------------------------");
+    console.log(" Typia Setup Wizard");
+    console.log("----------------------------------------");
+    console.log(
+      [
+        `Since TypeScript v5.3 update, "tsc" no more parses JSDoc comments.`,
+        ``,
+        `Therefore, "typia" revives the JSDoc parsing feature by patching "tsc".`,
+        ``,
+        `This is a temporary feature of "typia", and it would be removed when "ts-patch" being updated.`,
+      ].join("\n"),
+    );
+
+    await patch();
+  };
+
+  export const patch = async (): Promise<void> => {
+    const location: string = require.resolve("typescript/lib/tsc.js");
+    const content: string = await fs.promises.readFile(location, "utf8");
+    if (content.indexOf(FROM_WITH_COMMENT) !== -1)
+      await fs.promises.writeFile(
+        location,
+        content.replace(FROM_WITH_COMMENT, TO_WITH_COMMENT),
+        "utf8",
+      );
+    else if (content.indexOf(FROM_ONLY) !== -1)
+      await fs.promises.writeFile(
+        location,
+        content.replace(FROM_ONLY, TO_ONLY),
+        "utf8",
+      );
+  };
+}
+
+const FROM_WITH_COMMENT = `var defaultJSDocParsingMode = 2 /* ParseForTypeErrors */`;
+const TO_WITH_COMMENT = `var defaultJSDocParsingMode = 0 /* ParseAll */`;
+const FROM_ONLY = `var defaultJSDocParsingMode = 2`;
+const TO_ONLY = `var defaultJSDocParsingMode = 0`;

package/src/executable/TypiaSetupWizard.ts

@@ -117,10 +117,10 @@ export namespace TypiaSetupWizard {
           x === "tsconfig.json"
             ? -1
             : y === "tsconfig.json"
-            ? 1
-            : x < y
-            ? -1
-            : 1,
+              ? 1
+              : x < y
+                ? -1
+                : 1,
         );
       if (fileList.length === 0) {
         if (process.cwd() !== pack.directory)