typia 3.4.13 → 3.4.14

package/README.md

@@ -142,15 +142,15 @@ export function assert<T>(input: T | unknown): T; // throws `TypeGuardError`
 export function validate<T>(input: T | unknown): IValidation<T>; // detailed
 
 // DO NOT ALLOW SUPERFLUOUS PROPERTIES
-export function equals<T>(input: T | unknown): boolean;
+export function equals<T>(input: T | unknown): input is T;
 export function assertEquals<T>(input: T | unknown): T;
 export function validateEquals<T>(input: T | unknown): IValidation<T>;
 
 // REUSABLE FACTORY FUNCTIONS
-export function createIs<T>(): (input: unknown) => T;
+export function createIs<T>(): (input: unknown) => input is T;
 export function createAssert<T>(): (input: unknown) => T;
 export function createValidate<T>(): (input: unknown) => IValidation<T>;
-export function createEquals<T>(): (input: unknown) => boolean;
+export function createEquals<T>(): (input: unknown) => input is T;
 export function createAssertEquals<T>(): (input: unknown) => T;
 export function createValidateEquals<T>(): (input: unknown) => IValidation<T>;
 ```
@@ -219,7 +219,7 @@ export function createAssertStringify<T>(): (input: T) => string;
 [![Build Status](https://github.com/samchon/typia/workflows/build/badge.svg)](https://github.com/samchon/nestia/actions?query=workflow%3Abuild)
 [![Guide Documents](https://img.shields.io/badge/wiki-documentation-forestgreen)](https://github.com/samchon/nestia/wiki)
 
-[Nestia](https://github.com/samchon/nestia) is a helper library set for `NestJS`, supporting below features:
+[Nestia](https://github.com/samchon/nestia) is a set of helper libraries for `NestJS`, supporting below features:
 
   - [`@nestia/core`](https://github.com/samchon/nestia#nestiacore): **15,000x times faster** validation decorator using `typia`
   - [`@nestia/sdk`](https://github.com/samchon/nestia#nestiasdk): evolved **SDK** and **Swagger** generator for `@nestia/core`
@@ -229,7 +229,7 @@ export function createAssertStringify<T>(): (input: T) => string;
 import { Controller } from "@nestjs/common";
 import { TypedBody, TypedRoute } from "@nestia/core";
 
-import { IBbsArticle } from "@bbs-api/structures/IBbsArticle";
+import type { IBbsArticle } from "@bbs-api/structures/IBbsArticle";
 
 @Controller("bbs/articles")
 export class BbsArticlesController {
@@ -241,8 +241,9 @@ export class BbsArticlesController {
      */
     @TypedRoute.Post() // 10x faster and safer JSON.stringify()
     public async store(
-        // super-fast validator
-        @TypedBody() input: IBbsArticle.IStore
-    ): Promise<IBbsArticle>;
+        @TypedBody() input: IBbsArticle.IStore // super-fast validator
+    ): Promise<IBbsArticle>; 
+        // do not need DTO class definition, 
+        // just fine with interface
 }
 ```

package/lib/factories/internal/iterate_metadata_object.js

