typia 3.3.12 → 3.4.0-dev.20221212

package/lib/transformers/features/{ValidateTransformer.js → validators/ValidateTransformer.js}

@@ -5,14 +5,14 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ValidateTransformer = void 0;
 var typescript_1 = __importDefault(require("typescript"));
-var ValidateProgrammer_1 = require("../../programmers/ValidateProgrammer");
+var ValidateProgrammer_1 = require("../../../programmers/ValidateProgrammer");
 var ValidateTransformer;
 (function (ValidateTransformer) {
     function transform(equals) {
         var SYMBOL = equals ? "validateEquals" : "validate";
         var MESSAGES = {
-            NO_INPUT_VALUE: "Error on TSON.".concat(SYMBOL, "(): no input value."),
-            GENERIC_ARGUMENT: "Error on TSON.".concat(SYMBOL, "(): non-specified generic argument."),
+            NO_INPUT_VALUE: "Error on typia.".concat(SYMBOL, "(): no input value."),
+            GENERIC_ARGUMENT: "Error on typia.".concat(SYMBOL, "(): non-specified generic argument."),
         };
         return function (project, modulo, expression) {
             if (expression.arguments.length !== 1)

package/lib/transformers/features/validators/ValidateTransformer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidateTransformer.js","sourceRoot":"","sources":["../../../../src/transformers/features/validators/ValidateTransformer.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,8EAA6E;AAI7E,IAAiB,mBAAmB,CAoCnC;AApCD,WAAiB,mBAAmB;IAChC,SAAgB,SAAS,CAAC,MAAe;QACrC,IAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC;QACtD,IAAM,QAAQ,GAAG;YACb,cAAc,EAAE,yBAAkB,MAAM,wBAAqB;YAC7D,gBAAgB,EAAE,yBAAkB,MAAM,wCAAqC;SAClF,CAAC;QAEF,OAAO,UACH,OAAiB,EACjB,MAAiC,EACjC,UAA6B;YAE7B,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;gBACjC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;YAG7C,IAAM,IAAI,GACN,UAAU,CAAC,aAAa,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;gBACnD,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAC/B,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAC9B;gBACH,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAC7B,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAC3B,CAAC;YACZ,IAAI,IAAI,CAAC,eAAe,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;YAG/C,OAAO,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAClC,uCAAkB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,EAC1D,SAAS,EACT,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,CAC7B,CAAC;QACN,CAAC,CAAC;IACN,CAAC;IAlCe,6BAAS,YAkCxB,CAAA;AACL,CAAC,EApCgB,mBAAmB,GAAnB,2BAAmB,KAAnB,2BAAmB,QAoCnC"}

package/lib/typings/ClassProperties.d.ts

@@ -1,4 +1,4 @@
 import { OmitNever } from "./OmitNever";
-export declare type ClassProperties<T extends object> = OmitNever<{
+export type ClassProperties<T extends object> = OmitNever<{
     [K in keyof T]: T[K] extends Function ? never : T[K];
 }>;

package/lib/typings/OmitNever.d.ts

@@ -1,2 +1,2 @@
 import { SpecialFields } from "./SpecialFields";
-export declare type OmitNever<T extends object> = Omit<T, SpecialFields<T, never>>;
+export type OmitNever<T extends object> = Omit<T, SpecialFields<T, never>>;

package/lib/typings/SpecialFields.d.ts

@@ -1,3 +1,3 @@
-export declare type SpecialFields<Instance extends object, Target> = {
+export type SpecialFields<Instance extends object, Target> = {
     [P in keyof Instance]: Instance[P] extends Target ? P : never;
 }[keyof Instance & string];

package/lib/typings/Writable.d.ts

@@ -1,5 +1,5 @@
 import { ClassProperties } from "./ClassProperties";
-export declare type Writable<T extends object> = {
+export type Writable<T extends object> = {
     -readonly [P in keyof T]: T[P];
 };
 export declare function Writable<T extends object>(elem: T): Writable<ClassProperties<T>>;

package/lib/utils/PatternUtil.js

@@ -28,7 +28,7 @@ var PatternUtil;
     PatternUtil.fix = fix;
     function escape(str) {
         return str
-            .replace(/[|\\{}()[\]^$+*?.]/g, "\\$&")
+            .replace(/[|\\/{}()[\]^$+*?.]/g, "\\$&")
             .replace(/-/g, "\\x2d");
     }
     PatternUtil.escape = escape;

package/lib/utils/PatternUtil.js.map

@@ -1 +1 @@
-{"version":3,"file":"PatternUtil.js","sourceRoot":"","sources":["../../src/utils/PatternUtil.ts"],"names":[],"mappings":";;;;;;;;;;;;;;AAAA,IAAiB,WAAW,CAsB3B;AAtBD,WAAiB,WAAW;IACxB,SAAgB,GAAG,CAAC,GAAW;QAC3B,IAAM,KAAK,GAAW,GAAG,CAAC,OAAO,CAAC,YAAA,MAAM,CAAC,CAAC;QAC1C,IAAM,IAAI,GAAW,GAAG,CAAC,WAAW,CAAC,YAAA,MAAM,CAAC,CAAC;QAC7C,OAAO;YACH,KAAK,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACzD,GAAG;YACH,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,YAAA,MAAM,CAAC,MAAM,CAAC,CAAC;gBACrD,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,EAAE;SACX,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAVe,eAAG,MAUlB,CAAA;IAED,SAAgB,MAAM,CAAC,GAAW;QAC9B,OAAO,GAAG;aACL,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC;aACtC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAJe,kBAAM,SAIrB,CAAA;IAEY,kBAAM,GAAG,gBAAgB,CAAC;IAC1B,mBAAO,GAAG,YAAY,CAAC;IACvB,kBAAM,GAAG,MAAM,CAAC;AACjC,CAAC,EAtBgB,WAAW,GAAX,mBAAW,KAAX,mBAAW,QAsB3B;AAED,IAAM,IAAI,GACN,UAAC,WAAmB;IACpB,OAAA,UAAC,GAAW;;;YACR,KAAiB,IAAA,QAAA,SAAA,GAAG,CAAA,wBAAA;gBAAf,IAAM,EAAE,gBAAA;gBAAS,IAAI,EAAE,KAAK,WAAW;oBAAE,OAAO,IAAI,CAAC;aAAA;;;;;;;;;QAC1D,OAAO,KAAK,CAAC;IACjB,CAAC;AAHD,CAGC,CAAC"}
+{"version":3,"file":"PatternUtil.js","sourceRoot":"","sources":["../../src/utils/PatternUtil.ts"],"names":[],"mappings":";;;;;;;;;;;;;;AAAA,IAAiB,WAAW,CAsB3B;AAtBD,WAAiB,WAAW;IACxB,SAAgB,GAAG,CAAC,GAAW;QAC3B,IAAM,KAAK,GAAW,GAAG,CAAC,OAAO,CAAC,YAAA,MAAM,CAAC,CAAC;QAC1C,IAAM,IAAI,GAAW,GAAG,CAAC,WAAW,CAAC,YAAA,MAAM,CAAC,CAAC;QAC7C,OAAO;YACH,KAAK,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACzD,GAAG;YACH,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,YAAA,MAAM,CAAC,MAAM,CAAC,CAAC;gBACrD,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,EAAE;SACX,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,CAAC;IAVe,eAAG,MAUlB,CAAA;IAED,SAAgB,MAAM,CAAC,GAAW;QAC9B,OAAO,GAAG;aACL,OAAO,CAAC,sBAAsB,EAAE,MAAM,CAAC;aACvC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAChC,CAAC;IAJe,kBAAM,SAIrB,CAAA;IAEY,kBAAM,GAAG,gBAAgB,CAAC;IAC1B,mBAAO,GAAG,YAAY,CAAC;IACvB,kBAAM,GAAG,MAAM,CAAC;AACjC,CAAC,EAtBgB,WAAW,GAAX,mBAAW,KAAX,mBAAW,QAsB3B;AAED,IAAM,IAAI,GACN,UAAC,WAAmB;IACpB,OAAA,UAAC,GAAW;;;YACR,KAAiB,IAAA,QAAA,SAAA,GAAG,CAAA,wBAAA;gBAAf,IAAM,EAAE,gBAAA;gBAAS,IAAI,EAAE,KAAK,WAAW;oBAAE,OAAO,IAAI,CAAC;aAAA;;;;;;;;;QAC1D,OAAO,KAAK,CAAC;IACjB,CAAC;AAHD,CAGC,CAAC"}

package/package.json

@@ -1,78 +1,114 @@
-{
-  "name": "typia",
-  "version": "3.3.12",
-  "description": "Runtime type checkers and 5x faster JSON.stringify() function",
-  "main": "lib/index.js",
-  "typings": "lib/index.d.ts",
-  "scripts": {
-    "benchmark": "node benchmark/index.js",
-    "build": "rimraf lib && ttsc --removeComments --declaration false && ttsc --emitDeclarationOnly",
-    "build:test": "rimraf bin && ttsc -p tsconfig.test.json && prettier --write ./bin/**/*.js",
-    "dev": "npm run build -- --watch",
-    "dev:test": "rimraf bin && ttsc -p tsconfig.test.json --watch",
-    "eslint": "eslint ./**/*.ts",
-    "eslint:fix": "eslint ./**/*.ts --fix",
-    "issue": "node test/issue",
-    "prettier": "prettier  --write ./**/*.ts",
-    "test": "node test",
-    "test:manual": "node test/manual",
-    "test:application:replace": "node test/features/application/replace && npm run prettier"
-  },
-  "repository": {
-    "type": "git",
-    "url": "https://github.com/samchon/typescript-json"
-  },
-  "keywords": [
-    "fast",
-    "json",
-    "stringify",
-    "typescript",
-    "transform",
-    "ajv",
-    "io-ts",
-    "schema",
-    "jsonschema",
-    "generator",
-    "assert",
-    "is",
-    "validate",
-    "equal",
-    "runtime",
-    "type",
-    "checker",
-    "validator"
-  ],
-  "author": "Jeongho Nam",
-  "license": "MIT",
-  "bugs": {
-    "url": "https://github.com/samchon/typescript-json/issues"
-  },
-  "homepage": "https://github.com/samchon/typescript-json#readme",
-  "devDependencies": {
-    "@trivago/prettier-plugin-sort-imports": "^3.3.0",
-    "@types/benchmark": "^2.1.2",
-    "@types/cli": "^0.11.20",
-    "@types/nested-error-stacks": "^2.1.0",
-    "@types/node": "^17.0.24",
-    "@types/uuid": "^8.3.4",
-    "@typescript-eslint/eslint-plugin": "^5.26.0",
-    "@typescript-eslint/parser": "^5.26.0",
-    "benchmark": "^2.1.4",
-    "chalk": "^4.1.0",
-    "class-transformer": "^0.5.1",
-    "class-validator": "^0.13.2",
-    "cli": "^1.0.1",
-    "fast-json-stringify": "^5.4.0",
-    "io-ts": "^2.2.19",
-    "prettier": "^2.6.2",
-    "reflect-metadata": "^0.1.13",
-    "rimraf": "^3.0.2",
-    "sloc": "^0.2.1",
-    "suppress-warnings": "^1.0.2",
-    "ts-node": "^10.9.1",
-    "ttypescript": "^1.5.13",
-    "typescript": "^4.8.4",
-    "uuid": "^8.3.2",
-    "zod": "^3.19.1"
-  }
-}
+{
+  "name": "typia",
+  "version": "3.4.0-dev.20221212",
+  "description": "Runtime type checkers and 5x faster JSON.stringify() function",
+  "main": "lib/index.js",
+  "typings": "lib/index.d.ts",
+  "bin": {
+    "typia": "./lib/executable/typia.js"
+  },
+  "scripts": {
+    "benchmark": "npm run build:test && node bin/benchmark",
+    "build": "rimraf lib && ttsc --removeComments --declaration false && ttsc --emitDeclarationOnly",
+    "build:test": "rimraf bin && ttsc -p tsconfig.test.json",
+    "build:test:prettier": "npm run build:test && prettier --write ./bin/**/*.js",
+    "dev": "npm run build -- --watch",
+    "dev:test": "rimraf bin && ttsc -p tsconfig.test.json --watch",
+    "eslint": "eslint ./**/*.ts",
+    "eslint:fix": "eslint ./**/*.ts --fix",
+    "issue": "node test/issue",
+    "publish": "ts-node build/publish.ts",
+    "prettier": "prettier  --write ./**/*.ts",
+    "test": "node bin/test",
+    "test:generate": "ts-node -P tsconfig.test.json build/test.ts",
+    "test:manual": "node test/manual",
+    "test:application:replace": "node test/features/application/replace && npm run prettier"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/samchon/typia"
+  },
+  "keywords": [
+    "fast",
+    "json",
+    "stringify",
+    "typescript",
+    "transform",
+    "ajv",
+    "io-ts",
+    "schema",
+    "jsonschema",
+    "generator",
+    "assert",
+    "clone",
+    "is",
+    "validate",
+    "equal",
+    "runtime",
+    "type",
+    "typebox",
+    "checker",
+    "validator",
+    "safe",
+    "parse"
+  ],
+  "author": "Jeongho Nam",
+  "license": "MIT",
+  "bugs": {
+    "url": "https://github.com/samchon/typia/issues"
+  },
+  "homepage": "https://github.com/samchon/typia#readme",
+  "peerDependencies": {
+    "ttypescript": ">= 1.5.15",
+    "typescript": ">= 4.5.2"
+  },
+  "devDependencies": {
+    "@fastify/type-provider-typebox": "^2.3.0",
+    "@trivago/prettier-plugin-sort-imports": "^3.3.0",
+    "@types/autocannon": "^7.9.0",
+    "@types/benchmark": "^2.1.2",
+    "@types/cli": "^0.11.20",
+    "@types/d3": "^7.4.0",
+    "@types/express": "^4.17.14",
+    "@types/jsdom": "^20.0.0",
+    "@types/nested-error-stacks": "^2.1.0",
+    "@types/node": "^17.0.24",
+    "@types/physical-cpu-count": "^2.0.0",
+    "@types/uuid": "^8.3.4",
+    "@typescript-eslint/eslint-plugin": "^5.26.0",
+    "@typescript-eslint/parser": "^5.26.0",
+    "autocannon": "^7.10.0",
+    "benchmark": "^2.1.4",
+    "chalk": "^4.1.0",
+    "class-transformer": "^0.5.1",
+    "class-validator": "^0.13.2",
+    "cli": "^1.0.1",
+    "comment-json": "^4.2.3",
+    "d3": "^5.16.0",
+    "eslint-plugin-deprecation": "^1.3.2",
+    "express": "^4.18.2",
+    "fast-json-stringify": "^5.4.0",
+    "fastify": "^4.9.2",
+    "io-ts": "^2.2.19",
+    "jsdom": "^20.0.2",
+    "physical-cpu-count": "^2.0.0",
+    "prettier": "^2.6.2",
+    "reflect-metadata": "^0.1.13",
+    "rimraf": "^3.0.2",
+    "sloc": "^0.2.1",
+    "source-map-support": "^0.5.21",
+    "suppress-warnings": "^1.0.2",
+    "ts-node": "^10.9.1",
+    "ttypescript": "^1.5.15",
+    "typescript": "^4.9.4",
+    "uuid": "^8.3.2",
+    "zod": "^3.19.1"
+  },
+  "files": [
+    "LICENSE",
+    "README.md",
+    "package.json",
+    "lib",
+    "src"
+  ]
+}

package/src/IValidation.ts

@@ -0,0 +1,21 @@
+export type IValidation<T = unknown> =
+    | IValidation.ISuccess<T>
+    | IValidation.IFailure;
+export namespace IValidation {
+    export interface ISuccess<T = unknown> {
+        success: true;
+        data: T;
+        errors: [];
+    }
+
+    export interface IFailure {
+        success: false;
+        errors: IError[];
+    }
+
+    export interface IError {
+        path: string;
+        expected: string;
+        value: any;
+    }
+}

package/src/Primitive.ts

@@ -0,0 +1,82 @@
+/**
+ * Primitive type.
+ *
+ * `Primitive` is a type of TMP (Type Meta Programming) type who converts its argument as a
+ * primitive type.
+ *
+ * If the target argument is a built-in class who 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 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>>`
+ * Others                  | No change
+ *
+ * @template Instance Target argument type.
+ * @author Jenogho Nam - https://github.com/samchon
+ */
+export type Primitive<T> = _Equal<T, _Primitive<T>> extends true
+    ? T
+    : _Primitive<T>;
+
+type _Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
+
+type _Primitive<Instance> = _ValueOf<Instance> extends object
+    ? Instance extends object
+        ? 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>
+    ? _Primitive<T>[]
+    : {
+          [P in keyof Instance]: Instance[P] extends Function
+              ? never
+              : _Primitive<Instance[P]>;
+      };
+
+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>
+        ? Instance extends Primitive
+            ? false
+            : true // not Primitive, but Object
+        : false // cannot be
+    : false;
+
+interface IValueOf<T> {
+    valueOf(): T;
+}
+
+interface IJsonable<T> {
+    toJSON(): T;
+}

package/src/TypeGuardError.ts

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

package/src/executable/internal/TypiaSetupWizard.ts

@@ -0,0 +1,130 @@
+import cp from "child_process";
+import type Comment from "comment-json";
+import fs from "fs";
+
+export namespace TypiaSetupWizard {
+    export async function ttypescript(): Promise<void> {
+        // INSTALL
+        prepare();
+        install("ttypescript", "--save-dev");
+        install("ts-node", "--save-dev");
+
+        // TSCONFIG.JSON
+        await configure();
+    }
+
+    export async function tsPatch(): Promise<void> {
+        // INSTALL
+        prepare();
+        install("ts-patch", "--save-dev");
+        execute("npx ts-patch install");
+
+        // PACKAGE.JSON
+        const pack: any = JSON.parse(
+            await fs.promises.readFile("package.json", "utf8"),
+        );
+        if (!pack.scripts || typeof pack.scripts !== "object")
+            pack.scripts = {};
+        if (typeof pack.scripts.prepare === "string") {
+            if (pack.scripts.prepare.indexOf("ts-patch install") === -1)
+                pack.scripts.prepare =
+                    "ts-patch install && " + pack.scripts.prepare;
+        } else pack.scripts.prepare = "ts-patch install";
+
+        await fs.promises.writeFile(
+            "package.json",
+            JSON.stringify(pack, null, 2),
+            "utf8",
+        );
+
+        // TSCONFIG.JSON
+        await configure();
+    }
+
+    async function prepare(): Promise<void> {
+        if (fs.existsSync("package.json") === false)
+            halt("make package.json file or move to it.");
+        install("typia", "--save");
+        install("typescript", "--save-dev");
+    }
+
+    async function configure(): Promise<void> {
+        // VALIDATE PRERATATION
+        if (fs.existsSync("tsconfig.json") === false) {
+            execute("npx tsc --init");
+            if (fs.existsSync("tsconfig.json") === false)
+                halt("tsconfig.json file does not exist.");
+        }
+
+        const temporary: boolean = !fs.existsSync("node_modules/comment-json");
+        if (temporary === true)
+            cp.execSync("npm install --save-dev comment-json");
+
+        // READ TSCONFIG FILE
+        const Comment: typeof import("comment-json") = await import(
+            process.cwd() + "/node_modules/comment-json"
+        );
+        const config: Comment.CommentObject = Comment.parse(
+            await fs.promises.readFile("tsconfig.json", "utf8"),
+        ) as Comment.CommentObject;
+        const options = config.compilerOptions as
+            | Comment.CommentObject
+            | undefined;
+        if (options === undefined)
+            halt(
+                `tsconfig.json file does not have "compilerOptions" property.`,
+            );
+
+        const plugins: Comment.CommentArray<Comment.CommentObject> = (() => {
+            const plugins = options.plugins as
+                | Comment.CommentArray<Comment.CommentObject>
+                | undefined;
+            if (plugins === undefined) return (options.plugins = [] as any);
+            else if (!Array.isArray(plugins))
+                halt(`"plugins" property of tsconfig.json must be array type.`);
+            return plugins;
+        })();
+
+        // CHECK WHETHER CONFIGURED
+        const strict: boolean = options.strict === true;
+        const oldbie: Comment.CommentObject | undefined = plugins.find(
+            (p) =>
+                typeof p === "object" &&
+                p !== null &&
+                p.transform === "typia/lib/transform",
+        );
+
+        if (strict === true && oldbie !== undefined) {
+            console.log(
+                "you've been already configured the tsconfig.json file.",
+            );
+            return;
+        }
+
+        // DO CONFIGURE
+        options.strict = true;
+        plugins.push({ transform: "typia/lib/transform" } as any);
+
+        await fs.promises.writeFile(
+            "tsconfig.json",
+            Comment.stringify(config, null, 2),
+        );
+        if (temporary === true)
+            cp.execSync("npm uninstall --save-dev comment-json");
+    }
+}
+
+function install(modulo: string, mode: "--save" | "--save-dev"): void {
+    if (fs.existsSync("node_modules/" + modulo) === false)
+        execute(`npm install ${mode} ${modulo}`);
+}
+
+function halt(desc: string): never {
+    console.error(desc);
+    process.exit(-1);
+}
+
+function execute(command: string): void {
+    console.log(command);
+    cp.execSync(command, { stdio: "inherit" });
+}

package/src/executable/typia.ts

@@ -0,0 +1,34 @@
+import { TypiaSetupWizard } from "./internal/TypiaSetupWizard";
+
+const USAGE = `Usage: npx typia setup (transformer?: "ttypescript" | "ts-patch")
+
+  - npx typia setup
+  - npx typia setup ttypescript
+  - npx typia setup ts-patch`;
+
+function halt(desc: string): never {
+    console.error(desc);
+    process.exit(-1);
+}
+
+async function setup(): Promise<void> {
+    const compiler: string = process.argv[3] ?? "ttypescript";
+    if (compiler !== "ttypescript" && compiler !== "ts-patch")
+        halt(
+            "typia supports only two transformers: ttypescript and ts-patch" +
+                "\n\n" +
+                USAGE,
+        );
+    else if (compiler === "ttypescript") await TypiaSetupWizard.ttypescript();
+    else await TypiaSetupWizard.tsPatch();
+}
+
+async function main(): Promise<void> {
+    const type: string | undefined = process.argv[2];
+    if (type === undefined) halt(USAGE);
+    else if (type === "setup") await setup();
+}
+main().catch((exp) => {
+    console.error(exp);
+    process.exit(-1);
+});

package/src/factories/CommentFactory.ts

@@ -0,0 +1,10 @@
+import ts from "typescript";
+
+export namespace CommentFactory {
+    export function generate(comments: ts.SymbolDisplayPart[]): string {
+        return comments
+            .map((part) => part.text)
+            .map((str) => str.split("\r\n").join("\n"))
+            .join("");
+    }
+}

package/src/factories/ExpressionFactory.ts

@@ -0,0 +1,52 @@
+import ts from "typescript";
+
+export namespace ExpressionFactory {
+    export function isRequired(input: ts.Expression): ts.Expression {
+        return ts.factory.createStrictInequality(
+            ts.factory.createIdentifier("undefined"),
+            input,
+        );
+    }
+
+    export function isArray(input: ts.Expression): ts.Expression {
+        return ts.factory.createCallExpression(
+            ts.factory.createIdentifier("Array.isArray"),
+            undefined,
+            [input],
+        );
+    }
+
+    export function isObject(
+        input: ts.Expression,
+        nullChecked: boolean,
+    ): ts.Expression {
+        const conditions: ts.Expression[] = [
+            ts.factory.createStrictEquality(
+                ts.factory.createStringLiteral("object"),
+                ts.factory.createTypeOfExpression(input),
+            ),
+        ];
+        if (nullChecked === true)
+            conditions.push(
+                ts.factory.createStrictInequality(
+                    ts.factory.createNull(),
+                    input,
+                ),
+            );
+
+        return conditions.length === 1
+            ? conditions[0]!
+            : conditions.reduce((x, y) => ts.factory.createLogicalAnd(x, y));
+    }
+
+    export function isInstanceOf(
+        input: ts.Expression,
+        type: string,
+    ): ts.Expression {
+        return ts.factory.createBinaryExpression(
+            input,
+            ts.factory.createToken(ts.SyntaxKind.InstanceOfKeyword),
+            ts.factory.createIdentifier(type),
+        );
+    }
+}