typia 6.5.1 → 6.5.3-dev.20240720

package/src/Primitive.ts

@@ -1,3 +1,10 @@
+import { Equal } from "./typings/Equal";
+import { IsTuple } from "./typings/IsTuple";
+import { NativeClass } from "./typings/NativeClass";
+import { ValueOf } from "./typings/ValueOf";
+
+import { Format } from "./tags";
+
 /**
  * Primitive type of JSON.
  *
@@ -35,8 +42,6 @@
 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
@@ -47,15 +52,17 @@ type PrimitiveMain<Instance> = Instance extends [never]
         ? never
         : ValueOf<Instance> extends object
           ? Instance extends object
-            ? Instance extends NativeClass
-              ? never
+            ? Instance extends Date
+              ? string & Format<"date-time">
               : 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
+                : Instance extends Exclude<NativeClass, Date>
+                  ? never
+                  : PrimitiveObject<Instance> // object would be primitified
             : never // cannot be
           : ValueOf<Instance>;
 
@@ -80,57 +87,6 @@ type PrimitiveTuple<T extends readonly any[]> = T extends []
           ? [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 U>
-    ? Instance extends U
-      ? false
-      : true // not Primitive, but Object
-    : false // cannot be
-  : false;
-
-interface IValueOf<T> {
-  valueOf(): T;
-}
-
 interface IJsonable<T> {
   toJSON(): T;
 }

package/src/Resolved.ts

@@ -1,3 +1,8 @@
+import { Equal } from "./typings/Equal";
+import { IsTuple } from "./typings/IsTuple";
+import { NativeClass } from "./typings/NativeClass";
+import { ValueOf } from "./typings/ValueOf";
+
 /**
  * Resolved type erased every methods.
  *
@@ -29,8 +34,6 @@
 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
@@ -52,24 +55,7 @@ type ResolvedObject<T extends object> =
         ? 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 extends NativeClass
             ? T
             : {
                 [P in keyof T]: ResolvedMain<T[P]>;
@@ -86,34 +72,3 @@ type ResolvedTuple<T extends readonly any[]> = T extends []
         : 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;
-
-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;
-}

package/src/SnakeCase.ts

@@ -1,3 +1,7 @@
+import { Equal } from "./typings/Equal";
+import { NativeClass } from "./typings/NativeClass";
+import { ValueOf } from "./typings/ValueOf";
+
 /**
  * Snake case type.
  *
@@ -14,7 +18,6 @@ export type SnakeCase<T> =
 /* -----------------------------------------------------------
     OBJECT CONVERSION
 ----------------------------------------------------------- */
-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
@@ -37,24 +40,7 @@ type SnakageObject<T extends object> =
         ? 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 extends NativeClass
             ? T
             : {
                 [Key in keyof T as SnakageString<Key & string>]: SnakageMain<
@@ -86,27 +72,6 @@ type SnakageTuple<T extends readonly any[]> = T extends []
           ? [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 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
 ----------------------------------------------------------- */

package/src/factories/internal/metadata/iterate_metadata_native.ts

@@ -182,6 +182,17 @@ const SIMPLES: Map<string, IClassInfo> = new Map([
       })),
     },
   ],
