typia 5.0.5 → 5.1.0-dev.20230923

package/src/Resolved.ts

@@ -1,116 +1,116 @@
-/**
- * Resolved type erased every methods.
- *
- * `Resolved` is a type of TMP (Type Meta Programming) type which converts
- * its argument as a resolved type that erased every method properties.
- *
- * If the target argument is a built-in class which returns its origin primitive type
- * through the `valueOf()` method like the `String` or `Number`, its return type would
- * be the `string` or `number`. Otherwise, the built-in class does not have the
- * `valueOf()` method, the return type would be same with the target argument.
- *
- * Otherwise, the target argument is a type of custom class, all of its custom methods
- * would be erased and its prototype would be changed to the primitive `object`.
- * Therefore, return type of the TMP type finally be the resolved object.
- *
- * Before                  | After
- * ------------------------|----------------------------------------
- * `Boolean`               | `boolean`
- * `Number`                | `number`
- * `BigInt`                | `bigint`
- * `String`                | `string`
- * `Class`                 | `interface`
- * Native Class or Others  | No change
- *
- * @template Instance Target argument type.
- * @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>;
-
-type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
-
-type ResolvedMain<Instance> = Instance extends [never]
-    ? never // (special trick for jsonable | null) type
-    : ValueOf<Instance> extends boolean | number | bigint | string
-    ? ValueOf<Instance>
-    : Instance extends Function
-    ? never
-    : Instance extends object
-    ? ResolvedObject<Instance>
-    : ValueOf<Instance>;
-
-type ResolvedObject<Instance extends object> = Instance extends Array<infer T>
-    ? IsTuple<Instance> extends true
-        ? ResolvedTuple<Instance>
-        : ResolvedMain<T>[]
-    : Instance extends Set<infer U>
-    ? Set<ResolvedMain<U>>
-    : Instance extends Map<infer K, infer V>
-    ? Map<ResolvedMain<K>, ResolvedMain<V>>
-    : Instance extends WeakSet<any> | WeakMap<any, any>
-    ? never
-    : Instance extends
-          | Date
-          | Uint8Array
-          | Uint8ClampedArray
-          | Uint16Array
-          | Uint32Array
-          | BigUint64Array
-          | Int8Array
-          | Int16Array
-          | Int32Array
-          | BigInt64Array
-          | Float32Array
-          | Float64Array
-          | ArrayBuffer
-          | SharedArrayBuffer
-          | DataView
-    ? Instance
-    : {
-          [P in keyof Instance]: ResolvedMain<Instance[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>]
-    : [];
-
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-    ? boolean
-    : IsValueOf<Instance, Number> extends true
-    ? number
-    : IsValueOf<Instance, String> extends true
-    ? string
-    : Instance;
-
-type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
-    never,
-]
-    ? false
-    : T extends readonly any[]
-    ? number extends T["length"]
-        ? false
-        : true
-    : false;
-
-type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
-    ? Object extends IValueOf<infer Primitive>
-        ? Instance extends Primitive
-            ? false
-            : true // not Primitive, but Object
-        : false // cannot be
-    : false;
-
-interface IValueOf<T> {
-    valueOf(): T;
-}
+/**
+ * Resolved type erased every methods.
+ *
+ * `Resolved` is a type of TMP (Type Meta Programming) type which converts
+ * its argument as a resolved type that erased every method properties.
+ *
+ * If the target argument is a built-in class which returns its origin primitive type
+ * through the `valueOf()` method like the `String` or `Number`, its return type would
+ * be the `string` or `number`. Otherwise, the built-in class does not have the
+ * `valueOf()` method, the return type would be same with the target argument.
+ *
+ * Otherwise, the target argument is a type of custom class, all of its custom methods
+ * would be erased and its prototype would be changed to the primitive `object`.
+ * Therefore, return type of the TMP type finally be the resolved object.
+ *
+ * Before                  | After
+ * ------------------------|----------------------------------------
+ * `Boolean`               | `boolean`
+ * `Number`                | `number`
+ * `BigInt`                | `bigint`
+ * `String`                | `string`
+ * `Class`                 | `interface`
+ * Native Class or Others  | No change
+ *
+ * @template Instance Target argument type.
+ * @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>;
+
+type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
+
+type ResolvedMain<Instance> = Instance extends [never]
+    ? never // (special trick for jsonable | null) type
+    : ValueOf<Instance> extends boolean | number | bigint | string
+    ? ValueOf<Instance>
+    : Instance extends Function
+    ? never
+    : Instance extends object
+    ? ResolvedObject<Instance>
+    : ValueOf<Instance>;
+
+type ResolvedObject<Instance extends object> = Instance extends Array<infer T>
+    ? IsTuple<Instance> extends true
+        ? ResolvedTuple<Instance>
+        : ResolvedMain<T>[]
+    : Instance extends Set<infer U>
+    ? Set<ResolvedMain<U>>
+    : Instance extends Map<infer K, infer V>
+    ? Map<ResolvedMain<K>, ResolvedMain<V>>
+    : Instance extends WeakSet<any> | WeakMap<any, any>
+    ? never
+    : Instance extends
+          | Date
+          | Uint8Array
+          | Uint8ClampedArray
+          | Uint16Array
+          | Uint32Array
+          | BigUint64Array
+          | Int8Array
+          | Int16Array
+          | Int32Array
+          | BigInt64Array
+          | Float32Array
+          | Float64Array
+          | ArrayBuffer
+          | SharedArrayBuffer
+          | DataView
+    ? Instance
+    : {
+          [P in keyof Instance]: ResolvedMain<Instance[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>]
+    : [];
+
+type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
+    ? boolean
+    : IsValueOf<Instance, Number> extends true
+    ? number
+    : IsValueOf<Instance, String> extends true
+    ? string
+    : Instance;
+
+type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
+    never,
+]
+    ? false
+    : T extends readonly any[]
+    ? number extends T["length"]
+        ? false
+        : true
+    : false;
+
+type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
+    ? Object extends IValueOf<infer Primitive>
+        ? Instance extends Primitive
+            ? false
+            : true // not Primitive, but Object
+        : false // cannot be
+    : false;
+
+interface IValueOf<T> {
+    valueOf(): T;
+}

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?: string;
-        expected: string;
-        value: any;
-        message?: 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?: string;
+        expected: string;
+        value: any;
+        message?: string;
+    }
+}

package/src/executable/TypiaGenerateWizard.ts

@@ -1,85 +1,85 @@
-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 () => {
-            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 () => {
+            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;
+    }
+}