typia 11.0.3 → 12.0.0-dev.20260227

package/lib/programmers/RandomProgrammer.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"RandomProgrammer.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":""}

package/lib/programmers/TypiaProgrammer.d.mts

@@ -1,8 +0,0 @@
-export declare namespace TypiaProgrammer {
-    interface ILocation {
-        input: string;
-        output: string;
-        project: string;
-    }
-    const build: (location: TypiaProgrammer.ILocation) => Promise<void>;
-}

package/lib/programmers/ValidateProgrammer.d.mts

@@ -1,23 +0,0 @@
-import ts from "typescript";
-import { IProgrammerProps } from "../transformers/IProgrammerProps";
-import { ITypiaContext } from "../transformers/ITypiaContext";
-import { FeatureProgrammer } from "./FeatureProgrammer";
-import { FunctionProgrammer } from "./helpers/FunctionProgrammer";
-export declare namespace ValidateProgrammer {
-    interface IConfig {
-        equals: boolean;
-        standardSchema?: boolean;
-    }
-    interface IProps extends IProgrammerProps {
-        config: IConfig;
-    }
-    const decompose: (props: {
-        context: ITypiaContext;
-        modulo: ts.LeftHandSideExpression;
-        functor: FunctionProgrammer;
-        config: IConfig;
-        type: ts.Type;
-        name: string | undefined;
-    }) => FeatureProgrammer.IDecomposed;
-    const write: (props: IProps) => ts.CallExpression;
-}

package/lib/programmers/ValidateProgrammer.d.ts

@@ -1,23 +0,0 @@
-import ts from "typescript";
-import { IProgrammerProps } from "../transformers/IProgrammerProps";
-import { ITypiaContext } from "../transformers/ITypiaContext";
-import { FeatureProgrammer } from "./FeatureProgrammer";
-import { FunctionProgrammer } from "./helpers/FunctionProgrammer";
-export declare namespace ValidateProgrammer {
-    interface IConfig {
-        equals: boolean;
-        standardSchema?: boolean;
-    }
-    interface IProps extends IProgrammerProps {
-        config: IConfig;
-    }
-    const decompose: (props: {
-        context: ITypiaContext;
-        modulo: ts.LeftHandSideExpression;
-        functor: FunctionProgrammer;
-        config: IConfig;
-        type: ts.Type;
-        name: string | undefined;
-    }) => FeatureProgrammer.IDecomposed;
-    const write: (props: IProps) => ts.CallExpression;
-}

package/lib/programmers/ValidateProgrammer.js

