typia 4.0.0-dev.20230527 → 4.0.0-dev.20230604

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

@@ -1,30 +1,27 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { IProject } from "../../../transformers/IProject";
-
-import { Writable } from "../../../typings/Writable";
-
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { TypeFactory } from "../../TypeFactory";
-import { explore_metadata } from "./explore_metadata";
-
-export const iterate_metadata_resolve =
-    (p: IProject.IModule) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (parentResolved: boolean) =>
-    (meta: Metadata) =>
-    (type: ts.Type): boolean => {
-        if (options.resolve === true && parentResolved === false) {
-            const resolved: ts.Type | null = TypeFactory.resolve(p)(type);
-            if (resolved !== null) {
-                Writable(meta).resolved =
-                    explore_metadata(p)(options)(collection)(true)(resolved);
-                return true;
-            }
-        }
-        return false;
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+
+import { Writable } from "../../../typings/Writable";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { TypeFactory } from "../../TypeFactory";
+import { explore_metadata } from "./explore_metadata";
+
+export const iterate_metadata_resolve =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata, type: ts.Type, parentResolved: boolean): boolean => {
+        if (options.resolve === true && parentResolved === false) {
+            const resolved: ts.Type | null = TypeFactory.resolve(checker)(type);
+            if (resolved !== null) {
+                Writable(meta).resolved = explore_metadata(checker)(options)(
+                    collection,
+                )(resolved, true);
+                return true;
+            }
+        }
+        return false;
+    };

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

@@ -1,36 +1,33 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { IProject } from "../../../transformers/IProject";
-
-import { ArrayUtil } from "../../../utils/ArrayUtil";
-
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { TypeFactory } from "../../TypeFactory";
-import { explore_metadata } from "./explore_metadata";
-
-export const iterate_metadata_set =
-    (p: IProject.IModule) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (meta: Metadata) =>
-    (type: ts.Type): boolean => {
-        type = p.checker.getApparentType(type);
-
-        const name = TypeFactory.getFullName(p)(type, type.symbol);
-        const generic = type.aliasSymbol
-            ? type.aliasTypeArguments
-            : p.checker.getTypeArguments(type as ts.TypeReference);
-        if (name.substring(0, 4) !== "Set<" || generic?.length !== 1)
-            return false;
-
-        const key: ts.Type = generic[0]!;
-        ArrayUtil.set(
-            meta.sets,
-            explore_metadata(p)(options)(collection)(false)(key),
-            (elem) => elem.getName(),
-        );
-        return true;
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+
+import { ArrayUtil } from "../../../utils/ArrayUtil";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { TypeFactory } from "../../TypeFactory";
+import { explore_metadata } from "./explore_metadata";
+
+export const iterate_metadata_set =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata, type: ts.Type): boolean => {
+        type = checker.getApparentType(type);
+
+        const name = TypeFactory.getFullName(checker)(type, type.getSymbol());
+        const generic = type.aliasSymbol
+            ? type.aliasTypeArguments
+            : checker.getTypeArguments(type as ts.TypeReference);
+        if (name.substring(0, 4) !== "Set<" || generic?.length !== 1)
+            return false;
+
+        const key: ts.Type = generic[0]!;
+        ArrayUtil.set(
+            meta.sets,
+            explore_metadata(checker)(options)(collection)(key, false),
+            (elem) => elem.getName(),
+        );
+        return true;
+    };

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

@@ -0,0 +1,68 @@
+import { Metadata } from "../../../metadata/Metadata";
+import { MetadataObject } from "../../../metadata/MetadataObject";
+
+import { MetadataCollection } from "../../MetadataCollection";
+
+export const iterate_metadata_sort =
+    (collection: MetadataCollection) => (meta: Metadata) => {
+        const visited: Set<Metadata> = new Set();
+        for (const array of collection.arrays())
+            iterate(visited)(collection)(array.value);
+        for (const tuple of collection.tuples())
+            for (const element of tuple.elements)
+                iterate(visited)(collection)(element);
+        for (const object of collection.objects())
+            for (const property of object.properties)
+                iterate(visited)(collection)(property.value);
+        iterate(visited)(collection)(meta);
+    };
+
+const iterate =
+    (visited: Set<Metadata>) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata) => {
+        if (visited.has(meta)) return;
+        visited.add(meta);
+
+        // ITERATE CHILDREN
+        for (const map of meta.maps) iterate(visited)(collection)(map.value);
+        for (const set of meta.sets) iterate(visited)(collection)(set);
+        if (meta.resolved !== null) iterate(visited)(collection)(meta.resolved);
+        if (meta.rest !== null) iterate(visited)(collection)(meta.rest);
+
+        // SORT OBJECTS
+        if (meta.objects.length > 1) {
+            meta.objects.sort((x, y) =>
+                MetadataObject.covers(x, y)
+                    ? -1
+                    : MetadataObject.covers(y, x)
+                    ? 1
+                    : 0,
+            );
+            meta.union_index = collection.getUnionIndex(meta);
+        }
+
+        // SORT ARRAYS AND TUPLES
+        if (meta.arrays.length > 1)
+            meta.arrays.sort((x, y) =>
+                Metadata.covers(x.value, y.value)
+                    ? -1
+                    : Metadata.covers(y.value, x.value)
+                    ? 1
+                    : 0,
+            );
+        if (meta.tuples.length > 1)
+            meta.tuples.sort((x, y) => {
+                const xt = Metadata.initialize();
+                const yt = Metadata.initialize();
+
+                xt.tuples.push(x);
+                yt.tuples.push(y);
+
+                return Metadata.covers(xt, yt)
+                    ? -1
+                    : Metadata.covers(yt, xt)
+                    ? 1
+                    : 0;
+            });
+    };

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

