typia 5.2.6 → 5.2.7-dev.20231109

package/src/Primitive.ts

@@ -1,135 +1,135 @@
-/**
- * Primitive type of JSON.
- *
- * `Primitive<T>` is a TMP (Type Meta Programming) type which converts
- * its argument as a primitive type within framework JSON.
- *
- * 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 an empty object (`{}`).
- *
- * Otherwise, the target argument is a type of custom class, all of its custom method
- * would be erased and its prototype would be changed to the primitive `object`.
- * Therefore, return type of the TMP type finally be the primitive object.
- *
- * In addition, if the target argument is a type of custom class and it has a special
- * method `toJSON()`, return type of this `Primitive` would be not `Primitive<Instance>`
- * but `Primitive<ReturnType<Instance.toJSON>>`.
- *
- * Before                  | After
- * ------------------------|----------------------------------------
- * `Boolean`               | `boolean`
- * `Number`                | `number`
- * `String`                | `string`
- * `Class`                 | `object`
- * `Class` with `toJSON()` | `Primitive<ReturnType<Class.toJSON>>`
- * Native Class            | never
- * Others                  | No change
- *
- * @template T Target argument type.
- * @author Jeongho Nam - https://github.com/samchon
- * @author Kyungsu Kang - https://github.com/kakasoo
- * @author Michael - https://github.com/8471919
- */
-export type Primitive<T> = Equal<T, PrimitiveMain<T>> extends true
-    ? T
-    : PrimitiveMain<T>;
-
-type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
-
-type PrimitiveMain<Instance> = Instance extends [never]
-    ? never // (special trick for jsonable | null) type
-    : ValueOf<Instance> extends bigint
-    ? never
-    : ValueOf<Instance> extends boolean | number | string
-    ? ValueOf<Instance>
-    : Instance extends Function
-    ? never
-    : ValueOf<Instance> extends object
-    ? Instance extends object
-        ? Instance extends NativeClass
-            ? never
-            : Instance extends IJsonable<infer Raw>
-            ? ValueOf<Raw> extends object
-                ? Raw extends object
-                    ? PrimitiveObject<Raw> // object would be primitified
-                    : never // cannot be
-                : ValueOf<Raw> // atomic value
-            : PrimitiveObject<Instance> // object would be primitified
-        : never // cannot be
-    : ValueOf<Instance>;
-
-type PrimitiveObject<Instance extends object> = Instance extends Array<infer T>
-    ? IsTuple<Instance> extends true
-        ? PrimitiveTuple<Instance>
-        : PrimitiveMain<T>[]
-    : {
-          [P in keyof Instance]: PrimitiveMain<Instance[P]>;
-      };
-
-type PrimitiveTuple<T extends readonly any[]> = T extends []
-    ? []
-    : T extends [infer F]
-    ? [PrimitiveMain<F>]
-    : T extends [infer F, ...infer Rest extends readonly any[]]
-    ? [PrimitiveMain<F>, ...PrimitiveTuple<Rest>]
-    : T extends [(infer F)?]
-    ? [PrimitiveMain<F>?]
-    : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-    ? [PrimitiveMain<F>?, ...PrimitiveTuple<Rest>]
-    : [];
-
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-    ? boolean
-    : IsValueOf<Instance, Number> extends true
-    ? number
-    : IsValueOf<Instance, String> extends true
-    ? string
-    : Instance;
-
-type NativeClass =
-    | Set<any>
-    | Map<any, any>
-    | WeakSet<any>
-    | WeakMap<any, any>
-    | Uint8Array
-    | Uint8ClampedArray
-    | Uint16Array
-    | Uint32Array
-    | BigUint64Array
-    | Int8Array
-    | Int16Array
-    | Int32Array
-    | BigInt64Array
-    | Float32Array
-    | Float64Array
-    | ArrayBuffer
-    | SharedArrayBuffer
-    | DataView;
-
-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 U>
-        ? Instance extends U
-            ? false
-            : true // not Primitive, but Object
-        : false // cannot be
-    : false;
-
-interface IValueOf<T> {
-    valueOf(): T;
-}
-
-interface IJsonable<T> {
-    toJSON(): T;
-}
+/**
+ * Primitive type of JSON.
+ *
+ * `Primitive<T>` is a TMP (Type Meta Programming) type which converts
+ * its argument as a primitive type within framework JSON.
+ *
+ * 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 an empty object (`{}`).
+ *
+ * Otherwise, the target argument is a type of custom class, all of its custom method
+ * would be erased and its prototype would be changed to the primitive `object`.
+ * Therefore, return type of the TMP type finally be the primitive object.
+ *
+ * In addition, if the target argument is a type of custom class and it has a special
+ * method `toJSON()`, return type of this `Primitive` would be not `Primitive<Instance>`
+ * but `Primitive<ReturnType<Instance.toJSON>>`.
+ *
+ * Before                  | After
+ * ------------------------|----------------------------------------
+ * `Boolean`               | `boolean`
+ * `Number`                | `number`
+ * `String`                | `string`
+ * `Class`                 | `object`
+ * `Class` with `toJSON()` | `Primitive<ReturnType<Class.toJSON>>`
+ * Native Class            | never
+ * Others                  | No change
+ *
+ * @template T Target argument type.
+ * @author Jeongho Nam - https://github.com/samchon
+ * @author Kyungsu Kang - https://github.com/kakasoo
+ * @author Michael - https://github.com/8471919
+ */
+export type Primitive<T> = Equal<T, PrimitiveMain<T>> extends true
+    ? T
+    : PrimitiveMain<T>;
+
+type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
+
+type PrimitiveMain<Instance> = Instance extends [never]
+    ? never // (special trick for jsonable | null) type
+    : ValueOf<Instance> extends bigint
+    ? never
+    : ValueOf<Instance> extends boolean | number | string
+    ? ValueOf<Instance>
+    : Instance extends Function
+    ? never
+    : ValueOf<Instance> extends object
+    ? Instance extends object
+        ? Instance extends NativeClass
+            ? never
+            : Instance extends IJsonable<infer Raw>
+            ? ValueOf<Raw> extends object
+                ? Raw extends object
+                    ? PrimitiveObject<Raw> // object would be primitified
+                    : never // cannot be
+                : ValueOf<Raw> // atomic value
+            : PrimitiveObject<Instance> // object would be primitified
+        : never // cannot be
+    : ValueOf<Instance>;
+
+type PrimitiveObject<Instance extends object> = Instance extends Array<infer T>
+    ? IsTuple<Instance> extends true
+        ? PrimitiveTuple<Instance>
+        : PrimitiveMain<T>[]
+    : {
+          [P in keyof Instance]: PrimitiveMain<Instance[P]>;
+      };
+
+type PrimitiveTuple<T extends readonly any[]> = T extends []
+    ? []
+    : T extends [infer F]
+    ? [PrimitiveMain<F>]
+    : T extends [infer F, ...infer Rest extends readonly any[]]
+    ? [PrimitiveMain<F>, ...PrimitiveTuple<Rest>]
+    : T extends [(infer F)?]
+    ? [PrimitiveMain<F>?]
+    : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+    ? [PrimitiveMain<F>?, ...PrimitiveTuple<Rest>]
+    : [];
+
+type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
+    ? boolean
+    : IsValueOf<Instance, Number> extends true
+    ? number
+    : IsValueOf<Instance, String> extends true
+    ? string
+    : Instance;
+
+type NativeClass =
+    | Set<any>
+    | Map<any, any>
+    | WeakSet<any>
+    | WeakMap<any, any>
+    | Uint8Array
+    | Uint8ClampedArray
+    | Uint16Array
+    | Uint32Array
+    | BigUint64Array
+    | Int8Array
+    | Int16Array
+    | Int32Array
+    | BigInt64Array
+    | Float32Array
+    | Float64Array
+    | ArrayBuffer
+    | SharedArrayBuffer
+    | DataView;
+
+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 U>
+        ? Instance extends U
+            ? false
+            : true // not Primitive, but Object
+        : false // cannot be
+    : false;
+
+interface IValueOf<T> {
+    valueOf(): T;
+}
+
+interface IJsonable<T> {
+    toJSON(): T;
+}