@@ -1,240 +0,0 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ValidateProgrammer = void 0;
-const typescript_1 = __importDefault(require("typescript"));
-const ExpressionFactory_1 = require("../factories/ExpressionFactory");
-const IdentifierFactory_1 = require("../factories/IdentifierFactory");
-const StatementFactory_1 = require("../factories/StatementFactory");
-const TypeFactory_1 = require("../factories/TypeFactory");
-const CheckerProgrammer_1 = require("./CheckerProgrammer");
-const FeatureProgrammer_1 = require("./FeatureProgrammer");
-const IsProgrammer_1 = require("./IsProgrammer");
-const FunctionProgrammer_1 = require("./helpers/FunctionProgrammer");
-const OptionPredicator_1 = require("./helpers/OptionPredicator");
-const check_everything_1 = require("./internal/check_everything");
-const check_object_1 = require("./internal/check_object");
-var ValidateProgrammer;
-(function (ValidateProgrammer) {
-    ValidateProgrammer.decompose = (props) => {
-        var _a;
-        const is = IsProgrammer_1.IsProgrammer.decompose(props);
-        const composed = CheckerProgrammer_1.CheckerProgrammer.compose(Object.assign(Object.assign({}, props), { config: {
-                prefix: "_v",
-                path: true,
-                trace: true,
-                numeric: OptionPredicator_1.OptionPredicator.numeric(props.context.options),
-                equals: props.config.equals,
-                atomist: (next) => [
-                    ...(next.entry.expression ? [next.entry.expression] : []),
-                    ...(next.entry.conditions.length === 0
-                        ? []
-                        : next.entry.conditions.length === 1
-                            ? next.entry.conditions[0].map((cond) => typescript_1.default.factory.createLogicalOr(cond.expression, create_report_call({
-                                exceptionable: next.explore.from === "top"
-                                    ? typescript_1.default.factory.createTrue()
-                                    : typescript_1.default.factory.createIdentifier("_exceptionable"),
-                                path: typescript_1.default.factory.createIdentifier(next.explore.postfix
-                                    ? `_path + ${next.explore.postfix}`
-                                    : "_path"),
-                                expected: cond.expected,
-                                value: next.input,
-                            })))
-                            : [
-                                typescript_1.default.factory.createLogicalOr(next.entry.conditions
-                                    .map((set) => set
-                                    .map((s) => s.expression)
-                                    .reduce((a, b) => typescript_1.default.factory.createLogicalAnd(a, b)))
-                                    .reduce((a, b) => typescript_1.default.factory.createLogicalOr(a, b)), create_report_call({
-                                    exceptionable: next.explore.from === "top"
-                                        ? typescript_1.default.factory.createTrue()
-                                        : typescript_1.default.factory.createIdentifier("_exceptionable"),
-                                    path: typescript_1.default.factory.createIdentifier(next.explore.postfix
-                                        ? `_path + ${next.explore.postfix}`
-                                        : "_path"),
-                                    expected: next.entry.expected,
-                                    value: next.input,
-                                })),
-                            ]),
-                ].reduce((x, y) => typescript_1.default.factory.createLogicalAnd(x, y)),
-                combiner: combine(props),
-                joiner: joiner(props),
-                success: typescript_1.default.factory.createTrue(),
-            } }));
-        const arrow = typescript_1.default.factory.createArrowFunction(undefined, undefined, [IdentifierFactory_1.IdentifierFactory.parameter("input", TypeFactory_1.TypeFactory.keyword("any"))], props.context.importer.type({
-            file: "typia",
-            name: "IValidation",
-            arguments: [
-                typescript_1.default.factory.createTypeReferenceNode((_a = props.name) !== null && _a !== void 0 ? _a : TypeFactory_1.TypeFactory.getFullName({
-                    checker: props.context.checker,
-                    type: props.type,
-                })),
-            ],
-        }), undefined, typescript_1.default.factory.createBlock([
-            // validate when false === is<T>(input)
-            typescript_1.default.factory.createIfStatement(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createFalse(), typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("__is"), undefined, [typescript_1.default.factory.createIdentifier("input")])), typescript_1.default.factory.createBlock([
-                // prepare errors
-                typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createBinaryExpression(typescript_1.default.factory.createIdentifier("errors"), typescript_1.default.factory.createToken(typescript_1.default.SyntaxKind.EqualsToken), typescript_1.default.factory.createArrayLiteralExpression([]))),
-                typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createBinaryExpression(typescript_1.default.factory.createIdentifier("_report"), typescript_1.default.factory.createToken(typescript_1.default.SyntaxKind.EqualsToken), typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createAsExpression(props.context.importer.internal("validateReport"), TypeFactory_1.TypeFactory.keyword("any")), [], [typescript_1.default.factory.createIdentifier("errors")]))),
-                typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createArrowFunction(undefined, undefined, composed.parameters, undefined, undefined, composed.body), undefined, [
-                    typescript_1.default.factory.createIdentifier("input"),
-                    typescript_1.default.factory.createStringLiteral("$input"),
-                    typescript_1.default.factory.createTrue(),
-                ])),
-                StatementFactory_1.StatementFactory.constant({
-                    name: "success",
-                    value: typescript_1.default.factory.createStrictEquality(ExpressionFactory_1.ExpressionFactory.number(0), typescript_1.default.factory.createIdentifier("errors.length")),
-                }),
-                typescript_1.default.factory.createReturnStatement(typescript_1.default.factory.createAsExpression(create_output(), TypeFactory_1.TypeFactory.keyword("any"))),
-            ])),
-            typescript_1.default.factory.createReturnStatement(typescript_1.default.factory.createAsExpression(typescript_1.default.factory.createObjectLiteralExpression([
-                typescript_1.default.factory.createPropertyAssignment("success", typescript_1.default.factory.createTrue()),
-                typescript_1.default.factory.createPropertyAssignment("data", typescript_1.default.factory.createIdentifier("input")),
-            ], true), TypeFactory_1.TypeFactory.keyword("any"))),
-        ], true));
-        return {
-            functions: Object.assign(Object.assign({}, is.functions), composed.functions),
-            statements: [
-                ...is.statements,
-                ...composed.statements,
-                StatementFactory_1.StatementFactory.constant({
-                    name: "__is",
-                    value: is.arrow,
-                }),
-                StatementFactory_1.StatementFactory.mut({ name: "errors" }),
-                StatementFactory_1.StatementFactory.mut({ name: "_report" }),
-            ],
-            arrow,
-        };
-    };
-    ValidateProgrammer.write = (props) => {
-        const functor = new FunctionProgrammer_1.FunctionProgrammer(props.modulo.getText());
-        const result = ValidateProgrammer.decompose({
-            config: props.config,
-            context: props.context,
-            modulo: props.modulo,
-            functor,
-            type: props.type,
-            name: props.name,
-        });
-        return FeatureProgrammer_1.FeatureProgrammer.writeDecomposed({
-            modulo: props.modulo,
-            functor,
-            result,
-            returnWrapper: props.config.standardSchema
-                ? (arrow) => typescript_1.default.factory.createCallExpression(props.context.importer.internal("createStandardSchema"), undefined, [arrow])
-                : undefined,
-        });
-    };
-})(ValidateProgrammer || (exports.ValidateProgrammer = ValidateProgrammer = {}));
-const combine = (props) => (next) => {
-    if (next.explore.tracable === false)
-        return IsProgrammer_1.IsProgrammer.configure({
-            options: {
-                object: (v) => validate_object({
-                    context: props.context,
-                    functor: props.functor,
-                    config: props.config,
-                    entries: v.entries,
-                    input: v.input,
-                }),
-                numeric: true,
-            },
-            context: props.context,
-            functor: props.functor,
-        }).combiner(next);
-    const path = next.explore.postfix
-        ? `_path + ${next.explore.postfix}`
-        : "_path";
-    return next.logic === "and"
-        ? next.binaries
-            .map((binary) => binary.combined
-            ? binary.expression
-            : typescript_1.default.factory.createLogicalOr(binary.expression, create_report_call({
-                exceptionable: next.explore.source === "top"
-                    ? typescript_1.default.factory.createTrue()
-                    : typescript_1.default.factory.createIdentifier("_exceptionable"),
-                path: typescript_1.default.factory.createIdentifier(path),
-                expected: next.expected,
-                value: next.input,
-            })))
-            .reduce(typescript_1.default.factory.createLogicalAnd)
-        : typescript_1.default.factory.createLogicalOr(next.binaries
-            .map((binary) => binary.expression)
-            .reduce(typescript_1.default.factory.createLogicalOr), create_report_call({
-            exceptionable: next.explore.source === "top"
-                ? typescript_1.default.factory.createTrue()
-                : typescript_1.default.factory.createIdentifier("_exceptionable"),
-            path: typescript_1.default.factory.createIdentifier(path),
-            expected: next.expected,
-            value: next.input,
-        }));
-};
-const validate_object = (props) => (0, check_object_1.check_object)({
-    config: {
-        equals: props.config.equals,
-        undefined: true,
-        assert: false,
-        reduce: typescript_1.default.factory.createLogicalAnd,
-        positive: typescript_1.default.factory.createTrue(),
-        superfluous: (input, description) => create_report_call({
-            path: typescript_1.default.factory.createAdd(typescript_1.default.factory.createIdentifier("_path"), typescript_1.default.factory.createCallExpression(props.context.importer.internal("accessExpressionAsString"), undefined, [typescript_1.default.factory.createIdentifier("key")])),
-            expected: "undefined",
-            value: input,
-            description,
-        }),
-        halt: (expr) => typescript_1.default.factory.createLogicalOr(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createFalse(), typescript_1.default.factory.createIdentifier("_exceptionable")), expr),
-    },
-    context: props.context,
-    entries: props.entries,
-    input: props.input,
-});
-const joiner = (props) => ({
-    object: (v) => validate_object({
-        context: props.context,
-        functor: props.functor,
-        config: props.config,
-        entries: v.entries,
-        input: v.input,
-    }),
-    array: (props) => (0, check_everything_1.check_everything)(typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.access(props.input, "map"), undefined, [props.arrow])),
-    failure: (next) => {
-        var _a, _b;
-        return create_report_call({
-            exceptionable: ((_a = next.explore) === null || _a === void 0 ? void 0 : _a.from) === "top"
-                ? typescript_1.default.factory.createTrue()
-                : typescript_1.default.factory.createIdentifier("_exceptionable"),
-            path: typescript_1.default.factory.createIdentifier(((_b = next.explore) === null || _b === void 0 ? void 0 : _b.postfix) ? `_path + ${next.explore.postfix}` : "_path"),
-            expected: next.expected,
-            value: next.input,
-        });
-    },
-    tuple: (binaries) => (0, check_everything_1.check_everything)(typescript_1.default.factory.createArrayLiteralExpression(binaries, true)),
-});
-const create_output = () => typescript_1.default.factory.createConditionalExpression(typescript_1.default.factory.createIdentifier("success"), undefined, typescript_1.default.factory.createObjectLiteralExpression([
-    typescript_1.default.factory.createShorthandPropertyAssignment("success"),
-    typescript_1.default.factory.createPropertyAssignment("data", typescript_1.default.factory.createIdentifier("input")),
-], true), undefined, typescript_1.default.factory.createObjectLiteralExpression([
-    typescript_1.default.factory.createShorthandPropertyAssignment("success"),
-    typescript_1.default.factory.createShorthandPropertyAssignment("errors"),
-    typescript_1.default.factory.createPropertyAssignment("data", typescript_1.default.factory.createIdentifier("input")),
-], true));
-const create_report_call = (props) => {
-    var _a;
-    return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("_report"), undefined, [
-        (_a = props.exceptionable) !== null && _a !== void 0 ? _a : typescript_1.default.factory.createIdentifier("_exceptionable"),
-        typescript_1.default.factory.createObjectLiteralExpression([
-            typescript_1.default.factory.createPropertyAssignment("path", props.path),
-            typescript_1.default.factory.createPropertyAssignment("expected", typescript_1.default.factory.createStringLiteral(props.expected)),
-            typescript_1.default.factory.createPropertyAssignment("value", props.value),
-            ...(props.description
-                ? [
-                    typescript_1.default.factory.createPropertyAssignment("description", props.description),
-                ]
-                : []),
-        ], true),
-    ]);
-};
-//# sourceMappingURL=ValidateProgrammer.js.map