+  [
+    "RegExp",
+    {
+      methods: [
+        {
+          name: "test",
+          return: "boolean",
+        },
+      ],
+    },
+  ],
 ]);
 const GENERICS: Array<IClassInfo & { name: string }> = [
   "WeakMap",

package/src/functional/$clone.ts

@@ -25,10 +25,10 @@ const $cloneMain = (value: any): any => {
     else if (value instanceof SharedArrayBuffer) return value.slice(0);
     else if (value instanceof DataView)
       return new DataView(value.buffer.slice(0));
-    else if (value instanceof Blob)
-      return new Blob([value], { type: value.type });
-    else if (value instanceof File)
+    else if (typeof File !== "undefined" && value instanceof File)
       return new File([value], value.name, { type: value.type });
+    else if (typeof Blob !== "undefined" && value instanceof Blob)
+      return new Blob([value], { type: value.type });
     else if (value instanceof Set) return new Set([...value].map($cloneMain));
     else if (value instanceof Map)
       return new Map(

package/src/programmers/RandomProgrammer.ts

@@ -650,6 +650,7 @@ export namespace RandomProgrammer {
       else if (type === "DataView") return decode_native_data_view(importer);
       else if (type === "Blob") return decode_native_blob(importer);
       else if (type === "File") return decode_native_file(importer);
+      else if (type === "RegExp") return decode_regexp();
       else
         return ts.factory.createNewExpression(
           ts.factory.createIdentifier(type),
@@ -866,6 +867,13 @@ export namespace RandomProgrammer {
         )("buffer"),
       ],
     );
+
+  const decode_regexp = () =>
+    ts.factory.createNewExpression(
+      ts.factory.createIdentifier("RegExp"),
+      [],
+      [ts.factory.createIdentifier("/(?:)/")],
+    );
 }
 
 type Atomic = boolean | number | string | bigint;

package/src/programmers/misc/MiscCloneProgrammer.ts

@@ -378,7 +378,8 @@ export namespace MiscCloneProgrammer {
     type === "Int32Array" ||
     type === "BigInt64Array" ||
     type === "Float32Array" ||
-    type === "Float64Array"
+    type === "Float64Array" ||
+    type === "RegExp"
       ? decode_native_copyable(type)(input)
       : type === "ArrayBuffer" || type === "SharedArrayBuffer"
         ? decode_native_buffer(type)(input)

package/src/typings/Equal.ts

@@ -0,0 +1,18 @@
+/**
+ * Compare the equivalence of the two types X and Y.
+ *
+ * The two types X and Y refer to any type that can be expressed in the type script, such as the union type and the object type.
+ *
+ * @template X One of the types to compare
+ * @template Y One of the types to compare
+ *
+ * ```ts
+ * type Answer = Equal<1 | 2, 1 | 2>; // true
+ * ```
+ *
+ * @author Kyungsu Kang - https://github.com/kakasoo
+ */
+export type Equal<X, Y> =
+  (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2
+    ? true
+    : false;

package/src/typings/IsTuple.ts

@@ -0,0 +1,9 @@
+export type IsTuple<T extends readonly any[] | { length: number }> = [
+  T,
+] extends [never]
+  ? false
+  : T extends readonly any[]
+    ? number extends T["length"]
+      ? false
+      : true
+    : false;

package/src/typings/NativeClass.ts

@@ -0,0 +1,23 @@
+export type NativeClass =
+  | Date
+  | Set<any>
+  | Map<any, any>
+  | WeakSet<any>
+  | WeakMap<any, any>
+  | Uint8Array
+  | Uint8ClampedArray
+  | Uint16Array
+  | Uint32Array
+  | BigUint64Array
+  | Int8Array
+  | Int16Array
+  | Int32Array
+  | BigInt64Array
+  | Float32Array
+  | Float64Array
+  | ArrayBuffer
+  | SharedArrayBuffer
+  | DataView
+  | Blob
+  | File
+  | RegExp;

package/src/typings/ValueOf.ts

@@ -0,0 +1,20 @@
+export 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;
+}

package/src/utils/NamingConvention/NamingConvention.ts

@@ -1,6 +1,24 @@
 import { StringUtil } from "../StringUtil";
 
 export function snake(str: string): string {
+  if (str.length === 0) return str;
+
+  // PREFIX
+  // eslint-disable-next-line @typescript-eslint/no-unused-vars
+  let prefix: string = "";
+  for (let i: number = 0; i < str.length; i++) {
+    if (str[i] === "_") prefix += "_";
+    else break;
+  }
+  if (prefix.length !== 0) str = str.substring(prefix.length);
+
+  const out = (s: string) => `${prefix}${s}`;
+
+  // SNAKE CASE
+  const items: string[] = str.split("_");
+  if (items.length > 1) return out(items.map((s) => s.toLowerCase()).join("_"));
+
+  // CAMEL OR PASCAL CASE
   const indexes: number[] = [];
   for (let i: number = 0; i < str.length; i++) {
     const code: number = str.charCodeAt(i);
@@ -23,29 +41,33 @@ export function snake(str: string): string {
     ret += "_";
   }
   ret += str.substring(indexes[indexes.length - 1]!).toLowerCase();
-  return ret;
+  return out(ret);
 }
 
-export function camel(str: string): string {
-  return unsnake((str: string) => {
-    if (str.length === 0) return str;
-    else if (str[0] === str[0]!.toUpperCase())
-      return str[0]!.toLowerCase() + str.substring(1);
-    else return str;
+export const camel = (str: string): string =>
+  unsnake({
+    plain: (str) =>
+      str.length
+        ? str === str.toUpperCase()
+          ? str.toLocaleLowerCase()
+          : `${str[0]!.toLowerCase()}${str.substring(1)}`
+        : str,
+    snake: (str, i) =>
+      i === 0 ? str.toLowerCase() : StringUtil.capitalize(str.toLowerCase()),
   })(str);
-}
 
-export function pascal(str: string): string {
-  return unsnake((str: string) => {
-    if (str.length === 0) return str;
-    else if (str[0] === str[0]!.toLowerCase())
-      return str[0]!.toUpperCase() + str.substring(1);
-    else return str;
+export const pascal = (str: string): string =>
+  unsnake({
+    plain: (str) =>
+      str.length ? `${str[0]!.toUpperCase()}${str.substring(1)}` : str,
+    snake: StringUtil.capitalize,
   })(str);
-}
 
 const unsnake =
-  (escaper: (str: string) => string) =>
+  (props: {
+    plain: (str: string) => string;
+    snake: (str: string, index: number) => string;
+  }) =>
   (str: string): string => {
     // eslint-disable-next-line @typescript-eslint/no-unused-vars
     let prefix: string = "";
@@ -55,32 +77,13 @@ const unsnake =
     }
     if (prefix.length !== 0) str = str.substring(prefix.length);
 
-    const indexes: [number, number][] = [];
-    for (let i: number = 0; i < str.length; i++) {
-      const ch: string = str[i]!;
-      if (ch !== "_") continue;
-
-      const last = indexes[indexes.length - 1];
-      if (last === undefined || last[0] + last[1] !== i) indexes.push([i, 1]);
-      else ++last[1];
-    }
-    if (indexes.length === 0) return prefix + escaper(str);
+    const out = (s: string) => `${prefix}${s}`;
+    if (str.length === 0) return out("");
 
-    // eslint-disable-next-line @typescript-eslint/no-unused-vars
-    let ret: string = "";
-    for (let i: number = 0; i < indexes.length; i++) {
-      const [first] = indexes[i]!;
-      if (i === 0)
-        if (first === 0) ret += "_";
-        else ret += str.substring(0, first);
-      else {
-        const [prevFirst, prevLength] = indexes[i - 1]!;
-        const piece: string = str.substring(prevFirst + prevLength, first);
-        if (piece.length) ret += StringUtil.capitalize(piece);
-      }
-    }
-    const last = indexes[indexes.length - 1]!;
-    const piece: string = str.substring(last[0] + last[1]);
-    if (last.length) ret += StringUtil.capitalize(piece);
-    return prefix + escaper(ret);
+    const items: string[] = str.split("_").filter((s) => s.length !== 0);
+    return items.length === 0
+      ? out("")
+      : items.length === 1
+        ? out(props.plain(items[0]!))
+        : out(items.map(props.snake).join(""));
   };

package/src/utils/StringUtil/StringUtil.ts

@@ -1,5 +1,5 @@
 export const capitalize = (str: string) =>
-  str.length ? str[0]!.toUpperCase() + str.slice(1) : str;
+  str.length ? str[0]!.toUpperCase() + str.slice(1).toLowerCase() : str;
 
 export const escapeDuplicate =
   (keep: string[]) =>