package/src/executable/TypiaSetupWizard.ts

@@ -1,142 +1,142 @@
-import fs from "fs";
-
-import { ArgumentParser } from "./setup/ArgumentParser";
-import { CommandExecutor } from "./setup/CommandExecutor";
-import { PackageManager } from "./setup/PackageManager";
-import { PluginConfigurator } from "./setup/PluginConfigurator";
-
-export namespace TypiaSetupWizard {
-    export interface IArguments {
-        manager: "npm" | "pnpm" | "yarn";
-        project: string | null;
-    }
-
-    export async function setup(): Promise<void> {
-        console.log("----------------------------------------");
-        console.log(" Typia Setup Wizard");
-        console.log("----------------------------------------");
-
-        // PREPARE ASSETS
-        const pack: PackageManager = await PackageManager.mount();
-        const args: IArguments = await ArgumentParser.parse(pack)(inquiry);
-
-        // INSTALL TYPESCRIPT COMPILERS
-        pack.install({ dev: true, modulo: "ts-patch", version: "latest" });
-        pack.install({ dev: true, modulo: "ts-node", version: "latest" });
-        pack.install({ dev: true, modulo: "typescript", version: "5.2.2" });
-        args.project ??= (() => {
-            const runner: string =
-                pack.manager === "npm" ? "npx" : pack.manager;
-            CommandExecutor.run(`${runner} tsc --init`);
-            return (args.project = "tsconfig.json");
-        })();
-
-        // SETUP TRANSFORMER
-        await pack.save((data) => {
-            // COMPOSE PREPARE COMMAND
-            data.scripts ??= {};
-            if (
-                typeof data.scripts.prepare === "string" &&
-                data.scripts.prepare.trim().length
-            ) {
-                if (data.scripts.prepare.indexOf("ts-patch install") === -1)
-                    data.scripts.prepare =
-                        "ts-patch install && " + data.scripts.prepare;
-            } else data.scripts.prepare = "ts-patch install";
-
-            // FOR OLDER VERSIONS
-            if (typeof data.scripts.postinstall === "string") {
-                data.scripts.postinstall = data.scripts.postinstall
-                    .split("&&")
-                    .map((str) => str.trim())
-                    .filter((str) => str.indexOf("ts-patch install") === -1)
-                    .join(" && ");
-                if (data.scripts.postinstall.length === 0)
-                    delete data.scripts.postinstall;
-            }
-        });
-        CommandExecutor.run(`${pack.manager} run prepare`);
-
-        // CONFIGURE TYPIA
-        await PluginConfigurator.configure(args);
-    }
-
-    const inquiry: ArgumentParser.Inquiry<IArguments> = async (
-        pack,
-        command,
-        prompt,
-        action,
-    ) => {
-        // PREPARE ASSETS
-        command.option("--manager [manager", "package manager");
-        command.option("--project [project]", "tsconfig.json file location");
-
-        // INTERNAL PROCEDURES
-        const questioned = { value: false };
-        const select =
-            (name: string) =>
-            (message: string) =>
-            async <Choice extends string>(
-                choices: Choice[],
-                filter?: (choice: string) => Choice,
-            ): Promise<Choice> => {
-                questioned.value = true;
-                return (
-                    await prompt()({
-                        type: "list",
-                        name: name,
-                        message: message,
-                        choices: choices,
-                        ...(filter
-                            ? {
-                                  filter,
-                              }
-                            : {}),
-                    })
-                )[name];
-            };
-        const configure = async (): Promise<string | null> => {
-            const fileList: string[] = await (
-                await fs.promises.readdir(process.cwd())
-            )
-                .filter(
-                    (str) =>
-                        str.substring(0, 8) === "tsconfig" &&
-                        str.substring(str.length - 5) === ".json",
-                )
-                .sort((x, y) =>
-                    x === "tsconfig.json"
-                        ? -1
-                        : y === "tsconfig.json"
-                        ? 1
-                        : x < y
-                        ? -1
-                        : 1,
-                );
-            if (fileList.length === 0) {
-                if (process.cwd() !== pack.directory)
-                    throw new URIError(`Unable to find "tsconfig.json" file.`);
-                return null;
-            } else if (fileList.length === 1) return fileList[0]!;
-            return select("tsconfig")("TS Config File")(fileList);
-        };
-
-        // DO CONSTRUCT
-        return action(async (options) => {
-            pack.manager = options.manager ??= await select("manager")(
-                "Package Manager",
-            )(
-                [
-                    "npm" as const,
-                    "pnpm" as const,
-                    "yarn (berry is not supported)" as "yarn",
-                ],
-                (value) => value.split(" ")[0] as "yarn",
-            );
-            options.project ??= await configure();
-
-            if (questioned.value) console.log("");
-            return options as IArguments;
-        });
-    };
-}
+import fs from "fs";
+
+import { ArgumentParser } from "./setup/ArgumentParser";
+import { CommandExecutor } from "./setup/CommandExecutor";
+import { PackageManager } from "./setup/PackageManager";
+import { PluginConfigurator } from "./setup/PluginConfigurator";
+
+export namespace TypiaSetupWizard {
+    export interface IArguments {
+        manager: "npm" | "pnpm" | "yarn";
+        project: string | null;
+    }
+
+    export async function setup(): Promise<void> {
+        console.log("----------------------------------------");
+        console.log(" Typia Setup Wizard");
+        console.log("----------------------------------------");
+
+        // PREPARE ASSETS
+        const pack: PackageManager = await PackageManager.mount();
+        const args: IArguments = await ArgumentParser.parse(pack)(inquiry);
+
+        // INSTALL TYPESCRIPT COMPILERS
+        pack.install({ dev: true, modulo: "ts-patch", version: "latest" });
+        pack.install({ dev: true, modulo: "ts-node", version: "latest" });
+        pack.install({ dev: true, modulo: "typescript", version: "5.2.2" });
+        args.project ??= (() => {
+            const runner: string =
+                pack.manager === "npm" ? "npx" : pack.manager;
+            CommandExecutor.run(`${runner} tsc --init`);
+            return (args.project = "tsconfig.json");
+        })();
+
+        // SETUP TRANSFORMER
+        await pack.save((data) => {
+            // COMPOSE PREPARE COMMAND
+            data.scripts ??= {};
+            if (
+                typeof data.scripts.prepare === "string" &&
+                data.scripts.prepare.trim().length
+            ) {
+                if (data.scripts.prepare.indexOf("ts-patch install") === -1)
+                    data.scripts.prepare =
+                        "ts-patch install && " + data.scripts.prepare;
+            } else data.scripts.prepare = "ts-patch install";
+
+            // FOR OLDER VERSIONS
+            if (typeof data.scripts.postinstall === "string") {
+                data.scripts.postinstall = data.scripts.postinstall
+                    .split("&&")
+                    .map((str) => str.trim())
+                    .filter((str) => str.indexOf("ts-patch install") === -1)
+                    .join(" && ");
+                if (data.scripts.postinstall.length === 0)
+                    delete data.scripts.postinstall;
+            }
+        });
+        CommandExecutor.run(`${pack.manager} run prepare`);
+
+        // CONFIGURE TYPIA
+        await PluginConfigurator.configure(args);
+    }
+
+    const inquiry: ArgumentParser.Inquiry<IArguments> = async (
+        pack,
+        command,
+        prompt,
+        action,
+    ) => {
+        // PREPARE ASSETS
+        command.option("--manager [manager", "package manager");
+        command.option("--project [project]", "tsconfig.json file location");
+
+        // INTERNAL PROCEDURES
+        const questioned = { value: false };
+        const select =
+            (name: string) =>
+            (message: string) =>
+            async <Choice extends string>(
+                choices: Choice[],
+                filter?: (choice: string) => Choice,
+            ): Promise<Choice> => {
+                questioned.value = true;
+                return (
+                    await prompt()({
+                        type: "list",
+                        name: name,
+                        message: message,
+                        choices: choices,
+                        ...(filter
+                            ? {
+                                  filter,
+                              }
+                            : {}),
+                    })
+                )[name];
+            };
+        const configure = async (): Promise<string | null> => {
+            const fileList: string[] = await (
+                await fs.promises.readdir(process.cwd())
+            )
+                .filter(
+                    (str) =>
+                        str.substring(0, 8) === "tsconfig" &&
+                        str.substring(str.length - 5) === ".json",
+                )
+                .sort((x, y) =>
+                    x === "tsconfig.json"
+                        ? -1
+                        : y === "tsconfig.json"
+                        ? 1
+                        : x < y
+                        ? -1
+                        : 1,
+                );
+            if (fileList.length === 0) {
+                if (process.cwd() !== pack.directory)
+                    throw new URIError(`Unable to find "tsconfig.json" file.`);
+                return null;
+            } else if (fileList.length === 1) return fileList[0]!;
+            return select("tsconfig")("TS Config File")(fileList);
+        };
+
+        // DO CONSTRUCT
+        return action(async (options) => {
+            pack.manager = options.manager ??= await select("manager")(
+                "Package Manager",
+            )(
+                [
+                    "npm" as const,
+                    "pnpm" as const,
+                    "yarn (berry is not supported)" as "yarn",
+                ],
+                (value) => value.split(" ")[0] as "yarn",
+            );
+            options.project ??= await configure();
+
+            if (questioned.value) console.log("");
+            return options as IArguments;
+        });
+    };
+}