package/lib/programmers/ValidateProgrammer.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"ValidateProgrammer.js","sourceRoot":"","sources":["../../src/programmers/ValidateProgrammer.ts"],"names":[],"mappings":";;;;;;AAAA,4DAA4B;AAE5B,sEAAmE;AACnE,sEAAmE;AACnE,oEAAiE;AACjE,0DAAuD;AAKvD,2DAAwD;AACxD,2DAAwD;AACxD,iDAA8C;AAC9C,qEAAkE;AAElE,iEAA8D;AAC9D,kEAA+D;AAC/D,0DAAuD;AAEvD,IAAiB,kBAAkB,CA2OlC;AA3OD,WAAiB,kBAAkB;IASpB,4BAAS,GAAG,CAAC,KAOzB,EAAiC,EAAE;;QAClC,MAAM,EAAE,GAAkC,2BAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACxE,MAAM,QAAQ,GAAgC,qCAAiB,CAAC,OAAO,iCAClE,KAAK,KACR,MAAM,EAAE;gBACN,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,IAAI;gBACV,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,mCAAgB,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;gBACxD,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;gBAC3B,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAChB;oBACE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;wBACpC,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;4BAClC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACrC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,UAAU,EACf,kBAAkB,CAAC;gCACjB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;oCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gCACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,IAAI,CAAC,OAAO,CAAC,OAAO;oCAClB,CAAC,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;oCACnC,CAAC,CAAC,OAAO,CACZ;gCACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;gCACvB,KAAK,EAAE,IAAI,CAAC,KAAK;6BAClB,CAAC,CACH,CACF;4BACH,CAAC,CAAC;gCACE,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,KAAK,CAAC,UAAU;qCAClB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACX,GAAG;qCACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC;qCACxB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACf,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAClC,CACJ;qCACA,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EACrD,kBAAkB,CAAC;oCACjB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;wCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;oCACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,IAAI,CAAC,OAAO,CAAC,OAAO;wCAClB,CAAC,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;wCACnC,CAAC,CAAC,OAAO,CACZ;oCACD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;oCAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;iCAClB,CAAC,CACH;6BACF,CAAC;iBACT,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvD,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC;gBACxB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;gBACrB,OAAO,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;aACjC,IACD,CAAC;QACH,MAAM,KAAK,GAAqB,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5D,SAAS,EACT,SAAS,EACT,CAAC,qCAAiB,CAAC,SAAS,CAAC,OAAO,EAAE,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAClE,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC1B,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE;gBACT,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,MAAA,KAAK,CAAC,IAAI,mCACR,yBAAW,CAAC,WAAW,CAAC;oBACtB,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;iBACjB,CAAC,CACL;aACF;SACF,CAAC,EACF,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,WAAW,CACpB;YACE,uCAAuC;YACvC,oBAAE,CAAC,OAAO,CAAC,iBAAiB,CAC1B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EACxB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EACnC,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CACvC,CACF,EACD,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC;gBACrB,iBAAiB;gBACjB,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EACrC,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EACjD,oBAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAC5C,CACF;gBACD,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,EACtC,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EACjD,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,kBAAkB,CAC3B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACjD,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAC3B,EACD,EAAE,EACF,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CACxC,CACF,CACF;gBACD,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5B,SAAS,EACT,SAAS,EACT,QAAQ,CAAC,UAAU,EACnB,SAAS,EACT,SAAS,EACT,QAAQ,CAAC,IAAI,CACd,EACD,SAAS,EACT;oBACE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC;oBACpC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC;oBACxC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;iBACxB,CACF,CACF;gBACD,mCAAgB,CAAC,QAAQ,CAAC;oBACxB,IAAI,EAAE,SAAS;oBACf,KAAK,EAAE,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CACpC,qCAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAC7C;iBACF,CAAC;gBACF,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC9B,oBAAE,CAAC,OAAO,CAAC,kBAAkB,CAC3B,aAAa,EAAE,EACf,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAC3B,CACF;aACF,CAAC,CACH;YACD,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC9B,oBAAE,CAAC,OAAO,CAAC,kBAAkB,CAC3B,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACtC;gBACE,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE,CACxB;gBACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,MAAM,EACN,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CACrC;aACF,EACD,IAAI,CACL,EACD,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAC3B,CACF;SACF,EACD,IAAI,CACL,CACF,CAAC;QACF,OAAO;YACL,SAAS,kCACJ,EAAE,CAAC,SAAS,GACZ,QAAQ,CAAC,SAAS,CACtB;YACD,UAAU,EAAE;gBACV,GAAG,EAAE,CAAC,UAAU;gBAChB,GAAG,QAAQ,CAAC,UAAU;gBACtB,mCAAgB,CAAC,QAAQ,CAAC;oBACxB,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,EAAE,CAAC,KAAK;iBAChB,CAAC;gBACF,mCAAgB,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACxC,mCAAgB,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;aAC1C;YACD,KAAK;SACN,CAAC;IACJ,CAAC,CAAC;IAEW,wBAAK,GAAG,CAAC,KAAa,EAAE,EAAE;QACrC,MAAM,OAAO,GAAuB,IAAI,uCAAkB,CACxD,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CACvB,CAAC;QACF,MAAM,MAAM,GAAkC,mBAAA,SAAS,CAAC;YACtD,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO;YACP,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,IAAI;SACjB,CAAC,CAAC;QACH,OAAO,qCAAiB,CAAC,eAAe,CAAC;YACvC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,OAAO;YACP,MAAM;YACN,aAAa,EAAE,KAAK,CAAC,MAAM,CAAC,cAAc;gBACxC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CACR,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC,EACvD,SAAS,EACT,CAAC,KAAK,CAAC,CACR;gBACL,CAAC,CAAC,SAAS;SACd,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC,EA3OgB,kBAAkB,kCAAlB,kBAAkB,QA2OlC;AAED,MAAM,OAAO,GACX,CAAC,KAIA,EAAsC,EAAE,CACzC,CAAC,IAAI,EAAE,EAAE;IACP,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK;QACjC,OAAO,2BAAY,CAAC,SAAS,CAAC;YAC5B,OAAO,EAAE;gBACP,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,eAAe,CAAC;oBACd,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,KAAK,EAAE,CAAC,CAAC,KAAK;iBACf,CAAC;gBACJ,OAAO,EAAE,IAAI;aACd;YACD,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAEpB,MAAM,IAAI,GAAW,IAAI,CAAC,OAAO,CAAC,OAAO;QACvC,CAAC,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE;QACnC,CAAC,CAAC,OAAO,CAAC;IACZ,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK;QACzB,CAAC,CAAC,IAAI,CAAC,QAAQ;aACV,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACd,MAAM,CAAC,QAAQ;YACb,CAAC,CAAC,MAAM,CAAC,UAAU;YACnB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,MAAM,CAAC,UAAU,EACjB,kBAAkB,CAAC;gBACjB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK;oBAC3B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;gBACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;gBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC,CACH,CACN;aACA,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC;QACxC,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,QAAQ;aACV,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC;aAClC,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,EACrC,kBAAkB,CAAC;YACjB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK;gBAC3B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;YACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC,CACH,CAAC;AACR,CAAC,CAAC;AAEJ,MAAM,eAAe,GAAG,CAAC,KAMxB,EAAE,EAAE,CACH,IAAA,2BAAY,EAAC;IACX,MAAM,EAAE;QACN,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;QAC3B,SAAS,EAAE,IAAI;QACf,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;QACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;QACjC,WAAW,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,CAClC,kBAAkB,CAAC;YACjB,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,SAAS,CACxB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAC3D,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CACrC,CACF;YACD,QAAQ,EAAE,WAAW;YACrB,KAAK,EAAE,KAAK;YACZ,WAAW;SACZ,CAAC;QACJ,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CACb,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EACxB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAC9C,EACD,IAAI,CACL;KACJ;IACD,OAAO,EAAE,KAAK,CAAC,OAAO;IACtB,OAAO,EAAE,KAAK,CAAC,OAAO;IACtB,KAAK,EAAE,KAAK,CAAC,KAAK;CACnB,CAAC,CAAC;AAEL,MAAM,MAAM,GAAG,CAAC,KAIf,EAAqC,EAAE,CAAC,CAAC;IACxC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CACZ,eAAe,CAAC;QACd,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,KAAK,EAAE,CAAC,CAAC,KAAK;KACf,CAAC;IACJ,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,IAAA,mCAAgB,EACd,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,qCAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAC5C,SAAS,EACT,CAAC,KAAK,CAAC,KAAK,CAAC,CACd,CACF;IACH,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;;QAChB,OAAA,kBAAkB,CAAC;YACjB,aAAa,EACX,CAAA,MAAA,IAAI,CAAC,OAAO,0CAAE,IAAI,MAAK,KAAK;gBAC1B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;YACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC/B,CAAA,MAAA,IAAI,CAAC,OAAO,0CAAE,OAAO,EAAC,CAAC,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CACpE;YACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;SAClB,CAAC,CAAA;KAAA;IACJ,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAClB,IAAA,mCAAgB,EAAC,oBAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;CAC5E,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,GAAG,EAAE,CACzB,oBAAE,CAAC,OAAO,CAAC,2BAA2B,CACpC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,EACtC,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACtC;IACE,oBAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,SAAS,CAAC;IACvD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,MAAM,EACN,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CACrC;CACF,EACD,IAAI,CACL,EACD,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACtC;IACE,oBAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,SAAS,CAAC;IACvD,oBAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,QAAQ,CAAC;IACtD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,MAAM,EACN,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CACrC;CACF,EACD,IAAI,CACL,CACF,CAAC;AAEJ,MAAM,kBAAkB,GAAG,CAAC,KAM3B,EAAiB,EAAE;;IAClB,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,EACtC,SAAS,EACT;QACE,MAAA,KAAK,CAAC,aAAa,mCAAI,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;QACpE,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACtC;YACE,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;YACvD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,UAAU,EACV,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC/C;YACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;YACzD,GAAG,CAAC,KAAK,CAAC,WAAW;gBACnB,CAAC,CAAC;oBACE,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,aAAa,EACb,KAAK,CAAC,WAAW,CAClB;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;SACR,EACD,IAAI,CACL;KACF,CACF,CAAA;CAAA,CAAC"}

