typia 5.2.2 → 5.2.3-dev.20231019

package/lib/Primitive.d.ts

@@ -24,7 +24,7 @@
  * `String`                | `string`
  * `Class`                 | `object`
  * `Class` with `toJSON()` | `Primitive<ReturnType<Class.toJSON>>`
- * Native Class            | `{}`
+ * Native Class            | never
  * Others                  | No change
  *
  * @template T Target argument type.

package/lib/executable/setup/CommandExecutor.js

@@ -8,8 +8,8 @@ var child_process_1 = __importDefault(require("child_process"));
 var CommandExecutor;
 (function (CommandExecutor) {
     CommandExecutor.run = function (str) {
-        console.log(str);
-        child_process_1.default.execSync(str, { stdio: "ignore" });
+        console.log("\n$ ".concat(str, "\n"));
+        child_process_1.default.execSync(str, { stdio: "inherit" });
     };
 })(CommandExecutor || (exports.CommandExecutor = CommandExecutor = {}));
 //# sourceMappingURL=CommandExecutor.js.map

package/lib/executable/setup/CommandExecutor.js.map

@@ -1 +1 @@
-{"version":3,"file":"CommandExecutor.js","sourceRoot":"","sources":["../../../src/executable/setup/CommandExecutor.ts"],"names":[],"mappings":";;;;;;AAAA,gEAA+B;AAE/B,IAAiB,eAAe,CAK/B;AALD,WAAiB,eAAe;IACf,mBAAG,GAAG,UAAC,GAAW;QAC3B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,uBAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC;AACN,CAAC,EALgB,eAAe,+BAAf,eAAe,QAK/B"}
+{"version":3,"file":"CommandExecutor.js","sourceRoot":"","sources":["../../../src/executable/setup/CommandExecutor.ts"],"names":[],"mappings":";;;;;;AAAA,gEAA+B;AAE/B,IAAiB,eAAe,CAK/B;AALD,WAAiB,eAAe;IACf,mBAAG,GAAG,UAAC,GAAW;QAC3B,OAAO,CAAC,GAAG,CAAC,cAAO,GAAG,OAAI,CAAC,CAAC;QAC5B,uBAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC;AACN,CAAC,EALgB,eAAe,+BAAf,eAAe,QAK/B"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "5.2.2",
+  "version": "5.2.3-dev.20231019",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",
@@ -91,7 +91,6 @@
     "@types/autocannon": "^7.9.0",
     "@types/benchmark": "^2.1.2",
     "@types/cli": "^0.11.20",
-    "@types/commander": "^2.12.2",
     "@types/d3": "^7.4.0",
     "@types/express": "^4.17.14",
     "@types/inquirer": "^8.2.5",

package/src/CamelCase.ts

@@ -1,116 +1,116 @@
-/**
- * Camel case type.
- *
- * `CamelCase` type is a type that all keys of an object are camelized.
- *
- * It also erase every method properties like {@link Resolved} type.
- *
- * @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>;
-
-/* -----------------------------------------------------------
-    OBJECT CONVERSION
------------------------------------------------------------ */
-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;
-
-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]
-          >;
-      };
-
-/* -----------------------------------------------------------
-    SPECIAL CASES
------------------------------------------------------------ */
-type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
-    never,
-]
-    ? false
-    : T extends readonly any[]
-    ? 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>]
-    : [];
-
-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;
-}
-
-/* -----------------------------------------------------------
-    STRING CONVERTER
------------------------------------------------------------ */
-type CamelizeString<Key extends string> = 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>>}`
-        : Key;
+/**
+ * Camel case type.
+ *
+ * `CamelCase` type is a type that all keys of an object are camelized.
+ *
+ * It also erase every method properties like {@link Resolved} type.
+ *
+ * @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>;
+
+/* -----------------------------------------------------------
+    OBJECT CONVERSION
+----------------------------------------------------------- */
+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;
+
+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]
+          >;
+      };
+
+/* -----------------------------------------------------------
+    SPECIAL CASES
+----------------------------------------------------------- */
+type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
+    never,
+]
+    ? false
+    : T extends readonly any[]
+    ? 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>]
+    : [];
+
+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;
+}
+
+/* -----------------------------------------------------------
+    STRING CONVERTER
+----------------------------------------------------------- */
+type CamelizeString<Key extends string> = 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>>}`
+        : Key;

package/src/PascalCase.ts

@@ -1,116 +1,116 @@
-/**
- * Pascal case type.
- *
- * `PascalCase` type is a type that all keys of an object are pascalized.
- *
- * It also erase every method properties like {@link Resolved} type.
- *
- * @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>;
-
-/* -----------------------------------------------------------
-    OBJECT CONVERSION
------------------------------------------------------------ */
-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;
-
-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]
-          >;
-      };
-
-/* -----------------------------------------------------------
-    SPECIAL CASES
------------------------------------------------------------ */
-type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
-    never,
-]
-    ? false
-    : T extends readonly any[]
-    ? 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>]
-    : [];
-
-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;
-}
-
-/* -----------------------------------------------------------
-    STRING CONVERTER
------------------------------------------------------------ */
-type PascalizeString<Key extends string> = 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>>}`
-        : Key;
+/**
+ * Pascal case type.
+ *
+ * `PascalCase` type is a type that all keys of an object are pascalized.
+ *
+ * It also erase every method properties like {@link Resolved} type.
+ *
+ * @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>;
+
+/* -----------------------------------------------------------
+    OBJECT CONVERSION
+----------------------------------------------------------- */
+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;
+
+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]
+          >;
+      };
+
+/* -----------------------------------------------------------
+    SPECIAL CASES
+----------------------------------------------------------- */
+type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
+    never,
+]
+    ? false
+    : T extends readonly any[]
+    ? 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>]
+    : [];
+
+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;
+}
+
+/* -----------------------------------------------------------
+    STRING CONVERTER
+----------------------------------------------------------- */
+type PascalizeString<Key extends string> = 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>>}`
+        : Key;