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

package/src/programmers/IsProgrammer.ts

@@ -1,223 +1,250 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { ExpressionFactory } from "../factories/ExpressionFactory";
-import { IdentifierFactory } from "../factories/IdentifierFactory";
-import { ValueFactory } from "../factories/ValueFactory";
-
-import { MetadataObject } from "../metadata/MetadataObject";
-
-import { IProject } from "../transformers/IProject";
-
-import { CheckerProgrammer } from "./CheckerProgrammer";
-import { FunctionImporter } from "./helpers/FunctionImporeter";
-import { IExpressionEntry } from "./helpers/IExpressionEntry";
-import { OptionPredicator } from "./helpers/OptionPredicator";
-import { disable_function_importer_declare } from "./helpers/disable_function_importer_declare";
-import { check_object } from "./internal/check_object";
-import { feature_object_entries } from "./internal/feature_object_entries";
-
-export namespace IsProgrammer {
-    export const configure =
-        (tsc: typeof ts) =>
-        (options?: Partial<CONFIG.IOptions>) =>
-        (importer: FunctionImporter): CheckerProgrammer.IConfig => ({
-            functors: "$io",
-            unioners: "$iu",
-            trace: false,
-            path: false,
-            equals: !!options?.object,
-            numeric: OptionPredicator.numeric({
-                numeric: options?.numeric,
-            }),
-            atomist: () => (entry) => () =>
-                [
-                    entry.expression,
-                    ...entry.tags.map((tag) => tag.expression),
-                ].reduce((x, y) => tsc.factory.createLogicalAnd(x, y)),
-            combiner: () => (type: "and" | "or") => {
-                const initial: ts.TrueLiteral | ts.FalseLiteral =
-                    type === "and"
-                        ? tsc.factory.createTrue()
-                        : tsc.factory.createFalse();
-                const binder =
-                    type === "and"
-                        ? tsc.factory.createLogicalAnd
-                        : tsc.factory.createLogicalOr;
-                return (
-                    _input: ts.Expression,
-                    binaries: CheckerProgrammer.IBinary[],
-                ) =>
-                    binaries.length
-                        ? binaries
-                              .map((binary) => binary.expression)
-                              .reduce((x, y) => binder(x, y))
-                        : initial;
-            },
-            joiner: {
-                object:
-                    options?.object ||
-                    check_object(tsc)({
-                        equals: !!options?.object,
-                        undefined: OptionPredicator.undefined({
-                            undefined: options?.undefined,
-                        }),
-                        assert: true,
-                        reduce: tsc.factory.createLogicalAnd,
-                        positive: tsc.factory.createTrue(),
-                        superfluous: () => tsc.factory.createFalse(),
-                    })(importer),
-                array: (input, arrow) =>
-                    tsc.factory.createCallExpression(
-                        IdentifierFactory.access(tsc)(input)("every"),
-                        undefined,
-                        [arrow],
-                    ),
-                failure: () => tsc.factory.createFalse(),
-            },
-            success: tsc.factory.createTrue(),
-        });
-
-    export namespace CONFIG {
-        export interface IOptions {
-            numeric: boolean;
-            undefined: boolean;
-            object: (
-                input: ts.Expression,
-                entries: IExpressionEntry<ts.Expression>[],
-            ) => ts.Expression;
-        }
-    }
-
-    /* -----------------------------------------------------------
-        WRITERS
-    ----------------------------------------------------------- */
-    /**
-     * @deprecated Use `write()` function instead
-     */
-    export const generate =
-        (
-            project: IProject,
-            modulo: ts.LeftHandSideExpression,
-            equals: boolean = false,
-        ) =>
-        (type: ts.Type, name?: string) =>
-            write(project)(modulo)(equals)(type, name);
-
-    export const write =
-        (p: IProject) =>
-        (modulo: ts.LeftHandSideExpression, disable?: boolean) =>
-        (equals: boolean) => {
-            const importer: FunctionImporter =
-                disable === true
-                    ? disable_function_importer_declare(
-                          new FunctionImporter(p.tsc),
-                      )
-                    : new FunctionImporter(p.tsc);
-
-            // CONFIGURATION
-            const config: CheckerProgrammer.IConfig = {
-                ...configure(p.tsc)({
-                    object: check_object(p.tsc)({
-                        equals,
-                        undefined: OptionPredicator.undefined(p.options),
-                        assert: true,
-                        reduce: p.tsc.factory.createLogicalAnd,
-                        positive: p.tsc.factory.createTrue(),
-                        superfluous: () => p.tsc.factory.createFalse(),
-                    })(importer),
-                    numeric: OptionPredicator.numeric(p.options),
-                })(importer),
-                trace: equals,
-                addition: () => importer.declare(modulo),
-            };
-
-            config.decoder = (input, target, explore, tags, jsDocTags) => {
-                if (
-                    target.size() === 1 &&
-                    target.objects.length === 1 &&
-                    target.required === true &&
-                    target.nullable === false
-                ) {
-                    // ONLY WHEN OBJECT WITH SOME ATOMIC PROPERTIES
-                    const obj: MetadataObject = target.objects[0]!;
-                    if (
-                        obj._Is_simple() &&
-                        (equals === false ||
-                            OptionPredicator.undefined(p.options) === false)
-                    )
-                        return p.tsc.factory.createLogicalAnd(
-                            ExpressionFactory.isObject(p.tsc)({
-                                checkNull: true,
-                                checkArray: false,
-                            })(input),
-                            config.joiner.object(
-                                input,
-                                feature_object_entries(p.tsc)(config as any)(
-                                    importer,
-                                )(obj)(input),
-                            ),
-                        );
-                }
-                return CheckerProgrammer.decode(p)(config)(importer)(
-                    input,
-                    target,
-                    explore,
-                    tags,
-                    jsDocTags,
-                );
-            };
-
-            // GENERATE CHECKER
-            return CheckerProgrammer.write(p)(config)(importer);
-        };
-
-    export const write_functors =
-        (p: IProject) => (importer: FunctionImporter) =>
-            CheckerProgrammer.write_functors(p)(configure(p.tsc)()(importer))(
-                importer,
-            );
-
-    export const write_unioners =
-        (p: IProject) => (importer: FunctionImporter) =>
-            CheckerProgrammer.write_unioners(
-                p,
-                configure(p.tsc)()(importer),
-                importer,
-            );
-
-    /* -----------------------------------------------------------
-        DECODERS
-    ----------------------------------------------------------- */
-    export const decode = (p: IProject) => (importer: FunctionImporter) =>
-        CheckerProgrammer.decode(p)(configure(p.tsc)()(importer))(importer);
-
-    export const decode_object =
-        (tsc: typeof ts) => (importer: FunctionImporter) =>
-            CheckerProgrammer.decode_object(tsc)(configure(tsc)()(importer))(
-                importer,
-            );
-
-    export const decode_to_json =
-        (tsc: typeof ts) =>
-        (checkNull: boolean) =>
-        (input: ts.Expression): ts.Expression =>
-            tsc.factory.createLogicalAnd(
-                ExpressionFactory.isObject(tsc)({
-                    checkArray: false,
-                    checkNull,
-                })(input),
-                tsc.factory.createStrictEquality(
-                    tsc.factory.createStringLiteral("function"),
-                    ValueFactory.TYPEOF(tsc)(
-                        IdentifierFactory.access(tsc)(input)("toJSON"),
-                    ),
-                ),
-            );
-
-    export const decode_functional =
-        (tsc: typeof ts) => (input: ts.Expression) =>
-            tsc.factory.createStrictEquality(
-                tsc.factory.createStringLiteral("function"),
-                ValueFactory.TYPEOF(tsc)(input),
-            );
-}
+import ts from "typescript";
+
+import { ExpressionFactory } from "../factories/ExpressionFactory";
+import { IdentifierFactory } from "../factories/IdentifierFactory";
+import { MetadataCollection } from "../factories/MetadataCollection";
+import { TypeFactory } from "../factories/TypeFactory";
+import { ValueFactory } from "../factories/ValueFactory";
+
+import { MetadataObject } from "../metadata/MetadataObject";
+
+import { IProject } from "../transformers/IProject";
+
+import { CheckerProgrammer } from "./CheckerProgrammer";
+import { FunctionImporter } from "./helpers/FunctionImporeter";
+import { IExpressionEntry } from "./helpers/IExpressionEntry";
+import { OptionPredicator } from "./helpers/OptionPredicator";
+import { disable_function_importer_declare } from "./helpers/disable_function_importer_declare";
+import { check_object } from "./internal/check_object";
+import { feature_object_entries } from "./internal/feature_object_entries";
+
+export namespace IsProgrammer {
+    export const configure =
+        (options?: Partial<CONFIG.IOptions>) =>
+        (importer: FunctionImporter): CheckerProgrammer.IConfig => ({
+            prefix: "$i",
+            trace: false,
+            path: false,
+            equals: !!options?.object,
+            numeric: OptionPredicator.numeric({
+                numeric: options?.numeric,
+            }),
+            atomist: () => (entry) => () =>
+                [
+                    entry.expression,
+                    ...entry.tags.map((tag) => tag.expression),
+                ].reduce((x, y) => ts.factory.createLogicalAnd(x, y)),
+            combiner: () => (type: "and" | "or") => {
+                const initial: ts.TrueLiteral | ts.FalseLiteral =
+                    type === "and"
+                        ? ts.factory.createTrue()
+                        : ts.factory.createFalse();
+                const binder =
+                    type === "and"
+                        ? ts.factory.createLogicalAnd
+                        : ts.factory.createLogicalOr;
+                return (
+                    _input: ts.Expression,
+                    binaries: CheckerProgrammer.IBinary[],
+                ) =>
+                    binaries.length
+                        ? binaries
+                              .map((binary) => binary.expression)
+                              .reduce((x, y) => binder(x, y))
+                        : initial;
+            },
+            joiner: {
+                object:
+                    options?.object ||
+                    check_object({
+                        equals: !!options?.object,
+                        undefined: OptionPredicator.undefined({
+                            undefined: options?.undefined,
+                        }),
+                        assert: true,
+                        reduce: ts.factory.createLogicalAnd,
+                        positive: ts.factory.createTrue(),
+                        superfluous: () => ts.factory.createFalse(),
+                    })(importer),
+                array: (input, arrow) =>
+                    ts.factory.createCallExpression(
+                        IdentifierFactory.access(input)("every"),
+                        undefined,
+                        [arrow],
+                    ),
+                failure: () => ts.factory.createFalse(),
+            },
+            success: ts.factory.createTrue(),
+        });
+
+    export namespace CONFIG {
+        export interface IOptions {
+            numeric: boolean;
+            undefined: boolean;
+            object: (
+                input: ts.Expression,
+                entries: IExpressionEntry<ts.Expression>[],
+            ) => ts.Expression;
+        }
+    }
+
+    /* -----------------------------------------------------------
+        WRITERS
+    ----------------------------------------------------------- */
+    /**
+     * @deprecated Use `write()` function instead
+     */
+    export const generate =
+        (
+            project: IProject,
+            modulo: ts.LeftHandSideExpression,
+            equals: boolean = false,
+        ) =>
+        (type: ts.Type, name?: string) =>
+            write(project)(modulo)(equals)(type, name);
+
+    export const write =
+        (project: IProject) =>
+        (modulo: ts.LeftHandSideExpression, disable?: boolean) =>
+        (equals: boolean) => {
+            const importer: FunctionImporter =
+                disable === <any>{}
+                    ? disable_function_importer_declare(new FunctionImporter())
+                    : new FunctionImporter();
+
+            // CONFIGURATION
+            const config: CheckerProgrammer.IConfig = {
+                ...configure({
+                    object: check_object({
+                        equals,
+                        undefined: OptionPredicator.undefined(project.options),
+                        assert: true,
+                        reduce: ts.factory.createLogicalAnd,
+                        positive: ts.factory.createTrue(),
+                        superfluous: () => ts.factory.createFalse(),
+                    })(importer),
+                    numeric: OptionPredicator.numeric(project.options),
+                })(importer),
+                trace: equals,
+                addition: () => importer.declare(modulo),
+            };
+
+            config.decoder =
+                () => (input, target, explore, tags, jsDocTags) => {
+                    if (
+                        target.size() === 1 &&
+                        target.objects.length === 1 &&
+                        target.required === true &&
+                        target.nullable === false
+                    ) {
+                        // ONLY WHEN OBJECT WITH SOME ATOMIC PROPERTIES
+                        const obj: MetadataObject = target.objects[0]!;
+                        if (
+                            obj._Is_simple() &&
+                            (equals === false ||
+                                OptionPredicator.undefined(project.options) ===
+                                    false)
+                        )
+                            return ts.factory.createLogicalAnd(
+                                ExpressionFactory.isObject({
+                                    checkNull: true,
+                                    checkArray: false,
+                                })(input),
+                                config.joiner.object(
+                                    ts.factory.createAsExpression(
+                                        input,
+                                        TypeFactory.keyword("any"),
+                                    ),
+                                    feature_object_entries(config as any)(
+                                        importer,
+                                    )(obj)(
+                                        ts.factory.createAsExpression(
+                                            input,
+                                            TypeFactory.keyword("any"),
+                                        ),
+                                    ),
+                                ),
+                            );
+                    }
+                    return CheckerProgrammer.decode(project)(config)(importer)(
+                        input,
+                        target,
+                        explore,
+                        tags,
+                        jsDocTags,
+                    );
+                };
+
+            // GENERATE CHECKER
+            return CheckerProgrammer.write(project)(config)(importer);
+        };
+
+    export const write_function_statements =
+        (project: IProject) =>
+        (importer: FunctionImporter) =>
+        (collection: MetadataCollection) => {
+            const config = configure()(importer);
+            const objects =
+                CheckerProgrammer.write_object_functions(project)(config)(
+                    importer,
+                )(collection);
+            const unions =
+                CheckerProgrammer.write_union_functions(project)(config)(
+                    importer,
+                )(collection);
+            const arrays =
+                CheckerProgrammer.write_array_functions(project)(config)(
+                    importer,
+                )(collection);
+            const tuples =
+                CheckerProgrammer.write_tuple_functions(project)(config)(
+                    importer,
+                )(collection);
+
+            return [
+                ...objects.filter((_, i) =>
+                    importer.hasLocal(`${config.prefix}o${i}`),
+                ),
+                ...unions.filter((_, i) =>
+                    importer.hasLocal(`${config.prefix}u${i}`),
+                ),
+                ...arrays.filter((_, i) =>
+                    importer.hasLocal(`${config.prefix}a${i}`),
+                ),
+                ...tuples.filter((_, i) =>
+                    importer.hasLocal(`${config.prefix}t${i}`),
+                ),
+            ];
+        };
+
+    /* -----------------------------------------------------------
+        DECODERS
+    ----------------------------------------------------------- */
+    export const decode = (project: IProject) => (importer: FunctionImporter) =>
+        CheckerProgrammer.decode(project)(configure()(importer))(importer);
+
+    export const decode_object = (importer: FunctionImporter) =>
+        CheckerProgrammer.decode_object(configure()(importer))(importer);
+
+    export const decode_to_json =
+        (checkNull: boolean) =>
+        (input: ts.Expression): ts.Expression =>
+            ts.factory.createLogicalAnd(
+                ExpressionFactory.isObject({
+                    checkArray: false,
+                    checkNull,
+                })(input),
+                ts.factory.createStrictEquality(
+                    ts.factory.createStringLiteral("function"),
+                    ValueFactory.TYPEOF(
+                        IdentifierFactory.access(input)("toJSON"),
+                    ),
+                ),
+            );
+
+    export const decode_functional = (input: ts.Expression) =>
+        ts.factory.createStrictEquality(
+            ts.factory.createStringLiteral("function"),
+            ValueFactory.TYPEOF(input),
+        );
+}