@@ -15,9 +15,11 @@ var iterate_metadata_object = function (checker) {
         return function (collection) {
             return function (meta, type, parentResolved) {
                 var filter = function (flag) { return (type.getFlags() & flag) !== 0; };
-                if (!filter(typescript_1.default.TypeFlags.Object) && !type.isIntersection())
+                if (!filter(typescript_1.default.TypeFlags.Object) &&
+                    !type.isIntersection() &&
+                    type.intrinsicName !== "object")
                     return false;
-                if (type.isIntersection()) {
+                else if (type.isIntersection()) {
                     var fakeCollection_1 = new MetadataCollection_1.MetadataCollection();
                     var fakeSchema_1 = Metadata_1.Metadata.initialize();
                     type.types.forEach(function (t) {

package/lib/factories/internal/iterate_metadata_object.js.map

@@ -1 +1 @@
-{"version":3,"file":"iterate_metadata_object.js","sourceRoot":"","sources":["../../../src/factories/internal/iterate_metadata_object.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,oDAAmD;AAGnD,mDAAkD;AAElD,4DAA2D;AAE3D,qEAAoE;AACpE,uDAAsD;AAE/C,IAAM,uBAAuB,GAChC,UAAC,OAAuB;IACxB,OAAA,UAAC,OAAiC;QAClC,OAAA,UAAC,UAA8B;YAC/B,OAAA,UAAC,IAAc,EAAE,IAAa,EAAE,cAAuB;gBACnD,IAAM,MAAM,GAAG,UAAC,IAAkB,IAAK,OAAA,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAA9B,CAA8B,CAAC;gBACtE,IAAI,CAAC,MAAM,CAAC,oBAAE,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE;oBACtD,OAAO,KAAK,CAAC;gBAEjB,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE;oBACvB,IAAM,gBAAc,GAAG,IAAI,uCAAkB,EAAE,CAAC;oBAChD,IAAM,YAAU,GAAa,mBAAQ,CAAC,UAAU,EAAE,CAAC;oBAEnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAC,CAAC;wBACjB,OAAA,IAAA,mCAAgB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAc,CAAC,CAC9C,YAAU,EACV,CAAC,EACD,cAAc,CACjB;oBAJD,CAIC,CACJ,CAAC;oBACF,IACI,YAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;wBAC/B,YAAU,CAAC,OAAO,CAAC,MAAM,KAAK,YAAU,CAAC,IAAI,EAAE;wBAE/C,OAAO,IAAI,CAAC;iBACnB;gBAED,IAAM,GAAG,GAAmB,IAAA,iDAAuB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CACjE,UAAU,CACb,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvB,qBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,UAAC,IAAI,IAAK,OAAA,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAtB,CAAsB,CAAC,CAAC;gBACnE,OAAO,IAAI,CAAC;YAChB,CAAC;QA5BD,CA4BC;IA7BD,CA6BC;AA9BD,CA8BC,CAAC;AAhCO,QAAA,uBAAuB,2BAgC9B"}
+{"version":3,"file":"iterate_metadata_object.js","sourceRoot":"","sources":["../../../src/factories/internal/iterate_metadata_object.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,oDAAmD;AAGnD,mDAAkD;AAElD,4DAA2D;AAE3D,qEAAoE;AACpE,uDAAsD;AAE/C,IAAM,uBAAuB,GAChC,UAAC,OAAuB;IACxB,OAAA,UAAC,OAAiC;QAClC,OAAA,UAAC,UAA8B;YAC/B,OAAA,UAAC,IAAc,EAAE,IAAa,EAAE,cAAuB;gBACnD,IAAM,MAAM,GAAG,UAAC,IAAkB,IAAK,OAAA,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,EAA9B,CAA8B,CAAC;gBACtE,IACI,CAAC,MAAM,CAAC,oBAAE,CAAC,SAAS,CAAC,MAAM,CAAC;oBAC5B,CAAC,IAAI,CAAC,cAAc,EAAE;oBACrB,IAAY,CAAC,aAAa,KAAK,QAAQ;oBAExC,OAAO,KAAK,CAAC;qBACZ,IAAI,IAAI,CAAC,cAAc,EAAE,EAAE;oBAC5B,IAAM,gBAAc,GAAG,IAAI,uCAAkB,EAAE,CAAC;oBAChD,IAAM,YAAU,GAAa,mBAAQ,CAAC,UAAU,EAAE,CAAC;oBAEnD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAC,CAAC;wBACjB,OAAA,IAAA,mCAAgB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAc,CAAC,CAC9C,YAAU,EACV,CAAC,EACD,cAAc,CACjB;oBAJD,CAIC,CACJ,CAAC;oBACF,IACI,YAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;wBAC/B,YAAU,CAAC,OAAO,CAAC,MAAM,KAAK,YAAU,CAAC,IAAI,EAAE;wBAE/C,OAAO,IAAI,CAAC;iBACnB;gBAED,IAAM,GAAG,GAAmB,IAAA,iDAAuB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CACjE,UAAU,CACb,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACvB,qBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,UAAC,IAAI,IAAK,OAAA,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAtB,CAAsB,CAAC,CAAC;gBACnE,OAAO,IAAI,CAAC;YAChB,CAAC;QA/BD,CA+BC;IAhCD,CAgCC;AAjCD,CAiCC,CAAC;AAnCO,QAAA,uBAAuB,2BAmC9B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "3.4.13",
+  "version": "3.4.14",
   "description": "Runtime type checkers and 5x faster JSON.stringify() function",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",

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,82 +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;
-}
+/**
+ * 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

@@ -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/internal/CommandParser.ts

@@ -1,15 +1,15 @@
-export namespace CommandParser {
-    export function parse(argList: string[]): Record<string, string> {
-        const output: Record<string, string> = {};
-        argList.forEach((arg, i) => {
-            if (arg.startsWith("--") === false) return;
-
-            const key = arg.slice(2);
-            const value: string | undefined = argList[i + 1];
-            if (value === undefined || value.startsWith("--")) return;
-
-            output[key] = value;
-        });
-        return output;
-    }
-}
+export namespace CommandParser {
+    export function parse(argList: string[]): Record<string, string> {
+        const output: Record<string, string> = {};
+        argList.forEach((arg, i) => {
+            if (arg.startsWith("--") === false) return;
+
+            const key = arg.slice(2);
+            const value: string | undefined = argList[i + 1];
+            if (value === undefined || value.startsWith("--")) return;
+
+            output[key] = value;
+        });
+        return output;
+    }
+}