typia 5.0.0-dev.20230823 → 5.0.0-dev.20230824

package/src/misc.ts

@@ -12,7 +12,7 @@ import { Namespace } from "./functional/Namespace";
 import { Atomic } from "./typings/Atomic";
 
 import { IValidation } from "./IValidation";
-import { Primitive } from "./Primitive";
+import { Resolved } from "./Resolved";
 
 /**
  * > You must configure the generic argument `T`.
@@ -62,8 +62,8 @@ export function literals(): never {
  * Clone a data.
  *
  * Clones an instance following type `T`. If the target *input* value or its member
- * variable contains a class instance that is having a `toJSON()` method, its return
- * value would be cloned.
+ * 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,
@@ -76,7 +76,7 @@ export function literals(): never {
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function clone<T>(input: T): Primitive<T>;
+export function clone<T>(input: T): Resolved<T>;
 
 /**
  * @internal
@@ -90,8 +90,8 @@ Object.assign(clone, Namespace.misc.clone("clone"));
  * Clone a 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 that is having a `toJSON()`
- * method, its return value would be cloned.
+ * 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}. Otherwise, there's no problem on the `input` value, cloned
@@ -103,14 +103,14 @@ Object.assign(clone, Namespace.misc.clone("clone"));
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function assertClone<T>(input: T): Primitive<T>;
+export function assertClone<T>(input: T): Resolved<T>;
 
 /**
  * Clone a 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 that is having a `toJSON()`
- * method, its return value would be cloned.
+ * 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}. Otherwise, there's no problem on the `input` value, cloned
@@ -122,7 +122,7 @@ export function assertClone<T>(input: T): Primitive<T>;
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function assertClone<T>(input: unknown): Primitive<T>;
+export function assertClone<T>(input: unknown): Resolved<T>;
 
 /**
  * @internal
@@ -137,8 +137,8 @@ Object.assign(assertClone, Namespace.misc.clone("assertClone"));
  * Clone a 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 that is having a `toJSON()`
- * method, its return value would be cloned.
+ * 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
@@ -150,14 +150,14 @@ Object.assign(assertClone, Namespace.misc.clone("assertClone"));
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function isClone<T>(input: T): Primitive<T> | null;
+export function isClone<T>(input: T): Resolved<T> | null;
 
 /**
  * Clone a 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 that is having a `toJSON()`
- * method, its return value would be cloned.
+ * 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
@@ -169,7 +169,7 @@ export function isClone<T>(input: T): Primitive<T> | null;
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function isClone<T>(input: unknown): Primitive<T> | null;
+export function isClone<T>(input: unknown): Resolved<T> | null;
 
 /**
  * @internal
@@ -184,8 +184,8 @@ Object.assign(isClone, Namespace.misc.clone("isClone"));
  * Clone a 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 that is having a
- * `toJSON()` method, its return value would be cloned.
+ * `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`
@@ -196,14 +196,14 @@ Object.assign(isClone, Namespace.misc.clone("isClone"));
  * @param input A value to be cloned
  * @returns Validation result with cloned value
  */
-export function validateClone<T>(input: T): IValidation<Primitive<T>>;
+export function validateClone<T>(input: T): IValidation<Resolved<T>>;
 
 /**
  * Clone a 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 that is having a
- * `toJSON()` method, its return value would be cloned.
+ * `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`
@@ -214,7 +214,7 @@ export function validateClone<T>(input: T): IValidation<Primitive<T>>;
  * @param input A value to be cloned
  * @returns Validation result with cloned value
  */