package/src/programmers/IsPruneProgrammer.ts

@@ -1,83 +1,81 @@
-import type ts from "typescript/lib/tsclibrary";
-
-import { IdentifierFactory } from "../factories/IdentifierFactory";
-import { StatementFactory } from "../factories/StatementFactory";
-import { TypeFactory } from "../factories/TypeFactory";
-
-import { IProject } from "../transformers/IProject";
-
-import { IsProgrammer } from "./IsProgrammer";
-import { PruneProgrammer } from "./PruneProgrammer";
-
-export namespace IsPruneProgrammer {
-    /**
-     * @deprecated Use `write()` function instead
-     */
-    export const generate =
-        (project: IProject, modulo: ts.LeftHandSideExpression) =>
-        (type: ts.Type, name?: string) =>
-            write(project)(modulo)(type, name);
-
-    export const write =
-        (p: IProject) =>
-        (modulo: ts.LeftHandSideExpression) =>
-        (type: ts.Type, name?: string) =>
-            p.tsc.factory.createArrowFunction(
-                undefined,
-                undefined,
-                [
-                    IdentifierFactory.parameter(p.tsc)(
-                        "input",
-                        TypeFactory.keyword(p.tsc)("any"),
-                    ),
-                ],
-                p.tsc.factory.createTypePredicateNode(
-                    undefined,
-                    "input",
-                    p.tsc.factory.createTypeReferenceNode(
-                        name ?? TypeFactory.getFullName(p)(type),
-                    ),
-                ),
-                undefined,
-                p.tsc.factory.createBlock([
-                    StatementFactory.constant(p.tsc)(
-                        "is",
-                        IsProgrammer.write(p)(modulo)(false)(type, name),
-                    ),
-                    StatementFactory.constant(p.tsc)(
-                        "prune",
-                        PruneProgrammer.write({
-                            ...p,
-                            options: {
-                                ...p.options,
-                                functional: false,
-                                numeric: false,
-                            },
-                        })(modulo)(type, name),
-                    ),
-                    p.tsc.factory.createIfStatement(
-                        p.tsc.factory.createPrefixUnaryExpression(
-                            p.tsc.SyntaxKind.ExclamationToken,
-                            p.tsc.factory.createCallExpression(
-                                p.tsc.factory.createIdentifier("is"),
-                                undefined,
-                                [p.tsc.factory.createIdentifier("input")],
-                            ),
-                        ),
-                        p.tsc.factory.createReturnStatement(
-                            p.tsc.factory.createFalse(),
-                        ),
-                    ),
-                    p.tsc.factory.createExpressionStatement(
-                        p.tsc.factory.createCallExpression(
-                            p.tsc.factory.createIdentifier("prune"),
-                            undefined,
-                            [p.tsc.factory.createIdentifier("input")],
-                        ),
-                    ),
-                    p.tsc.factory.createReturnStatement(
-                        p.tsc.factory.createTrue(),
-                    ),
-                ]),
-            );
-}
+import ts from "typescript";
+
+import { IdentifierFactory } from "../factories/IdentifierFactory";
+import { StatementFactory } from "../factories/StatementFactory";
+import { TypeFactory } from "../factories/TypeFactory";
+
+import { IProject } from "../transformers/IProject";
+
+import { IsProgrammer } from "./IsProgrammer";
+import { PruneProgrammer } from "./PruneProgrammer";
+
+export namespace IsPruneProgrammer {
+    /**
+     * @deprecated Use `write()` function instead
+     */
+    export const generate =
+        (project: IProject, modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type, name?: string) =>
+            write(project)(modulo)(type, name);
+
+    export const write =
+        (project: IProject) =>
+        (modulo: ts.LeftHandSideExpression) =>
+        (type: ts.Type, name?: string) =>
+            ts.factory.createArrowFunction(
+                undefined,
+                undefined,
+                [
+                    IdentifierFactory.parameter(
+                        "input",
+                        TypeFactory.keyword("any"),
+                    ),
+                ],
+                ts.factory.createTypePredicateNode(
+                    undefined,
+                    "input",
+                    ts.factory.createTypeReferenceNode(
+                        name ?? TypeFactory.getFullName(project.checker)(type),
+                    ),
+                ),
+                undefined,
+                ts.factory.createBlock([
+                    StatementFactory.constant(
+                        "is",
+                        IsProgrammer.write(project)(modulo)(false)(type, name),
+                    ),
+                    StatementFactory.constant(
+                        "prune",
+                        PruneProgrammer.write({
+                            ...project,
+                            options: {
+                                ...project.options,
+                                functional: false,
+                                numeric: false,
+                            },
+                        })(modulo)(type, name),
+                    ),
+                    ts.factory.createIfStatement(
+                        ts.factory.createPrefixUnaryExpression(
+                            ts.SyntaxKind.ExclamationToken,
+                            ts.factory.createCallExpression(
+                                ts.factory.createIdentifier("is"),
+                                undefined,
+                                [ts.factory.createIdentifier("input")],
+                            ),
+                        ),
+                        ts.factory.createReturnStatement(
+                            ts.factory.createFalse(),
+                        ),
+                    ),
+                    ts.factory.createExpressionStatement(
+                        ts.factory.createCallExpression(
+                            ts.factory.createIdentifier("prune"),
+                            undefined,
+                            [ts.factory.createIdentifier("input")],
+                        ),
+                    ),
+                    ts.factory.createReturnStatement(ts.factory.createTrue()),
+                ]),
+            );
+}