typia 3.6.5 → 3.6.7

package/lib/module.d.ts

@@ -1071,7 +1071,7 @@ export declare function createValidateEquals(): never;
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export declare function createValidateEquals<T>(): (input: unknown) => IValidation;
+export declare function createValidateEquals<T>(): (input: unknown) => IValidation<T>;
 /**
  * Creates a reusable {@link isParse} function.
  *

package/lib/programmers/internal/application_number.js

@@ -37,10 +37,14 @@ var application_number = function (nullable, attribute) {
                 output.minimum = tag.value;
             else if (tag.kind === "maximum")
                 output.maximum = tag.value;
-            else if (tag.kind === "exclusiveMinimum")
-                output.exclusiveMinimum = tag.value;
-            else if (tag.kind === "exclusiveMaximum")
-                output.exclusiveMaximum = tag.value;
+            else if (tag.kind === "exclusiveMinimum") {
+                output.minimum = tag.value;
+                output.exclusiveMinimum = true;
+            }
+            else if (tag.kind === "exclusiveMaximum") {
+                output.maximum = tag.value;
+                output.exclusiveMaximum = true;
+            }
             else if (tag.kind === "multipleOf")
                 output.multipleOf = tag.value;
         }
@@ -54,24 +58,26 @@ var application_number = function (nullable, attribute) {
     }
     if (output.type === "integer" &&
         (attribute["x-typia-metaTags"] || []).find(function (tag) { return tag.kind === "type" && tag.value === "uint"; }))
-        if (output.minimum === undefined || output.minimum < 0)
+        if (output.minimum === undefined ||
+            (output.exclusiveMaximum !== true && output.minimum < 0))
             output.minimum = 0;
-        else if (output.exclusiveMinimum === undefined ||
-            output.exclusiveMinimum < 0) {
-            delete output.exclusiveMinimum;
+        else if (output.exclusiveMinimum === true && output.minimum < -1) {
             output.maximum = 0;
+            delete output.exclusiveMinimum;
         }
     output.default = (0, application_default_1.application_default)(attribute)(function (str) {
         var value = Number(str);
         var conditions = [!Number.isNaN(value)];
         if (output.minimum !== undefined)
-            conditions.push(value >= output.minimum);
+            if (output.exclusiveMinimum === true)
+                conditions.push(value > output.minimum);
+            else
+                conditions.push(value >= output.minimum);
         if (output.maximum !== undefined)
-            conditions.push(value <= output.maximum);
-        if (output.exclusiveMinimum !== undefined)
-            conditions.push(value > output.exclusiveMinimum);
-        if (output.exclusiveMaximum !== undefined)
-            conditions.push(value < output.exclusiveMaximum);
+            if (output.exclusiveMaximum === true)
+                conditions.push(value < output.maximum);
+            else
+                conditions.push(value <= output.maximum);
         if (output.multipleOf !== undefined)
             conditions.push(value % output.multipleOf === 0);
         return conditions.every(function (cond) { return cond; });

package/lib/programmers/internal/application_number.js.map

@@ -1 +1 @@
-{"version":3,"file":"application_number.js","sourceRoot":"","sources":["../../../src/programmers/internal/application_number.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AACA,6DAA4D;AAKrD,IAAM,kBAAkB,GAAG,UAC9B,QAAiB,EACjB,SAAiC;;IAEjC,IAAM,MAAM,cACR,IAAI,EAAE,QAAgC,EACtC,QAAQ,UAAA,IACL,SAAS,CACf,CAAC;;QACF,KAAkB,IAAA,KAAA,SAAA,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAA,gBAAA,4BAAE;YAAlD,IAAM,GAAG,WAAA;YAEV,IACI,GAAG,CAAC,IAAI,KAAK,MAAM;gBACnB,CAAC,GAAG,CAAC,KAAK,KAAK,KAAK,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC;gBAE7C,MAAM,CAAC,IAAI,GAAG,SAAS,CAAC;iBAEvB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;gBAAE,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;iBACvD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;gBAAE,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;iBACvD,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;gBACpC,MAAM,CAAC,gBAAgB,GAAG,GAAG,CAAC,KAAK,CAAC;iBACnC,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;gBACpC,MAAM,CAAC,gBAAgB,GAAG,GAAG,CAAC,KAAK,CAAC;iBAEnC,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;gBAAE,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC;SACrE;;;;;;;;;IAGD,IACI,MAAM,CAAC,IAAI,KAAK,SAAS;QACzB,CAAC,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CACtC,UAAC,GAAG,IAAK,OAAA,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,EAA3C,CAA2C,CACvD;QAED,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC;YAClD,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;aAClB,IACD,MAAM,CAAC,gBAAgB,KAAK,SAAS;YACrC,MAAM,CAAC,gBAAgB,GAAG,CAAC,EAC7B;YACE,OAAO,MAAM,CAAC,gBAAgB,CAAC;YAC/B,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;SACtB;IAGL,MAAM,CAAC,OAAO,GAAG,IAAA,yCAAmB,EAAC,SAAS,CAAC,CAAC,UAAC,GAAG;QAChD,IAAM,KAAK,GAAW,MAAM,CAAC,GAAG,CAAC,CAAC;QAClC,IAAM,UAAU,GAAc,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAC5B,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAC5B,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS;YACrC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,gBAAgB,KAAK,SAAS;YACrC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;YAC/B,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC;QACrD,OAAO,UAAU,CAAC,KAAK,CAAC,UAAC,IAAI,IAAK,OAAA,IAAI,EAAJ,CAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC,UAAC,GAAG,IAAK,OAAA,MAAM,CAAC,GAAG,CAAC,EAAX,CAAW,CAAC,CAAC;IAGzB,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC;AA/DW,QAAA,kBAAkB,sBA+D7B"}
+{"version":3,"file":"application_number.js","sourceRoot":"","sources":["../../../src/programmers/internal/application_number.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;AACA,6DAA4D;AAKrD,IAAM,kBAAkB,GAAG,UAC9B,QAAiB,EACjB,SAAiC;;IAEjC,IAAM,MAAM,cACR,IAAI,EAAE,QAAgC,EACtC,QAAQ,UAAA,IACL,SAAS,CACf,CAAC;;QACF,KAAkB,IAAA,KAAA,SAAA,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAA,gBAAA,4BAAE;YAAlD,IAAM,GAAG,WAAA;YAEV,IACI,GAAG,CAAC,IAAI,KAAK,MAAM;gBACnB,CAAC,GAAG,CAAC,KAAK,KAAK,KAAK,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC;gBAE7C,MAAM,CAAC,IAAI,GAAG,SAAS,CAAC;iBAEvB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;gBAAE,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;iBACvD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;gBAAE,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;iBACvD,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE;gBACtC,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;gBAC3B,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC;aAClC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE;gBACxC,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC;gBAC3B,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC;aAClC;iBAEI,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;gBAAE,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC;SACrE;;;;;;;;;IAGD,IACI,MAAM,CAAC,IAAI,KAAK,SAAS;QACzB,CAAC,SAAS,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CACtC,UAAC,GAAG,IAAK,OAAA,GAAG,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,MAAM,EAA3C,CAA2C,CACvD;QAED,IACI,MAAM,CAAC,OAAO,KAAK,SAAS;YAC5B,CAAC,MAAM,CAAC,gBAAgB,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;YAExD,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;aAClB,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,IAAI,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE;YAC9D,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;YACnB,OAAO,MAAM,CAAC,gBAAgB,CAAC;SAClC;IAGL,MAAM,CAAC,OAAO,GAAG,IAAA,yCAAmB,EAAC,SAAS,CAAC,CAAC,UAAC,GAAG;QAChD,IAAM,KAAK,GAAW,MAAM,CAAC,GAAG,CAAC,CAAC;QAClC,IAAM,UAAU,GAAc,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAC5B,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI;gBAChC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;;gBACvC,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAC5B,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI;gBAChC,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;;gBACvC,UAAU,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,MAAM,CAAC,UAAU,KAAK,SAAS;YAC/B,UAAU,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,UAAU,KAAK,CAAC,CAAC,CAAC;QACrD,OAAO,UAAU,CAAC,KAAK,CAAC,UAAC,IAAI,IAAK,OAAA,IAAI,EAAJ,CAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC,UAAC,GAAG,IAAK,OAAA,MAAM,CAAC,GAAG,CAAC,EAAX,CAAW,CAAC,CAAC;IAGzB,OAAO,MAAM,CAAC;AAClB,CAAC,CAAC;AAlEW,QAAA,kBAAkB,sBAkE7B"}

package/lib/schemas/IJsonSchema.d.ts

@@ -25,8 +25,8 @@ export declare namespace IJsonSchema {
     interface INumber extends IAtomic<"number"> {
         minimum?: number;
         maximum?: number;
-        exclusiveMinimum?: number;
-        exclusiveMaximum?: number;
+        exclusiveMinimum?: boolean;
+        exclusiveMaximum?: boolean;
         multipleOf?: number;
     }
     interface IInteger extends IAtomic<"integer"> {
@@ -38,14 +38,8 @@ export declare namespace IJsonSchema {
          * @type int
          */
         maximum?: number;