@@ -1,40 +1,38 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { IProject } from "../../../transformers/IProject";
-
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { MetadataHelper } from "./MetadataHelper";
-import { explore_metadata } from "./explore_metadata";
-
-export const iterate_metadata_template =
-    ({ tsc, checker }: IProject.IModule) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (meta: Metadata) =>
-    (type: ts.Type): boolean => {
-        const filter = (flag: ts.TypeFlags) => (type.flags & flag) !== 0;
-        if (!filter(tsc.TypeFlags.TemplateLiteral)) return false;
-
-        const template: ts.TemplateLiteralType = type as ts.TemplateLiteralType;
-        const row: Metadata[] = [];
-
-        template.texts.forEach((text, i) => {
-            // TEXT LITERAL TYPE
-            if (text !== "") row.push(MetadataHelper.literal_to_metadata(text));
-
-            // BINDED TEMPLATE TYPE
-            const binded: ts.Type | undefined = template.types[i];
-            if (binded)
-                row.push(
-                    explore_metadata({ tsc, checker })(options)(collection)(
-                        false,
-                    )(binded),
-                );
-        });
-        meta.templates.push(row);
-
-        return true;
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { MetadataHelper } from "./MetadataHelper";
+import { explore_metadata } from "./explore_metadata";
+
+export const iterate_metadata_template =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata, type: ts.Type): boolean => {
+        const filter = (flag: ts.TypeFlags) => (type.getFlags() & flag) !== 0;
+        if (!filter(ts.TypeFlags.TemplateLiteral)) return false;
+
+        const template: ts.TemplateLiteralType = type as ts.TemplateLiteralType;
+        const row: Metadata[] = [];
+
+        template.texts.forEach((text, i) => {
+            // TEXT LITERAL TYPE
+            if (text !== "") row.push(MetadataHelper.literal_to_metadata(text));
+
+            // BINDED TEMPLATE TYPE
+            const binded: ts.Type | undefined = template.types[i];
+            if (binded)
+                row.push(
+                    explore_metadata(checker)(options)(collection)(
+                        binded,
+                        false,
+                    ),
+                );
+        });
+        meta.templates.push(row);
+
+        return true;
+    };

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

@@ -1,51 +1,25 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { IProject } from "../../../transformers/IProject";
-
-import { Writable } from "../../../typings/Writable";
-
-import { ArrayUtil } from "../../../utils/ArrayUtil";
-
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { explore_metadata } from "./explore_metadata";
-
-export const iterate_metadata_tuple =
-    ({ tsc, checker }: IProject.IModule) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (meta: Metadata) =>
-    (type: ts.TupleType): boolean => {
-        if (!checker.isTupleType(type)) return false;
-
-        const elementFlags: readonly ts.ElementFlags[] =
-            type.elementFlags ??
-            (type.target as ts.TupleType)?.elementFlags ??
-            [];
-
-        const children: Metadata[] = checker
-            .getTypeArguments(type as ts.TypeReference)
-            .map((elem, i) => {
-                const child: Metadata = explore_metadata({ tsc, checker })(
-                    options,
-                )(collection)(false)(elem);
-
-                // CHECK OPTIONAL
-                const flag: ts.ElementFlags | undefined = elementFlags[i];
-                if (flag === tsc.ElementFlags.Optional)
-                    Writable(child).optional = true;
-
-                // REST TYPE
-                if (flag !== tsc.ElementFlags.Rest) return child;
-                const wrapper: Metadata = Metadata.initialize();
-                Writable(wrapper).rest = child;
-                return wrapper;
-            });
-        ArrayUtil.set(meta.tuples, children, join_tuple_names);
-        return true;
-    };
-
-const join_tuple_names = (metas: Metadata[]): string =>
-    `[${metas.map((m) => m.getName).join(", ")}]`;
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+import { MetadataTuple } from "../../../metadata/MetadataTuple";
+
+import { ArrayUtil } from "../../../utils/ArrayUtil";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { emplace_metadata_tuple } from "./emplace_metadata_tuple";
+
+export const iterate_metadata_tuple =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata, type: ts.TupleType): boolean => {
+        // @todo -> TS 5.2 supports it
+        if (!(checker as any).isTupleType(type)) return false;
+
+        const tuple: MetadataTuple = emplace_metadata_tuple(checker)(options)(
+            collection,
+        )(type, meta.nullable);
+        ArrayUtil.add(meta.tuples, tuple, (elem) => elem.name === tuple.name);
+        return true;
+    };

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