package/lib/programmers/ValidateProgrammer.mjs

@@ -1,237 +0,0 @@
-import ts from 'typescript';
-import { ExpressionFactory } from '../factories/ExpressionFactory.mjs';
-import { IdentifierFactory } from '../factories/IdentifierFactory.mjs';
-import { StatementFactory } from '../factories/StatementFactory.mjs';
-import { TypeFactory } from '../factories/TypeFactory.mjs';
-import { CheckerProgrammer } from './CheckerProgrammer.mjs';
-import { FeatureProgrammer } from './FeatureProgrammer.mjs';
-import { IsProgrammer } from './IsProgrammer.mjs';
-import { FunctionProgrammer } from './helpers/FunctionProgrammer.mjs';
-import { OptionPredicator } from './helpers/OptionPredicator.mjs';
-import { check_everything } from './internal/check_everything.mjs';
-import { check_object } from './internal/check_object.mjs';
-
-var ValidateProgrammer;
-(function (ValidateProgrammer) {
-    ValidateProgrammer.decompose = (props) => {
-        const is = IsProgrammer.decompose(props);
-        const composed = CheckerProgrammer.compose({
-            ...props,
-            config: {
-                prefix: "_v",
-                path: true,
-                trace: true,
-                numeric: OptionPredicator.numeric(props.context.options),
-                equals: props.config.equals,
-                atomist: (next) => [
-                    ...(next.entry.expression ? [next.entry.expression] : []),
-                    ...(next.entry.conditions.length === 0
-                        ? []
-                        : next.entry.conditions.length === 1
-                            ? next.entry.conditions[0].map((cond) => ts.factory.createLogicalOr(cond.expression, create_report_call({
-                                exceptionable: next.explore.from === "top"
-                                    ? ts.factory.createTrue()
-                                    : ts.factory.createIdentifier("_exceptionable"),
-                                path: ts.factory.createIdentifier(next.explore.postfix
-                                    ? `_path + ${next.explore.postfix}`
-                                    : "_path"),
-                                expected: cond.expected,
-                                value: next.input,
-                            })))
-                            : [
-                                ts.factory.createLogicalOr(next.entry.conditions
-                                    .map((set) => set
-                                    .map((s) => s.expression)
-                                    .reduce((a, b) => ts.factory.createLogicalAnd(a, b)))
-                                    .reduce((a, b) => ts.factory.createLogicalOr(a, b)), create_report_call({
-                                    exceptionable: next.explore.from === "top"
-                                        ? ts.factory.createTrue()
-                                        : ts.factory.createIdentifier("_exceptionable"),
-                                    path: ts.factory.createIdentifier(next.explore.postfix
-                                        ? `_path + ${next.explore.postfix}`
-                                        : "_path"),
-                                    expected: next.entry.expected,
-                                    value: next.input,
-                                })),
-                            ]),
-                ].reduce((x, y) => ts.factory.createLogicalAnd(x, y)),
-                combiner: combine(props),
-                joiner: joiner(props),
-                success: ts.factory.createTrue(),
-            },
-        });
-        const arrow = ts.factory.createArrowFunction(undefined, undefined, [IdentifierFactory.parameter("input", TypeFactory.keyword("any"))], props.context.importer.type({
-            file: "typia",
-            name: "IValidation",
-            arguments: [
-                ts.factory.createTypeReferenceNode(props.name ??
-                    TypeFactory.getFullName({
-                        checker: props.context.checker,
-                        type: props.type,
-                    })),
-            ],
-        }), undefined, ts.factory.createBlock([
-            // validate when false === is<T>(input)
-            ts.factory.createIfStatement(ts.factory.createStrictEquality(ts.factory.createFalse(), ts.factory.createCallExpression(ts.factory.createIdentifier("__is"), undefined, [ts.factory.createIdentifier("input")])), ts.factory.createBlock([
-                // prepare errors
-                ts.factory.createExpressionStatement(ts.factory.createBinaryExpression(ts.factory.createIdentifier("errors"), ts.factory.createToken(ts.SyntaxKind.EqualsToken), ts.factory.createArrayLiteralExpression([]))),
-                ts.factory.createExpressionStatement(ts.factory.createBinaryExpression(ts.factory.createIdentifier("_report"), ts.factory.createToken(ts.SyntaxKind.EqualsToken), ts.factory.createCallExpression(ts.factory.createAsExpression(props.context.importer.internal("validateReport"), TypeFactory.keyword("any")), [], [ts.factory.createIdentifier("errors")]))),
-                ts.factory.createExpressionStatement(ts.factory.createCallExpression(ts.factory.createArrowFunction(undefined, undefined, composed.parameters, undefined, undefined, composed.body), undefined, [
-                    ts.factory.createIdentifier("input"),
-                    ts.factory.createStringLiteral("$input"),
-                    ts.factory.createTrue(),
-                ])),
-                StatementFactory.constant({
-                    name: "success",
-                    value: ts.factory.createStrictEquality(ExpressionFactory.number(0), ts.factory.createIdentifier("errors.length")),
-                }),
-                ts.factory.createReturnStatement(ts.factory.createAsExpression(create_output(), TypeFactory.keyword("any"))),
-            ])),
-            ts.factory.createReturnStatement(ts.factory.createAsExpression(ts.factory.createObjectLiteralExpression([
-                ts.factory.createPropertyAssignment("success", ts.factory.createTrue()),
-                ts.factory.createPropertyAssignment("data", ts.factory.createIdentifier("input")),
-            ], true), TypeFactory.keyword("any"))),
-        ], true));
-        return {
-            functions: {
-                ...is.functions,
-                ...composed.functions,
-            },
-            statements: [
-                ...is.statements,
-                ...composed.statements,
-                StatementFactory.constant({
-                    name: "__is",
-                    value: is.arrow,
-                }),
-                StatementFactory.mut({ name: "errors" }),
-                StatementFactory.mut({ name: "_report" }),
-            ],
-            arrow,
-        };
-    };
-    ValidateProgrammer.write = (props) => {
-        const functor = new FunctionProgrammer(props.modulo.getText());
-        const result = ValidateProgrammer.decompose({
-            config: props.config,
-            context: props.context,
-            modulo: props.modulo,
-            functor,
-            type: props.type,
-            name: props.name,
-        });
-        return FeatureProgrammer.writeDecomposed({
-            modulo: props.modulo,
-            functor,
-            result,
-            returnWrapper: props.config.standardSchema
-                ? (arrow) => ts.factory.createCallExpression(props.context.importer.internal("createStandardSchema"), undefined, [arrow])
-                : undefined,
-        });
-    };
-})(ValidateProgrammer || (ValidateProgrammer = {}));
-const combine = (props) => (next) => {
-    if (next.explore.tracable === false)
-        return IsProgrammer.configure({
-            options: {
-                object: (v) => validate_object({
-                    context: props.context,
-                    functor: props.functor,
-                    config: props.config,
-                    entries: v.entries,
-                    input: v.input,
-                }),
-                numeric: true,
-            },
-            context: props.context,
-            functor: props.functor,
-        }).combiner(next);
-    const path = next.explore.postfix
-        ? `_path + ${next.explore.postfix}`
-        : "_path";
-    return next.logic === "and"
-        ? next.binaries
-            .map((binary) => binary.combined
-            ? binary.expression
-            : ts.factory.createLogicalOr(binary.expression, create_report_call({
-                exceptionable: next.explore.source === "top"
-                    ? ts.factory.createTrue()
-                    : ts.factory.createIdentifier("_exceptionable"),
-                path: ts.factory.createIdentifier(path),
-                expected: next.expected,
-                value: next.input,
-            })))
-            .reduce(ts.factory.createLogicalAnd)
-        : ts.factory.createLogicalOr(next.binaries
-            .map((binary) => binary.expression)
-            .reduce(ts.factory.createLogicalOr), create_report_call({
-            exceptionable: next.explore.source === "top"
-                ? ts.factory.createTrue()
-                : ts.factory.createIdentifier("_exceptionable"),
-            path: ts.factory.createIdentifier(path),
-            expected: next.expected,
-            value: next.input,
-        }));
-};
-const validate_object = (props) => check_object({
-    config: {
-        equals: props.config.equals,
-        undefined: true,
-        assert: false,
-        reduce: ts.factory.createLogicalAnd,
-        positive: ts.factory.createTrue(),
-        superfluous: (input, description) => create_report_call({
-            path: ts.factory.createAdd(ts.factory.createIdentifier("_path"), ts.factory.createCallExpression(props.context.importer.internal("accessExpressionAsString"), undefined, [ts.factory.createIdentifier("key")])),
-            expected: "undefined",
-            value: input,
-            description,
-        }),
-        halt: (expr) => ts.factory.createLogicalOr(ts.factory.createStrictEquality(ts.factory.createFalse(), ts.factory.createIdentifier("_exceptionable")), expr),
-    },
-    context: props.context,
-    entries: props.entries,
-    input: props.input,
-});
-const joiner = (props) => ({
-    object: (v) => validate_object({
-        context: props.context,
-        functor: props.functor,
-        config: props.config,
-        entries: v.entries,
-        input: v.input,
-    }),
-    array: (props) => check_everything(ts.factory.createCallExpression(IdentifierFactory.access(props.input, "map"), undefined, [props.arrow])),
-    failure: (next) => create_report_call({
-        exceptionable: next.explore?.from === "top"
-            ? ts.factory.createTrue()
-            : ts.factory.createIdentifier("_exceptionable"),
-        path: ts.factory.createIdentifier(next.explore?.postfix ? `_path + ${next.explore.postfix}` : "_path"),
-        expected: next.expected,
-        value: next.input,
-    }),
-    tuple: (binaries) => check_everything(ts.factory.createArrayLiteralExpression(binaries, true)),
-});
-const create_output = () => ts.factory.createConditionalExpression(ts.factory.createIdentifier("success"), undefined, ts.factory.createObjectLiteralExpression([
-    ts.factory.createShorthandPropertyAssignment("success"),
-    ts.factory.createPropertyAssignment("data", ts.factory.createIdentifier("input")),
-], true), undefined, ts.factory.createObjectLiteralExpression([
-    ts.factory.createShorthandPropertyAssignment("success"),
-    ts.factory.createShorthandPropertyAssignment("errors"),
-    ts.factory.createPropertyAssignment("data", ts.factory.createIdentifier("input")),
-], true));
-const create_report_call = (props) => ts.factory.createCallExpression(ts.factory.createIdentifier("_report"), undefined, [
-    props.exceptionable ?? ts.factory.createIdentifier("_exceptionable"),
-    ts.factory.createObjectLiteralExpression([
-        ts.factory.createPropertyAssignment("path", props.path),
-        ts.factory.createPropertyAssignment("expected", ts.factory.createStringLiteral(props.expected)),
-        ts.factory.createPropertyAssignment("value", props.value),
-        ...(props.description
-            ? [
-                ts.factory.createPropertyAssignment("description", props.description),
-            ]
-            : []),
-    ], true),
-]);
-
-export { ValidateProgrammer };
-//# sourceMappingURL=ValidateProgrammer.mjs.map

