typia 3.4.5 → 3.4.7

package/README.md

@@ -51,7 +51,7 @@ Just type `npx typia setup`, that's all.
 
 After the setup, you can compile `typia` utilized code by using `ttsc` ([`ttypescript`](https://github.com/cevek/ttypescript)) command. If you want to run your TypeScript file directly through `ts-node`, add `-C ttypescript` argument like below:
 
-<!-- ```bash
+```bash
 # COMPILE THROUGH TTYPESCRIPT
 npx ttsc
 
@@ -59,28 +59,10 @@ npx ttsc
 npx ts-node -C ttypescript src/index.ts
 ```
 
-> If you want to use only `tsc` command, you can choose another option: [`ts-patch`](https://github.com/nonara/ts-patch). 
-> 
-> Set it up through `npx typia setup ts-patch` command and compile your project with pure(?) TypeScript compiler (`tsc`). When you want to run your TypeScript file directly, just use the pure `ts-node`, too. 
-> 
-> However, note that, the `ts-patch` will modify JavaScript files in `node_modules/typescript` directly. Therefore, it may cause some problems when you update typescript version after the `setup` process, until running `npm run prepare` command.
-> 
-> ```bash
-> # SETUP
-> npx typia setup ts-patch
-> 
-> #COMPILE
-> npx tsc
-> npx ts-node src/index.ts
->
-> # AFTER UPDATE, HAVE TO RUN PREPARE COMMAND
-> npm install --save-dev typescript@latest
-> npm run prepare
-> ``` -->
-
 ### Manual Setup
 If you want to install and setup `typia` manually, read [Guide Documents - Setup](https://github.com/samchon/typia/wiki/Setup).
 
+  - [Setup Wizard](https://github.com/samchon/typia/wiki/Setup#setup-wizard)
   - [NPM Packages](https://github.com/samchon/typia/wiki/Setup#npm-packages)
   - [`tsconfig.json`](https://github.com/samchon/typia/wiki/Setup#tsconfigjson)
   - [vite](https://github.com/samchon/typia/wiki/Setup#vite)
@@ -89,7 +71,7 @@ If you want to install and setup `typia` manually, read [Guide Documents - Setup
 ### vite
 When you want to setup `typia` on your frontend project with [`vite`](https://vitejs.dev/), just configure `vite.config.ts` like below.
 
-For reference, don't forget [setting up](#setup) before.
+For reference, don't forget running [Setup Wizard](#setup-wizard) before.
 
 ```typescript
 import { defineConfig } from "vite";
@@ -116,7 +98,7 @@ export default defineConfig({
 
 In here README documents, only summarized informations are provided. 
 
-For more details, please refer to the [Guide Documents (wiki)](https://github.com/samchon/typia/wiki).
+For more details, refer to the [Guide Documents (wiki)](https://github.com/samchon/typia/wiki).
 
 > - **Runtime Validators**
 >   - [powerful validator](https://github.com/samchon/typia/wiki/Runtime-Validators#powerful-validator)
@@ -163,31 +145,7 @@ export function createValidateEquals<T>(): (input: unknown) => IValidation<T>;
 
 Also, if you want more strict validator functions that even do not allowing superfluous properties not written in the type `T`, you can use those functions instead; `equals()`, `assertEquals()`, `validateEquals()`. Otherwise you want to create resuable validator functions,  you can utilize factory functions like `createIs()` instead.
 
-When you want to add special validation logics, like limiting range of numeric values, you can do it through comment tags. If you want to know about it, please visit the Guide Documents ([Features > Runtime Validators > Comment Tags](https://github.com/samchon/typia/wiki/Runtime-Validators#comment-tags)).
-
-<!-- > By the way, comparing those validator functions with other competitive libaries, you can find that only `typia` is able to validate complicate union type. It is because `typia` is supporting entire TypeScript type specs. Therefore, adapt `typia` with confidence. It can validate everything.
-> 
-> Moreover, validation speed of `typia` is extremely faster than any other validation libraries. For an example, `typia` is maximum 15,000x times faster than `class-validator`. Visit [benchmarks](https://github.com/samchon/typia/wiki/Benchmarks#validate-functions) section of Guide Documents and feel how fast `typia` is.
-> 
-> Components               | `typia` | `TypeBox` | `ajv` | `io-ts` | `zod` | `C.V.`
-> -------------------------|--------|-----------|-------|---------|-------|------------------
-> **Easy to use**          | ✅ | ❌ | ❌ | ❌ | ❌ | ❌ 
-> [Object (simple)](https://github.com/samchon/typia/blob/master/test/structures/ObjectSimple.ts)          | ✔ | ✔ | ✔ | ✔ | ✔ | ✔
-> [Object (hierarchical)](https://github.com/samchon/typia/blob/master/test/structures/ObjectHierarchical.ts)    | ✔ | ✔ | ✔ | ✔ | ✔ | ✔
-> [Object (recursive)](https://github.com/samchon/typia/blob/master/test/structures/ObjectRecursive.ts)       | ✔ | ❌ | ✔ | ✔ | ✔ | ✔ | ✔
-> [Object (union, implicit)](https://github.com/samchon/typia/blob/master/test/structures/ObjectUnionImplicit.ts) | ✅ | ❌ | ❌ | ❌ | ❌ | ❌
-> [Object (union, explicit)](https://github.com/samchon/typia/blob/master/test/structures/ObjectUnionExplicit.ts) | ✔ | ✔ | ✔ | ✔ | ✔ | ❌
-> [Object (additional tags)](https://github.com/samchon/typia/#comment-tags)        | ✔ | ✔ | ✔ | ✔ | ✔ | ✔
-> [Object (template literal types)](https://github.com/samchon/typia/blob/master/test/structures/TemplateUnion.ts) | ✅ | ❌ | ❌ | ❌ | ❌ | ❌
-> [Object (dynamic properties)](https://github.com/samchon/typia/blob/master/test/structures/DynamicTemplate.ts) | ✔ | ✔ | ✔ | ❌ | ❌ | ❌
-> [Array (hierarchical)](https://github.com/samchon/typia/blob/master/test/structures/ArrayHierarchical.ts)     | ✔ | ✔ | ✔ | ✔ | ✔ | ✔
-> [Array (recursive)](https://github.com/samchon/typia/blob/master/test/structures/ArrayRecursive.ts)        | ✔ | ✔ | ✔ | ✔ | ✔ | ❌
-> [Array (recursive, union)](https://github.com/samchon/typia/blob/master/test/structures/ArrayRecursiveUnionExplicit.ts) | ✔ | ✔ | ❌ | ✔ | ✔ | ❌
-> [Array (R+U, implicit)](https://github.com/samchon/typia/blob/master/test/structures/ArrayRecursiveUnionImplicit.ts)    | ✅ | ❌ | ❌ | ❌ | ❌ | ❌
-> [**Ultimate Union Type**](https://github.com/samchon/typia/blob/master/src/schemas/IJsonSchema.ts)  | ✅ | ❌ | ❌ | ❌ | ❌ | ❌
-> 
-> - typia: `typia`
-> - C.V.: `class-validator` -->
+When you want to add special validation logics, like limiting range of numeric values, you can do it through comment tags. If you want to know about it, visit the Guide Documents ([Features > Runtime Validators > Comment Tags](https://github.com/samchon/typia/wiki/Runtime-Validators#comment-tags)).
 
 ### Enhanced JSON
 ```typescript

package/lib/factories/internal/iterate_metadata.js

@@ -32,7 +32,7 @@ var iterate_metadata = function (checker) {
                     (0, iterate_metadata_constant_1.iterate_metadata_constant)(checker)(options)(meta, type) ||
                     (0, iterate_metadata_template_1.iterate_metadata_template)(checker)(options)(collection)(meta, type) ||
                     (0, iterate_metadata_atomic_1.iterate_metadata_atomic)(meta, type) ||
-                    (0, iterate_metadata_tuple_1.iterate_metadata_tuple)(checker)(options)(collection)(meta, type, node) ||
+                    (0, iterate_metadata_tuple_1.iterate_metadata_tuple)(checker)(options)(collection)(meta, type) ||
                     (0, iterate_metadata_array_1.iterate_metadata_array)(checker)(options)(collection)(meta, type) ||
                     (0, iterate_metadata_native_1.iterate_metadata_native)(checker)(meta, type) ||
                     (0, iterate_metadata_map_1.iterate_metadata_map)(checker)(options)(collection)(meta, type) ||

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

@@ -1 +1 @@
-{"version":3,"file":"iterate_metadata.js","sourceRoot":"","sources":["../../../src/factories/internal/iterate_metadata.ts"],"names":[],"mappings":";;;AAIA,mDAAkD;AAIlD,mEAAkE;AAClE,qEAAoE;AACpE,yEAAwE;AACxE,yEAAwE;AACxE,+DAA8D;AAC9D,qEAAoE;AACpE,qEAAoE;AACpE,uEAAsE;AACtE,+DAA8D;AAC9D,yEAAwE;AACxE,mEAAkE;AAClE,mEAAkE;AAE3D,IAAM,gBAAgB,GACzB,UAAC,OAAuB;IACxB,OAAA,UAAC,OAAiC;QAClC,OAAA,UAAC,UAA8B;YAC/B,OAAA,UAAC,IAAc,EAAE,IAAa,EAAE,cAAuB;gBACnD,IAAI,IAAI,CAAC,eAAe,EAAE,KAAK,IAAI;oBAC/B,MAAM,IAAI,KAAK,CACX,uFAAgF,IAAI,CAAC,OAAO,EAAE,MAAG,CACpG,CAAC;gBAGN,IACI,IAAA,+CAAsB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAChD,IAAI,EACJ,IAAI,EACJ,cAAc,CACjB;oBACD,IAAA,mDAAwB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAClD,IAAI,EACJ,IAAI,EACJ,cAAc,CACjB;oBAED,OAAO;gBAGX,IAAM,IAAI,GAA4B,OAAO,CAAC,cAAc,CACxD,IAAI,EACJ,SAAS,EACT,SAAS,CACZ,CAAC;gBACF,IAAI,IAAI,KAAK,SAAS,EAAE;oBAEpB,qBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,cAAM,OAAA,IAAI,EAAJ,CAAI,CAAC,CAAC;oBAC3C,OAAO;iBACV;gBAGD,IAAA,qDAAyB,EAAC,IAAI,EAAE,IAAI,CAAC;oBACjC,IAAA,qDAAyB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBACvD,IAAA,qDAAyB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CACnD,IAAI,EACJ,IAAI,CACP;oBACD,IAAA,iDAAuB,EAAC,IAAI,EAAE,IAAI,CAAC;oBACnC,IAAA,+CAAsB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAChD,IAAI,EACJ,IAAI,EACJ,IAAI,CACP;oBACD,IAAA,+CAAsB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBAChE,IAAA,iDAAuB,EAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBAC5C,IAAA,2CAAoB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBAC9D,IAAA,2CAAoB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBAC9D,IAAA,iDAAuB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CACjD,IAAI,EACJ,IAAI,EACJ,cAAc,CACjB,CAAC;YACV,CAAC;QAvDD,CAuDC;IAxDD,CAwDC;AAzDD,CAyDC,CAAC;AA3DO,QAAA,gBAAgB,oBA2DvB"}
+{"version":3,"file":"iterate_metadata.js","sourceRoot":"","sources":["../../../src/factories/internal/iterate_metadata.ts"],"names":[],"mappings":";;;AAIA,mDAAkD;AAIlD,mEAAkE;AAClE,qEAAoE;AACpE,yEAAwE;AACxE,yEAAwE;AACxE,+DAA8D;AAC9D,qEAAoE;AACpE,qEAAoE;AACpE,uEAAsE;AACtE,+DAA8D;AAC9D,yEAAwE;AACxE,mEAAkE;AAClE,mEAAkE;AAE3D,IAAM,gBAAgB,GACzB,UAAC,OAAuB;IACxB,OAAA,UAAC,OAAiC;QAClC,OAAA,UAAC,UAA8B;YAC/B,OAAA,UAAC,IAAc,EAAE,IAAa,EAAE,cAAuB;gBACnD,IAAI,IAAI,CAAC,eAAe,EAAE,KAAK,IAAI;oBAC/B,MAAM,IAAI,KAAK,CACX,uFAAgF,IAAI,CAAC,OAAO,EAAE,MAAG,CACpG,CAAC;gBAGN,IACI,IAAA,+CAAsB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAChD,IAAI,EACJ,IAAI,EACJ,cAAc,CACjB;oBACD,IAAA,mDAAwB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAClD,IAAI,EACJ,IAAI,EACJ,cAAc,CACjB;oBAED,OAAO;gBAGX,IAAM,IAAI,GAA4B,OAAO,CAAC,cAAc,CACxD,IAAI,EACJ,SAAS,EACT,SAAS,CACZ,CAAC;gBACF,IAAI,IAAI,KAAK,SAAS,EAAE;oBAEpB,qBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,cAAM,OAAA,IAAI,EAAJ,CAAI,CAAC,CAAC;oBAC3C,OAAO;iBACV;gBAGD,IAAA,qDAAyB,EAAC,IAAI,EAAE,IAAI,CAAC;oBACjC,IAAA,qDAAyB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBACvD,IAAA,qDAAyB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CACnD,IAAI,EACJ,IAAI,CACP;oBACD,IAAA,iDAAuB,EAAC,IAAI,EAAE,IAAI,CAAC;oBACnC,IAAA,+CAAsB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAChD,IAAI,EACJ,IAAoB,CACvB;oBACD,IAAA,+CAAsB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBAChE,IAAA,iDAAuB,EAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBAC5C,IAAA,2CAAoB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBAC9D,IAAA,2CAAoB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;oBAC9D,IAAA,iDAAuB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CACjD,IAAI,EACJ,IAAI,EACJ,cAAc,CACjB,CAAC;YACV,CAAC;QAtDD,CAsDC;IAvDD,CAuDC;AAxDD,CAwDC,CAAC;AA1DO,QAAA,gBAAgB,oBA0DvB"}

package/lib/factories/internal/iterate_metadata_tuple.d.ts

@@ -2,4 +2,4 @@ import ts from "typescript";
 import { Metadata } from "../../metadata/Metadata";
 import { MetadataCollection } from "../MetadataCollection";
 import { MetadataFactory } from "../MetadataFactory";
-export declare const iterate_metadata_tuple: (checker: ts.TypeChecker) => (options: MetadataFactory.IOptions) => (collection: MetadataCollection) => (meta: Metadata, type: ts.Type, node: ts.TypeNode) => boolean;
+export declare const iterate_metadata_tuple: (checker: ts.TypeChecker) => (options: MetadataFactory.IOptions) => (collection: MetadataCollection) => (meta: Metadata, type: ts.TupleType) => boolean;

package/lib/factories/internal/iterate_metadata_tuple.js

@@ -12,25 +12,17 @@ var explore_metadata_1 = require("./explore_metadata");
 var iterate_metadata_tuple = function (checker) {
     return function (options) {
         return function (collection) {
-            return function (meta, type, node) {
-                var _a, _b;
+            return function (meta, type) {
+                var _a, _b, _c;
                 if (!checker.isTupleType(type))
                     return false;
-                while (typescript_1.default.isTypeReferenceNode(node)) {
-                    var declarations = (_b = (_a = node.typeName) === null || _a === void 0 ? void 0 : _a.symbol) === null || _b === void 0 ? void 0 : _b.declarations;
-                    if (!(declarations === null || declarations === void 0 ? void 0 : declarations.length))
-                        break;
-                    var alias = declarations[0];
-                    if (!alias || !typescript_1.default.isTypeAliasDeclaration(alias))
-                        break;
-                    node = alias.type;
-                }
-                var elements = typescript_1.default.isTupleTypeNode(node) ? node.elements : undefined;
+                var elementFlags = (_c = (_a = type.elementFlags) !== null && _a !== void 0 ? _a : (_b = type.target) === null || _b === void 0 ? void 0 : _b.elementFlags) !== null && _c !== void 0 ? _c : [];
                 var children = checker
                     .getTypeArguments(type)
                     .map(function (elem, i) {
                     var child = (0, explore_metadata_1.explore_metadata)(checker)(options)(collection)(elem, false);
-                    if (elements === undefined || !typescript_1.default.isRestTypeNode(elements[i]))
+                    var flag = elementFlags[i];
+                    if (flag !== typescript_1.default.ElementFlags.Rest)
                         return child;
                     var wrapper = Metadata_1.Metadata.initialize();
                     (0, Writable_1.Writable)(wrapper).rest = child;

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

@@ -1 +1 @@
-{"version":3,"file":"iterate_metadata_tuple.js","sourceRoot":"","sources":["../../../src/factories/internal/iterate_metadata_tuple.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,oDAAmD;AAEnD,mDAAkD;AAElD,mDAAkD;AAIlD,uDAAsD;AAE/C,IAAM,sBAAsB,GAC/B,UAAC,OAAuB;IACxB,OAAA,UAAC,OAAiC;QAClC,OAAA,UAAC,UAA8B;YAC/B,OAAA,UAAC,IAAc,EAAE,IAAa,EAAE,IAAiB;;gBAC7C,IAAI,CAAE,OAAe,CAAC,WAAW,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAEtD,OAAO,oBAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE;oBACjC,IAAM,YAAY,GAAiC,MAAA,MAC/C,IAAI,CAAC,QACR,0CAAE,MAAM,0CAAE,YAAY,CAAC;oBACxB,IAAI,CAAC,CAAA,YAAY,aAAZ,YAAY,uBAAZ,YAAY,CAAE,MAAM,CAAA;wBAAE,MAAM;oBAEjC,IAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;oBAC9B,IAAI,CAAC,KAAK,IAAI,CAAC,oBAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC;wBAAE,MAAM;oBACvD,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;iBACrB;gBAED,IAAM,QAAQ,GAAG,oBAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;gBACtE,IAAM,QAAQ,GAAe,OAAO;qBAC/B,gBAAgB,CAAC,IAAwB,CAAC;qBAC1C,GAAG,CAAC,UAAC,IAAI,EAAE,CAAC;oBACT,IAAM,KAAK,GAAa,IAAA,mCAAgB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CACtD,UAAU,CACb,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBACf,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,oBAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC;wBAC1D,OAAO,KAAK,CAAC;oBAEjB,IAAM,OAAO,GAAa,mBAAQ,CAAC,UAAU,EAAE,CAAC;oBAChD,IAAA,mBAAQ,EAAC,OAAO,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;oBAC/B,OAAO,OAAO,CAAC;gBACnB,CAAC,CAAC,CAAC;gBACP,qBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;gBACvD,OAAO,IAAI,CAAC;YAChB,CAAC;QA9BD,CA8BC;IA/BD,CA+BC;AAhCD,CAgCC,CAAC;AAlCO,QAAA,sBAAsB,0BAkC7B;AAEN,SAAS,gBAAgB,CAAC,KAAiB;IACvC,OAAO,WAAI,KAAK,CAAC,GAAG,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAG,CAAC;AACzD,CAAC"}
+{"version":3,"file":"iterate_metadata_tuple.js","sourceRoot":"","sources":["../../../src/factories/internal/iterate_metadata_tuple.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,oDAAmD;AAEnD,mDAAkD;AAElD,mDAAkD;AAIlD,uDAAsD;AAE/C,IAAM,sBAAsB,GAC/B,UAAC,OAAuB;IACxB,OAAA,UAAC,OAAiC;QAClC,OAAA,UAAC,UAA8B;YAC/B,OAAA,UAAC,IAAc,EAAE,IAAkB;;gBAC/B,IAAI,CAAE,OAAe,CAAC,WAAW,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAEtD,IAAM,YAAY,GACd,MAAA,MAAA,IAAI,CAAC,YAAY,mCACjB,MAAC,IAAI,CAAC,MAAuB,0CAAE,YAAY,mCAC3C,EAAE,CAAC;gBAEP,IAAM,QAAQ,GAAe,OAAO;qBAC/B,gBAAgB,CAAC,IAAwB,CAAC;qBAC1C,GAAG,CAAC,UAAC,IAAI,EAAE,CAAC;oBACT,IAAM,KAAK,GAAa,IAAA,mCAAgB,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CACtD,UAAU,CACb,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBAEf,IAAM,IAAI,GAAgC,YAAY,CAAC,CAAC,CAAC,CAAC;oBAC1D,IAAI,IAAI,KAAK,oBAAE,CAAC,YAAY,CAAC,IAAI;wBAAE,OAAO,KAAK,CAAC;oBAEhD,IAAM,OAAO,GAAa,mBAAQ,CAAC,UAAU,EAAE,CAAC;oBAChD,IAAA,mBAAQ,EAAC,OAAO,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;oBAC/B,OAAO,OAAO,CAAC;gBACnB,CAAC,CAAC,CAAC;gBACP,qBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;gBACvD,OAAO,IAAI,CAAC;YAChB,CAAC;QAxBD,CAwBC;IAzBD,CAyBC;AA1BD,CA0BC,CAAC;AA5BO,QAAA,sBAAsB,0BA4B7B;AAEN,SAAS,gBAAgB,CAAC,KAAiB;IACvC,OAAO,WAAI,KAAK,CAAC,GAAG,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,OAAO,EAAT,CAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAG,CAAC;AACzD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "3.4.5",
+  "version": "3.4.7",
   "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;
+    }
+}