@nestia/fetcher 2.5.6 → 2.5.7-dev.20240215

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nestia/fetcher",
-  "version": "2.5.6",
+  "version": "2.5.7-dev.20240215",
   "description": "Fetcher library of Nestia SDK",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",

package/src/IConnection.ts

@@ -1,237 +1,237 @@
-/// <reference lib="dom" />
-import { IEncryptionPassword } from "./IEncryptionPassword";
-import { IRandomGenerator } from "./IRandomGenerator";
-
-/**
- * Connection information.
- *
- * `IConnection` is an interface ttype who represents connection information of the
- * remote HTTP server. You can target the remote HTTP server by wring the
- * {@link IConnection.host} variable down. Also, you can configure special header values
- * by specializing the {@link IConnection.headers} variable.
- *
- * If the remote HTTP server encrypts or decrypts its body data through the AES-128/256
- * algorithm, specify the {@link IConnection.encryption} with {@link IEncryptionPassword}
- * or {@link IEncryptionPassword.Closure} variable.
- *
- * @author Jenogho Nam - https://github.com/samchon
- * @author Seungjun We - https://github.com/SeungjunWe
- */
-export interface IConnection<Headers extends object = {}> {
-  /**
-   * Host address of the remote HTTP server.
-   */
-  host: string;
-
-  /**
-   * Header values delivered to the remote HTTP server.
-   */
-  headers?: Record<string, IConnection.HeaderValue> &
-    IConnection.Headerify<Headers>;
-
-  /**
-   * Use simulation mode.
-   *
-   * If you configure this property to be `true` or assign an {@link IRandomGenerator}
-   * instance, your SDK library does not send any request to remote backend server,
-   * but just returns random data generated by `typia.random<T>()` function with
-   * request data validation.
-   *
-   * By the way, to utilize this simulation mode, SDK library must be generated with
-   * {@link INestiaConfig.simulate} option, too. Open `nestia.config.ts` file, and
-   * configure {@link INestiaConfig.simulate} property to be `true`. Them, newly
-   * generated SDK library would have a built-in mock-up data generator.
-   *
-   * @default false
-   */
-  simulate?: boolean | Partial<IRandomGenerator>;
-
-  /**
-   * Additional options for the `fetch` function.
-   */
-  options?: IConnection.IOptions;
-
-  /**
-   * Encryption password of its closure function.
-   *
-   * Define it only when target backend server is encrypting body data through
-   * `@EncryptedRoute` or `@EncryptedBody` decorators of `@nestia/core` for
-   * security reason.
-   */
-  encryption?: IEncryptionPassword | IEncryptionPassword.Closure;
-
-  /**
-   * Custom fetch function.
-   *
-   * If you want to use custom `fetch` function instead of built-in function,
-   * assign your custom `fetch` function into this property.
-   */
-  fetch?: typeof fetch;
-}
-export namespace IConnection {
-  /**
-   * Addiotional options for the `fetch` function.
-   *
-   * Almost same with {@link RequestInit} type of the {@link fetch} function,
-   * but `body`, `headers` and `method` properties are omitted.
-   *
-   * The reason why defining duplicated definition of {@link RequestInit}
-   * is for legacy NodeJS environments, which does not have the {@link fetch}
-   * function type.
-   */
-  export interface IOptions {
-    /**
-     * A string indicating how the request will interact with the browser's
-     * cache to set request's cache.
-     */
-    cache?:
-      | "default"
-      | "force-cache"
-      | "no-cache"
-      | "no-store"
-      | "only-if-cached"
-      | "reload";
-
-    /**
-     * A string indicating whether credentials will be sent with the request
-     * always, never, or only when sent to a same-origin URL. Sets request's
-     * credentials.
-     */
-    credentials?: "omit" | "same-origin" | "include";
-
-    /**
-     * A cryptographic hash of the resource to be fetched by request.
-     *
-     * Sets request's integrity.
-     */
-    integrity?: string;
-
-    /**
-     * A boolean to set request's keepalive.
-     */
-    keepalive?: boolean;
-
-    /**
-     * A string to indicate whether the request will use CORS, or will be
-     * restricted to same-origin URLs.
-     *
-     * Sets request's mode.
-     */
-    mode?: "cors" | "navigate" | "no-cors" | "same-origin";
-
-    /**
-     * A string indicating whether request follows redirects, results in
-     * an error upon encountering a redirect, or returns the redirect
-     * (in an opaque fashion).
-     *
-     * Sets request's redirect.
-     */
-    redirect?: "error" | "follow" | "manual";
-
-    /**
-     * A string whose value is a same-origin URL, "about:client", or the
-     * empty string, to set request's referrer.
-     */
-    referrer?: string;
-
-    /**
-     * A referrer policy to set request's referrerPolicy.
-     */
-    referrerPolicy?:
-      | ""
-      | "no-referrer"
-      | "no-referrer-when-downgrade"
-      | "origin"
-      | "origin-when-cross-origin"
-      | "same-origin"
-      | "strict-origin"
-      | "strict-origin-when-cross-origin"
-      | "unsafe-url";
-
-    /**
-     * An AbortSignal to set request's signal.
-     */
-    signal?: AbortSignal | null;
-  }
-
-  /**
-   * Type of allowed header values.
-   *
-   * Only atomic or array of atomic values are allowed.
-   */
-  export type HeaderValue =
-    | string
-    | boolean
-    | number
-    | bigint
-    | string
-    | Array<boolean>
-    | Array<number>
-    | Array<bigint>
-    | Array<number>
-    | Array<string>;
-
-  /**
-   * Type of headers
-   *
-   * `Headerify` removes every properties that are not allowed in the
-   * HTTP headers type.
-   *
-   * Below are list of prohibited in HTTP headers.
-   *
-   * 1. Value type one of {@link HeaderValue}
-   * 2. Key is "set-cookie", but value is not an Array type
-   * 3. Key is one of them, but value is Array type
-   *   - "age"
-   *   - "authorization"
-   *   - "content-length"
-   *   - "content-type"
-   *   - "etag"
-   *   - "expires"
-   *   - "from"
-   *   - "host"
-   *   - "if-modified-since"
-   *   - "if-unmodified-since"
-   *   - "last-modified"
-   *   - "location"
-   *   - "max-forwards"
-   *   - "proxy-authorization"
-   *   - "referer"
-   *   - "retry-after"
-   *   - "server"
-   *   - "user-agent"
-   */
-  export type Headerify<T extends object> = {
-    [P in keyof T]?: T[P] extends HeaderValue | undefined
-      ? P extends string
-        ? Lowercase<P> extends "set-cookie"
-          ? T[P] extends Array<HeaderValue>
-            ? T[P] | undefined
-            : never
-          : Lowercase<P> extends
-                | "age"
-                | "authorization"
-                | "content-length"
-                | "content-type"
-                | "etag"
-                | "expires"
-                | "from"
-                | "host"
-                | "if-modified-since"
-                | "if-unmodified-since"
-                | "last-modified"
-                | "location"
-                | "max-forwards"
-                | "proxy-authorization"
-                | "referer"
-                | "retry-after"
-                | "server"
-                | "user-agent"
-            ? T[P] extends Array<HeaderValue>
-              ? never
-              : T[P] | undefined
-            : T[P] | undefined
-        : never
-      : never;
-  };
-}
+/// <reference lib="dom" />
+import { IEncryptionPassword } from "./IEncryptionPassword";
+import { IRandomGenerator } from "./IRandomGenerator";
+
+/**
+ * Connection information.
+ *
+ * `IConnection` is an interface ttype who represents connection information of the
+ * remote HTTP server. You can target the remote HTTP server by wring the
+ * {@link IConnection.host} variable down. Also, you can configure special header values
+ * by specializing the {@link IConnection.headers} variable.
+ *
+ * If the remote HTTP server encrypts or decrypts its body data through the AES-128/256
+ * algorithm, specify the {@link IConnection.encryption} with {@link IEncryptionPassword}
+ * or {@link IEncryptionPassword.Closure} variable.
+ *
+ * @author Jenogho Nam - https://github.com/samchon
+ * @author Seungjun We - https://github.com/SeungjunWe
+ */
+export interface IConnection<Headers extends object = {}> {
+  /**
+   * Host address of the remote HTTP server.
+   */
+  host: string;
+
+  /**
+   * Header values delivered to the remote HTTP server.
+   */
+  headers?: Record<string, IConnection.HeaderValue> &
+    IConnection.Headerify<Headers>;
+
+  /**
+   * Use simulation mode.
+   *
+   * If you configure this property to be `true` or assign an {@link IRandomGenerator}
+   * instance, your SDK library does not send any request to remote backend server,
+   * but just returns random data generated by `typia.random<T>()` function with
+   * request data validation.
+   *
+   * By the way, to utilize this simulation mode, SDK library must be generated with
+   * {@link INestiaConfig.simulate} option, too. Open `nestia.config.ts` file, and
+   * configure {@link INestiaConfig.simulate} property to be `true`. Them, newly
+   * generated SDK library would have a built-in mock-up data generator.
+   *
+   * @default false
+   */
+  simulate?: boolean | Partial<IRandomGenerator>;
+
+  /**
+   * Additional options for the `fetch` function.
+   */
+  options?: IConnection.IOptions;
+
+  /**
+   * Encryption password of its closure function.
+   *
+   * Define it only when target backend server is encrypting body data through
+   * `@EncryptedRoute` or `@EncryptedBody` decorators of `@nestia/core` for
+   * security reason.
+   */
+  encryption?: IEncryptionPassword | IEncryptionPassword.Closure;
+
+  /**
+   * Custom fetch function.
+   *
+   * If you want to use custom `fetch` function instead of built-in function,
+   * assign your custom `fetch` function into this property.
+   */
+  fetch?: typeof fetch;
+}
+export namespace IConnection {
+  /**
+   * Addiotional options for the `fetch` function.
+   *
+   * Almost same with {@link RequestInit} type of the {@link fetch} function,
+   * but `body`, `headers` and `method` properties are omitted.
+   *
+   * The reason why defining duplicated definition of {@link RequestInit}
+   * is for legacy NodeJS environments, which does not have the {@link fetch}
+   * function type.
+   */
+  export interface IOptions {
+    /**
+     * A string indicating how the request will interact with the browser's
+     * cache to set request's cache.
+     */
+    cache?:
+      | "default"
+      | "force-cache"
+      | "no-cache"
+      | "no-store"
+      | "only-if-cached"
+      | "reload";
+
+    /**
+     * A string indicating whether credentials will be sent with the request
+     * always, never, or only when sent to a same-origin URL. Sets request's
+     * credentials.
+     */
+    credentials?: "omit" | "same-origin" | "include";
+
+    /**
+     * A cryptographic hash of the resource to be fetched by request.
+     *
+     * Sets request's integrity.
+     */
+    integrity?: string;
+
+    /**
+     * A boolean to set request's keepalive.
+     */
+    keepalive?: boolean;
+
+    /**
+     * A string to indicate whether the request will use CORS, or will be
+     * restricted to same-origin URLs.
+     *
+     * Sets request's mode.
+     */
+    mode?: "cors" | "navigate" | "no-cors" | "same-origin";
+
+    /**
+     * A string indicating whether request follows redirects, results in
+     * an error upon encountering a redirect, or returns the redirect
+     * (in an opaque fashion).
+     *
+     * Sets request's redirect.
+     */
+    redirect?: "error" | "follow" | "manual";
+
+    /**
+     * A string whose value is a same-origin URL, "about:client", or the
+     * empty string, to set request's referrer.
+     */
+    referrer?: string;
+
+    /**
+     * A referrer policy to set request's referrerPolicy.
+     */
+    referrerPolicy?:
+      | ""
+      | "no-referrer"
+      | "no-referrer-when-downgrade"
+      | "origin"
+      | "origin-when-cross-origin"
+      | "same-origin"
+      | "strict-origin"
+      | "strict-origin-when-cross-origin"
+      | "unsafe-url";
+
+    /**
+     * An AbortSignal to set request's signal.
+     */
+    signal?: AbortSignal | null;
+  }
+
+  /**
+   * Type of allowed header values.
+   *
+   * Only atomic or array of atomic values are allowed.
+   */
+  export type HeaderValue =
+    | string
+    | boolean
+    | number
+    | bigint
+    | string
+    | Array<boolean>
+    | Array<number>
+    | Array<bigint>
+    | Array<number>
+    | Array<string>;
+
+  /**
+   * Type of headers
+   *
+   * `Headerify` removes every properties that are not allowed in the
+   * HTTP headers type.
+   *
+   * Below are list of prohibited in HTTP headers.
+   *
+   * 1. Value type one of {@link HeaderValue}
+   * 2. Key is "set-cookie", but value is not an Array type
+   * 3. Key is one of them, but value is Array type
+   *   - "age"
+   *   - "authorization"
+   *   - "content-length"
+   *   - "content-type"
+   *   - "etag"
+   *   - "expires"
+   *   - "from"
+   *   - "host"
+   *   - "if-modified-since"
+   *   - "if-unmodified-since"
+   *   - "last-modified"
+   *   - "location"
+   *   - "max-forwards"
+   *   - "proxy-authorization"
+   *   - "referer"
+   *   - "retry-after"
+   *   - "server"
+   *   - "user-agent"
+   */
+  export type Headerify<T extends object> = {
+    [P in keyof T]?: T[P] extends HeaderValue | undefined
+      ? P extends string
+        ? Lowercase<P> extends "set-cookie"
+          ? T[P] extends Array<HeaderValue>
+            ? T[P] | undefined
+            : never
+          : Lowercase<P> extends
+                | "age"
+                | "authorization"
+                | "content-length"
+                | "content-type"
+                | "etag"
+                | "expires"
+                | "from"
+                | "host"
+                | "if-modified-since"
+                | "if-unmodified-since"
+                | "last-modified"
+                | "location"
+                | "max-forwards"
+                | "proxy-authorization"
+                | "referer"
+                | "retry-after"
+                | "server"
+                | "user-agent"
+            ? T[P] extends Array<HeaderValue>
+              ? never
+              : T[P] | undefined
+            : T[P] | undefined
+        : never
+      : never;
+  };
+}