package/src/executable/setup/CommandExecutor.ts

@@ -1,8 +1,8 @@
-import cp from "child_process";
-
-export namespace CommandExecutor {
-    export const run = (str: string): void => {
-        console.log(`\n$ ${str}`);
-        cp.execSync(str, { stdio: "inherit" });
-    };
-}
+import cp from "child_process";
+
+export namespace CommandExecutor {
+    export const run = (str: string): void => {
+        console.log(`\n$ ${str}`);
+        cp.execSync(str, { stdio: "inherit" });
+    };
+}

package/src/factories/ExpressionFactory.ts

@@ -133,9 +133,7 @@ export namespace ExpressionFactory {
             );
 
     export const transpile =
-        (context: ts.TransformationContext) =>
-        (script: string) =>
-        (input: ts.Expression): ts.Expression => {
+        (context: ts.TransformationContext) => (script: string) => {
             const file: ts.SourceFile = ts.createSourceFile(
                 `${RandomGenerator.uuid()}.ts`,
                 script,
@@ -152,16 +150,17 @@ export namespace ExpressionFactory {
                 throw new TypeError(
                     "Error on ExpressionFactory.transpile(): statement is not an expression statement.",
                 );
-
-            const visitor = (node: ts.Node): ts.Node => {
-                if (ts.isIdentifier(node) && node.text === "$input")
-                    return input;
-                return ts.visitEachChild(
-                    (ts.factory as any).cloneNode(node),
-                    visitor,
-                    context,
-                );
+            return (input: ts.Expression): ts.Expression => {
+                const visitor = (node: ts.Node): ts.Node => {
+                    if (ts.isIdentifier(node) && node.text === "$input")
+                        return input;
+                    return ts.visitEachChild(
+                        (ts.factory as any).cloneNode(node),
+                        visitor,
+                        context,
+                    );
+                };
+                return visitor(statement.expression) as ts.Expression;
             };
-            return visitor(statement.expression) as ts.Expression;
         };
 }