-        /**
-         * @type int
-         */
-        exclusiveMinimum?: number;
-        /**
-         * @type int
-         */
-        exclusiveMaximum?: number;
+        exclusiveMinimum?: boolean;
+        exclusiveMaximum?: boolean;
         /**
          * @type int
          */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "3.6.5",
+  "version": "3.6.7",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",
@@ -65,7 +65,7 @@
   },
   "homepage": "https://github.com/samchon/typia#readme",
   "peerDependencies": {
-    "typescript": ">= 4.5.2"
+    "typescript": ">= 4.5.2 && < 5.0.0"
   },
   "devDependencies": {
     "@fastify/type-provider-typebox": "^2.3.0",

package/src/IRandomGenerator.ts

@@ -1,16 +1,16 @@
-export interface IRandomGenerator {
-    boolean(): boolean;
-    integer(minimum?: number, maximum?: number): number;
-    number(minimum?: number, maximum?: number): number;
-    bigint(minimum?: bigint, maximum?: bigint): bigint;
-    string(length?: number): string;
-    array<T>(closure: (index: number) => T, count?: number): T[];
-
-    uuid(): string;
-    email(): string;
-    url(): string;
-    ipv4(): string;
-    ipv6(): string;
-    pattern(regex: RegExp): string;
-    date(): string;
-}
+export interface IRandomGenerator {
+    boolean(): boolean;
+    integer(minimum?: number, maximum?: number): number;
+    number(minimum?: number, maximum?: number): number;
+    bigint(minimum?: bigint, maximum?: bigint): bigint;
+    string(length?: number): string;
+    array<T>(closure: (index: number) => T, count?: number): T[];
+
+    uuid(): string;
+    email(): string;
+    url(): string;
+    ipv4(): string;
+    ipv6(): string;
+    pattern(regex: RegExp): string;
+    date(): string;
+}

package/src/IValidation.ts

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

@@ -1,104 +1,104 @@
-/**
- * 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 _Native
-            ? {}
-            : 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 _Native =
-    | 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 _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;
-}
+/**
+ * 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 _Native
+            ? {}
+            : 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 _Native =
+    | 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 _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

@@ -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,87 +1,87 @@
-import fs from "fs";
-
-import { TypiaFileFactory } from "../factories/TypiaFileFactory";
-
-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)(false)(
-            inquiry,
-        );
-        await TypiaFileFactory.generate(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 fileList: string[] = await (
-                await fs.promises.readdir(process.cwd())
-            ).filter(
-                (str) =>
-                    str.substring(0, 8) === "tsconfig" &&
-                    str.substring(str.length - 5) === ".json",
-            );
-            if (fileList.length === 0)
-                throw new Error(`Unable to find "tsconfig.json" file.`);
-            else if (fileList.length === 1) return fileList[0];
-            return select("tsconfig")("TS Config File")(fileList);
-        };
-
-        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 { TypiaFileFactory } from "../factories/TypiaFileFactory";
+
+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)(false)(
+            inquiry,
+        );
+        await TypiaFileFactory.generate(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 fileList: string[] = await (
+                await fs.promises.readdir(process.cwd())
+            ).filter(
+                (str) =>
+                    str.substring(0, 8) === "tsconfig" &&
+                    str.substring(str.length - 5) === ".json",
+            );
+            if (fileList.length === 0)
+                throw new Error(`Unable to find "tsconfig.json" file.`);
+            else if (fileList.length === 1) return fileList[0];
+            return select("tsconfig")("TS Config File")(fileList);
+        };
+
+        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;
+    }
+}