package/src/IPropagation.ts

@@ -1,102 +1,102 @@
-import { Primitive } from "./Primitive";
-
-/**
- * Propagation type.
- *
- * `IPropagation` is a type gathering all possible status codes and their body
- * data types as a discriminated union type. You can specify the status code and
- * its body data type just by using conditional statement like below.
- *
- * ```typescript
- * type Output = IPropagation<{
- *    200: ISeller.IAuthorized;
- *    400: TypeGuardError.IProps;
- * >};
- *
- * const output: Output = await sdk.sellers.authenticate.join(input);
- * if (output.success) {
- *     // automatically casted to "ISeller.IAuthorized" type
- *     const authorized: ISeller.IAuthorized = output.data;
- * } else if (output.status === 400) {
- *     // automatically casted to "TypeGuardError.IProps" type
- *     const error: TypeGuardError.IProps = output.data;
- * } else {
- *     // unknown type when out of pre-defined status codes
- *     const result: unknown = output.data;
- * }
- * ```
- *
- * For reference, this `IPropagation` type is utilized by SDK library generated by
- * `@nestia/sdk`, when you've configured {@link INestiaConfig.propagate} to be `true`.
- * In that case, SDK functions generated by `@nestia/sdk` no more returns response DTO
- * typed data directly, but returns this `IPropagation` typed object instead.
- *
- * @template StatusMap Map of status code and its body data type.
- * @template Success Default success status code.
- * @author Jeongho Nam - https://github.com/samchon
- */
-export type IPropagation<
-  StatusMap extends {
-    [P in IPropagation.Status]?: any;
-  },
-  Success extends number = 200 | 201,
-> =
-  | {
-      [P in keyof StatusMap]: IPropagation.IBranch<
-        P extends Success ? true : false,
-        P,
-        StatusMap[P]
-      >;
-    }[keyof StatusMap]
-  | IPropagation.IBranch<false, unknown, unknown>;
-export namespace IPropagation {
-  /**
-   * Type of configurable status codes.
-   *
-   * The special characters like `2XX`, `3XX`, `4XX`, `5XX` are meaning the range
-   * of status codes. If `5XX` is specified, it means the status code is in the
-   * range of `500` to `599`.
-   */
-  export type Status = number | "2XX" | "3XX" | "4XX" | "5XX";
-
-  /**
-   * Branch type of propagation.
-   *
-   * `IPropagation.IBranch` is a branch type composing `IPropagation` type,
-   * which is gathering all possible status codes and their body data types
-   * as a union type.
-   */
-  export interface IBranch<Success extends boolean, StatusValue, BodyData> {
-    success: Success;
-    status: StatusValue extends "2XX" | "3XX" | "4XX" | "5XX"
-      ? StatusRange<StatusValue>
-      : StatusValue extends number
-        ? StatusValue
-        : never;
-    data: Primitive<BodyData>;
-    headers: Record<string, string | string[]>;
-  }
-
-  /**
-   * Range of status codes by the first digit.
-   */
-  export type StatusRange<T extends "2XX" | "3XX" | "4XX" | "5XX"> = T extends 0
-    ? IntRange<200, 299>
-    : T extends 3
-      ? IntRange<300, 399>
-      : T extends 4
-        ? IntRange<400, 499>
-        : IntRange<500, 599>;
-
-  type IntRange<F extends number, T extends number> = Exclude<
-    Enumerate<T>,
-    Enumerate<F>
-  >;
-
-  type Enumerate<
-    N extends number,
-    Acc extends number[] = [],
-  > = Acc["length"] extends N
-    ? Acc[number]
-    : Enumerate<N, [...Acc, Acc["length"]]>;
-}
+import { Primitive } from "./Primitive";
+
+/**
+ * Propagation type.
+ *
+ * `IPropagation` is a type gathering all possible status codes and their body
+ * data types as a discriminated union type. You can specify the status code and
+ * its body data type just by using conditional statement like below.
+ *
+ * ```typescript
+ * type Output = IPropagation<{
+ *    200: ISeller.IAuthorized;
+ *    400: TypeGuardError.IProps;
+ * >};
+ *
+ * const output: Output = await sdk.sellers.authenticate.join(input);
+ * if (output.success) {
+ *     // automatically casted to "ISeller.IAuthorized" type
+ *     const authorized: ISeller.IAuthorized = output.data;
+ * } else if (output.status === 400) {
+ *     // automatically casted to "TypeGuardError.IProps" type
+ *     const error: TypeGuardError.IProps = output.data;
+ * } else {
+ *     // unknown type when out of pre-defined status codes
+ *     const result: unknown = output.data;
+ * }
+ * ```
+ *
+ * For reference, this `IPropagation` type is utilized by SDK library generated by
+ * `@nestia/sdk`, when you've configured {@link INestiaConfig.propagate} to be `true`.
+ * In that case, SDK functions generated by `@nestia/sdk` no more returns response DTO
+ * typed data directly, but returns this `IPropagation` typed object instead.
+ *
+ * @template StatusMap Map of status code and its body data type.
+ * @template Success Default success status code.
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+export type IPropagation<
+  StatusMap extends {
+    [P in IPropagation.Status]?: any;
+  },
+  Success extends number = 200 | 201,
+> =
+  | {
+      [P in keyof StatusMap]: IPropagation.IBranch<
+        P extends Success ? true : false,
+        P,
+        StatusMap[P]
+      >;
+    }[keyof StatusMap]
+  | IPropagation.IBranch<false, unknown, unknown>;
+export namespace IPropagation {
+  /**
+   * Type of configurable status codes.
+   *
+   * The special characters like `2XX`, `3XX`, `4XX`, `5XX` are meaning the range
+   * of status codes. If `5XX` is specified, it means the status code is in the
+   * range of `500` to `599`.
+   */
+  export type Status = number | "2XX" | "3XX" | "4XX" | "5XX";
+
+  /**
+   * Branch type of propagation.
+   *
+   * `IPropagation.IBranch` is a branch type composing `IPropagation` type,
+   * which is gathering all possible status codes and their body data types
+   * as a union type.
+   */
+  export interface IBranch<Success extends boolean, StatusValue, BodyData> {
+    success: Success;
+    status: StatusValue extends "2XX" | "3XX" | "4XX" | "5XX"
+      ? StatusRange<StatusValue>
+      : StatusValue extends number
+        ? StatusValue
+        : never;
+    data: Primitive<BodyData>;
+    headers: Record<string, string | string[]>;
+  }
+
+  /**
+   * Range of status codes by the first digit.
+   */
+  export type StatusRange<T extends "2XX" | "3XX" | "4XX" | "5XX"> = T extends 0
+    ? IntRange<200, 299>
+    : T extends 3
+      ? IntRange<300, 399>
+      : T extends 4
+        ? IntRange<400, 499>
+        : IntRange<500, 599>;
+
+  type IntRange<F extends number, T extends number> = Exclude<
+    Enumerate<T>,
+    Enumerate<F>
+  >;
+
+  type Enumerate<
+    N extends number,
+    Acc extends number[] = [],
+  > = Acc["length"] extends N
+    ? Acc[number]
+    : Enumerate<N, [...Acc, Acc["length"]]>;
+}

package/src/Primitive.ts

@@ -1,136 +1,136 @@
-/**
- * Primitive type of JSON.
- *
- * `Primitive<T>` is a TMP (Type Meta Programming) type which converts
- * its argument as a primitive type within framework JSON.
- *
- * If the target argument is a built-in class which 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 built-in class does not have the
- * `valueOf()` method, the return type would be an empty object (`{}`).
- *
- * 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>>`
- * Native Class            | never
- * Others                  | No change
- *
- * @template Instance Target argument type.
- * @author Jeongho Nam - https://github.com/samchon
- * @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>;
-
-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>;
-
-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>]
-          : [];
-
-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;
-}
+/**
+ * Primitive type of JSON.
+ *
+ * `Primitive<T>` is a TMP (Type Meta Programming) type which converts
+ * its argument as a primitive type within framework JSON.
+ *
+ * If the target argument is a built-in class which 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 built-in class does not have the
+ * `valueOf()` method, the return type would be an empty object (`{}`).
+ *
+ * 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>>`
+ * Native Class            | never
+ * Others                  | No change
+ *
+ * @template Instance Target argument type.
+ * @author Jeongho Nam - https://github.com/samchon
+ * @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>;
+
+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>;
+
+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>]
+          : [];
+
+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;
+}