typia 6.0.0-dev.20240122 → 6.0.0

package/src/Resolved.ts

@@ -26,82 +26,85 @@
  * @author Jeongho Nam - https://github.com/samchon
  * @author Kyungsu Kang - https://github.com/kakasoo
  */
-export type Resolved<T> = Equal<T, ResolvedMain<T>> extends true
-  ? T
-  : ResolvedMain<T>;
+export type Resolved<T> =
+  Equal<T, ResolvedMain<T>> extends true ? T : ResolvedMain<T>;
 
 type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
 
 type ResolvedMain<T> = T extends [never]
   ? never // (special trick for jsonable | null) type
   : ValueOf<T> extends boolean | number | bigint | string
-  ? ValueOf<T>
-  : T extends Function
-  ? never
-  : T extends object
-  ? ResolvedObject<T>
-  : ValueOf<T>;
+    ? ValueOf<T>
+    : T extends Function
+      ? never
+      : T extends object
+        ? ResolvedObject<T>
+        : ValueOf<T>;
 
-type ResolvedObject<T extends object> = T extends Array<infer U>
-  ? IsTuple<T> extends true
-    ? ResolvedTuple<T>
-    : ResolvedMain<U>[]
-  : T extends Set<infer U>
-  ? Set<ResolvedMain<U>>
-  : T extends Map<infer K, infer V>
-  ? Map<ResolvedMain<K>, ResolvedMain<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
-  : {
-      [P in keyof T]: ResolvedMain<T[P]>;
-    };
+type ResolvedObject<T extends object> =
+  T extends Array<infer U>
+    ? IsTuple<T> extends true
+      ? ResolvedTuple<T>
+      : ResolvedMain<U>[]
+    : T extends Set<infer U>
+      ? Set<ResolvedMain<U>>
+      : T extends Map<infer K, infer V>
+        ? Map<ResolvedMain<K>, ResolvedMain<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
+            : {
+                [P in keyof T]: ResolvedMain<T[P]>;
+              };
 
 type ResolvedTuple<T extends readonly any[]> = T extends []
   ? []
   : T extends [infer F]
-  ? [ResolvedMain<F>]
-  : T extends [infer F, ...infer Rest extends readonly any[]]
-  ? [ResolvedMain<F>, ...ResolvedTuple<Rest>]
-  : T extends [(infer F)?]
-  ? [ResolvedMain<F>?]
-  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-  ? [ResolvedMain<F>?, ...ResolvedTuple<Rest>]
-  : [];
+    ? [ResolvedMain<F>]
+    : T extends [infer F, ...infer Rest extends readonly any[]]
+      ? [ResolvedMain<F>, ...ResolvedTuple<Rest>]
+      : T extends [(infer F)?]
+        ? [ResolvedMain<F>?]
+        : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+          ? [ResolvedMain<F>?, ...ResolvedTuple<Rest>]
+          : [];
 
 type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
   never,
 ]
   ? false
   : T extends readonly any[]
-  ? number extends T["length"]
-    ? false
-    : true
-  : false;
+    ? number extends T["length"]
+      ? false
+      : true
+    : false;
 
-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>

package/src/SnakeCase.ts

@@ -8,9 +8,8 @@
  * @template T Target type to be snake cased
  * @author Jeongho Nam - https://github.com/samchon
  */