@@ -1,59 +1,68 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { IProject } from "../../../transformers/IProject";
-
-import { Writable } from "../../../typings/Writable";
-
-import { TsTypeUtil } from "../../../utils/TsTypeUtil";
-
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { TypeFactory } from "../../TypeFactory";
-import { iterate_metadata } from "./iterate_metadata";
-
-export const iterate_metadata_union =
-    (p: IProject.IModule) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (parentResolved: boolean) =>
-    (meta: Metadata) =>
-    (type: ts.Type): boolean => {
-        if (!TsTypeUtil.isUnion(p.tsc)(type)) return false;
-        else if (options.resolve === false || parentResolved === true) {
-            type.types.forEach((t) =>
-                iterate_metadata(p)(options)(collection)(false)(meta)(t),
-            );
-            return true;
-        }
-
-        const filter = (flag: ts.TypeFlags, t: ts.Type) =>
-            (t.flags & flag) !== 0;
-        const normals: ts.Type[] = [];
-        const toJsons: ts.Type[] = [];
-
-        for (const individual of type.types) {
-            if (filter(p.tsc.TypeFlags.Object, individual)) {
-                const resolved: ts.Type | null =
-                    TypeFactory.resolve(p)(individual);
-                if (resolved !== null) toJsons.push(resolved);
-                else normals.push(individual);
-            } else normals.push(individual);
-        }
-        if (toJsons.length !== 0) {
-            Writable(meta).resolved = (() => {
-                const union: Metadata = Metadata.initialize();
-                toJsons.forEach((t) =>
-                    iterate_metadata(p)(options)(collection)(true)(meta)(t),
-                );
-                if (union.objects.length > 1)
-                    union.union_index = collection.getUnionIndex(union);
-                return union;
-            })();
-        }
-        normals.forEach((t) =>
-            iterate_metadata(p)(options)(collection)(false)(meta)(t),
-        );
-        return true;
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+
+import { Writable } from "../../../typings/Writable";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { TypeFactory } from "../../TypeFactory";
+import { iterate_metadata } from "./iterate_metadata";
+
+export const iterate_metadata_union =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata, type: ts.Type, parentResolved: boolean): boolean => {
+        if (!type.isUnion()) return false;
+        else if (options.resolve === false || parentResolved === true) {
+            type.types.forEach((t) =>
+                iterate_metadata(checker)(options)(collection)(
+                    meta,
+                    t,
+                    false,
+                    false,
+                ),
+            );
+            return true;
+        }
+
+        const filter = (flag: ts.TypeFlags, t: ts.Type) =>
+            (t.getFlags() & flag) !== 0;
+        const normals: ts.Type[] = [];
+        const toJsons: ts.Type[] = [];
+
+        for (const individual of type.types) {
+            if (filter(ts.TypeFlags.Object, individual)) {
+                const resolved: ts.Type | null =
+                    TypeFactory.resolve(checker)(individual);
+                if (resolved !== null) toJsons.push(resolved);
+                else normals.push(individual);
+            } else normals.push(individual);
+        }
+        if (toJsons.length !== 0) {
+            Writable(meta).resolved = (() => {
+                const union: Metadata = Metadata.initialize();
+                toJsons.forEach((t) =>
+                    iterate_metadata(checker)(options)(collection)(
+                        meta,
+                        t,
+                        true,
+                        false,
+                    ),
+                );
+                if (union.objects.length > 1)
+                    union.union_index = collection.getUnionIndex(union);
+                return union;
+            })();
+        }
+        normals.forEach((t) =>
+            iterate_metadata(checker)(options)(collection)(
+                meta,
+                t,
+                false,
+                false,
+            ),
+        );
+        return true;
+    };

package/src/functional/$any.ts

@@ -1,2 +1,2 @@
-export const $any = (val: any): any =>
-    val !== undefined ? JSON.parse(JSON.stringify(val)) : undefined;
+export const $any = (val: any): any =>
+    val !== undefined ? JSON.parse(JSON.stringify(val)) : undefined;

package/src/functional/$dictionary.ts