-export function validateClone<T>(input: unknown): IValidation<Primitive<T>>;
+export function validateClone<T>(input: unknown): IValidation<Resolved<T>>;
 
 /**
  * @internal
@@ -406,8 +406,8 @@ Object.assign(validatePrune, Namespace.validate());
 /**
  * Creates a reusable {@link clone} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -422,7 +422,7 @@ export function createClone(): never;
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function createClone<T>(): (input: T) => Primitive<T>;
+export function createClone<T>(): (input: T) => Resolved<T>;
 
 /**
  * @internal
@@ -435,8 +435,8 @@ Object.assign(createClone, clone);
 /**
  * Creates a reusable {@link assertClone} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -451,7 +451,7 @@ export function createAssertClone(): never;
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function createAssertClone<T>(): (input: unknown) => Primitive<T>;
+export function createAssertClone<T>(): (input: unknown) => Resolved<T>;
 
 /**
  * @internal
@@ -464,8 +464,8 @@ Object.assign(createAssertClone, assertClone);
 /**
  * Creates a reusable {@link isClone} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -480,7 +480,7 @@ export function createIsClone(): never;
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function createIsClone<T>(): (input: unknown) => Primitive<T> | null;
+export function createIsClone<T>(): (input: unknown) => Resolved<T> | null;
 
 /**
  * @internal
@@ -493,8 +493,8 @@ Object.assign(createIsClone, isClone);
 /**
  * Creates a reusable {@link validateClone} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -511,7 +511,7 @@ export function createValidateClone(): never;
  */
 export function createValidateClone<T>(): (
     input: unknown,
-) => IValidation<Primitive<T>>;
+) => IValidation<Resolved<T>>;
 
 /**
  * @internal
@@ -524,8 +524,8 @@ Object.assign(createValidateClone, validateClone);
 /**
  * Creates a reusable {@link prune} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -553,8 +553,8 @@ Object.assign(createPrune, prune);
 /**
  * Creates a reusable {@link assertPrune} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -582,8 +582,8 @@ Object.assign(createAssertPrune, assertPrune);
 /**
  * Creates a reusable {@link isPrune} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -611,8 +611,8 @@ Object.assign(createIsPrune, isPrune);
 /**
  * Creates a reusable {@link validatePrune} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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

package/src/module.ts

@@ -1,18 +1,15 @@
-import { $dictionary } from "./functional/$dictionary";
 import { Namespace } from "./functional/Namespace";
 
 import { IMetadataApplication } from "./schemas/metadata/IMetadataApplication";
 
-import { MapUtil } from "./utils/MapUtil";
-
-import { CustomValidatorMap } from "./CustomValidatorMap";
 import { IRandomGenerator } from "./IRandomGenerator";
 import { IValidation } from "./IValidation";
-import { Primitive } from "./Primitive";
+import { Resolved } from "./Resolved";
 
 export * as json from "./json";
-export * as protobuf from "./protobuf";
 export * as misc from "./misc";
+export * as protobuf from "./protobuf";
+export * as tags from "./tags";
 
 export * from "./schemas/json/IJsonApplication";
 export * from "./schemas/json/IJsonComponents";
@@ -20,58 +17,9 @@ export * from "./schemas/json/IJsonSchema";
 export * from "./IRandomGenerator";
 export * from "./IValidation";
 export * from "./Primitive";
+export * from "./Resolved";
 export * from "./TypeGuardError";
 
-/**
- * Custom validators.
- *
- * If you want to add a custom validation logic utilizing comment tags,
- * add a closure function with its tag and type name. Below example code
- * would helpful to understand how to use this instance.
- *
- * ```ts
- * typia.customValidators.insert("powerOf")("number")(
- *     (text: string) => {
- *         const denominator: number = Math.log(Number(text));
- *         return (value: number) => {
- *             value = Math.log(value) / denominator;
- *             return value === Math.floor(value);
- *         };
- *     }
- * );
- * typia.customValidators.insert("dollar")("string")(
- *     () => (value: string) => value.startsWith("$"),
- * );
- *
- * interface TagCustom {
- *    /**
- *     * @powerOf 10
- *     *\/
- *    powerOf: number;
- *
- *    /**
- *     * @dollar
- *     *\/
- *    dollar: string;
- * }
- * ```
- *
- * @author Jeongho Nam - https://github.com/samchon
- */
-export const customValidators: CustomValidatorMap = {
-    size: (name?: string) =>
-        name ? $dictionary.get(name)?.size ?? 0 : $dictionary.size,
-    has: (name) => (type) => $dictionary.get(name)?.has(type) ?? false,
-    get: (name) => (type) => $dictionary.get(name)?.get(type),
-    insert: (name) => (type) => (closure) => {
-        const internal = MapUtil.take($dictionary)(name, () => new Map());
-        if (internal.has(type)) return false;
-        internal.set(type, closure);
-        return true;
-    },
-    erase: (name) => (type) => $dictionary.get(name)?.delete(type) ?? false,
-};
-
 /* -----------------------------------------------------------
     BASIC VALIDATORS
 ----------------------------------------------------------- */
@@ -461,7 +409,7 @@ export function random(generator?: Partial<IRandomGenerator>): never;
  *
  * @author Jeongho Nam - https://github.com/samchon
  */
-export function random<T>(generator?: Partial<IRandomGenerator>): Primitive<T>;
+export function random<T>(generator?: Partial<IRandomGenerator>): Resolved<T>;
 
 /**
  * @internal
@@ -494,8 +442,8 @@ export function metadata(): never {
 /**
  * Creates a reusable {@link assert} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -523,8 +471,8 @@ Object.assign(createAssert, assert);
 /**
  * Creates a reusable {@link is} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -552,8 +500,8 @@ Object.assign(createIs, is);
 /**
  * Creates a reusable {@link validate} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -581,8 +529,8 @@ Object.assign(createValidate, validate);
 /**
  * Creates a reusable {@link assertEquals} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -610,8 +558,8 @@ Object.assign(createAssertEquals, assertEquals);
 /**
  * Creates a reusable {@link equals} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -639,8 +587,8 @@ Object.assign(createEquals, equals);
 /**
  * Creates a reusable {@link validateEquals} function.
  *
- * @danger You have to specify the generic argument `T`
- * @return Nothing until specifying the generic argument `T`
+ * @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
@@ -668,9 +616,9 @@ Object.assign(createValidateEquals, validateEquals);
 /**
  * Creates a reusable {@link random} function.
  *
- * @danger You have to specify the generic argument `T`
+ * @danger You must configure the generic argument `T`
  * @param generator Random data generator
- * @return Nothing until specifying the generic argument `T`
+ * @returns Nothing until you configure the generic argument `T`
  * @throws compile error
  *
  * @author Jeongho Nam - https://github.com/samchon
@@ -688,7 +636,7 @@ export function createRandom(generator?: Partial<IRandomGenerator>): never;
  */
 export function createRandom<T>(
     generator?: Partial<IRandomGenerator>,
-): () => Primitive<T>;
+): () => Resolved<T>;
 
 /**
  * @internal

package/src/programmers/AssertProgrammer.ts

@@ -18,7 +18,9 @@ export namespace AssertProgrammer {
         (modulo: ts.LeftHandSideExpression) =>
         (equals: boolean) =>
         (type: ts.Type, name?: string) => {
-            const importer: FunctionImporter = new FunctionImporter();
+            const importer: FunctionImporter = new FunctionImporter(
+                modulo.getText(),
+            );
             const is = IsProgrammer.write(project)(modulo, true)(equals)(
                 type,
                 name ?? TypeFactory.getFullName(project.checker)(type),
@@ -31,7 +33,7 @@ export namespace AssertProgrammer {
                 equals,
                 atomist: (explore) => (tuple) => (input) =>
                     [
-                        tuple.expression,
+                        ...(tuple.expression ? [tuple.expression] : []),
                         ...tuple.tags.map((tag) =>
                             ts.factory.createLogicalOr(
                                 tag.expression,