package/lib/programmers/ValidateProgrammer.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"ValidateProgrammer.mjs","sources":[],"sourcesContent":[],"names":[],"mappings":""}

package/lib/programmers/functional/FunctionalAssertFunctionProgrammer.d.mts

@@ -1,28 +0,0 @@
-import ts from "typescript";
-import { ITypiaContext } from "../../transformers/ITypiaContext";
-export declare namespace FunctionalAssertFunctionProgrammer {
-    interface IConfig {
-        equals: boolean;
-    }
-    interface IProps {
-        context: ITypiaContext;
-        modulo: ts.LeftHandSideExpression;
-        config: IConfig;
-        declaration: ts.FunctionDeclaration;
-        expression: ts.Expression;
-        init?: ts.Expression | undefined;
-    }
-    const write: (props: IProps) => ts.CallExpression;
-    const errorFactoryWrapper: (props: {
-        context: ITypiaContext;
-        parameters: readonly ts.ParameterDeclaration[];
-        init: ts.Expression | undefined;
-    }) => {
-        name: string;
-        variable: ts.VariableStatement;
-    };
-    const hookPath: (props: {
-        wrapper: string;
-        replacer: string;
-    }) => ts.ArrowFunction;
-}

package/lib/programmers/functional/FunctionalAssertFunctionProgrammer.d.ts

@@ -1,28 +0,0 @@
-import ts from "typescript";
-import { ITypiaContext } from "../../transformers/ITypiaContext";
-export declare namespace FunctionalAssertFunctionProgrammer {
-    interface IConfig {
-        equals: boolean;
-    }
-    interface IProps {
-        context: ITypiaContext;
-        modulo: ts.LeftHandSideExpression;
-        config: IConfig;
-        declaration: ts.FunctionDeclaration;
-        expression: ts.Expression;
-        init?: ts.Expression | undefined;
-    }
-    const write: (props: IProps) => ts.CallExpression;
-    const errorFactoryWrapper: (props: {
-        context: ITypiaContext;
-        parameters: readonly ts.ParameterDeclaration[];
-        init: ts.Expression | undefined;
-    }) => {
-        name: string;
-        variable: ts.VariableStatement;
-    };
-    const hookPath: (props: {
-        wrapper: string;
-        replacer: string;
-    }) => ts.ArrowFunction;
-}