typia 3.7.5-dev.20230413 → 3.7.6

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

@@ -1 +1 @@
-{"version":3,"file":"check_string_tags.js","sourceRoot":"","sources":["../../../src/programmers/internal/check_string_tags.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,uEAAsE;AAU/D,IAAM,iBAAiB,GAC1B,UAAC,QAA0B;IAC3B,OAAA,UAAC,OAAuB;QACxB,OAAA,UAAC,KAAoB;;YACjB,IAAM,UAAU,GAAoC,EAAE,CAAC;;gBACvD,KAAkB,IAAA,YAAA,SAAA,OAAO,CAAA,gCAAA;oBAApB,IAAM,GAAG,oBAAA;oBACV,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;wBACrB,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EACvB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,QAAQ,CAAC,GAAG,CAAC,aAAM,GAAG,CAAC,KAAK,CAAE,CAAC,EAC/B,SAAS,EACT,CAAC,KAAK,CAAC,CACV,CACJ;yBACJ,CAAC,CAAC;yBACF,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;wBAC3B,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EACvB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACvB,kBAAW,GAAG,CAAC,KAAK,YAAS,CAChC,EACD,SAAS,EACT,CAAC,KAAK,CAAC,CACV,CACJ;yBACJ,CAAC,CAAC;yBACF,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAC1B,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAC1C,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAC1C;yBACJ,CAAC,CAAC;yBACF,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;wBAC7B,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAC1C,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAC1C;yBACJ,CAAC,CAAC;yBACF,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;wBAC7B,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAC9B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAC1C,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAC1C;yBACJ,CAAC,CAAC;iBAAA;;;;;;;;;YACX,OAAO,UAAU,CAAC,GAAG,CAAC,UAAC,EAAiB;oBAAjB,KAAA,aAAiB,EAAhB,GAAG,QAAA,EAAE,UAAU,QAAA;gBAAM,OAAA,CAAC;oBAC1C,QAAQ,EAAE,mBAAY,GAAG,CAAC,IAAI,cAAI,GAAG,CAAC,KAAK,MAAG;oBAC9C,UAAU,YAAA;iBACb,CAAC;YAH2C,CAG3C,CAAC,CAAC;QACR,CAAC;IAzDD,CAyDC;AA1DD,CA0DC,CAAC;AA5DO,QAAA,iBAAiB,qBA4DxB"}
+{"version":3,"file":"check_string_tags.js","sourceRoot":"","sources":["../../../src/programmers/internal/check_string_tags.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,uEAAsE;AAU/D,IAAM,iBAAiB,GAC1B,UAAC,QAA0B;IAC3B,OAAA,UAAC,OAAuB;QACxB,OAAA,UAAC,KAAoB;;YACjB,IAAM,UAAU,GAAoC,EAAE,CAAC;;gBACvD,KAAkB,IAAA,YAAA,SAAA,OAAO,CAAA,gCAAA;oBAApB,IAAM,GAAG,oBAAA;oBACV,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;wBACrB,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,QAAQ,CAAC,GAAG,CAAC,aAAM,GAAG,CAAC,KAAK,CAAE,CAAC,EAC/B,SAAS,EACT,CAAC,KAAK,CAAC,CACV;yBACJ,CAAC,CAAC;yBACF,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;wBAC3B,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACvB,kBAAW,GAAG,CAAC,KAAK,YAAS,CAChC,EACD,SAAS,EACT,CAAC,KAAK,CAAC,CACV;yBACJ,CAAC,CAAC;yBACF,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;wBAC1B,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAC1C,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAC1C;yBACJ,CAAC,CAAC;yBACF,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;wBAC7B,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAC1C,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAC1C;yBACJ,CAAC,CAAC;yBACF,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;wBAC7B,UAAU,CAAC,IAAI,CAAC;4BACZ,GAAG;4BACH,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAC9B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,EAC1C,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAC1C;yBACJ,CAAC,CAAC;iBAAA;;;;;;;;;YACX,OAAO,UAAU,CAAC,GAAG,CAAC,UAAC,EAAiB;oBAAjB,KAAA,aAAiB,EAAhB,GAAG,QAAA,EAAE,UAAU,QAAA;gBAAM,OAAA,CAAC;oBAC1C,QAAQ,EAAE,mBAAY,GAAG,CAAC,IAAI,cAAI,GAAG,CAAC,KAAK,MAAG;oBAC9C,UAAU,YAAA;iBACb,CAAC;YAH2C,CAG3C,CAAC,CAAC;QACR,CAAC;IAnDD,CAmDC;AApDD,CAoDC,CAAC;AAtDO,QAAA,iBAAiB,qBAsDxB"}

package/lib/programmers/internal/check_template.js

@@ -42,7 +42,7 @@ var check_template = function (importer) {
                         typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createStringLiteral("string"), typescript_1.default.factory.createTypeOfExpression(input)),
                     ];
                     var internal = templates.map(function (tpl) {
-                        return typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createTrue(), typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("RegExp(/".concat((0, template_to_pattern_1.template_to_pattern)(true)(tpl), "/).test")), undefined, [input]));
+                        return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("RegExp(/".concat((0, template_to_pattern_1.template_to_pattern)(true)(tpl), "/).test")), undefined, [input]);
                     });
                     conditions.push(internal.length === 1
                         ? internal[0]

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

@@ -1 +1 @@
-{"version":3,"file":"check_template.js","sourceRoot":"","sources":["../../../src/programmers/internal/check_template.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAQ5B,+CAA8C;AAC9C,yDAAwD;AACxD,6DAA4D;AAKrD,IAAM,cAAc,GACvB,UAAC,QAA0B;IAC3B,OAAA,UAAC,QAAwB;QACzB,OAAA,UAAC,SAA0B;YAC3B,OAAA,UAAC,SAAuB;gBACxB,OAAA,UAAC,KAAoB;oBAEjB,IAAM,UAAU,GAAoB;wBAChC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EACxC,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAC3C;qBACJ,CAAC;oBAGF,IAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,UAAC,GAAG;wBAC/B,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EACvB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACvB,kBAAW,IAAA,yCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,YAAS,CACrD,EACD,SAAS,EACT,CAAC,KAAK,CAAC,CACV,CACJ;oBATD,CASC,CACJ,CAAC;oBACF,UAAU,CAAC,IAAI,CACX,QAAQ,CAAC,MAAM,KAAK,CAAC;wBACjB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE;wBACd,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAhC,CAAgC,CAAC,CACpE,CAAC;oBAGF,OAAO;wBACH,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC;4BAC/B,OAAA,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;wBAAjC,CAAiC,CACpC;wBACD,IAAI,yCACG,IAAA,qCAAiB,EAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,kBAC5C,IAAA,2BAAY,EAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,SACxD;qBACJ,CAAC;gBACN,CAAC;YAtCD,CAsCC;QAvCD,CAuCC;IAxCD,CAwCC;AAzCD,CAyCC,CAAC;AA3CO,QAAA,cAAc,kBA2CrB"}
+{"version":3,"file":"check_template.js","sourceRoot":"","sources":["../../../src/programmers/internal/check_template.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAQ5B,+CAA8C;AAC9C,yDAAwD;AACxD,6DAA4D;AAKrD,IAAM,cAAc,GACvB,UAAC,QAA0B;IAC3B,OAAA,UAAC,QAAwB;QACzB,OAAA,UAAC,SAA0B;YAC3B,OAAA,UAAC,SAAuB;gBACxB,OAAA,UAAC,KAAoB;oBAEjB,IAAM,UAAU,GAAoB;wBAChC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EACxC,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAC3C;qBACJ,CAAC;oBAGF,IAAM,QAAQ,GAAoB,SAAS,CAAC,GAAG,CAAC,UAAC,GAAG;wBAChD,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACvB,kBAAW,IAAA,yCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,YAAS,CACrD,EACD,SAAS,EACT,CAAC,KAAK,CAAC,CACV;oBAND,CAMC,CACJ,CAAC;oBACF,UAAU,CAAC,IAAI,CACX,QAAQ,CAAC,MAAM,KAAK,CAAC;wBACjB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAE;wBACd,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAhC,CAAgC,CAAC,CACpE,CAAC;oBAGF,OAAO;wBACH,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC;4BAC/B,OAAA,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;wBAAjC,CAAiC,CACpC;wBACD,IAAI,yCACG,IAAA,qCAAiB,EAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,kBAC5C,IAAA,2BAAY,EAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,SACxD;qBACJ,CAAC;gBACN,CAAC;YAnCD,CAmCC;QApCD,CAoCC;IArCD,CAqCC;AAtCD,CAsCC,CAAC;AAxCO,QAAA,cAAc,kBAwCrB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "3.7.5-dev.20230413",
+  "version": "3.7.6",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",
@@ -10,14 +10,14 @@
   "scripts": {
     "benchmark": "npm run build:benchmark && node measure/benchmark",
     "benchmark:generate": "ts-node benchmark/generate && npm run build:benchmark",
-    "test:generate": "ts-node -P build/tsconfig.json build/test.ts",
+    "test:generate": "ts-node -P build/tsconfig.json -C ttypescript build/test.ts",
     "----------------------------------------------": "",
-    "build": "rimraf lib && tsc --removeComments --declaration false && tsc --emitDeclarationOnly",
-    "build:test": "rimraf bin && tsc -p test/tsconfig.json",
-    "build:benchmark": "rimraf measure && tsc -p benchmark/tsconfig.json",
+    "build": "rimraf lib && ttsc --removeComments --declaration false && ttsc --emitDeclarationOnly",
+    "build:test": "rimraf bin && ttsc -p test/tsconfig.json",
+    "build:benchmark": "rimraf measure && ttsc -p benchmark/tsconfig.json",
     "build:test:prettier": "npm run build:test && prettier --write ./bin/**/*.js",
-    "dev": "rimraf lib && tsc --watch",
-    "dev:test": "rimraf bin && tsc -p test/tsconfig.json --watch",
+    "dev": "rimraf lib && ttsc --watch",
+    "dev:test": "rimraf bin && ttsc -p test/tsconfig.json --watch",
     "eslint": "eslint ./**/*.ts",
     "eslint:fix": "eslint ./**/*.ts --fix",
     "prettier": "prettier  --write ./**/*.ts",
@@ -29,8 +29,7 @@
     "------------------------------------------------": "",
     "package:latest": "ts-node build/publish.ts latest",
     "package:next": "ts-node build/publish.ts next",
-    "package:deprecate": "npm deprecate typescript-json \"Renamed to typia\"",
-    "prepare": "ts-patch install"
+    "package:deprecate": "npm deprecate typescript-json \"Renamed to typia\""
   },
   "repository": {
     "type": "git",
@@ -75,7 +74,7 @@
     "randexp": "^0.5.3"
   },
   "peerDependencies": {
-    "typescript": ">= 4.5.2"
+    "typescript": ">= 4.5.2 && < 5.0.0"
   },
   "devDependencies": {
     "@fastify/type-provider-typebox": "^3.0.0",
@@ -117,8 +116,8 @@
     "suppress-warnings": "^1.0.2",
     "tgrid": "^0.8.7",
     "ts-node": "^10.9.1",
-    "ts-patch": "^3.0.0-beta2",
-    "typescript": "^5.0.4",
+    "ttypescript": "^1.5.15",
+    "typescript": "^4.9.5",
     "typescript-transform-paths": "^3.4.6",
     "uuid": "^8.3.2",
     "zod": "^3.19.1"

package/src/CustomValidatorMap.ts

@@ -1,126 +1,126 @@
-import { Customizable } from "./typings/Customizable";
-
-/**
- * Map of custom validators.
- *
- * Map of custom validator functions, storing tag name and type of target value
- * as key, and custom validator function as value.
- *
- * When you want to add a custom validation logic utilizing comment tags, you
- * can insert a custom validator function with specific tag name and type of
- * the target value like below.
- *
- * ```ts
- * typia.customValidators.insert("powerOf")("number")(
- *     (text: string) => {
- *         const denominator: number = Math.log(Number(text));
- *         return (value: number) => {
- *             value = Math.log(value) / denominator;
- *             return value === Math.floor(value);
- *         };
- *     }
- * );
- * typia.customValidators.insert("dollar")("string")(
- *     () => (value: string) => value.startsWith("$"),
- * );
- *
- * interface TagCustom {
- *    /**
- *     * @powerOf 10
- *     *\/
- *    powerOf: number;
- *
- *    /**
- *     * @dollar
- *     *\/
- *    dollar: string;
- * }
- * ```
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export interface CustomValidatorMap {
-    /**
-     * Get number of stored tags.
-     *
-     * @return Number of stored tags
-     */
-    size(): number;
-
-    /**
-     * Get number of stored types of the specified tag name.
-     *
-     * In other words, number of stored custom validator functions of
-     * the specified tag name.
-     *
-     * @param name Tag name
-     * @return Number of stored types function
-     */
-    size(name: string): number;
-
-    /**
-     * Test whether custom validator function exists or not.
-     *
-     * @param name Tag name
-     * @param type Type of the target value
-     * @returns Whether exists or not
-     */
-    has: (name: string) => (type: keyof Customizable) => boolean;
-
-    /**
-     * Get custom validator function.
-     *
-     * @param name Tag name
-     * @param type Type of the target value
-     * @returns Custom validator function or undefined value
-     */
-    get(
-        name: string,
-    ): <Type extends keyof Customizable>(
-        type: Type,
-    ) => CustomValidatorMap.Closure<Type> | undefined;
-
-    /**
-     * Insert a new custom validator function.
-     *
-     * You can add a custom validation logic utilizing comment tags,
-     * by inserting a function which returns a boolean value, with specific
-     * tag name and type of the target value.
-     *
-     * However, if you try to insert a duplicated tag name and type, the
-     * closure function would not be enrolled and `false` value would be
-     * returned.
-     *
-     * @param name Tag name
-     * @param type Type of the target value
-     * @param closure Custom validator function
-     * @returns Whether succeeded to insert or not
-     */
-    insert(
-        name: string,
-    ): <Type extends keyof Customizable>(
-        type: Type,
-    ) => (closure: CustomValidatorMap.Closure<Type>) => boolean;
-
-    /**
-     * Erase custom validator function.
-     *
-     * @param name Tag name
-     * @param type Type of the target value
-     * @returns Whether succeeded to erase or not
-     */
-    erase(name: string): (type: keyof Customizable) => boolean;
-}
-export namespace CustomValidatorMap {
-    /**
-     * Type of closure function of custom validation.
-     *
-     * @template Type Type of the target value
-     * @param text Text of the tag. For example, if the tag is `@powerOf 10`, `text` is 10.
-     * @param value Value to validate
-     * @returns Whether the value is valid or not
-     */
-    export type Closure<Type extends keyof Customizable> = (
-        text: string,
-    ) => (value: Customizable[Type]) => boolean;
-}
+import { Customizable } from "./typings/Customizable";
+
+/**
+ * Map of custom validators.
+ *
+ * Map of custom validator functions, storing tag name and type of target value
+ * as key, and custom validator function as value.
+ *
+ * When you want to add a custom validation logic utilizing comment tags, you
+ * can insert a custom validator function with specific tag name and type of
+ * the target value like below.
+ *
+ * ```ts
+ * typia.customValidators.insert("powerOf")("number")(
+ *     (text: string) => {
+ *         const denominator: number = Math.log(Number(text));
+ *         return (value: number) => {
+ *             value = Math.log(value) / denominator;
+ *             return value === Math.floor(value);
+ *         };
+ *     }
+ * );
+ * typia.customValidators.insert("dollar")("string")(
+ *     () => (value: string) => value.startsWith("$"),
+ * );
+ *
+ * interface TagCustom {
+ *    /**
+ *     * @powerOf 10
+ *     *\/
+ *    powerOf: number;
+ *
+ *    /**
+ *     * @dollar
+ *     *\/
+ *    dollar: string;
+ * }
+ * ```
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export interface CustomValidatorMap {
+    /**
+     * Get number of stored tags.
+     *
+     * @return Number of stored tags
+     */
+    size(): number;
+
+    /**
+     * Get number of stored types of the specified tag name.
+     *
+     * In other words, number of stored custom validator functions of
+     * the specified tag name.
+     *
+     * @param name Tag name
+     * @return Number of stored types function
+     */
+    size(name: string): number;
+
+    /**
+     * Test whether custom validator function exists or not.
+     *
+     * @param name Tag name
+     * @param type Type of the target value
+     * @returns Whether exists or not
+     */
+    has: (name: string) => (type: keyof Customizable) => boolean;
+
+    /**
+     * Get custom validator function.
+     *
+     * @param name Tag name
+     * @param type Type of the target value
+     * @returns Custom validator function or undefined value
+     */
+    get(
+        name: string,
+    ): <Type extends keyof Customizable>(
+        type: Type,
+    ) => CustomValidatorMap.Closure<Type> | undefined;
+
+    /**
+     * Insert a new custom validator function.
+     *
+     * You can add a custom validation logic utilizing comment tags,
+     * by inserting a function which returns a boolean value, with specific
+     * tag name and type of the target value.
+     *
+     * However, if you try to insert a duplicated tag name and type, the
+     * closure function would not be enrolled and `false` value would be
+     * returned.
+     *
+     * @param name Tag name
+     * @param type Type of the target value
+     * @param closure Custom validator function
+     * @returns Whether succeeded to insert or not
+     */
+    insert(
+        name: string,
+    ): <Type extends keyof Customizable>(
+        type: Type,
+    ) => (closure: CustomValidatorMap.Closure<Type>) => boolean;
+
+    /**
+     * Erase custom validator function.
+     *
+     * @param name Tag name
+     * @param type Type of the target value
+     * @returns Whether succeeded to erase or not
+     */
+    erase(name: string): (type: keyof Customizable) => boolean;
+}
+export namespace CustomValidatorMap {
+    /**
+     * Type of closure function of custom validation.
+     *
+     * @template Type Type of the target value
+     * @param text Text of the tag. For example, if the tag is `@powerOf 10`, `text` is 10.
+     * @param value Value to validate
+     * @returns Whether the value is valid or not
+     */
+    export type Closure<Type extends keyof Customizable> = (
+        text: string,
+    ) => (value: Customizable[Type]) => boolean;
+}

package/src/IRandomGenerator.ts

@@ -1,33 +1,33 @@
-import { Customizable } from "./typings/Customizable";
-
-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(minimum?: number, maximum?: number): string;
-    datetime(minimum?: number, maximum?: number): string;
-
-    customs?: IRandomGenerator.CustomMap;
-}
-export namespace IRandomGenerator {
-    export type CustomMap = {
-        [Type in keyof Customizable]?: (
-            tags: ICommentTag[],
-        ) => Customizable[Type] | undefined;
-    };
-
-    export interface ICommentTag {
-        name: string;
-        value?: string;
-    }
-}
+import { Customizable } from "./typings/Customizable";
+
+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(minimum?: number, maximum?: number): string;
+    datetime(minimum?: number, maximum?: number): string;
+
+    customs?: IRandomGenerator.CustomMap;
+}
+export namespace IRandomGenerator {
+    export type CustomMap = {
+        [Type in keyof Customizable]?: (
+            tags: ICommentTag[],
+        ) => Customizable[Type] | undefined;
+    };
+
+    export interface ICommentTag {
+        name: string;
+        value?: 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;
+}