@@ -1,25 +1,25 @@
-import { Customizable } from "../typings/Customizable";
-
-/**
- * @internal
- */
-const blackhole: any = {};
-
-export const $dictionary = (() => {
-    const glob: {
-        __typia_custom_validator: Map<
-            `${string}`,
-            Map<
-                keyof Customizable,
-                (tagText: string) => (value: any) => boolean
-            >
-        >;
-    } =
-        typeof global === "object" &&
-        typeof global.process === "object" &&
-        typeof global.process.versions === "object" &&
-        typeof global.process.versions.node !== "undefined"
-            ? ((global ?? blackhole) as any)
-            : ((self ?? blackhole) as any);
-    return (glob.__typia_custom_validator ??= new Map());
-})();
+import { Customizable } from "../typings/Customizable";
+
+/**
+ * @internal
+ */
+const blackhole: any = {};
+
+export const $dictionary = (() => {
+    const glob: {
+        __typia_custom_validator: Map<
+            `${string}`,
+            Map<
+                keyof Customizable,
+                (tagText: string) => (value: any) => boolean
+            >
+        >;
+    } =
+        typeof global === "object" &&
+        typeof global.process === "object" &&
+        typeof global.process.versions === "object" &&
+        typeof global.process.versions.node !== "undefined"
+            ? ((global ?? blackhole) as any)
+            : ((self ?? blackhole) as any);
+    return (glob.__typia_custom_validator ??= new Map());
+})();

package/src/functional/$every.ts

@@ -1,11 +1,11 @@
-import { TypeGuardError } from "../TypeGuardError";
-
-export const $every = <T>(
-    array: T[],
-    pred: (value: T, i: number) => null | Omit<TypeGuardError.IProps, "method">,
-): null | Omit<TypeGuardError.IProps, "method"> => {
-    let error: null | Omit<TypeGuardError.IProps, "method"> = null;
-    for (let i: number = 0; i < array.length; ++i)
-        if (null !== (error = pred(array[i]!, i))) return error;
-    return null;
-};
+import { TypeGuardError } from "../TypeGuardError";
+
+export const $every = <T>(
+    array: T[],
+    pred: (value: T, i: number) => null | Omit<TypeGuardError.IProps, "method">,
+): null | Omit<TypeGuardError.IProps, "method"> => {
+    let error: null | Omit<TypeGuardError.IProps, "method"> = null;
+    for (let i: number = 0; i < array.length; ++i)
+        if (null !== (error = pred(array[i]!, i))) return error;
+    return null;
+};

package/src/functional/$guard.ts

@@ -1,35 +1,35 @@
-import { TypeGuardError } from "../TypeGuardError";
-
-/* -----------------------------------------------------------
-    ASSERT V2 -> USE (NULL OR ERROR) CONDITION
------------------------------------------------------------ */
-// /**
-//  * @internal
-//  */
-// export const $guardV2 =
-//     (method: string) => (props: Omit<TypeGuardError.IProps, "method">) =>
-//         new TypeGuardError({
-//             method,
-//             path: props.path,
-//             expected: props.expected,
-//             value: props.value,
-//         });
-
-/* -----------------------------------------------------------
-    ASSERT V3 -> (CONDITION OR THROW(exceptable): FALSE)
------------------------------------------------------------ */
-/**
- * @internal
- */
-export const $guard =
-    (method: string) =>
-    (exceptionable: boolean, props: Omit<TypeGuardError.IProps, "method">) => {
-        if (exceptionable === true)
-            throw new TypeGuardError({
-                method,
-                path: props.path,
-                expected: props.expected,
-                value: props.value,
-            });
-        return false;
-    };
+import { TypeGuardError } from "../TypeGuardError";
+
+/* -----------------------------------------------------------
+    ASSERT V2 -> USE (NULL OR ERROR) CONDITION
+----------------------------------------------------------- */
+// /**
+//  * @internal
+//  */
+// export const $guardV2 =
+//     (method: string) => (props: Omit<TypeGuardError.IProps, "method">) =>
+//         new TypeGuardError({
+//             method,
+//             path: props.path,
+//             expected: props.expected,
+//             value: props.value,
+//         });
+
+/* -----------------------------------------------------------
+    ASSERT V3 -> (CONDITION OR THROW(exceptable): FALSE)
+----------------------------------------------------------- */
+/**
+ * @internal
+ */
+export const $guard =
+    (method: string) =>
+    (exceptionable: boolean, props: Omit<TypeGuardError.IProps, "method">) => {
+        if (exceptionable === true)
+            throw new TypeGuardError({
+                method,
+                path: props.path,
+                expected: props.expected,
+                value: props.value,
+            });
+        return false;
+    };

package/src/functional/$is_between.ts

@@ -1,2 +1,2 @@
-export const $is_between = (value: number, minimum: number, maximum: number) =>
-    minimum <= value && value <= maximum;
+export const $is_between = (value: number, minimum: number, maximum: number) =>
+    minimum <= value && value <= maximum;