typia 6.0.0-dev.20240122 → 6.0.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "6.0.0-dev.20240122",
+  "version": "6.0.0",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",
@@ -14,8 +14,9 @@
   },
   "scripts": {
     "test": "npm run package:tgz",
+    "test:template": "npm run test template",
     "-------------------------------------------------": "",
-    "build": "rimraf lib && tsc --removeComments --declaration false && tsc --emitDeclarationOnly",
+    "build": "rimraf lib && tsc --declaration false && tsc --emitDeclarationOnly",
     "dev": "rimraf lib && tsc --watch",
     "eslint": "eslint ./**/*.ts",
     "eslint:fix": "eslint ./**/*.ts --fix",
@@ -64,25 +65,28 @@
   },
   "homepage": "https://typia.io",
   "dependencies": {
+    "@samchon/openapi": "^0.1.2",
     "commander": "^10.0.0",
     "comment-json": "^4.2.3",
     "inquirer": "^8.2.5",
     "randexp": "^0.5.3"
   },
   "peerDependencies": {
-    "typescript": ">=4.8.0 <5.4.0"
+    "typescript": ">=4.8.0 <5.5.0"
   },
   "devDependencies": {
-    "@trivago/prettier-plugin-sort-imports": "^3.3.0",
+    "@trivago/prettier-plugin-sort-imports": "^4.3.0",
     "@types/inquirer": "^8.2.5",
     "@types/node": "^18.15.12",
-    "@types/ts-expose-internals": "npm:ts-expose-internals@5.3.2",
-    "@typescript-eslint/eslint-plugin": "^5.59.11",
-    "@typescript-eslint/parser": "^5.59.11",
-    "prettier": "^2.6.2",
+    "@types/ts-expose-internals": "npm:ts-expose-internals@5.4.2",
+    "@typescript-eslint/eslint-plugin": "^7.1.1",
+    "@typescript-eslint/parser": "^7.1.1",
+    "chalk": "^4.0.0",
+    "prettier": "^3.2.5",
     "rimraf": "^5.0.5",
-    "ts-node": "^10.9.1",
-    "typescript": "^5.3.3"
+    "suppress-warnings": "^1.0.2",
+    "ts-node": "^10.9.2",
+    "typescript": "^5.4.4"
   },
   "stackblitzs": {
     "startCommand": "npm install && npm run test"

package/src/CamelCase.ts

@@ -8,9 +8,8 @@
  * @template T Target type to be camelized
  * @author Jeongho Nam - https://github.com/samchon
  */
-export type CamelCase<T> = Equal<T, CamelizeMain<T>> extends true
-  ? T
-  : CamelizeMain<T>;
+export type CamelCase<T> =
+  Equal<T, CamelizeMain<T>> extends true ? T : CamelizeMain<T>;
 
 /* -----------------------------------------------------------
     OBJECT CONVERSION
@@ -20,43 +19,48 @@ type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
 type CamelizeMain<T> = T extends [never]
   ? never // special trick for (jsonable | null) type
   : T extends { valueOf(): boolean | bigint | number | string }
-  ? ValueOf<T>
-  : T extends Function
-  ? never
-  : T extends object
-  ? CamelizeObject<T>
-  : T;
+    ? ValueOf<T>
+    : T extends Function
+      ? never
+      : T extends object
+        ? CamelizeObject<T>
+        : T;
 
-type CamelizeObject<T extends object> = T extends Array<infer U>
-  ? IsTuple<T> extends true
-    ? CamelizeTuple<T>
-    : CamelizeMain<U>[]
-  : T extends Set<infer U>
-  ? Set<CamelizeMain<U>>
-  : T extends Map<infer K, infer V>
-  ? Map<CamelizeMain<K>, CamelizeMain<V>>
-  : T extends WeakSet<any> | WeakMap<any, any>
-  ? never
-  : T extends
-      | Date
-      | Uint8Array
-      | Uint8ClampedArray
-      | Uint16Array
-      | Uint32Array
-      | BigUint64Array
-      | Int8Array
-      | Int16Array
-      | Int32Array
-      | BigInt64Array
-      | Float32Array
-      | Float64Array
-      | ArrayBuffer
-      | SharedArrayBuffer
-      | DataView
-  ? T
-  : {
-      [Key in keyof T as CamelizeString<Key & string>]: CamelizeMain<T[Key]>;
-    };
+type CamelizeObject<T extends object> =
+  T extends Array<infer U>
+    ? IsTuple<T> extends true
+      ? CamelizeTuple<T>
+      : CamelizeMain<U>[]
+    : T extends Set<infer U>
+      ? Set<CamelizeMain<U>>
+      : T extends Map<infer K, infer V>
+        ? Map<CamelizeMain<K>, CamelizeMain<V>>
+        : T extends WeakSet<any> | WeakMap<any, any>
+          ? never
+          : T extends
+                | Date
+                | Uint8Array
+                | Uint8ClampedArray
+                | Uint16Array
+                | Uint32Array
+                | BigUint64Array
+                | Int8Array
+                | Int16Array
+                | Int32Array
+                | BigInt64Array
+                | Float32Array
+                | Float64Array
+                | ArrayBuffer
+                | SharedArrayBuffer
+                | DataView
+                | Blob
+                | File
+            ? T
+            : {
+                [Key in keyof T as CamelizeString<Key & string>]: CamelizeMain<
+                  T[Key]
+                >;
+              };
 
 /* -----------------------------------------------------------
     SPECIAL CASES
@@ -66,29 +70,30 @@ type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
 ]
   ? false
   : T extends readonly any[]
-  ? number extends T["length"]
-    ? false
-    : true
-  : false;
+    ? number extends T["length"]
+      ? false
+      : true
+    : false;
 type CamelizeTuple<T extends readonly any[]> = T extends []
   ? []
   : T extends [infer F]
-  ? [CamelizeMain<F>]
-  : T extends [infer F, ...infer Rest extends readonly any[]]
-  ? [CamelizeMain<F>, ...CamelizeTuple<Rest>]
-  : T extends [(infer F)?]
-  ? [CamelizeMain<F>?]
-  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-  ? [CamelizeMain<F>?, ...CamelizeTuple<Rest>]
-  : [];
+    ? [CamelizeMain<F>]
+    : T extends [infer F, ...infer Rest extends readonly any[]]
+      ? [CamelizeMain<F>, ...CamelizeTuple<Rest>]
+      : T extends [(infer F)?]
+        ? [CamelizeMain<F>?]
+        : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+          ? [CamelizeMain<F>?, ...CamelizeTuple<Rest>]
+          : [];
 
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-  ? boolean
-  : IsValueOf<Instance, Number> extends true
-  ? number
-  : IsValueOf<Instance, String> extends true
-  ? string
-  : Instance;
+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>
@@ -105,9 +110,11 @@ interface IValueOf<T> {
 /* -----------------------------------------------------------
     STRING CONVERTER
 ----------------------------------------------------------- */
-type CamelizeString<Key extends string> = Key extends `${infer F}${infer R}`
-  ? `${Lowercase<F>}${CamelizeStringRepeatedly<R>}`
-  : Key;
+type CamelizeString<Key extends string> = Key extends `_${infer R}`
+  ? `_${CamelizeString<R>}`
+  : Key extends `${infer F}${infer R}`
+    ? `${Lowercase<F>}${CamelizeStringRepeatedly<R>}`
+    : Key;
 type CamelizeStringRepeatedly<Key extends string> =
   Key extends `${infer F}_${infer R}`
     ? `${F}${Capitalize<CamelizeStringRepeatedly<R>>}`

package/src/IRandomGenerator.ts

@@ -1,24 +1,49 @@
 import { Customizable } from "./typings/Customizable";
 
 export interface IRandomGenerator {
+  // REGULAR
   boolean(): boolean;
   integer(minimum?: number, maximum?: number): number;
-  number(minimum?: number, maximum?: number): number;
   bigint(minimum?: bigint, maximum?: bigint): bigint;
+  number(minimum?: number, maximum?: number): number;
   string(length?: number): string;
+
   array<T>(closure: (index: number) => T, count?: number): T[];
   length(): number;
+  pattern(regex: RegExp): string;
 
+  //----
+  // FORMAT
+  //----
+  // SPECIAL CHARACTERS
+  byte(): string;
+  password(): string;
+  regex(): string;
   uuid(): string;
+
+  // ADDRESSES
   email(): string;
-  url(): string;
+  hostname(): string;
+  idnEmail(): string;
+  idnHostname(): string;
+  iri(): string;
+  iriReference(): string;
   ipv4(): string;
   ipv6(): string;
-  pattern(regex: RegExp): string;
-  date(minimum?: number, maximum?: number): string;
+  uri(): string;
+  uriReference(): string;
+  uriTemplate(): string;
+  url(): string;
+
+  // TIMESTAMPS
   datetime(minimum?: number, maximum?: number): string;
+  date(minimum?: number, maximum?: number): string;
+  time(): string;
+  duration(): string;
 
-  pick<T>(array: T[]): T;
+  // POINTERS
+  jsonPointer(): string;
+  relativeJsonPointer(): string;
 
   customs?: IRandomGenerator.CustomMap;
 }

package/src/PascalCase.ts

@@ -8,9 +8,8 @@
  * @template T Target type to be pascalized
  * @author Jeongho Nam - https://github.com/samchon
  */
-export type PascalCase<T> = Equal<T, PascalizeMain<T>> extends true
-  ? T
-  : PascalizeMain<T>;
+export type PascalCase<T> =
+  Equal<T, PascalizeMain<T>> extends true ? T : PascalizeMain<T>;
 
 /* -----------------------------------------------------------
     OBJECT CONVERSION
@@ -20,43 +19,48 @@ type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
 type PascalizeMain<T> = T extends [never]
   ? never // special trick for (jsonable | null) type
   : T extends { valueOf(): boolean | bigint | number | string }
-  ? ValueOf<T>
-  : T extends Function
-  ? never
-  : T extends object
-  ? PascalizeObject<T>
-  : T;
+    ? ValueOf<T>
+    : T extends Function
+      ? never
+      : T extends object
+        ? PascalizeObject<T>
+        : T;
 
-type PascalizeObject<T extends object> = T extends Array<infer U>
-  ? IsTuple<T> extends true
-    ? PascalizeTuple<T>
-    : PascalizeMain<U>[]
-  : T extends Set<infer U>
-  ? Set<PascalizeMain<U>>
-  : T extends Map<infer K, infer V>
-  ? Map<PascalizeMain<K>, PascalizeMain<V>>
-  : T extends WeakSet<any> | WeakMap<any, any>
-  ? never
-  : T extends
-      | Date
-      | Uint8Array
-      | Uint8ClampedArray
-      | Uint16Array
-      | Uint32Array
-      | BigUint64Array
-      | Int8Array
-      | Int16Array
-      | Int32Array
-      | BigInt64Array
-      | Float32Array
-      | Float64Array
-      | ArrayBuffer
-      | SharedArrayBuffer
-      | DataView
-  ? T
-  : {
-      [Key in keyof T as PascalizeString<Key & string>]: PascalizeMain<T[Key]>;
-    };
+type PascalizeObject<T extends object> =
+  T extends Array<infer U>
+    ? IsTuple<T> extends true
+      ? PascalizeTuple<T>
+      : PascalizeMain<U>[]
+    : T extends Set<infer U>
+      ? Set<PascalizeMain<U>>
+      : T extends Map<infer K, infer V>
+        ? Map<PascalizeMain<K>, PascalizeMain<V>>
+        : T extends WeakSet<any> | WeakMap<any, any>
+          ? never
+          : T extends
+                | Date
+                | Uint8Array
+                | Uint8ClampedArray
+                | Uint16Array
+                | Uint32Array
+                | BigUint64Array
+                | Int8Array
+                | Int16Array
+                | Int32Array
+                | BigInt64Array
+                | Float32Array
+                | Float64Array
+                | ArrayBuffer
+                | SharedArrayBuffer
+                | DataView
+                | Blob
+                | File
+            ? T
+            : {
+                [Key in keyof T as PascalizeString<
+                  Key & string
+                >]: PascalizeMain<T[Key]>;
+              };
 
 /* -----------------------------------------------------------
     SPECIAL CASES
@@ -66,29 +70,30 @@ type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
 ]
   ? false
   : T extends readonly any[]
-  ? number extends T["length"]
-    ? false
-    : true
-  : false;
+    ? number extends T["length"]
+      ? false
+      : true
+    : false;
 type PascalizeTuple<T extends readonly any[]> = T extends []
   ? []
   : T extends [infer F]
-  ? [PascalizeMain<F>]
-  : T extends [infer F, ...infer Rest extends readonly any[]]
-  ? [PascalizeMain<F>, ...PascalizeTuple<Rest>]
-  : T extends [(infer F)?]
-  ? [PascalizeMain<F>?]
-  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-  ? [PascalizeMain<F>?, ...PascalizeTuple<Rest>]
-  : [];
+    ? [PascalizeMain<F>]
+    : T extends [infer F, ...infer Rest extends readonly any[]]
+      ? [PascalizeMain<F>, ...PascalizeTuple<Rest>]
+      : T extends [(infer F)?]
+        ? [PascalizeMain<F>?]
+        : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+          ? [PascalizeMain<F>?, ...PascalizeTuple<Rest>]
+          : [];
 
-type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
-  ? boolean
-  : IsValueOf<Instance, Number> extends true
-  ? number
-  : IsValueOf<Instance, String> extends true
-  ? string
-  : Instance;
+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>
@@ -105,9 +110,11 @@ interface IValueOf<T> {
 /* -----------------------------------------------------------
     STRING CONVERTER
 ----------------------------------------------------------- */
-type PascalizeString<Key extends string> = Key extends `${infer F}${infer R}`
-  ? `${Uppercase<F>}${PascalizeStringRepeatedly<R>}`
-  : Key;
+type PascalizeString<Key extends string> = Key extends `_${infer R}`
+  ? `_${PascalizeString<R>}`
+  : Key extends `${infer F}${infer R}`
+    ? `${Uppercase<F>}${PascalizeStringRepeatedly<R>}`
+    : Key;
 type PascalizeStringRepeatedly<Key extends string> =
   Key extends `${infer F}_${infer R}`
     ? `${F}${Capitalize<PascalizeStringRepeatedly<R>>}`

package/src/Primitive.ts

@@ -32,61 +32,62 @@
  * @author Kyungsu Kang - https://github.com/kakasoo
  * @author Michael - https://github.com/8471919
  */
-export type Primitive<T> = Equal<T, PrimitiveMain<T>> extends true
-  ? T
-  : PrimitiveMain<T>;
+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> = Instance extends [never]
   ? never // (special trick for jsonable | null) type
   : ValueOf<Instance> extends bigint
-  ? never
-  : ValueOf<Instance> extends boolean | number | string
-  ? ValueOf<Instance>
-  : Instance extends Function
-  ? never
-  : ValueOf<Instance> extends object
-  ? Instance extends object
-    ? Instance extends NativeClass
-      ? never
-      : 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>;
+    ? never
+    : ValueOf<Instance> extends boolean | number | string
+      ? ValueOf<Instance>
+      : Instance extends Function
+        ? never
+        : ValueOf<Instance> extends object
+          ? Instance extends object
+            ? Instance extends NativeClass
+              ? never
+              : 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]: PrimitiveMain<Instance[P]>;
-    };
+type PrimitiveObject<Instance extends object> =
+  Instance extends Array<infer T>
+    ? IsTuple<Instance> extends true
+      ? PrimitiveTuple<Instance>
+      : PrimitiveMain<T>[]
+    : {
+        [P in keyof Instance]: PrimitiveMain<Instance[P]>;
+      };
 
 type PrimitiveTuple<T extends readonly any[]> = T extends []
   ? []
   : 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>]
-  : [];
+    ? [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 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>
@@ -113,10 +114,10 @@ type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
 ]
   ? false
   : T extends readonly any[]
-  ? number extends T["length"]
-    ? false
-    : true
-  : false;
+    ? number extends T["length"]
+      ? false
+      : true
+    : false;
 
 type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
   ? Object extends IValueOf<infer U>