typia 5.3.12-dev.20240118 → 5.3.12-dev.20240119

package/src/module.ts

@@ -1,915 +1,965 @@
-import * as Namespace from "./functional/Namespace";
-
-import { AssertionGuard } from "./AssertionGuard";
-import { IRandomGenerator } from "./IRandomGenerator";
-import { IValidation } from "./IValidation";
-import { Resolved } from "./Resolved";
-
-export * as http from "./http";
-export * as json from "./json";
-export * as misc from "./misc";
-export * as notations from "./notations";
-export * as protobuf from "./protobuf";
-export * as reflect from "./reflect";
-export * as tags from "./tags";
-
-export * from "./schemas/metadata/IJsDocTagInfo";
-export * from "./schemas/json/IJsonApplication";
-export * from "./schemas/json/IJsonComponents";
-export * from "./schemas/json/IJsonSchema";
-export * from "./AssertionGuard";
-export * from "./IRandomGenerator";
-export * from "./IValidation";
-export * from "./TypeGuardError";
-
-export * from "./Primitive";
-export * from "./Resolved";
-export * from "./CamelCase";
-export * from "./PascalCase";
-export * from "./SnakeCase";
-
-/* -----------------------------------------------------------
-    BASIC VALIDATORS
------------------------------------------------------------ */
-/**
- * Asserts a value type.
- *
- * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
- * reason, if the parametric value is not following the type `T`. Otherwise, the
- * value is following the type `T`, just input parameter would be returned.
- *
- * If what you want is not asserting but just knowing whether the parametric value is
- * following the type `T` or not, you can choose the {@link is} function instead.
- * Otherwise you want to know all the errors, {@link validate} is the way to go.
- * Also, if you want to automatically cast the parametric value to the type `T`
- * when no problem (perform the assertion guard of type).
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link assertEquals} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be asserted
- * @returns Parametric input value
- * @throws A {@link TypeGuardError} instance with detailed reason
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function assert<T>(input: T): T;
-
-/**
- * Asserts a value type.
- *
- * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
- * reason, if the parametric value is not following the type `T`. Otherwise, the
- * value is following the type `T`, just input parameter would be returned.
- *
- * If what you want is not asserting but just knowing whether the parametric value is
- * following the type `T` or not, you can choose the {@link is} function instead.
- * Otherwise, you want to know all the errors, {@link validate} is the way to go.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link assertEquals} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be asserted
- * @returns Parametric input value casted as `T`
- * @throws A {@link TypeGuardError} instance with detailed reason
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function assert<T>(input: unknown): T;
-
-/**
- * @internal
- */
-function assert(): never {
-  halt("assert");
-}
-const assertPure = /** @__PURE__ */ Object.assign(assert, /** @__PURE__ */ Namespace.assert("assert"));
-export { assertPure as assert };
-
-/**
- * Assertion guard of a value type.
- *
- * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
- * reason, if the parametric value is not following the type `T`. Otherwise, the
- * value is following the type `T`, nothing would be returned, but the input value
- * would be automatically casted to the type `T`. This is the concept of
- * "Assertion Guard" of a value type.
- *
- * If what you want is not asserting but just knowing whether the parametric value is
- * following the type `T` or not, you can choose the {@link is} function instead.
- * Otherwise you want to know all the errors, {@link validate} is the way to go.
- * Also, if you want to returns the parametric value when no problem, you can use
- * {@link assert} function instead.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link assertGuardEquals} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be asserted
- * @throws A {@link TypeGuardError} instance with detailed reason
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function assertGuard<T>(input: T): asserts input is T;
-
-/**
- * Assertion guard of a value type.
- *
- * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
- * reason, if the parametric value is not following the type `T`. Otherwise, the
- * value is following the type `T`, nothing would be returned, but the input value
- * would be automatically casted to the type `T`. This is the concept of
- * "Assertion Guard" of a value type.
- *
- * If what you want is not asserting but just knowing whether the parametric value is
- * following the type `T` or not, you can choose the {@link is} function instead.
- * Otherwise you want to know all the errors, {@link validate} is the way to go.
- * Also, if you want to returns the parametric value when no problem, you can use
- * {@link assert} function instead.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link assertGuardEquals} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be asserted
- * @throws A {@link TypeGuardError} instance with detailed reason
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function assertGuard<T>(input: unknown): asserts input is T;
-
-/**
- * @internal
- */
-function assertGuard(): never {
-  halt("assertGuard");
-}
-const assertGuardPure = /** @__PURE__ */ Object.assign(assertGuard, /** @__PURE__ */ Namespace.assert("assertGuard"));
-export { assertGuardPure as assertGuard };
-
-/**
- * Tests a value type.
- *
- * Tests a parametric value type and returns whether it's following the type `T` or not.
- * If the parametric value is matched with the type `T`, `true` value would be returned.
- * Otherwise, the parametric value is not following the type `T`, `false` value would be
- * returned.
- *
- * If what you want is not just knowing whether the parametric value is following the
- * type `T` or not, but throwing an exception with detailed reason, you can choose
- * {@link assert} function instead. Also, if you want to know all the errors with
- * detailed reasons, {@link validate} function would be useful.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link equals} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be tested
- * @returns Whether the parametric value is following the type `T` or not
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function is<T>(input: T): input is T;
-
-/**
- * Tests a value type.
- *
- * Tests a parametric value type and returns whether it's following the type `T` or not.
- * If the parametric value is matched with the type `T`, `true` value would be returned.
- * Otherwise, the parametric value is not following the type `T`, `false` value would be
- * returned.
- *
- * If what you want is not just knowing whether the parametric value is following the
- * type `T` or not, but throwing an exception with detailed reason, you can choose
- * {@link assert} function instead. Also, if you want to know all the errors with
- * detailed reasons, {@link validate} function would be useful.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link equals} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be tested
- * @returns Whether the parametric value is following the type `T` or not
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function is<T>(input: unknown): input is T;
-
-/**
- * @internal
- */
-function is(): never {
-  halt("is");
-}
-const isPure = /** @__PURE__ */ Object.assign(is, /** @__PURE__ */ Namespace.assert("is"));
-export { isPure as is };
-
-/**
- * Validates a value type.
- *
- * Validates a parametric value type and archives all the type errors into an
- * {@link IValidation.errors} array, if the parametric value is not following the
- * type `T`. Of course, if the parametric value is following the type `T`, the
- * {@link IValidation.errors} array would be empty and {@link IValidation.success}
- * would have the `true` value.
- *
- * If what you want is not finding all the error, but asserting the parametric value
- * type with exception throwing, you can choose {@link assert} function instead.
- * Otherwise, you just want to know whether the parametric value is matched with the
- * type `T`, {@link is} function is the way to go.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link validateEquals} function instead.
- *
- * @template Type of the input value
- * @param input A value to be validated
- * @returns Validation result
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function validate<T>(input: T): IValidation<T>;
-
-/**
- * Validates a value type.
- *
- * Validates a parametric value type and archives all the type errors into an
- * {@link IValidation.errors} array, if the parametric value is not following the
- * type `T`. Of course, if the parametric value is following the type `T`, the
- * {@link IValidation.errors} array would be empty and {@link IValidation.success}
- * would have the `true` value.
- *
- * If what you want is not finding all the error, but asserting the parametric value
- * type with exception throwing, you can choose {@link assert} function instead.
- * Otherwise, you just want to know whether the parametric value is matched with the
- * type `T`, {@link is} function is the way to go.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link validateEquals} function instead.
- *
- * @template Type of the input value
- * @param input A value to be validated
- * @returns Validation result
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function validate<T>(input: unknown): IValidation<T>;
-
-/**
- * @internal
- */
-function validate(): never {
-  halt("validate");
-}
-const validatePure = /** @__PURE__ */ Object.assign(validate, /** @__PURE__ */ Namespace.validate());
-export { validatePure as validate };
-
-/* -----------------------------------------------------------
-    STRICT VALIDATORS
------------------------------------------------------------ */
-/**
- * Asserts equality between a value and its type.
- *
- * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
- * reason, if the parametric value is not following the type `T` or some superfluous
- * property that is not listed on the type `T` has been found. Otherwise, the value is
- * following the type `T` without any superfluous property, just input parameter would
- * be returned.
- *
- * If what you want is not asserting but just knowing whether the parametric value is
- * following the type `T` or not, you can choose the {@link equals} function instead.
- * Otherwise, you want to know all the errors, {@link validateEquals} is the way to go.
- *
- * On the other hand, if you want to allow superfluous property that is not enrolled
- * to the type `T`, you can use {@link assert} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be asserted
- * @returns Parametric input value
- * @throws A {@link TypeGuardError} instance with detailed reason
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function assertEquals<T>(input: T): T;
-
-/**
- * Asserts equality between a value and its type.
- *
- * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
- * reason, if the parametric value is not following the type `T` or some superfluous
- * property that is not listed on the type `T` has been found. Otherwise, the value is
- * following the type `T` without any superfluous property, just input parameter would
- * be returned.
- *
- * If what you want is not asserting but just knowing whether the parametric value is
- * following the type `T` or not, you can choose the {@link equals} function instead.
- * Otherwise, you want to know all the errors, {@link validateEquals} is the way to go.
- *
- * On the other hand, if you want to allow superfluous property that is not enrolled
- * to the type `T`, you can use {@link assert} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be asserted
- * @returns Parametric input value casted as `T`
- * @throws A {@link TypeGuardError} instance with detailed reason
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function assertEquals<T>(input: unknown): T;
-
-/**
- * @internal
- */
-function assertEquals(): never {
-  halt("assertEquals");
-}
-const assertEqualsPure = /** @__PURE__ */ Object.assign(assertEquals, /** @__PURE__ */ Namespace.assert("assertEquals"));
-export { assertEqualsPure as assertEquals };
-
-/**
- * Assertion guard of a type with equality.
- *
- * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
- * reason, if the parametric value is not following the type `T` or some superfluous
- * property that is not listed on the type `T` has been found.
- *
- * Otherwise, the value is following the type `T` without any superfluous property,
- * nothing would be returned, but the input value would be automatically casted to
- * the type `T`. This is the concept of "Assertion Guard" of a value type.
- *
- * If what you want is not asserting but just knowing whether the parametric value is
- * following the type `T` or not, you can choose the {@link equals} function instead.
- * Otherwise, you want to know all the errors, {@link validateEquals} is the way to go.
- * Also, if you want to returns the parametric value when no problem, you can use
- * {@link assert} function instead.
- *
- * On the other hand, if you want to allow superfluous property that is not enrolled
- * to the type `T`, you can use {@link assertEquals} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be asserted
- * @returns Parametric input value casted as `T`
- * @throws A {@link TypeGuardError} instance with detailed reason
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function assertGuardEquals<T>(input: T): asserts input is T;
-
-/**
- * Assertion guard of a type with equality.
- *
- * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
- * reason, if the parametric value is not following the type `T` or some superfluous
- * property that is not listed on the type `T` has been found.
- *
- * Otherwise, the value is following the type `T` without any superfluous property,
- * nothing would be returned, but the input value would be automatically casted to
- * the type `T`. This is the concept of "Assertion Guard" of a value type.
- *
- * If what you want is not asserting but just knowing whether the parametric value is
- * following the type `T` or not, you can choose the {@link equals} function instead.
- * Otherwise, you want to know all the errors, {@link validateEquals} is the way to go.
- * Also, if you want to returns the parametric value when no problem, you can use
- * {@link assertEquals} function instead.
- *
- * On the other hand, if you want to allow superfluous property that is not enrolled
- * to the type `T`, you can use {@link assertGuard} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be asserted
- * @returns Parametric input value casted as `T`
- * @throws A {@link TypeGuardError} instance with detailed reason
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function assertGuardEquals<T>(input: unknown): asserts input is T;
-
-/**
- * @internal
- */
-function assertGuardEquals(): never {
-  halt("assertGuardEquals");
-}
-const assertGuardEqualsPure = /** @__PURE__ */ Object.assign(assertGuardEquals, /** @__PURE__ */ Namespace.assert("assertGuardEquals"));
-export { assertGuardEqualsPure as assertGuardEquals };
-
-/**
- * Tests equality between a value and its type.
- *
- * Tests a parametric value type and returns whether it's equivalent to the type `T`
- * or not. If the parametric value is matched with the type `T` and there's not any
- * superfluous property that is not listed on the type `T`, `true` value would be
- * returned. Otherwise, the parametric value is not following the type `T` or some
- * superfluous property exists, `false` value would be returned.
- *
- * If what you want is not just knowing whether the parametric value is following the
- * type `T` or not, but throwing an exception with detailed reason, you can choose
- * {@link assertEquals} function instead. Also, if you want to know all the errors with
- * detailed reasons, {@link validateEquals} function would be useful.
- *
- * On the other hand, if you want to allow superfluous property that is not enrolled
- * to the type `T`, you can use {@link is} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be tested
- * @returns Whether the parametric value is equivalent to the type `T` or not
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function equals<T>(input: T): input is T;
-
-/**
- * Tests equality between a value and its type.
- *
- * Tests a parametric value type and returns whether it's equivalent to the type `T`
- * or not. If the parametric value is matched with the type `T` and there's not any
- * superfluous property that is not listed on the type `T`, `true` value would be
- * returned. Otherwise, the parametric value is not following the type `T` or some
- * superfluous property exists, `false` value would be returned.
- *
- * If what you want is not just knowing whether the parametric value is following the
- * type `T` or not, but throwing an exception with detailed reason, you can choose
- * {@link assertEquals} function instead. Also, if you want to know all the errors with
- * detailed reasons, {@link validateEquals} function would be useful.
- *
- * On the other hand, if you want to allow superfluous property that is not enrolled
- * to the type `T`, you can use {@link is} function instead.
- *
- * @template T Type of the input value
- * @param input A value to be tested
- * @returns Whether the parametric value is equivalent to the type `T` or not
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function equals<T>(input: unknown): input is T;
-
-/**
- * @internal
- */
-function equals(): never {
-  halt("equals");
-}
-const equalsPure = /** @__PURE__ */ Object.assign(equals, /** @__PURE__ */ Namespace.is());
-export { equalsPure as equals };
-
-/**
- * Validates equality between a value and its type.
- *
- * Validates a parametric value type and archives all the type errors into an
- * {@link IValidation.errors} array, if the parametric value is not following the
- * type `T` or some superfluous property that is not listed on the type `T` has been
- * found. Of course, if the parametric value is following the type `T` and no
- * superfluous property exists, the {@link IValidation.errors} array would be empty
- * and {@link IValidation.success} would have the `true` value.
- *
- * If what you want is not finding all the error, but asserting the parametric value
- * type with exception throwing, you can choose {@link assert} function instead.
- * Otherwise, you just want to know whether the parametric value is matched with the
- * type `T`, {@link is} function is the way to go.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link validateEquals} function instead.
- *
- * @template Type of the input value
- * @param input A value to be validated
- * @returns Validation result
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function validateEquals<T>(input: T): IValidation<T>;
-
-/**
- * Validates equality between a value and its type.
- *
- * Validates a parametric value type and archives all the type errors into an
- * {@link IValidation.errors} array, if the parametric value is not following the
- * type `T` or some superfluous property that is not listed on the type `T` has been
- * found. Of course, if the parametric value is following the type `T` and no
- * superfluous property exists, the {@link IValidation.errors} array would be empty
- * and {@link IValidation.success} would have the `true` value.
- *
- * If what you want is not finding all the error, but asserting the parametric value
- * type with exception throwing, you can choose {@link assert} function instead.
- * Otherwise, you just want to know whether the parametric value is matched with the
- * type `T`, {@link is} function is the way to go.
- *
- * On the other and, if you don't want to allow any superfluous property that is not
- * enrolled to the type `T`, you can use {@link validateEquals} function instead.
- *
- * @template Type of the input value
- * @param input A value to be validated
- * @returns Validation result
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function validateEquals<T>(input: unknown): IValidation<T>;
-
-/**
- * @internal
- */
-function validateEquals(): never {
-  halt("validateEquals");
-}
-const validateEqualsPure = /** @__PURE__ */ Object.assign(validateEquals, /** @__PURE__ */ Namespace.validate());
-export { validateEqualsPure as validateEquals };
-
-/* -----------------------------------------------------------
-    RANDOM
------------------------------------------------------------ */
-/**
- * > You must configure the generic argument `T`.
- *
- * Generate random data.
- *
- * Generates a random data following type the `T`.
- *
- * For reference, this `typia.random()` function generates only primitive type.
- * If there're some methods in the type `T` or its nested instances, those would
- * be ignored. Also, when the type `T` has a `toJSON()` method, its return type
- * would be generated instead.
- *
- * @template T Type of data to generate
- * @param generator Random data generator
- * @return Randomly generated data
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function random(generator?: Partial<IRandomGenerator>): never;
-
-/**
- * Generate random data.
- *
- * Generates a random data following type the `T`.
- *
- * For reference, this `typia.random()` function generates only primitive type.
- * If there're some methods in the type `T` or its nested instances, those would
- * be ignored. Also, when the type `T` has a `toJSON()` method, its return type
- * would be generated instead.
- *
- * @template T Type of data to generate
- * @param generator Random data generator
- * @return Randomly generated data
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function random<T>(generator?: Partial<IRandomGenerator>): Resolved<T>;
-
-/**
- * @internal
- */
-function random(): never {
-  halt("random");
-}
-const randomPure = /** @__PURE__ */ Object.assign(random, /** @__PURE__ */ Namespace.random());
-export { randomPure as random };
-
-/* -----------------------------------------------------------
-    FACTORY FUNCTIONS
------------------------------------------------------------ */
-/**
- * Creates a reusable {@link assert} 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
- */
-function createAssert(): never;
-
-/**
- * Creates a reusable {@link assert} function.
- *
- * @template T Type of the input value
- * @returns A reusable `assert` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createAssert<T>(): (input: unknown) => T;
-
-/**
- * @internal
- */
-function createAssert<T>(): (input: unknown) => T {
-  halt("createAssert");
-}
-const createAssertPure = /** @__PURE__ */ Object.assign(createAssert, assert);
-export { createAssertPure as createAssert };
-
-/**
- * Creates a reusable {@link assertGuard} function.
- *
- * Note that, you've to declare the variable type of the factory function caller
- * like below. If you don't declare the variable type, compilation error be thrown.
- * This is the special rule of the TypeScript compiler.
- *
- * ```typescript
- * // MUST DECLARE THE VARIABLE TYPE
- * const func: typia.AssertionGuard<number> = typia.createAssertGuard<number>();
- *
- * // IF NOT, COMPILATION ERROR BE OCCURED
- * const func = typia.createAssertGuard<number>();
- * ```
- *
- * > *Assertions require every name in the call target to be declared with an*
- * > *explicit type annotation.*
- *
- * @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
- */
-function createAssertGuard(): never;
-
-/**
- * Creates a reusable {@link assertGuard} function.
- *
- * Note that, you've to declare the variable type of the factory function caller
- * like below. If you don't declare the variable type, compilation error be thrown.
- * This is the special rule of the TypeScript compiler.
- *
- * ```typescript
- * // MUST DECLARE THE VARIABLE TYPE
- * const func: typia.AssertionGuard<number> = typia.createAssertGuard<number>();
- *
- * // IF NOT, COMPILATION ERROR BE OCCURED
- * const func = typia.createAssertGuard<number>();
- * ```
- *
- * > *Assertions require every name in the call target to be declared with an*
- * > *explicit type annotation.*
- *
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createAssertGuard<T>(): (input: unknown) => AssertionGuard<T>;
-
-/**
- * @internal
- */
-function createAssertGuard<T>(): (input: unknown) => AssertionGuard<T> {
-  halt("createAssertGuard");
-}
-const createAssertGuardPure = /** @__PURE__ */ Object.assign(createAssertGuard, assertGuard);
-export { createAssertGuardPure as createAssertGuard };
-
-/**
- * Creates a reusable {@link is} 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
- */
-function createIs(): never;
-
-/**
- * Creates a reusable {@link is} function.
- *
- * @template T Type of the input value
- * @returns A reusable `is` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createIs<T>(): (input: unknown) => input is T;
-
-/**
- * @internal
- */
-function createIs<T>(): (input: unknown) => input is T {
-  halt("createIs");
-}
-const createIsPure = /** @__PURE__ */ Object.assign(createIs, is);
-export { createIsPure as createIs };
-
-/**
- * Creates a reusable {@link validate} 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
- */
-function createValidate(): never;
-
-/**
- * Creates a reusable {@link validate} function.
- *
- * @template T Type of the input value
- * @returns A reusable `validate` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createValidate<T>(): (input: unknown) => IValidation<T>;
-
-/**
- * @internal
- */
-function createValidate(): (input: unknown) => IValidation {
-  halt("createValidate");
-}
-const createValidatePure = /** @__PURE__ */ Object.assign(createValidate, validate);
-export { createValidatePure as createValidate };
-
-/**
- * Creates a reusable {@link assertEquals} 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
- */
-function createAssertEquals(): never;
-
-/**
- * Creates a reusable {@link assertEquals} function.
- *
- * @template T Type of the input value
- * @returns A reusable `assertEquals` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createAssertEquals<T>(): (input: unknown) => T;
-
-/**
- * @internal
- */
-function createAssertEquals<T>(): (input: unknown) => T {
-  halt("createAssertEquals");
-}
-const createAssertEqualsPure = /** @__PURE__ */ Object.assign(createAssertEquals, assertEquals);
-export { createAssertEqualsPure as createAssertEquals };
-
-/**
- * Creates a reusable {@link assertGuardEquals} function.
- *
- * Note that, you've to declare the variable type of the factory function caller
- * like below. If you don't declare the variable type, compilation error be thrown.
- * This is the special rule of the TypeScript compiler.
- *
- * ```typescript
- * // MUST DECLARE THE VARIABLE TYPE
- * const func: typia.AssertionGuard<number> = typia.createAssertGuardEquals<number>();
- *
- * // IF NOT, COMPILATION ERROR BE OCCURED
- * const func = typia.createAssertGuardEquals<number>();
- * ```
- *
- * > *Assertions require every name in the call target to be declared with an*
- * > *explicit type annotation.*
- *
- * @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
- */
-function createAssertGuardEquals(): never;
-
-/**
- * Creates a reusable {@link assertGuardEquals} function.
- *
- * Note that, you've to declare the variable type of the factory function caller
- * like below. If you don't declare the variable type, compilation error be thrown.
- * This is the special rule of the TypeScript compiler.
- *
- * ```typescript
- * // MUST DECLARE THE VARIABLE TYPE
- * const func: typia.AssertionGuard<number> = typia.createAssertGuardEquals<number>();
- *
- * // IF NOT, COMPILATION ERROR BE OCCURED
- * const func = typia.createAssertGuardEquals<number>();
- * ```
- *
- * > *Assertions require every name in the call target to be declared with an*
- * > *explicit type annotation.*
- *
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createAssertGuardEquals<T>(): (
-  input: unknown,
-) => AssertionGuard<T>;
-
-/**
- * @internal
- */
-function createAssertGuardEquals<T>(): (
-  input: unknown,
-) => AssertionGuard<T> {
-  halt("createAssertGuardEquals");
-}
-const createAssertGuardEqualsPure = /** @__PURE__ */ Object.assign(createAssertGuardEquals, assertGuardEquals);
-export { createAssertGuardEqualsPure as createAssertGuardEquals };
-
-/**
- * Creates a reusable {@link equals} 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
- */
-function createEquals(): never;
-
-/**
- * Creates a reusable {@link equals} function.
- *
- * @template T Type of the input value
- * @returns A reusable `equals` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createEquals<T>(): (input: unknown) => input is T;
-
-/**
- * @internal
- */
-function createEquals<T>(): (input: unknown) => input is T {
-  halt("createEquals");
-}
-const createEqualsPure = /** @__PURE__ */ Object.assign(createEquals, equals);
-export { createEqualsPure as createEquals };
-
-/**
- * Creates a reusable {@link validateEquals} 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
- */
-function createValidateEquals(): never;
-
-/**
- * Creates a reusable {@link validateEquals} function.
- *
- * @template T Type of the input value
- * @returns A reusable `validateEquals` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createValidateEquals<T>(): (input: unknown) => IValidation<T>;
-
-/**
- * @internal
- */
-function createValidateEquals(): (input: unknown) => IValidation {
-  halt("createValidateEquals");
-}
-const createValidateEqualsPure = /** @__PURE__ */ Object.assign(createValidateEquals, validateEquals);
-export { createValidateEqualsPure as createValidateEquals };
-
-/**
- * Creates a reusable {@link random} function.
- *
- * @danger You must configure the generic argument `T`
- * @param generator Random data generator
- * @returns Nothing until you configure the generic argument `T`
- * @throws compile error
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createRandom(generator?: Partial<IRandomGenerator>): never;
-
-/**
- * Creates a resuable {@link random} function.
- *
- * @template T Type of the input value
- * @param generator Random data generator
- * @returns A reusable `random` function
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-function createRandom<T>(
-  generator?: Partial<IRandomGenerator>,
-): () => Resolved<T>;
-
-/**
- * @internal
- */
-function createRandom(): never {
-  halt("createRandom");
-}
-const createRandomPure = /** @__PURE__ */ Object.assign(createRandom, random);
-export { createRandomPure as createRandom };
-
-/**
- * @internal
- */
-function halt(name: string): never {
-  throw new Error(
-    `Error on typia.${name}(): no transform has been configured. Read and follow https://typia.io/docs/setup please.`,
-  );
-}
+import * as Namespace from "./functional/Namespace";
+
+import { AssertionGuard } from "./AssertionGuard";
+import { IRandomGenerator } from "./IRandomGenerator";
+import { IValidation } from "./IValidation";
+import { Resolved } from "./Resolved";
+
+export * as http from "./http";
+export * as json from "./json";
+export * as misc from "./misc";
+export * as notations from "./notations";
+export * as protobuf from "./protobuf";
+export * as reflect from "./reflect";
+export * as tags from "./tags";
+
+export * from "./schemas/metadata/IJsDocTagInfo";
+export * from "./schemas/json/IJsonApplication";
+export * from "./schemas/json/IJsonComponents";
+export * from "./schemas/json/IJsonSchema";
+export * from "./AssertionGuard";
+export * from "./IRandomGenerator";
+export * from "./IValidation";
+export * from "./TypeGuardError";
+
+export * from "./Primitive";
+export * from "./Resolved";
+export * from "./CamelCase";
+export * from "./PascalCase";
+export * from "./SnakeCase";
+
+/* -----------------------------------------------------------
+    BASIC VALIDATORS
+----------------------------------------------------------- */
+/**
+ * Asserts a value type.
+ *
+ * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
+ * reason, if the parametric value is not following the type `T`. Otherwise, the
+ * value is following the type `T`, just input parameter would be returned.
+ *
+ * If what you want is not asserting but just knowing whether the parametric value is
+ * following the type `T` or not, you can choose the {@link is} function instead.
+ * Otherwise you want to know all the errors, {@link validate} is the way to go.
+ * Also, if you want to automatically cast the parametric value to the type `T`
+ * when no problem (perform the assertion guard of type).
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link assertEquals} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be asserted
+ * @returns Parametric input value
+ * @throws A {@link TypeGuardError} instance with detailed reason
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function assert<T>(input: T): T;
+
+/**
+ * Asserts a value type.
+ *
+ * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
+ * reason, if the parametric value is not following the type `T`. Otherwise, the
+ * value is following the type `T`, just input parameter would be returned.
+ *
+ * If what you want is not asserting but just knowing whether the parametric value is
+ * following the type `T` or not, you can choose the {@link is} function instead.
+ * Otherwise, you want to know all the errors, {@link validate} is the way to go.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link assertEquals} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be asserted
+ * @returns Parametric input value casted as `T`
+ * @throws A {@link TypeGuardError} instance with detailed reason
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function assert<T>(input: unknown): T;
+
+/**
+ * @internal
+ */
+function assert(): never {
+  halt("assert");
+}
+const assertPure = /** @__PURE__ */ Object.assign<typeof assert, {}>(
+  assert,
+  /** @__PURE__ */ Namespace.assert("assert"),
+);
+export { assertPure as assert };
+
+/**
+ * Assertion guard of a value type.
+ *
+ * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
+ * reason, if the parametric value is not following the type `T`. Otherwise, the
+ * value is following the type `T`, nothing would be returned, but the input value
+ * would be automatically casted to the type `T`. This is the concept of
+ * "Assertion Guard" of a value type.
+ *
+ * If what you want is not asserting but just knowing whether the parametric value is
+ * following the type `T` or not, you can choose the {@link is} function instead.
+ * Otherwise you want to know all the errors, {@link validate} is the way to go.
+ * Also, if you want to returns the parametric value when no problem, you can use
+ * {@link assert} function instead.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link assertGuardEquals} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be asserted
+ * @throws A {@link TypeGuardError} instance with detailed reason
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function assertGuard<T>(input: T): asserts input is T;
+
+/**
+ * Assertion guard of a value type.
+ *
+ * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
+ * reason, if the parametric value is not following the type `T`. Otherwise, the
+ * value is following the type `T`, nothing would be returned, but the input value
+ * would be automatically casted to the type `T`. This is the concept of
+ * "Assertion Guard" of a value type.
+ *
+ * If what you want is not asserting but just knowing whether the parametric value is
+ * following the type `T` or not, you can choose the {@link is} function instead.
+ * Otherwise you want to know all the errors, {@link validate} is the way to go.
+ * Also, if you want to returns the parametric value when no problem, you can use
+ * {@link assert} function instead.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link assertGuardEquals} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be asserted
+ * @throws A {@link TypeGuardError} instance with detailed reason
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function assertGuard<T>(input: unknown): asserts input is T;
+
+/**
+ * @internal
+ */
+function assertGuard(): never {
+  halt("assertGuard");
+}
+const assertGuardPure = /** @__PURE__ */ Object.assign<typeof assertGuard, {}>(
+  assertGuard,
+  /** @__PURE__ */ Namespace.assert("assertGuard"),
+);
+export { assertGuardPure as assertGuard };
+
+/**
+ * Tests a value type.
+ *
+ * Tests a parametric value type and returns whether it's following the type `T` or not.
+ * If the parametric value is matched with the type `T`, `true` value would be returned.
+ * Otherwise, the parametric value is not following the type `T`, `false` value would be
+ * returned.
+ *
+ * If what you want is not just knowing whether the parametric value is following the
+ * type `T` or not, but throwing an exception with detailed reason, you can choose
+ * {@link assert} function instead. Also, if you want to know all the errors with
+ * detailed reasons, {@link validate} function would be useful.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link equals} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be tested
+ * @returns Whether the parametric value is following the type `T` or not
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function is<T>(input: T): input is T;
+
+/**
+ * Tests a value type.
+ *
+ * Tests a parametric value type and returns whether it's following the type `T` or not.
+ * If the parametric value is matched with the type `T`, `true` value would be returned.
+ * Otherwise, the parametric value is not following the type `T`, `false` value would be
+ * returned.
+ *
+ * If what you want is not just knowing whether the parametric value is following the
+ * type `T` or not, but throwing an exception with detailed reason, you can choose
+ * {@link assert} function instead. Also, if you want to know all the errors with
+ * detailed reasons, {@link validate} function would be useful.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link equals} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be tested
+ * @returns Whether the parametric value is following the type `T` or not
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function is<T>(input: unknown): input is T;
+
+/**
+ * @internal
+ */
+function is(): never {
+  halt("is");
+}
+const isPure = /** @__PURE__ */ Object.assign<typeof is, {}>(
+  is,
+  /** @__PURE__ */ Namespace.assert("is"),
+);
+export { isPure as is };
+
+/**
+ * Validates a value type.
+ *
+ * Validates a parametric value type and archives all the type errors into an
+ * {@link IValidation.errors} array, if the parametric value is not following the
+ * type `T`. Of course, if the parametric value is following the type `T`, the
+ * {@link IValidation.errors} array would be empty and {@link IValidation.success}
+ * would have the `true` value.
+ *
+ * If what you want is not finding all the error, but asserting the parametric value
+ * type with exception throwing, you can choose {@link assert} function instead.
+ * Otherwise, you just want to know whether the parametric value is matched with the
+ * type `T`, {@link is} function is the way to go.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link validateEquals} function instead.
+ *
+ * @template Type of the input value
+ * @param input A value to be validated
+ * @returns Validation result
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function validate<T>(input: T): IValidation<T>;
+
+/**
+ * Validates a value type.
+ *
+ * Validates a parametric value type and archives all the type errors into an
+ * {@link IValidation.errors} array, if the parametric value is not following the
+ * type `T`. Of course, if the parametric value is following the type `T`, the
+ * {@link IValidation.errors} array would be empty and {@link IValidation.success}
+ * would have the `true` value.
+ *
+ * If what you want is not finding all the error, but asserting the parametric value
+ * type with exception throwing, you can choose {@link assert} function instead.
+ * Otherwise, you just want to know whether the parametric value is matched with the
+ * type `T`, {@link is} function is the way to go.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link validateEquals} function instead.
+ *
+ * @template Type of the input value
+ * @param input A value to be validated
+ * @returns Validation result
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function validate<T>(input: unknown): IValidation<T>;
+
+/**
+ * @internal
+ */
+function validate(): never {
+  halt("validate");
+}
+const validatePure = /** @__PURE__ */ Object.assign<typeof validate, {}>(
+  validate,
+  /** @__PURE__ */ Namespace.validate(),
+);
+export { validatePure as validate };
+
+/* -----------------------------------------------------------
+    STRICT VALIDATORS
+----------------------------------------------------------- */
+/**
+ * Asserts equality between a value and its type.
+ *
+ * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
+ * reason, if the parametric value is not following the type `T` or some superfluous
+ * property that is not listed on the type `T` has been found. Otherwise, the value is
+ * following the type `T` without any superfluous property, just input parameter would
+ * be returned.
+ *
+ * If what you want is not asserting but just knowing whether the parametric value is
+ * following the type `T` or not, you can choose the {@link equals} function instead.
+ * Otherwise, you want to know all the errors, {@link validateEquals} is the way to go.
+ *
+ * On the other hand, if you want to allow superfluous property that is not enrolled
+ * to the type `T`, you can use {@link assert} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be asserted
+ * @returns Parametric input value
+ * @throws A {@link TypeGuardError} instance with detailed reason
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function assertEquals<T>(input: T): T;
+
+/**
+ * Asserts equality between a value and its type.
+ *
+ * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
+ * reason, if the parametric value is not following the type `T` or some superfluous
+ * property that is not listed on the type `T` has been found. Otherwise, the value is
+ * following the type `T` without any superfluous property, just input parameter would
+ * be returned.
+ *
+ * If what you want is not asserting but just knowing whether the parametric value is
+ * following the type `T` or not, you can choose the {@link equals} function instead.
+ * Otherwise, you want to know all the errors, {@link validateEquals} is the way to go.
+ *
+ * On the other hand, if you want to allow superfluous property that is not enrolled
+ * to the type `T`, you can use {@link assert} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be asserted
+ * @returns Parametric input value casted as `T`
+ * @throws A {@link TypeGuardError} instance with detailed reason
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function assertEquals<T>(input: unknown): T;
+
+/**
+ * @internal
+ */
+function assertEquals(): never {
+  halt("assertEquals");
+}
+const assertEqualsPure = /** @__PURE__ */ Object.assign<
+  typeof assertEquals,
+  {}
+>(assertEquals, /** @__PURE__ */ Namespace.assert("assertEquals"));
+export { assertEqualsPure as assertEquals };
+
+/**
+ * Assertion guard of a type with equality.
+ *
+ * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
+ * reason, if the parametric value is not following the type `T` or some superfluous
+ * property that is not listed on the type `T` has been found.
+ *
+ * Otherwise, the value is following the type `T` without any superfluous property,
+ * nothing would be returned, but the input value would be automatically casted to
+ * the type `T`. This is the concept of "Assertion Guard" of a value type.
+ *
+ * If what you want is not asserting but just knowing whether the parametric value is
+ * following the type `T` or not, you can choose the {@link equals} function instead.
+ * Otherwise, you want to know all the errors, {@link validateEquals} is the way to go.
+ * Also, if you want to returns the parametric value when no problem, you can use
+ * {@link assert} function instead.
+ *
+ * On the other hand, if you want to allow superfluous property that is not enrolled
+ * to the type `T`, you can use {@link assertEquals} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be asserted
+ * @returns Parametric input value casted as `T`
+ * @throws A {@link TypeGuardError} instance with detailed reason
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function assertGuardEquals<T>(input: T): asserts input is T;
+
+/**
+ * Assertion guard of a type with equality.
+ *
+ * Asserts a parametric value type and throws a {@link TypeGuardError} with detailed
+ * reason, if the parametric value is not following the type `T` or some superfluous
+ * property that is not listed on the type `T` has been found.
+ *
+ * Otherwise, the value is following the type `T` without any superfluous property,
+ * nothing would be returned, but the input value would be automatically casted to
+ * the type `T`. This is the concept of "Assertion Guard" of a value type.
+ *
+ * If what you want is not asserting but just knowing whether the parametric value is
+ * following the type `T` or not, you can choose the {@link equals} function instead.
+ * Otherwise, you want to know all the errors, {@link validateEquals} is the way to go.
+ * Also, if you want to returns the parametric value when no problem, you can use
+ * {@link assertEquals} function instead.
+ *
+ * On the other hand, if you want to allow superfluous property that is not enrolled
+ * to the type `T`, you can use {@link assertGuard} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be asserted
+ * @returns Parametric input value casted as `T`
+ * @throws A {@link TypeGuardError} instance with detailed reason
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function assertGuardEquals<T>(input: unknown): asserts input is T;
+
+/**
+ * @internal
+ */
+function assertGuardEquals(): never {
+  halt("assertGuardEquals");
+}
+const assertGuardEqualsPure = /** @__PURE__ */ Object.assign<
+  typeof assertGuardEquals,
+  {}
+>(assertGuardEquals, /** @__PURE__ */ Namespace.assert("assertGuardEquals"));
+export { assertGuardEqualsPure as assertGuardEquals };
+
+/**
+ * Tests equality between a value and its type.
+ *
+ * Tests a parametric value type and returns whether it's equivalent to the type `T`
+ * or not. If the parametric value is matched with the type `T` and there's not any
+ * superfluous property that is not listed on the type `T`, `true` value would be
+ * returned. Otherwise, the parametric value is not following the type `T` or some
+ * superfluous property exists, `false` value would be returned.
+ *
+ * If what you want is not just knowing whether the parametric value is following the
+ * type `T` or not, but throwing an exception with detailed reason, you can choose
+ * {@link assertEquals} function instead. Also, if you want to know all the errors with
+ * detailed reasons, {@link validateEquals} function would be useful.
+ *
+ * On the other hand, if you want to allow superfluous property that is not enrolled
+ * to the type `T`, you can use {@link is} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be tested
+ * @returns Whether the parametric value is equivalent to the type `T` or not
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function equals<T>(input: T): input is T;
+
+/**
+ * Tests equality between a value and its type.
+ *
+ * Tests a parametric value type and returns whether it's equivalent to the type `T`
+ * or not. If the parametric value is matched with the type `T` and there's not any
+ * superfluous property that is not listed on the type `T`, `true` value would be
+ * returned. Otherwise, the parametric value is not following the type `T` or some
+ * superfluous property exists, `false` value would be returned.
+ *
+ * If what you want is not just knowing whether the parametric value is following the
+ * type `T` or not, but throwing an exception with detailed reason, you can choose
+ * {@link assertEquals} function instead. Also, if you want to know all the errors with
+ * detailed reasons, {@link validateEquals} function would be useful.
+ *
+ * On the other hand, if you want to allow superfluous property that is not enrolled
+ * to the type `T`, you can use {@link is} function instead.
+ *
+ * @template T Type of the input value
+ * @param input A value to be tested
+ * @returns Whether the parametric value is equivalent to the type `T` or not
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function equals<T>(input: unknown): input is T;
+
+/**
+ * @internal
+ */
+function equals(): never {
+  halt("equals");
+}
+const equalsPure = /** @__PURE__ */ Object.assign<typeof equals, {}>(
+  equals,
+  /** @__PURE__ */ Namespace.is(),
+);
+export { equalsPure as equals };
+
+/**
+ * Validates equality between a value and its type.
+ *
+ * Validates a parametric value type and archives all the type errors into an
+ * {@link IValidation.errors} array, if the parametric value is not following the
+ * type `T` or some superfluous property that is not listed on the type `T` has been
+ * found. Of course, if the parametric value is following the type `T` and no
+ * superfluous property exists, the {@link IValidation.errors} array would be empty
+ * and {@link IValidation.success} would have the `true` value.
+ *
+ * If what you want is not finding all the error, but asserting the parametric value
+ * type with exception throwing, you can choose {@link assert} function instead.
+ * Otherwise, you just want to know whether the parametric value is matched with the
+ * type `T`, {@link is} function is the way to go.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link validateEquals} function instead.
+ *
+ * @template Type of the input value
+ * @param input A value to be validated
+ * @returns Validation result
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function validateEquals<T>(input: T): IValidation<T>;
+
+/**
+ * Validates equality between a value and its type.
+ *
+ * Validates a parametric value type and archives all the type errors into an
+ * {@link IValidation.errors} array, if the parametric value is not following the
+ * type `T` or some superfluous property that is not listed on the type `T` has been
+ * found. Of course, if the parametric value is following the type `T` and no
+ * superfluous property exists, the {@link IValidation.errors} array would be empty
+ * and {@link IValidation.success} would have the `true` value.
+ *
+ * If what you want is not finding all the error, but asserting the parametric value
+ * type with exception throwing, you can choose {@link assert} function instead.
+ * Otherwise, you just want to know whether the parametric value is matched with the
+ * type `T`, {@link is} function is the way to go.
+ *
+ * On the other and, if you don't want to allow any superfluous property that is not
+ * enrolled to the type `T`, you can use {@link validateEquals} function instead.
+ *
+ * @template Type of the input value
+ * @param input A value to be validated
+ * @returns Validation result
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function validateEquals<T>(input: unknown): IValidation<T>;
+
+/**
+ * @internal
+ */
+function validateEquals(): never {
+  halt("validateEquals");
+}
+const validateEqualsPure = /** @__PURE__ */ Object.assign<
+  typeof validateEquals,
+  {}
+>(validateEquals, /** @__PURE__ */ Namespace.validate());
+export { validateEqualsPure as validateEquals };
+
+/* -----------------------------------------------------------
+    RANDOM
+----------------------------------------------------------- */
+/**
+ * > You must configure the generic argument `T`.
+ *
+ * Generate random data.
+ *
+ * Generates a random data following type the `T`.
+ *
+ * For reference, this `typia.random()` function generates only primitive type.
+ * If there're some methods in the type `T` or its nested instances, those would
+ * be ignored. Also, when the type `T` has a `toJSON()` method, its return type
+ * would be generated instead.
+ *
+ * @template T Type of data to generate
+ * @param generator Random data generator
+ * @return Randomly generated data
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function random(generator?: Partial<IRandomGenerator>): never;
+
+/**
+ * Generate random data.
+ *
+ * Generates a random data following type the `T`.
+ *
+ * For reference, this `typia.random()` function generates only primitive type.
+ * If there're some methods in the type `T` or its nested instances, those would
+ * be ignored. Also, when the type `T` has a `toJSON()` method, its return type
+ * would be generated instead.
+ *
+ * @template T Type of data to generate
+ * @param generator Random data generator
+ * @return Randomly generated data
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function random<T>(generator?: Partial<IRandomGenerator>): Resolved<T>;
+
+/**
+ * @internal
+ */
+function random(): never {
+  halt("random");
+}
+const randomPure = /** @__PURE__ */ Object.assign<typeof random, {}>(
+  random,
+  /** @__PURE__ */ Namespace.random(),
+);
+export { randomPure as random };
+
+/* -----------------------------------------------------------
+    FACTORY FUNCTIONS
+----------------------------------------------------------- */
+/**
+ * Creates a reusable {@link assert} 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
+ */
+function createAssert(): never;
+
+/**
+ * Creates a reusable {@link assert} function.
+ *
+ * @template T Type of the input value
+ * @returns A reusable `assert` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createAssert<T>(): (input: unknown) => T;
+
+/**
+ * @internal
+ */
+function createAssert<T>(): (input: unknown) => T {
+  halt("createAssert");
+}
+const createAssertPure = /** @__PURE__ */ Object.assign<
+  typeof createAssert,
+  {}
+>(createAssert, assert);
+export { createAssertPure as createAssert };
+
+/**
+ * Creates a reusable {@link assertGuard} function.
+ *
+ * Note that, you've to declare the variable type of the factory function caller
+ * like below. If you don't declare the variable type, compilation error be thrown.
+ * This is the special rule of the TypeScript compiler.
+ *
+ * ```typescript
+ * // MUST DECLARE THE VARIABLE TYPE
+ * const func: typia.AssertionGuard<number> = typia.createAssertGuard<number>();
+ *
+ * // IF NOT, COMPILATION ERROR BE OCCURED
+ * const func = typia.createAssertGuard<number>();
+ * ```
+ *
+ * > *Assertions require every name in the call target to be declared with an*
+ * > *explicit type annotation.*
+ *
+ * @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
+ */
+function createAssertGuard(): never;
+
+/**
+ * Creates a reusable {@link assertGuard} function.
+ *
+ * Note that, you've to declare the variable type of the factory function caller
+ * like below. If you don't declare the variable type, compilation error be thrown.
+ * This is the special rule of the TypeScript compiler.
+ *
+ * ```typescript
+ * // MUST DECLARE THE VARIABLE TYPE
+ * const func: typia.AssertionGuard<number> = typia.createAssertGuard<number>();
+ *
+ * // IF NOT, COMPILATION ERROR BE OCCURED
+ * const func = typia.createAssertGuard<number>();
+ * ```
+ *
+ * > *Assertions require every name in the call target to be declared with an*
+ * > *explicit type annotation.*
+ *
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createAssertGuard<T>(): (input: unknown) => AssertionGuard<T>;
+
+/**
+ * @internal
+ */
+function createAssertGuard<T>(): (input: unknown) => AssertionGuard<T> {
+  halt("createAssertGuard");
+}
+const createAssertGuardPure = /** @__PURE__ */ Object.assign<
+  typeof createAssertGuard,
+  {}
+>(createAssertGuard, assertGuard);
+export { createAssertGuardPure as createAssertGuard };
+
+/**
+ * Creates a reusable {@link is} 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
+ */
+function createIs(): never;
+
+/**
+ * Creates a reusable {@link is} function.
+ *
+ * @template T Type of the input value
+ * @returns A reusable `is` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createIs<T>(): (input: unknown) => input is T;
+
+/**
+ * @internal
+ */
+function createIs<T>(): (input: unknown) => input is T {
+  halt("createIs");
+}
+const createIsPure = /** @__PURE__ */ Object.assign<typeof createIs, {}>(
+  createIs,
+  is,
+);
+export { createIsPure as createIs };
+
+/**
+ * Creates a reusable {@link validate} 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
+ */
+function createValidate(): never;
+
+/**
+ * Creates a reusable {@link validate} function.
+ *
+ * @template T Type of the input value
+ * @returns A reusable `validate` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createValidate<T>(): (input: unknown) => IValidation<T>;
+
+/**
+ * @internal
+ */
+function createValidate(): (input: unknown) => IValidation {
+  halt("createValidate");
+}
+const createValidatePure = /** @__PURE__ */ Object.assign<
+  typeof createValidate,
+  {}
+>(createValidate, validate);
+export { createValidatePure as createValidate };
+
+/**
+ * Creates a reusable {@link assertEquals} 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
+ */
+function createAssertEquals(): never;
+
+/**
+ * Creates a reusable {@link assertEquals} function.
+ *
+ * @template T Type of the input value
+ * @returns A reusable `assertEquals` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createAssertEquals<T>(): (input: unknown) => T;
+
+/**
+ * @internal
+ */
+function createAssertEquals<T>(): (input: unknown) => T {
+  halt("createAssertEquals");
+}
+const createAssertEqualsPure = /** @__PURE__ */ Object.assign<
+  typeof createAssertEquals,
+  {}
+>(createAssertEquals, assertEquals);
+export { createAssertEqualsPure as createAssertEquals };
+
+/**
+ * Creates a reusable {@link assertGuardEquals} function.
+ *
+ * Note that, you've to declare the variable type of the factory function caller
+ * like below. If you don't declare the variable type, compilation error be thrown.
+ * This is the special rule of the TypeScript compiler.
+ *
+ * ```typescript
+ * // MUST DECLARE THE VARIABLE TYPE
+ * const func: typia.AssertionGuard<number> = typia.createAssertGuardEquals<number>();
+ *
+ * // IF NOT, COMPILATION ERROR BE OCCURED
+ * const func = typia.createAssertGuardEquals<number>();
+ * ```
+ *
+ * > *Assertions require every name in the call target to be declared with an*
+ * > *explicit type annotation.*
+ *
+ * @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
+ */
+function createAssertGuardEquals(): never;
+
+/**
+ * Creates a reusable {@link assertGuardEquals} function.
+ *
+ * Note that, you've to declare the variable type of the factory function caller
+ * like below. If you don't declare the variable type, compilation error be thrown.
+ * This is the special rule of the TypeScript compiler.
+ *
+ * ```typescript
+ * // MUST DECLARE THE VARIABLE TYPE
+ * const func: typia.AssertionGuard<number> = typia.createAssertGuardEquals<number>();
+ *
+ * // IF NOT, COMPILATION ERROR BE OCCURED
+ * const func = typia.createAssertGuardEquals<number>();
+ * ```
+ *
+ * > *Assertions require every name in the call target to be declared with an*
+ * > *explicit type annotation.*
+ *
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createAssertGuardEquals<T>(): (input: unknown) => AssertionGuard<T>;
+
+/**
+ * @internal
+ */
+function createAssertGuardEquals<T>(): (input: unknown) => AssertionGuard<T> {
+  halt("createAssertGuardEquals");
+}
+const createAssertGuardEqualsPure = /** @__PURE__ */ Object.assign<
+  typeof createAssertGuardEquals,
+  {}
+>(createAssertGuardEquals, assertGuardEquals);
+export { createAssertGuardEqualsPure as createAssertGuardEquals };
+
+/**
+ * Creates a reusable {@link equals} 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
+ */
+function createEquals(): never;
+
+/**
+ * Creates a reusable {@link equals} function.
+ *
+ * @template T Type of the input value
+ * @returns A reusable `equals` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createEquals<T>(): (input: unknown) => input is T;
+
+/**
+ * @internal
+ */
+function createEquals<T>(): (input: unknown) => input is T {
+  halt("createEquals");
+}
+const createEqualsPure = /** @__PURE__ */ Object.assign<
+  typeof createEquals,
+  {}
+>(createEquals, equals);
+export { createEqualsPure as createEquals };
+
+/**
+ * Creates a reusable {@link validateEquals} 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
+ */
+function createValidateEquals(): never;
+
+/**
+ * Creates a reusable {@link validateEquals} function.
+ *
+ * @template T Type of the input value
+ * @returns A reusable `validateEquals` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createValidateEquals<T>(): (input: unknown) => IValidation<T>;
+
+/**
+ * @internal
+ */
+function createValidateEquals(): (input: unknown) => IValidation {
+  halt("createValidateEquals");
+}
+const createValidateEqualsPure = /** @__PURE__ */ Object.assign<
+  typeof createValidateEquals,
+  {}
+>(createValidateEquals, validateEquals);
+export { createValidateEqualsPure as createValidateEquals };
+
+/**
+ * Creates a reusable {@link random} function.
+ *
+ * @danger You must configure the generic argument `T`
+ * @param generator Random data generator
+ * @returns Nothing until you configure the generic argument `T`
+ * @throws compile error
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createRandom(generator?: Partial<IRandomGenerator>): never;
+
+/**
+ * Creates a resuable {@link random} function.
+ *
+ * @template T Type of the input value
+ * @param generator Random data generator
+ * @returns A reusable `random` function
+ *
+ * @author Jeongho Nam - https://github.com/samchon
+ */
+function createRandom<T>(
+  generator?: Partial<IRandomGenerator>,
+): () => Resolved<T>;
+
+/**
+ * @internal
+ */
+function createRandom(): never {
+  halt("createRandom");
+}
+const createRandomPure = /** @__PURE__ */ Object.assign<
+  typeof createRandom,
+  {}
+>(createRandom, random);
+export { createRandomPure as createRandom };
+
+/**
+ * @internal
+ */
+function halt(name: string): never {
+  throw new Error(
+    `Error on typia.${name}(): no transform has been configured. Read and follow https://typia.io/docs/setup please.`,
+  );
+}