typia 9.7.1 → 10.0.0-dev.20251107

package/src/misc.ts

@@ -1,651 +1,594 @@
-/* ===========================================================
-    MISCELLANEOUS
-      - LITERALS
-      - CLONE
-      - PRUNE
-      - FACTORY FUNCTIONS
-==============================================================
-    LITERALS
------------------------------------------------------------ */
-import { NoTransformConfigurationError } from "./transformers/NoTransformConfigurationError";
-
-import { Atomic } from "./typings/Atomic";
-
-import { IValidation } from "./IValidation";
-import { Resolved } from "./Resolved";
-import { TypeGuardError } from "./TypeGuardError";
-
-/**
- * > You must configure the generic argument `T`.
- *
- * Union literal type to array.
- *
- * Converts a union literal type to an array of its members.
- *
- * ```typescript
- * literals<"A" | "B" | 1>; // ["A", "B", 1]
- * ```
- *
- * @template T Union literal type
- * @return Array of union literal type's members
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function literals(): never;
-
-/**
- * Union literal type to array.
- *
- * Converts a union literal type to an array of its members.
- *
- * ```typescript
- * literals<"A" | "B" | 1>; // ["A", "B", 1]
- * ```
- *
- * @template T Union literal type
- * @return Array of union literal type's members
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function literals<T extends Atomic.Type | null>(): T[];
-
-/**
- * @internal
- */
-export function literals(): never {
-  NoTransformConfigurationError("misc.literals");
-}
-
-/* -----------------------------------------------------------
-    CLONE
------------------------------------------------------------ */
-/**
- * Clone data.
- *
- * Clones an instance following type `T`. If the target *input* value or its member
- * variable contains a class instance having methods, those methods would not be
- * cloned.
- *
- * For reference, this `typia.misc.clone()` function does not validate the input value
- * type. It just believes that the input value is following the type `T`. Therefore,
- * if you can't ensure the input value type, it would be better to call
- * {@link assertClone} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be cloned
- * @return Cloned data
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function clone<T>(input: T): Resolved<T>;
-
-/**
- * @internal
- */
-export function clone(): never {
-  NoTransformConfigurationError("misc.clone");
-}
-
-/**
- * Clone data with type assertion.
- *
- * Clones an instance following type `T`, with type assertion. If the target `input`
- * value or its member variable contains a class instance having methods, those
- * methods would not be cloned.
- *
- * In such reason, when `input` value is not matched with the type `T`, it throws an
- * {@link TypeGuardError} or custom error generated by *errorFactory*. Otherwise,
- * there's no problem on the `input` value, cloned data would be returned.
- *
- * @template T Type of the input value
- * @param input A value to be cloned
- * @param errorFactory Custom error factory. Default is `TypeGuardError`
- * @return Cloned data
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function assertClone<T>(
-  input: T,
-  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): Resolved<T>;
-
-/**
- * Clone data with type assertion.
- *
- * Clones an instance following type `T`, with type assertion. If the target `input`
- * value or its member variable contains a class instance having methods, those
- * methods would not be cloned.
- *
- * In such reason, when `input` value is not matched with the type `T`, it throws an
- * {@link TypeGuardError} or custom error generated by *errorFactory*. Otherwise,
- * there's no problem on the `input` value, cloned data would be returned.
- *
- * @template T Type of the input value
- * @param input A value to be cloned
- * @param errorFactory Custom error factory. Default is `TypeGuardError`
- * @return Cloned data
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function assertClone<T>(
-  input: unknown,
-  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): Resolved<T>;
-
-/**
- * @internal
- */
-export function assertClone(): never {
-  NoTransformConfigurationError("misc.assertClone");
-}
-
-/**
- * Clone data with type checking.
- *
- * Clones an instance following type `T`, with type checking. If the target `input`
- * value or its member variable contains a class instance having methods, those
- * methods would not be cloned.
- *
- * In such reason, when `input` value is not matched with the type `T`, it returns
- * `null` value instead. Otherwise, there's no problem on the `input` value, cloned
- * data would be returned.
- *
- * @template T Type of the input value
- * @param input A value to be cloned
- * @return Cloned data when exact type, otherwise null
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function isClone<T>(input: T): Resolved<T> | null;
-
-/**
- * Clone data with type checking.
- *
- * Clones an instance following type `T`, with type checking. If the target `input`
- * value or its member variable contains a class instance having methods, those
- * methods would not be cloned.
- *
- * In such reason, when `input` value is not matched with the type `T`, it returns
- * `null` value instead. Otherwise, there's no problem on the `input` value, cloned
- * data would be returned.
- *
- * @template T Type of the input value
- * @param input A value to be cloned
- * @return Cloned data when exact type, otherwise null
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function isClone<T>(input: unknown): Resolved<T> | null;
-
-/**
- * @internal
- */
-export function isClone(): never {
-  NoTransformConfigurationError("misc.isClone");
-}
-
-/**
- * Clone data with detailed type validation.
- *
- * Clones an instance following type `T`, with detailed type validation. If the target
- * `input` value or its member variable contains a class instance having methods,
- * those methods would not be cloned.
- *
- * In such reason, when `input` value is not matched with the type `T`, it returns
- * {@link IValidation.Failure} value. Otherwise, there's no problem on the `input`
- * value, cloned data would be stored in `data` property of the output
- * {@link IValidation.Success} instance.
- *
- * @template T Type of the input value
- * @param input A value to be cloned
- * @returns Validation result with cloned value
- */
-export function validateClone<T>(input: T): IValidation<Resolved<T>>;
-
-/**
- * Clone data with detailed type validation.
- *
- * Clones an instance following type `T`, with detailed type validation. If the target
- * `input` value or its member variable contains a class instance having methods,
- * those methods would not be cloned.
- *
- * In such reason, when `input` value is not matched with the type `T`, it returns
- * {@link IValidation.Failure} value. Otherwise, there's no problem on the `input`
- * value, cloned data would be stored in `data` property of the output
- * {@link IValidation.Success} instance.
- *
- * @template T Type of the input value
- * @param input A value to be cloned
- * @returns Validation result with cloned value
- */
-export function validateClone<T>(input: unknown): IValidation<Resolved<T>>;
-
-/**
- * @internal
- */
-export function validateClone(): never {
-  NoTransformConfigurationError("misc.validateClone");
-}
-
-/* -----------------------------------------------------------
-    PRUNE
------------------------------------------------------------ */
-/**
- * Prune, erase superfluous properties.
- *
- * Remove all superfluous properties from the `input` object, even including nested
- * objects. Note that, as all superfluous properties would be deleted, you never can
- * read those superfluous properties after calling this `prune()` function.
- *
- * For reference, this `typia.misc.prune()` function does not validate the input value
- * type. It just believes that the input value is following the type `T`. Therefore,
- * if you can't ensure the input value type, it would better to call one of below
- * functions instead.
- *
- *   - {@link assertPrune}
- *   - {@link isPrune}
- *   - {@link validatePrune}
- *
- * @template T Type of the input value
- * @param input Target instance to prune
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function prune<T extends object>(input: T): void;
-
-/**
- * @internal
- */
-export function prune(): never {
-  NoTransformConfigurationError("misc.prune");
-}
-
-/**
- * Prune, erase superfluous properties, with type assertion.
- *
- * `typia.misc.assertPrune()` is a combination function of {@link assert} and
- * {@link prune}. Therefore, it removes all superfluous properties from the `input`
- * object including nested objects, with type assertion.
- *
- * In such reason, when `input` value is not matched with the type `T`, it throws an
- * {@link TypeGuardError} or custom error generated by *errorFactory*. Otherwise,
- * there's no problem on the `input` value, its all superfluous properties would be
- * removed, including nested objects.
- *
- * @template T Type of the input value
- * @param input Target instance to assert and prune
- * @param errorFactory Custom error factory. Default is `TypeGuardError`
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function assertPrune<T>(
-  input: T,
-  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): T;
-
-/**
- * Prune, erase superfluous properties, with type assertion.
- *
- * `typia.misc.assertPrune()` is a combination function of {@link assert} and
- * {@link prune}. Therefore, it removes all superfluous properties from the `input`
- * object including nested objects, with type assertion.
- *
- * In such reason, when `input` value is not matched with the type `T`, it throws an
- * {@link TypeGuardError} or custom error generated by *errorFactory*. Otherwise, there's
- * no problem on the `input` value, its all superfluous properties would be removed,
- * including nested objects.
- *
- * @template T Type of the input value
- * @param input Target instance to assert and prune
- * @param errorFactory Custom error factory. Default is `TypeGuardError`
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function assertPrune<T>(
-  input: unknown,
-  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): T;
-
-/**
- * @internal
- */
-export function assertPrune(): unknown {
-  NoTransformConfigurationError("misc.assertPrune");
-}
-
-/**
- * Prune, erase superfluous properties, with type checking.
- *
- * `typia.misc.isPrune()` is a combination function of {@link is} and
- * {@link prune}. Therefore, it removes all superfluous properties from the `input`
- * object including nested objects, with type checking.
- *
- * In such reason, when `input` value is not matched with the type `T`, it returns
- * `false` value. Otherwise, there's no problem on the `input` value, it returns
- * `true` after removing all superfluous properties, including nested objects.
- *
- * @template T Type of the input value
- * @param input Target instance to check and prune
- * @returns Whether the parametric value is following the type `T` or not
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function isPrune<T>(input: T): input is T;
-
-/**
- * Prune, erase superfluous properties, with type checking.
- *
- * `typia.misc.isPrune()` is a combination function of {@link is} and
- * {@link prune}. Therefore, it removes all superfluous properties from the `input`
- * object including nested objects, with type checking.
- *
- * In such reason, when `input` value is not matched with the type `T`, it returns
- * `false` value. Otherwise, there's no problem on the `input` value, it returns
- * `true` after removing all superfluous properties, including nested objects.
- *
- * @template T Type of the input value
- * @param input Target instance to check and prune
- * @returns Whether the parametric value is following the type `T` or not
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function isPrune<T>(input: unknown): input is T;
-
-/**
- * @internal
- */
-export function isPrune(): never {
-  NoTransformConfigurationError("misc.isPrune");
-}
-
-/**
- * Prune, erase superfluous properties, with type validation.
- *
- * `typia.misc.validatePrune()` is a combination function of {@link validate} and
- * {@link prune}. Therefore, it removes all superfluous properties from the `input`
- * object including nested objects, with type validation.
- *
- * In such reason, when `input` value is not matched with the type `T`, it returns
- * {@link IValidation.IFailure} value with detailed error reasons. Otherwise, there's
- * no problem on the `input` value, it returns {@link IValidation.ISuccess} value after
- * removing all superfluous properties, including nested objects.
- *
- * @template T Type of the input value
- * @param input Target instance to validate and prune
- * @returns Validation result
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function validatePrune<T>(input: T): IValidation<T>;
-
-/**
- * Prune, erase superfluous properties, with type validation.
- *
- * `typia.misc.validatePrune()` is a combination function of {@link validate} and
- * {@link prune}. Therefore, it removes all superfluous properties from the `input`
- * object including nested objects, with type validation.
- *
- * In such reason, when `input` value is not matched with the type `T`, it returns
- * {@link IValidation.IFailure} value with detailed error reasons. Otherwise, there's
- * no problem on the `input` value, it returns {@link IValidation.ISuccess} value after
- * removing all superfluous properties, including nested objects.
- *
- * @template T Type of the input value
- * @param input Target instance to validate and prune
- * @returns Validation result
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function validatePrune<T>(input: unknown): IValidation<T>;
-
-/**
- * @internal
- */
-export function validatePrune<T>(): IValidation<T> {
-  NoTransformConfigurationError("misc.validatePrune");
-}
-
-/* -----------------------------------------------------------
-    FACTORY FUNCTIONS
------------------------------------------------------------ */
-/**
- * Creates a reusable {@link clone} function.
- *
- * @danger You must configure the generic argument `T`
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createClone(): never;
-
-/**
- * Creates a reusable {@link clone} function.
- *
- * @template T Type of the input value
- * @returns A reusable `clone` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createClone<T>(): (input: T) => Resolved<T>;
-
-/**
- * @internal
- */
-export function createClone(): never {
-  NoTransformConfigurationError("misc.createClone");
-}
-
-/**
- * Creates a reusable {@link assertClone} function.
- *
- * @danger You must configure the generic argument `T`
- * @param errorFactory Custom error factory. Default is `TypeGuardError`
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createAssertClone(
-  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): never;
-
-/**
- * Creates a reusable {@link assertClone} function.
- *
- * @template T Type of the input value
- * @param errorFactory Custom error factory. Default is `TypeGuardError`
- * @returns A reusable `clone` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createAssertClone<T>(
-  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): (input: unknown) => Resolved<T>;
-
-/**
- * @internal
- */
-export function createAssertClone(): never {
-  NoTransformConfigurationError("misc.createAssertClone");
-}
-
-/**
- * Creates a reusable {@link isClone} function.
- *
- * @danger You must configure the generic argument `T`
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createIsClone(): never;
-
-/**
- * Creates a reusable {@link isClone} function.
- *
- * @template T Type of the input value
- * @returns A reusable `clone` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createIsClone<T>(): (input: unknown) => Resolved<T> | null;
-
-/**
- * @internal
- */
-export function createIsClone(): never {
-  NoTransformConfigurationError("misc.createIsClone");
-}
-
-/**
- * Creates a reusable {@link validateClone} function.
- *
- * @danger You must configure the generic argument `T`
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createValidateClone(): never;
-
-/**
- * Creates a reusable {@link validateClone} function.
- *
- * @template T Type of the input value
- * @returns A reusable `clone` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createValidateClone<T>(): (
-  input: unknown,
-) => IValidation<Resolved<T>>;
-
-/**
- * @internal
- */
-export function createValidateClone(): never {
-  NoTransformConfigurationError("misc.createValidateClone");
-}
-
-/**
- * Creates a reusable {@link prune} function.
- *
- * @danger You must configure the generic argument `T`
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createPrune(): never;
-
-/**
- * Creates a reusable {@link prune} function.
- *
- * @template T Type of the input value
- * @returns A reusable `prune` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createPrune<T extends object>(): (input: T) => void;
-
-/**
- * @internal
- */
-export function createPrune<T extends object>(): (input: T) => void {
-  NoTransformConfigurationError("misc.createPrune");
-}
-
-/**
- * Creates a reusable {@link assertPrune} function.
- *
- * @danger You must configure the generic argument `T`
- * @param errorFactory Custom error factory. Default is `TypeGuardError`
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createAssertPrune(
-  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): never;
-
-/**
- * Creates a reusable {@link assertPrune} function.
- *
- * @template T Type of the input value
- * @param errorFactory Custom error factory. Default is `TypeGuardError`
- * @returns A reusable `isPrune` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createAssertPrune<T extends object>(
-  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
-): (input: T) => T;
-
-/**
- * @internal
- */
-export function createAssertPrune<T extends object>(): (input: T) => T {
-  NoTransformConfigurationError("misc.createAssertPrune");
-}
-
-/**
- * Creates a reusable {@link isPrune} function.
- *
- * @danger You must configure the generic argument `T`
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createIsPrune(): never;
-
-/**
- * Creates a reusable {@link isPrune} function.
- *
- * @template T Type of the input value
- * @returns A reusable `isPrune` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createIsPrune<T extends object>(): (input: T) => input is T;
-
-/**
- * @internal
- */
-export function createIsPrune<T extends object>(): (input: T) => input is T {
-  NoTransformConfigurationError("misc.createIsPrune");
-}
-
-/**
- * Creates a reusable {@link validatePrune} function.
- *
- * @danger You must configure the generic argument `T`
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createValidatePrune(): never;
-
-/**
- * Creates a reusable {@link validatePrune} function.
- *
- * @template T Type of the input value
- * @returns A reusable `validatePrune` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export function createValidatePrune<T extends object>(): (
-  input: T,
-) => IValidation<T>;
-
-/**
- * @internal
- */
-export function createValidatePrune<T extends object>(): (
-  input: T,
-) => IValidation<T> {
-  NoTransformConfigurationError("misc.createValidatePrune");
-}
+/* ===========================================================
+    MISCELLANEOUS
+      - LITERALS
+      - CLONE
+      - PRUNE
+      - FACTORY FUNCTIONS
+==============================================================
+    LITERALS
+----------------------------------------------------------- */
+import { NoTransformConfigurationError } from "./transformers/NoTransformConfigurationError";
+
+import { Atomic } from "./typings/Atomic";
+
+import { IValidation } from "./IValidation";
+import { Resolved } from "./Resolved";
+import { TypeGuardError } from "./TypeGuardError";
+
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * Union literal type to array.
+ *
+ * Converts a union literal type to an array of its members.
+ *
+ * ```typescript
+ * literals<"A" | "B" | 1>; // ["A", "B", 1]
+ * ```
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Union literal type
+ * @returns Array of union literal type's members
+ */
+export function literals(): never;
+
+/**
+ * Union literal type to array.
+ *
+ * Converts a union literal type to an array of its members.
+ *
+ * ```typescript
+ * literals<"A" | "B" | 1>; // ["A", "B", 1]
+ * ```
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Union literal type
+ * @returns Array of union literal type's members
+ */
+export function literals<T extends Atomic.Type | null>(): T[];
+
+/** @internal */
+export function literals(): never {
+  NoTransformConfigurationError("misc.literals");
+}
+
+/* -----------------------------------------------------------
+    CLONE
+----------------------------------------------------------- */
+/**
+ * Clone data.
+ *
+ * Clones an instance following type `T`. If the target _input_ value or its
+ * member variable contains a class instance having methods, those methods would
+ * not be cloned.
+ *
+ * For reference, this `typia.misc.clone()` function does not validate the input
+ * value type. It just believes that the input value is following the type `T`.
+ * Therefore, if you can't ensure the input value type, it would be better to
+ * call {@link assertClone} function instead.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input A value to be cloned
+ * @returns Cloned data
+ */
+export function clone<T>(input: T): Resolved<T>;
+
+/** @internal */
+export function clone(): never {
+  NoTransformConfigurationError("misc.clone");
+}
+
+/**
+ * Clone data with type assertion.
+ *
+ * Clones an instance following type `T`, with type assertion. If the target
+ * `input` value or its member variable contains a class instance having
+ * methods, those methods would not be cloned.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * throws an {@link TypeGuardError} or custom error generated by _errorFactory_.
+ * Otherwise, there's no problem on the `input` value, cloned data would be
+ * returned.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input A value to be cloned
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns Cloned data
+ */
+export function assertClone<T>(
+  input: T,
+  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
+): Resolved<T>;
+
+/**
+ * Clone data with type assertion.
+ *
+ * Clones an instance following type `T`, with type assertion. If the target
+ * `input` value or its member variable contains a class instance having
+ * methods, those methods would not be cloned.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * throws an {@link TypeGuardError} or custom error generated by _errorFactory_.
+ * Otherwise, there's no problem on the `input` value, cloned data would be
+ * returned.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input A value to be cloned
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns Cloned data
+ */
+export function assertClone<T>(
+  input: unknown,
+  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
+): Resolved<T>;
+
+/** @internal */
+export function assertClone(): never {
+  NoTransformConfigurationError("misc.assertClone");
+}
+
+/**
+ * Clone data with type checking.
+ *
+ * Clones an instance following type `T`, with type checking. If the target
+ * `input` value or its member variable contains a class instance having
+ * methods, those methods would not be cloned.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * returns `null` value instead. Otherwise, there's no problem on the `input`
+ * value, cloned data would be returned.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input A value to be cloned
+ * @returns Cloned data when exact type, otherwise null
+ */
+export function isClone<T>(input: T): Resolved<T> | null;
+
+/**
+ * Clone data with type checking.
+ *
+ * Clones an instance following type `T`, with type checking. If the target
+ * `input` value or its member variable contains a class instance having
+ * methods, those methods would not be cloned.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * returns `null` value instead. Otherwise, there's no problem on the `input`
+ * value, cloned data would be returned.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input A value to be cloned
+ * @returns Cloned data when exact type, otherwise null
+ */
+export function isClone<T>(input: unknown): Resolved<T> | null;
+
+/** @internal */
+export function isClone(): never {
+  NoTransformConfigurationError("misc.isClone");
+}
+
+/**
+ * Clone data with detailed type validation.
+ *
+ * Clones an instance following type `T`, with detailed type validation. If the
+ * target `input` value or its member variable contains a class instance having
+ * methods, those methods would not be cloned.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * returns {@link IValidation.Failure} value. Otherwise, there's no problem on
+ * the `input` value, cloned data would be stored in `data` property of the
+ * output {@link IValidation.Success} instance.
+ *
+ * @template T Type of the input value
+ * @param input A value to be cloned
+ * @returns Validation result with cloned value
+ */
+export function validateClone<T>(input: T): IValidation<Resolved<T>>;
+
+/**
+ * Clone data with detailed type validation.
+ *
+ * Clones an instance following type `T`, with detailed type validation. If the
+ * target `input` value or its member variable contains a class instance having
+ * methods, those methods would not be cloned.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * returns {@link IValidation.Failure} value. Otherwise, there's no problem on
+ * the `input` value, cloned data would be stored in `data` property of the
+ * output {@link IValidation.Success} instance.
+ *
+ * @template T Type of the input value
+ * @param input A value to be cloned
+ * @returns Validation result with cloned value
+ */
+export function validateClone<T>(input: unknown): IValidation<Resolved<T>>;
+
+/** @internal */
+export function validateClone(): never {
+  NoTransformConfigurationError("misc.validateClone");
+}
+
+/* -----------------------------------------------------------
+    PRUNE
+----------------------------------------------------------- */
+/**
+ * Prune, erase superfluous properties.
+ *
+ * Remove all superfluous properties from the `input` object, even including
+ * nested objects. Note that, as all superfluous properties would be deleted,
+ * you never can read those superfluous properties after calling this `prune()`
+ * function.
+ *
+ * For reference, this `typia.misc.prune()` function does not validate the input
+ * value type. It just believes that the input value is following the type `T`.
+ * Therefore, if you can't ensure the input value type, it would better to call
+ * one of below functions instead.
+ *
+ * - {@link assertPrune}
+ * - {@link isPrune}
+ * - {@link validatePrune}
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input Target instance to prune
+ */
+export function prune<T extends object>(input: T): void;
+
+/** @internal */
+export function prune(): never {
+  NoTransformConfigurationError("misc.prune");
+}
+
+/**
+ * Prune, erase superfluous properties, with type assertion.
+ *
+ * `typia.misc.assertPrune()` is a combination function of {@link assert} and
+ * {@link prune}. Therefore, it removes all superfluous properties from the
+ * `input` object including nested objects, with type assertion.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * throws an {@link TypeGuardError} or custom error generated by _errorFactory_.
+ * Otherwise, there's no problem on the `input` value, its all superfluous
+ * properties would be removed, including nested objects.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input Target instance to assert and prune
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ */
+export function assertPrune<T>(
+  input: T,
+  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
+): T;
+
+/**
+ * Prune, erase superfluous properties, with type assertion.
+ *
+ * `typia.misc.assertPrune()` is a combination function of {@link assert} and
+ * {@link prune}. Therefore, it removes all superfluous properties from the
+ * `input` object including nested objects, with type assertion.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * throws an {@link TypeGuardError} or custom error generated by _errorFactory_.
+ * Otherwise, there's no problem on the `input` value, its all superfluous
+ * properties would be removed, including nested objects.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input Target instance to assert and prune
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ */
+export function assertPrune<T>(
+  input: unknown,
+  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
+): T;
+
+/** @internal */
+export function assertPrune(): unknown {
+  NoTransformConfigurationError("misc.assertPrune");
+}
+
+/**
+ * Prune, erase superfluous properties, with type checking.
+ *
+ * `typia.misc.isPrune()` is a combination function of {@link is} and
+ * {@link prune}. Therefore, it removes all superfluous properties from the
+ * `input` object including nested objects, with type checking.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * returns `false` value. Otherwise, there's no problem on the `input` value, it
+ * returns `true` after removing all superfluous properties, including nested
+ * objects.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input Target instance to check and prune
+ * @returns Whether the parametric value is following the type `T` or not
+ */
+export function isPrune<T>(input: T): input is T;
+
+/**
+ * Prune, erase superfluous properties, with type checking.
+ *
+ * `typia.misc.isPrune()` is a combination function of {@link is} and
+ * {@link prune}. Therefore, it removes all superfluous properties from the
+ * `input` object including nested objects, with type checking.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * returns `false` value. Otherwise, there's no problem on the `input` value, it
+ * returns `true` after removing all superfluous properties, including nested
+ * objects.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input Target instance to check and prune
+ * @returns Whether the parametric value is following the type `T` or not
+ */
+export function isPrune<T>(input: unknown): input is T;
+
+/** @internal */
+export function isPrune(): never {
+  NoTransformConfigurationError("misc.isPrune");
+}
+
+/**
+ * Prune, erase superfluous properties, with type validation.
+ *
+ * `typia.misc.validatePrune()` is a combination function of {@link validate} and
+ * {@link prune}. Therefore, it removes all superfluous properties from the
+ * `input` object including nested objects, with type validation.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * returns {@link IValidation.IFailure} value with detailed error reasons.
+ * Otherwise, there's no problem on the `input` value, it returns
+ * {@link IValidation.ISuccess} value after removing all superfluous properties,
+ * including nested objects.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input Target instance to validate and prune
+ * @returns Validation result
+ */
+export function validatePrune<T>(input: T): IValidation<T>;
+
+/**
+ * Prune, erase superfluous properties, with type validation.
+ *
+ * `typia.misc.validatePrune()` is a combination function of {@link validate} and
+ * {@link prune}. Therefore, it removes all superfluous properties from the
+ * `input` object including nested objects, with type validation.
+ *
+ * In such reason, when `input` value is not matched with the type `T`, it
+ * returns {@link IValidation.IFailure} value with detailed error reasons.
+ * Otherwise, there's no problem on the `input` value, it returns
+ * {@link IValidation.ISuccess} value after removing all superfluous properties,
+ * including nested objects.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param input Target instance to validate and prune
+ * @returns Validation result
+ */
+export function validatePrune<T>(input: unknown): IValidation<T>;
+
+/** @internal */
+export function validatePrune<T>(): IValidation<T> {
+  NoTransformConfigurationError("misc.validatePrune");
+}
+
+/* -----------------------------------------------------------
+    FACTORY FUNCTIONS
+----------------------------------------------------------- */
+/**
+ * Creates a reusable {@link clone} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws Compile error
+ * @danger You must configure the generic argument `T`
+ */
+export function createClone(): never;
+
+/**
+ * Creates a reusable {@link clone} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @returns A reusable `clone` function
+ */
+export function createClone<T>(): (input: T) => Resolved<T>;
+
+/** @internal */
+export function createClone(): never {
+  NoTransformConfigurationError("misc.createClone");
+}
+
+/**
+ * Creates a reusable {@link assertClone} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws Compile error
+ * @danger You must configure the generic argument `T`
+ */
+export function createAssertClone(
+  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
+): never;
+
+/**
+ * Creates a reusable {@link assertClone} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns A reusable `clone` function
+ */
+export function createAssertClone<T>(
+  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
+): (input: unknown) => Resolved<T>;
+
+/** @internal */
+export function createAssertClone(): never {
+  NoTransformConfigurationError("misc.createAssertClone");
+}
+
+/**
+ * Creates a reusable {@link isClone} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws Compile error
+ * @danger You must configure the generic argument `T`
+ */
+export function createIsClone(): never;
+
+/**
+ * Creates a reusable {@link isClone} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @returns A reusable `clone` function
+ */
+export function createIsClone<T>(): (input: unknown) => Resolved<T> | null;
+
+/** @internal */
+export function createIsClone(): never {
+  NoTransformConfigurationError("misc.createIsClone");
+}
+
+/**
+ * Creates a reusable {@link validateClone} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws Compile error
+ * @danger You must configure the generic argument `T`
+ */
+export function createValidateClone(): never;
+
+/**
+ * Creates a reusable {@link validateClone} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @returns A reusable `clone` function
+ */
+export function createValidateClone<T>(): (
+  input: unknown,
+) => IValidation<Resolved<T>>;
+
+/** @internal */
+export function createValidateClone(): never {
+  NoTransformConfigurationError("misc.createValidateClone");
+}
+
+/**
+ * Creates a reusable {@link prune} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws Compile error
+ * @danger You must configure the generic argument `T`
+ */
+export function createPrune(): never;
+
+/**
+ * Creates a reusable {@link prune} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @returns A reusable `prune` function
+ */
+export function createPrune<T extends object>(): (input: T) => void;
+
+/** @internal */
+export function createPrune<T extends object>(): (input: T) => void {
+  NoTransformConfigurationError("misc.createPrune");
+}
+
+/**
+ * Creates a reusable {@link assertPrune} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws Compile error
+ * @danger You must configure the generic argument `T`
+ */
+export function createAssertPrune(
+  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
+): never;
+
+/**
+ * Creates a reusable {@link assertPrune} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @param errorFactory Custom error factory. Default is `TypeGuardError`
+ * @returns A reusable `isPrune` function
+ */
+export function createAssertPrune<T extends object>(
+  errorFactory?: undefined | ((props: TypeGuardError.IProps) => Error),
+): (input: T) => T;
+
+/** @internal */
+export function createAssertPrune<T extends object>(): (input: T) => T {
+  NoTransformConfigurationError("misc.createAssertPrune");
+}
+
+/**
+ * Creates a reusable {@link isPrune} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws Compile error
+ * @danger You must configure the generic argument `T`
+ */
+export function createIsPrune(): never;
+
+/**
+ * Creates a reusable {@link isPrune} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @returns A reusable `isPrune` function
+ */
+export function createIsPrune<T extends object>(): (input: T) => input is T;
+
+/** @internal */
+export function createIsPrune<T extends object>(): (input: T) => input is T {
+  NoTransformConfigurationError("misc.createIsPrune");
+}
+
+/**
+ * Creates a reusable {@link validatePrune} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws Compile error
+ * @danger You must configure the generic argument `T`
+ */
+export function createValidatePrune(): never;
+
+/**
+ * Creates a reusable {@link validatePrune} function.
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ * @template T Type of the input value
+ * @returns A reusable `validatePrune` function
+ */
+export function createValidatePrune<T extends object>(): (
+  input: T,
+) => IValidation<T>;
+
+/** @internal */
+export function createValidatePrune<T extends object>(): (
+  input: T,
+) => IValidation<T> {
+  NoTransformConfigurationError("misc.createValidatePrune");
+}