-export type SnakeCase<T> = Equal<T, SnakageMain<T>> extends true
-  ? T
-  : SnakageMain<T>;
+export type SnakeCase<T> =
+  Equal<T, SnakageMain<T>> extends true ? T : SnakageMain<T>;
 
 /* -----------------------------------------------------------
     OBJECT CONVERSION
@@ -20,43 +19,48 @@ type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
 type SnakageMain<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
-  ? SnakageObject<T>
-  : T;
+    ? ValueOf<T>
+    : T extends Function
+      ? never
+      : T extends object
+        ? SnakageObject<T>
+        : T;
 
-type SnakageObject<T extends object> = T extends Array<infer U>
-  ? IsTuple<T> extends true
-    ? SnakageTuple<T>
-    : SnakageMain<U>[]
-  : T extends Set<infer U>
-  ? Set<SnakageMain<U>>
-  : T extends Map<infer K, infer V>
-  ? Map<SnakageMain<K>, SnakageMain<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 SnakageString<Key & string>]: SnakageMain<T[Key]>;
-    };
+type SnakageObject<T extends object> =
+  T extends Array<infer U>
+    ? IsTuple<T> extends true
+      ? SnakageTuple<T>
+      : SnakageMain<U>[]
+    : T extends Set<infer U>
+      ? Set<SnakageMain<U>>
+      : T extends Map<infer K, infer V>
+        ? Map<SnakageMain<K>, SnakageMain<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 SnakageString<Key & string>]: SnakageMain<
+                  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 SnakageTuple<T extends readonly any[]> = T extends []
   ? []
   : T extends [infer F]
-  ? [SnakageMain<F>]
-  : T extends [infer F, ...infer Rest extends readonly any[]]
-  ? [SnakageMain<F>, ...SnakageTuple<Rest>]
-  : T extends [(infer F)?]
-  ? [SnakageMain<F>?]
-  : T extends [(infer F)?, ...infer Rest extends readonly any[]]
-  ? [SnakageMain<F>?, ...SnakageTuple<Rest>]
-  : [];
+    ? [SnakageMain<F>]
+    : T extends [infer F, ...infer Rest extends readonly any[]]
+      ? [SnakageMain<F>, ...SnakageTuple<Rest>]
+      : T extends [(infer F)?]
+        ? [SnakageMain<F>?]
+        : T extends [(infer F)?, ...infer Rest extends readonly any[]]
+          ? [SnakageMain<F>?, ...SnakageTuple<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>
@@ -117,16 +122,16 @@ type SnakageStringRepeatedly<
       Second
     >}${Lowercase<Second>}${SnakageStringRepeatedly<Rest, Second>}`
   : S extends `${infer First}`
-  ? `${Underscore<Previous, First>}${Lowercase<First>}`
-  : "";
+    ? `${Underscore<Previous, First>}${Lowercase<First>}`
+    : "";
 type Underscore<First extends string, Second extends string> = First extends
   | UpperAlphabetic
   | ""
   | "_"
   ? ""
   : Second extends UpperAlphabetic
-  ? "_"
-  : "";
+    ? "_"
+    : "";
 type UpperAlphabetic =
   | "A"
   | "B"

package/src/executable/TypiaSetupWizard.ts

@@ -23,7 +23,7 @@ export namespace TypiaSetupWizard {
     // INSTALL TYPESCRIPT COMPILERS
     pack.install({ dev: true, modulo: "ts-patch", version: "latest" });
     pack.install({ dev: true, modulo: "ts-node", version: "latest" });
-    pack.install({ dev: true, modulo: "typescript", version: "5.3.2" });
+    pack.install({ dev: true, modulo: "typescript", version: "5.4.2" });
     args.project ??= (() => {
       const runner: string = pack.manager === "npm" ? "npx" : pack.manager;
       CommandExecutor.run(`${runner} tsc --init`);
@@ -117,10 +117,10 @@ export namespace TypiaSetupWizard {
           x === "tsconfig.json"
             ? -1
             : y === "tsconfig.json"
-            ? 1
-            : x < y
-            ? -1
-            : 1,
+              ? 1
+              : x < y
+                ? -1
+                : 1,
         );
       if (fileList.length === 0) {
         if (process.cwd() !== pack.directory)

package/src/factories/IdentifierFactory.ts

@@ -41,7 +41,7 @@ export namespace IdentifierFactory {
     name: string | ts.BindingName,
     type?: ts.TypeNode,
     init?: ts.Expression | ts.PunctuationToken<ts.SyntaxKind.QuestionToken>,
-  ) => {
+  ): ts.ParameterDeclaration => {
     // instead of ts.version >= "4.8"
     if (ts.getDecorators !== undefined)
       return ts.factory.createParameterDeclaration(