typia 4.0.0-dev.20230520 → 4.0.0-dev.20230527

package/lib/transform.js

@@ -21,7 +21,7 @@ var regular = function (_a) {
     });
 };
 var patch = function (program, options) {
-    var tsc = require("ts");
+    var tsc = require("typescript");
     return FileTransformer_1.FileTransformer.transform({
         tsc: tsc,
         program: program,

package/lib/transform.js.map

@@ -1 +1 @@
-{"version":3,"file":"transform.js","sourceRoot":"","sources":["../src/transform.ts"],"names":[],"mappings":";AAEA,kEAAiE;AAGjE,IAAM,OAAO,GAAuC,UAAC,EAAc;QAAZ,UAAU,gBAAA;IAAO,OAAA,CAAC;QACrE,MAAM,EAAE,UAAC,IAAI,IAAK,OAAA,CAAC;YACf,MAAM,EAAE;gBACJ,UAAC,OAAO,IAAK,OAAA,UAAC,IAAI;;oBACd,OAAA,iCAAe,CAAC,SAAS,CAAC;wBACtB,GAAG,EAAE,UAAU;wBACf,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE;wBAClD,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE;wBACtC,OAAO,EAAE,UAAU,CAAC,aAAa,EAAE;wBACnC,OAAO,EAAE,MAAA,IAAI,CAAC,MAAM,mCAAI,EAAE;qBAC7B,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAA;iBAAA,EARR,CAQQ;aACxB;SACJ,CAAC,EAZgB,CAYhB;KACL,CAAC;AAdsE,CActE,CAAC;AAEH,IAAM,KAAK,GAAG,UACV,OAAmB,EACnB,OAA2B;IAE3B,IAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,iCAAe,CAAC,SAAS,CAAC;QAC7B,GAAG,KAAA;QACH,OAAO,SAAA;QACP,eAAe,EAAE,OAAO,CAAC,kBAAkB,EAAE;QAC7C,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;QACjC,OAAO,EAAE,GAAG,CAAC,aAAa,EAAE;QAC5B,OAAO,EAAE,OAAO,IAAI,EAAE;KACzB,CAAC,CAAC;AACP,CAAC,CAAC;AAEF,IAAM,SAAS,GAAG,UAAC,CAAM,EAAE,CAAO;IAC9B,OAAA,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;AAAvC,CAAuC,CAAC;AAC5C,iBAAS,SAA0C,CAAC"}
+{"version":3,"file":"transform.js","sourceRoot":"","sources":["../src/transform.ts"],"names":[],"mappings":";AAEA,kEAAiE;AAGjE,IAAM,OAAO,GAAuC,UAAC,EAAc;QAAZ,UAAU,gBAAA;IAAO,OAAA,CAAC;QACrE,MAAM,EAAE,UAAC,IAAI,IAAK,OAAA,CAAC;YACf,MAAM,EAAE;gBACJ,UAAC,OAAO,IAAK,OAAA,UAAC,IAAI;;oBACd,OAAA,iCAAe,CAAC,SAAS,CAAC;wBACtB,GAAG,EAAE,UAAU;wBACf,OAAO,EAAE,IAAI,CAAC,OAAO;wBACrB,eAAe,EAAE,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE;wBAClD,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE;wBACtC,OAAO,EAAE,UAAU,CAAC,aAAa,EAAE;wBACnC,OAAO,EAAE,MAAA,IAAI,CAAC,MAAM,mCAAI,EAAE;qBAC7B,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAA;iBAAA,EARR,CAQQ;aACxB;SACJ,CAAC,EAZgB,CAYhB;KACL,CAAC;AAdsE,CActE,CAAC;AAEH,IAAM,KAAK,GAAG,UACV,OAAmB,EACnB,OAA2B;IAE3B,IAAM,GAAG,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAClC,OAAO,iCAAe,CAAC,SAAS,CAAC;QAC7B,GAAG,KAAA;QACH,OAAO,SAAA;QACP,eAAe,EAAE,OAAO,CAAC,kBAAkB,EAAE;QAC7C,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE;QACjC,OAAO,EAAE,GAAG,CAAC,aAAa,EAAE;QAC5B,OAAO,EAAE,OAAO,IAAI,EAAE;KACzB,CAAC,CAAC;AACP,CAAC,CAAC;AAEF,IAAM,SAAS,GAAG,UAAC,CAAM,EAAE,CAAO;IAC9B,OAAA,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;AAAvC,CAAuC,CAAC;AAC5C,iBAAS,SAA0C,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "4.0.0-dev.20230520",
+  "version": "4.0.0-dev.20230527",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",

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,123 +1,123 @@
-/**
- * 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, PrimitiveMain<T>> extends true
-    ? T
-    : PrimitiveMain<T>;
-
-type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
-
-type PrimitiveMain<Instance> = ValueOf<Instance> extends object
-    ? Instance extends object
-        ? Instance extends NativeClass
-            ? {}
-            : 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>
-    ? IsTuple<Instance> extends true
-        ? PrimitiveTuple<Instance>
-        : PrimitiveMain<T>[]
-    : {
-          [P in keyof Instance]: Instance[P] extends Function
-              ? never
-              : PrimitiveMain<Instance[P]>;
-      };
-
-type PrimitiveTuple<T extends readonly any[]> = T extends [infer F]
-    ? [PrimitiveMain<F>]
-    : T extends [infer F, ...infer Rest extends readonly any[]]
-    ? [PrimitiveMain<F>, ...PrimitiveTuple<Rest>]
-    : T extends [(infer F)?]
-    ? [PrimitiveMain<F>?]
-    : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-    ? [PrimitiveMain<F>?, ...PrimitiveTuple<Rest>]
-    : [];
-
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-    ? boolean
-    : IsValueOf<Instance, Number> extends true
-    ? number
-    : IsValueOf<Instance, String> extends true
-    ? string
-    : Instance;
-
-type NativeClass =
-    | 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 IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
-    never,
-]
-    ? false
-    : T extends readonly any[]
-    ? number extends T["length"]
-        ? false
-        : true
-    : false;
-
-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, PrimitiveMain<T>> extends true
+    ? T
+    : PrimitiveMain<T>;
+
+type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
+
+type PrimitiveMain<Instance> = ValueOf<Instance> extends object
+    ? Instance extends object
+        ? Instance extends NativeClass
+            ? {}
+            : 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>
+    ? IsTuple<Instance> extends true
+        ? PrimitiveTuple<Instance>
+        : PrimitiveMain<T>[]
+    : {
+          [P in keyof Instance]: Instance[P] extends Function
+              ? never
+              : PrimitiveMain<Instance[P]>;
+      };
+
+type PrimitiveTuple<T extends readonly any[]> = T extends [infer F]
+    ? [PrimitiveMain<F>]
+    : T extends [infer F, ...infer Rest extends readonly any[]]
+    ? [PrimitiveMain<F>, ...PrimitiveTuple<Rest>]
+    : T extends [(infer F)?]
+    ? [PrimitiveMain<F>?]
+    : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+    ? [PrimitiveMain<F>?, ...PrimitiveTuple<Rest>]
+    : [];
+
+type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
+    ? boolean
+    : IsValueOf<Instance, Number> extends true
+    ? number
+    : IsValueOf<Instance, String> extends true
+    ? string
+    : Instance;
+
+type NativeClass =
+    | 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 IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
+    never,
+]
+    ? false
+    : T extends readonly any[]
+    ? number extends T["length"]
+        ? false
+        : true
+    : false;
+
+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;
+}