typia 7.0.0-dev.20240923 → 7.0.0-dev.20240928

package/lib/programmers/AssertProgrammer.d.ts

@@ -12,8 +12,8 @@ export declare namespace AssertProgrammer {
         config: IConfig;
     }
     const decompose: (props: {
-        context: ITypiaContext;
         config: IConfig;
+        context: ITypiaContext;
         importer: FunctionImporter;
         type: ts.Type;
         name: string | undefined;

package/lib/programmers/AssertProgrammer.js

@@ -63,19 +63,25 @@ var AssertProgrammer;
                 trace: true,
                 numeric: OptionPredicator_1.OptionPredicator.numeric(props.context.options),
                 equals: props.config.equals,
-                atomist: function (explore) { return function (entry) { return function (input) {
-                    return __spreadArray(__spreadArray([], __read((entry.expression ? [entry.expression] : [])), false), __read((entry.conditions.length === 0
+                atomist: function (next) {
+                    return __spreadArray(__spreadArray([], __read((next.entry.expression ? [next.entry.expression] : [])), false), __read((next.entry.conditions.length === 0
                         ? []
-                        : entry.conditions.length === 1
-                            ? entry.conditions[0].map(function (cond) {
-                                return typescript_1.default.factory.createLogicalOr(cond.expression, create_guard_call(props.importer)(explore.from === "top"
-                                    ? typescript_1.default.factory.createTrue()
-                                    : typescript_1.default.factory.createIdentifier("_exceptionable"))(typescript_1.default.factory.createIdentifier(explore.postfix
-                                    ? "_path + ".concat(explore.postfix)
-                                    : "_path"), cond.expected, input));
+                        : next.entry.conditions.length === 1
+                            ? next.entry.conditions[0].map(function (cond) {
+                                return typescript_1.default.factory.createLogicalOr(cond.expression, create_guard_call({
+                                    importer: props.importer,
+                                    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 + ".concat(next.explore.postfix)
+                                        : "_path"),
+                                    expected: cond.expected,
+                                    input: next.input,
+                                }));
                             })
                             : [
-                                typescript_1.default.factory.createLogicalOr(entry.conditions
+                                typescript_1.default.factory.createLogicalOr(next.entry.conditions
                                     .map(function (set) {
                                     return set
                                         .map(function (s) { return s.expression; })
@@ -83,15 +89,21 @@ var AssertProgrammer;
                                         return typescript_1.default.factory.createLogicalAnd(a, b);
                                     });
                                 })
-                                    .reduce(function (a, b) { return typescript_1.default.factory.createLogicalOr(a, b); }), create_guard_call(props.importer)(explore.from === "top"
-                                    ? typescript_1.default.factory.createTrue()
-                                    : typescript_1.default.factory.createIdentifier("_exceptionable"))(typescript_1.default.factory.createIdentifier(explore.postfix
-                                    ? "_path + ".concat(explore.postfix)
-                                    : "_path"), entry.expected, input)),
+                                    .reduce(function (a, b) { return typescript_1.default.factory.createLogicalOr(a, b); }), create_guard_call({
+                                    importer: props.importer,
+                                    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 + ".concat(next.explore.postfix)
+                                        : "_path"),
+                                    expected: next.entry.expected,
+                                    input: next.input,
+                                })),
                             ])), false).reduce(function (x, y) { return typescript_1.default.factory.createLogicalAnd(x, y); });
-                }; }; },
-                combiner: combiner(props.config.equals)(props.context)(props.importer),
-                joiner: joiner(props.config.equals)(props.context)(props.importer),
+                },
+                combiner: combiner(props),
+                joiner: joiner(props),
                 success: typescript_1.default.factory.createTrue(),
             } }));
         var arrow = typescript_1.default.factory.createArrowFunction(undefined, undefined, [
@@ -131,120 +143,150 @@ var AssertProgrammer;
             result: result,
         });
     };
-    var combiner = function (equals) {
-        return function (project) {
-            return function (importer) {
-                return function (explore) {
-                    if (explore.tracable === false)
-                        return IsProgrammer_1.IsProgrammer.configure({
-                            object: assert_object(equals)(project)(importer),
-                            numeric: true,
-                        })(project)(importer).combiner(explore);
-                    var path = explore.postfix
-                        ? "_path + ".concat(explore.postfix)
-                        : "_path";
-                    return function (logic) { return function (input, binaries, expected) {
-                        return logic === "and"
-                            ? binaries
-                                .map(function (binary) {
-                                return binary.combined
-                                    ? binary.expression
-                                    : typescript_1.default.factory.createLogicalOr(binary.expression, create_guard_call(importer)(explore.source === "top"
-                                        ? typescript_1.default.factory.createTrue()
-                                        : typescript_1.default.factory.createIdentifier("_exceptionable"))(typescript_1.default.factory.createIdentifier(path), expected, input));
-                            })
-                                .reduce(typescript_1.default.factory.createLogicalAnd)
-                            : typescript_1.default.factory.createLogicalOr(binaries
-                                .map(function (binary) { return binary.expression; })
-                                .reduce(typescript_1.default.factory.createLogicalOr), create_guard_call(importer)(explore.source === "top"
+    var combiner = function (props) {
+        return function (next) {
+            if (next.explore.tracable === false)
+                return IsProgrammer_1.IsProgrammer.configure({
+                    object: function (v) {
+                        return assert_object({
+                            config: props.config,
+                            context: props.context,
+                            importer: props.importer,
+                            entries: v.entries,
+                            input: v.input,
+                        });
+                    },
+                    numeric: true,
+                })(props.context)(props.importer).combiner(next);
+            var path = next.explore.postfix
+                ? "_path + ".concat(next.explore.postfix)
+                : "_path";
+            return next.logic === "and"
+                ? next.binaries
+                    .map(function (binary) {
+                    return binary.combined
+                        ? binary.expression
+                        : typescript_1.default.factory.createLogicalOr(binary.expression, create_guard_call({
+                            importer: props.importer,
+                            exceptionable: next.explore.source === "top"
                                 ? typescript_1.default.factory.createTrue()
-                                : typescript_1.default.factory.createIdentifier("_exceptionable"))(typescript_1.default.factory.createIdentifier(path), expected, input));
-                    }; };
-                    // : (() => {
-                    //       const addicted = binaries.slice();
-                    //       if (
-                    //           addicted[addicted.length - 1]!.combined === false
-                    //       ) {
-                    //           addicted.push({
-                    //               combined: true,
-                    //               expression: create_guard_call(importer)(
-                    //                   explore.source === "top"
-                    //                       ? ts.factory.createTrue()
-                    //                       : ts.factory.createIdentifier(
-                    //                             "_exceptionable",
-                    //                         ),
-                    //               )(
-                    //                   ts.factory.createIdentifier(path),
-                    //                   expected,
-                    //                   input,
-                    //               ),
-                    //           });
-                    //       }
-                    //       return addicted
-                    //           .map((b) => b.expression)
-                    //           .reduce(ts.factory.createLogicalOr);
-                    //   })();
-                };
-            };
+                                : typescript_1.default.factory.createIdentifier("_exceptionable"),
+                            path: typescript_1.default.factory.createIdentifier(path),
+                            expected: next.expected,
+                            input: next.input,
+                        }));
+                })
+                    .reduce(typescript_1.default.factory.createLogicalAnd)
+                : typescript_1.default.factory.createLogicalOr(next.binaries
+                    .map(function (binary) { return binary.expression; })
+                    .reduce(typescript_1.default.factory.createLogicalOr), create_guard_call({
+                    importer: props.importer,
+                    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,
+                    input: next.input,
+                }));
+            // : (() => {
+            //       const addicted = binaries.slice();
+            //       if (
+            //           addicted[addicted.length - 1]!.combined === false
+            //       ) {
+            //           addicted.push({
+            //               combined: true,
+            //               expression: create_guard_call(importer)(
+            //                   explore.source === "top"
+            //                       ? ts.factory.createTrue()
+            //                       : ts.factory.createIdentifier(
+            //                             "_exceptionable",
+            //                         ),
+            //               )(
+            //                   ts.factory.createIdentifier(path),
+            //                   expected,
+            //                   input,
+            //               ),
+            //           });
+            //       }
+            //       return addicted
+            //           .map((b) => b.expression)
+            //           .reduce(ts.factory.createLogicalOr);
+            //   })();
         };
     };
-    var assert_object = function (equals) {
-        return function (project) {
-            return function (importer) {
-                return (0, check_object_1.check_object)({
-                    equals: equals,
-                    assert: true,
-                    undefined: true,
-                    reduce: typescript_1.default.factory.createLogicalAnd,
-                    positive: typescript_1.default.factory.createTrue(),
-                    superfluous: function (value) {
-                        return create_guard_call(importer)()(typescript_1.default.factory.createAdd(typescript_1.default.factory.createIdentifier("_path"), typescript_1.default.factory.createCallExpression(importer.use("join"), undefined, [
-                            typescript_1.default.factory.createIdentifier("key"),
-                        ])), "undefined", value);
-                    },
-                    halt: function (expr) {
-                        return typescript_1.default.factory.createLogicalOr(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createFalse(), typescript_1.default.factory.createIdentifier("_exceptionable")), expr);
-                    },
-                })(project)(importer);
-            };
-        };
+    var assert_object = function (props) {
+        return (0, check_object_1.check_object)({
+            equals: props.config.equals,
+            assert: true,
+            undefined: true,
+            reduce: typescript_1.default.factory.createLogicalAnd,
+            positive: typescript_1.default.factory.createTrue(),
+            superfluous: function (input) {
+                return create_guard_call({
+                    importer: props.importer,
+                    path: typescript_1.default.factory.createAdd(typescript_1.default.factory.createIdentifier("_path"), typescript_1.default.factory.createCallExpression(props.importer.use("join"), undefined, [typescript_1.default.factory.createIdentifier("key")])),
+                    expected: "undefined",
+                    input: input,
+                });
+            },
+            halt: function (expr) {
+                return typescript_1.default.factory.createLogicalOr(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createFalse(), typescript_1.default.factory.createIdentifier("_exceptionable")), expr);
+            },
+        })(props.context)(props.importer)({
+            input: props.input,
+            entries: props.entries,
+        });
     };
-    var joiner = function (equals) {
-        return function (project) {
-            return function (importer) { return ({
-                object: assert_object(equals)(project)(importer),
-                array: function (props) {
-                    return typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.access(props.input)("every"), undefined, [props.arrow]);
-                },
-                failure: function (value, expected, explore) {
-                    return create_guard_call(importer)((explore === null || explore === void 0 ? void 0 : explore.from) === "top"
+    var joiner = function (props) { return ({
+        object: function (next) {
+            return assert_object({
+                config: props.config,
+                context: props.context,
+                importer: props.importer,
+                entries: next.entries,
+                input: next.input,
+            });
+        },
+        array: function (props) {
+            return typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.access(props.input)("every"), undefined, [props.arrow]);
+        },
+        failure: function (next) {
+            var _a, _b;
+            return create_guard_call({
+                importer: props.importer,
+                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 + ".concat(next.explore.postfix) : "_path"),
+                expected: next.expected,
+                input: next.input,
+            });
+        },
+        full: props.config.equals
+            ? undefined
+            : function (next) {
+                return typescript_1.default.factory.createLogicalOr(next.condition, create_guard_call({
+                    importer: props.importer,
+                    exceptionable: next.explore.from === "top"
                         ? typescript_1.default.factory.createTrue()
-                        : typescript_1.default.factory.createIdentifier("_exceptionable"))(typescript_1.default.factory.createIdentifier((explore === null || explore === void 0 ? void 0 : explore.postfix) ? "_path + ".concat(explore.postfix) : "_path"), expected, value);
-                },
-                full: equals
-                    ? undefined
-                    : function (condition) { return function (input, expected, explore) {
-                        return typescript_1.default.factory.createLogicalOr(condition, create_guard_call(importer)(explore.from === "top"
-                            ? typescript_1.default.factory.createTrue()
-                            : typescript_1.default.factory.createIdentifier("_exceptionable"))(typescript_1.default.factory.createIdentifier("_path"), expected, input));
-                    }; },
-            }); };
-        };
-    };
-    var create_guard_call = function (importer) {
-        return function (exceptionable) {
-            return function (path, expected, value) {
-                return typescript_1.default.factory.createCallExpression(importer.use("guard"), undefined, [
-                    exceptionable !== null && exceptionable !== void 0 ? exceptionable : typescript_1.default.factory.createIdentifier("_exceptionable"),
-                    typescript_1.default.factory.createObjectLiteralExpression([
-                        typescript_1.default.factory.createPropertyAssignment("path", path),
-                        typescript_1.default.factory.createPropertyAssignment("expected", typescript_1.default.factory.createStringLiteral(expected)),
-                        typescript_1.default.factory.createPropertyAssignment("value", value),
-                    ], true),
-                    typescript_1.default.factory.createIdentifier("_errorFactory"),
-                ]);
-            };
-        };
+                        : typescript_1.default.factory.createIdentifier("_exceptionable"),
+                    path: typescript_1.default.factory.createIdentifier("_path"),
+                    expected: next.expected,
+                    input: next.input,
+                }));
+            },
+    }); };
+    var create_guard_call = function (props) {
+        var _a;
+        return typescript_1.default.factory.createCallExpression(props.importer.use("guard"), 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.input),
+            ], true),
+            typescript_1.default.factory.createIdentifier("_errorFactory"),
+        ]);
     };
     var Guardian;
     (function (Guardian) {

package/lib/programmers/AssertProgrammer.js.map

@@ -1 +1 @@
-{"version":3,"file":"AssertProgrammer.js","sourceRoot":"","sources":["../../src/programmers/AssertProgrammer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,oEAAmE;AACnE,kEAAiE;AACjE,wDAAuD;AAKvD,yDAAwD;AACxD,yDAAwD;AACxD,+CAA8C;AAC9C,+DAA8D;AAC9D,+DAA8D;AAC9D,wDAAuD;AAEvD,IAAiB,gBAAgB,CAoYhC;AApYD,WAAiB,gBAAgB;IASlB,0BAAS,GAAG,UAAC,KAOzB;;QACC,IAAM,EAAE,GAAkC,2BAAY,CAAC,SAAS,uBAC3D,KAAK,KACR,MAAM,EAAE;gBACN,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;aAC5B,IACD,CAAC;QACH,IAAM,QAAQ,GAAgC,qCAAiB,CAAC,OAAO,uBAClE,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,UAAC,OAAO,IAAK,OAAA,UAAC,KAAK,IAAK,OAAA,UAAC,KAAK;oBACrC,OAAA,uCACK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,kBAC5C,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;wBAC/B,CAAC,CAAC,EAAE;wBACJ,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;4BAC7B,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,UAAC,IAAI;gCAC5B,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,UAAU,EACf,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC/B,OAAO,CAAC,IAAI,KAAK,KAAK;oCACpB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAClD,CACC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACzB,OAAO,CAAC,OAAO;oCACb,CAAC,CAAC,kBAAW,OAAO,CAAC,OAAO,CAAE;oCAC9B,CAAC,CAAC,OAAO,CACZ,EACD,IAAI,CAAC,QAAQ,EACb,KAAK,CACN,CACF;4BAfD,CAeC,CACF;4BACH,CAAC,CAAC;gCACE,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,KAAK,CAAC,UAAU;qCACb,GAAG,CAAC,UAAC,GAAG;oCACP,OAAA,GAAG;yCACA,GAAG,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,UAAU,EAAZ,CAAY,CAAC;yCACxB,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC;wCACX,OAAA,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;oCAAjC,CAAiC,CAClC;gCAJH,CAIG,CACJ;qCACA,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAhC,CAAgC,CAAC,EACrD,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC/B,OAAO,CAAC,IAAI,KAAK,KAAK;oCACpB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAClD,CACC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACzB,OAAO,CAAC,OAAO;oCACb,CAAC,CAAC,kBAAW,OAAO,CAAC,OAAO,CAAE;oCAC9B,CAAC,CAAC,OAAO,CACZ,EACD,KAAK,CAAC,QAAQ,EACd,KAAK,CACN,CACF;6BACF,CAAC,UACR,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAjC,CAAiC,CAAC;gBAjDrD,CAiDqD,EAlDtB,CAkDsB,EAlDjC,CAkDiC;gBACvD,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;gBACtE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;gBAClE,OAAO,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;aACjC,IACD,CAAC;QACH,IAAM,KAAK,GAAqB,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5D,SAAS,EACT,SAAS,EACT;YACE,qCAAiB,CAAC,SAAS,CAAC,OAAO,EAAE,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;SAC/B,EACD,KAAK,CAAC,MAAM,CAAC,KAAK;YAChB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EACpD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,MAAA,KAAK,CAAC,IAAI,mCACR,yBAAW,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAC7D,CACF;YACH,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,MAAA,KAAK,CAAC,IAAI,mCACR,yBAAW,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAC7D,EACL,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,WAAW;YAElB,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,CACpB;gBACE,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,EAC5C,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EACjD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAC5C,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;aACF,EACD,IAAI,CACL,EACD,SAAS,CACV;kBACE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK;YAC9B,CAAC,CAAC;gBACE,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC9B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CACrC;aACF;YACH,CAAC,CAAC,EAAE,CAAC,WAET,IAAI,CACL,CACF,CAAC;QAEF,OAAO;YACL,SAAS,wBACJ,EAAE,CAAC,SAAS,GACZ,QAAQ,CAAC,SAAS,CACtB;YACD,UAAU,uDACL,EAAE,CAAC,UAAU,kBACb,QAAQ,CAAC,UAAU;gBACtB,mCAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC;gBAC3C,mCAAgB,CAAC,GAAG,CAAC,eAAe,CAAC;qBACtC;YACD,KAAK,OAAA;SACN,CAAC;IACJ,CAAC,CAAC;IAEW,sBAAK,GAAG,UAAC,KAAa;QACjC,IAAM,QAAQ,GAAqB,IAAI,mCAAgB,CACrD,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CACvB,CAAC;QACF,IAAM,MAAM,GAAkC,iBAAA,SAAS,uBAClD,KAAK,KACR,QAAQ,UAAA,IACR,CAAC;QACH,OAAO,qCAAiB,CAAC,eAAe,CAAC;YACvC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,UAAA;YACR,MAAM,QAAA;SACP,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,IAAM,QAAQ,GACZ,UAAC,MAAe;QAChB,OAAA,UAAC,OAAsB;YACvB,OAAA,UAAC,QAA0B;gBAC3B,OAAA,UAAC,OAAmC;oBAClC,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK;wBAC5B,OAAO,2BAAY,CAAC,SAAS,CAAC;4BAC5B,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC;4BAChD,OAAO,EAAE,IAAI;yBACd,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;oBAE1C,IAAM,IAAI,GAAW,OAAO,CAAC,OAAO;wBAClC,CAAC,CAAC,kBAAW,OAAO,CAAC,OAAO,CAAE;wBAC9B,CAAC,CAAC,OAAO,CAAC;oBACZ,OAAO,UAAC,KAAK,IAAK,OAAA,UAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ;wBAC1C,OAAA,KAAK,KAAK,KAAK;4BACb,CAAC,CAAC,QAAQ;iCACL,GAAG,CAAC,UAAC,MAAM;gCACV,OAAA,MAAM,CAAC,QAAQ;oCACb,CAAC,CAAC,MAAM,CAAC,UAAU;oCACnB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,MAAM,CAAC,UAAU,EACjB,iBAAiB,CAAC,QAAQ,CAAC,CACzB,OAAO,CAAC,MAAM,KAAK,KAAK;wCACtB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAClD,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CACtD;4BATL,CASK,CACN;iCACA,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC;4BACxC,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,QAAQ;iCACL,GAAG,CAAC,UAAC,MAAM,IAAK,OAAA,MAAM,CAAC,UAAU,EAAjB,CAAiB,CAAC;iCAClC,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,EACrC,iBAAiB,CAAC,QAAQ,CAAC,CACzB,OAAO,CAAC,MAAM,KAAK,KAAK;gCACtB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAClD,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CACtD;oBAxBL,CAwBK,EAzBW,CAyBX,CAAC;oBACR,aAAa;oBACb,2CAA2C;oBAC3C,aAAa;oBACb,8DAA8D;oBAC9D,YAAY;oBACZ,4BAA4B;oBAC5B,gCAAgC;oBAChC,yDAAyD;oBACzD,6CAA6C;oBAC7C,kDAAkD;oBAClD,uDAAuD;oBACvD,gDAAgD;oBAChD,6BAA6B;oBAC7B,mBAAmB;oBACnB,uDAAuD;oBACvD,8BAA8B;oBAC9B,2BAA2B;oBAC3B,mBAAmB;oBACnB,gBAAgB;oBAChB,UAAU;oBACV,wBAAwB;oBACxB,sCAAsC;oBACtC,iDAAiD;oBACjD,UAAU;gBACZ,CAAC;YA5DD,CA4DC;QA7DD,CA6DC;IA9DD,CA8DC,CAAC;IAEJ,IAAM,aAAa,GACjB,UAAC,MAAe;QAChB,OAAA,UAAC,OAAsB;YACvB,OAAA,UAAC,QAA0B;gBACzB,OAAA,IAAA,2BAAY,EAAC;oBACX,MAAM,QAAA;oBACN,MAAM,EAAE,IAAI;oBACZ,SAAS,EAAE,IAAI;oBACf,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;oBACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oBACjC,WAAW,EAAE,UAAC,KAAK;wBACjB,OAAA,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAC3B,oBAAE,CAAC,OAAO,CAAC,SAAS,CAClB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE;4BAC/D,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;yBACnC,CAAC,CACH,EACD,WAAW,EACX,KAAK,CACN;oBATD,CASC;oBACH,IAAI,EAAE,UAAC,IAAI;wBACT,OAAA,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;oBAND,CAMC;iBACJ,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC;YAzBrB,CAyBqB;QA1BvB,CA0BuB;IA3BvB,CA2BuB,CAAC;IAE1B,IAAM,MAAM,GACV,UAAC,MAAe;QAChB,OAAA,UAAC,OAAsB;YACvB,OAAA,UAAC,QAA0B,IAAwC,OAAA,CAAC;gBAClE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC;gBAChD,KAAK,EAAE,UAAC,KAAK;oBACX,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,qCAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAC9C,SAAS,EACT,CAAC,KAAK,CAAC,KAAK,CAAC,CACd;gBAJD,CAIC;gBACH,OAAO,EAAE,UAAC,KAAK,EAAE,QAAQ,EAAE,OAAO;oBAChC,OAAA,iBAAiB,CAAC,QAAQ,CAAC,CACzB,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,IAAI,MAAK,KAAK;wBACrB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAClD,CACC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACzB,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,OAAO,EAAC,CAAC,CAAC,kBAAW,OAAO,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,OAAO,CAC1D,EACD,QAAQ,EACR,KAAK,CACN;gBAVD,CAUC;gBACH,IAAI,EAAE,MAAM;oBACV,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,UAAC,SAAS,IAAK,OAAA,UAAC,KAAK,EAAE,QAAQ,EAAE,OAAO;wBACtC,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,SAAS,EACT,iBAAiB,CAAC,QAAQ,CAAC,CACzB,OAAO,CAAC,IAAI,KAAK,KAAK;4BACpB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;4BACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAClD,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CACzD;oBAPD,CAOC,EARY,CAQZ;aACR,CAAC,EA/BiE,CA+BjE;QA/BF,CA+BE;IAhCF,CAgCE,CAAC;IAEL,IAAM,iBAAiB,GACrB,UAAC,QAA0B;QAC3B,OAAA,UAAC,aAA6B;YAC9B,OAAA,UACE,IAAmB,EACnB,QAAgB,EAChB,KAAoB;gBAEpB,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE;oBAChE,aAAa,aAAb,aAAa,cAAb,aAAa,GAAI,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;oBAC9D,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACtC;wBACE,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,IAAI,CAAC;wBACjD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,UAAU,EACV,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CACzC;wBACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC;qBACpD,EACD,IAAI,CACL;oBACD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC;iBAC7C,CAAC;YAdF,CAcE;QAnBJ,CAmBI;IApBJ,CAoBI,CAAC;IAEP,IAAiB,QAAQ,CAqCxB;IArCD,WAAiB,QAAQ;QACV,mBAAU,GAAG,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,EAA3C,CAA2C,CAAC;QAC/D,kBAAS,GAAG,UAAC,IAA+B;YACvD,OAAA,qCAAiB,CAAC,SAAS,CACzB,cAAc,EACd,SAAA,IAAI,EAAE,EACN,IAAI,aAAJ,IAAI,cAAJ,IAAI,GAAI,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAC5D;QAJD,CAIC,CAAC;QACS,aAAI,GAAG;YAClB,OAAA,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,SAAS,EACT;gBACE,oBAAE,CAAC,OAAO,CAAC,0BAA0B,CACnC,SAAS,EACT,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAChC,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC9B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,CACxC,EACD,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAC7C,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CACtC,EACD,SAAS,EACT,KAAK,CACN,EACD,SAAS,CACV;aACF,EACD,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,SAAS,CACV,CACF;QA3BD,CA2BC,CAAC;IACN,CAAC,EArCgB,QAAQ,GAAR,yBAAQ,KAAR,yBAAQ,QAqCxB;AACH,CAAC,EApYgB,gBAAgB,gCAAhB,gBAAgB,QAoYhC"}
+{"version":3,"file":"AssertProgrammer.js","sourceRoot":"","sources":["../../src/programmers/AssertProgrammer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,oEAAmE;AACnE,kEAAiE;AACjE,wDAAuD;AAKvD,yDAAwD;AACxD,yDAAwD;AACxD,+CAA8C;AAC9C,+DAA8D;AAE9D,+DAA8D;AAC9D,wDAAuD;AAEvD,IAAiB,gBAAgB,CA6ahC;AA7aD,WAAiB,gBAAgB;IASlB,0BAAS,GAAG,UAAC,KAOzB;;QACC,IAAM,EAAE,GAAkC,2BAAY,CAAC,SAAS,uBAC3D,KAAK,KACR,MAAM,EAAE;gBACN,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;aAC5B,IACD,CAAC;QACH,IAAM,QAAQ,GAAgC,qCAAiB,CAAC,OAAO,uBAClE,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,UAAC,IAAI;oBACZ,OAAA,uCACK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,kBACtD,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,UAAC,IAAI;gCACjC,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,UAAU,EACf,iBAAiB,CAAC;oCAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oCACxB,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,kBAAW,IAAI,CAAC,OAAO,CAAC,OAAO,CAAE;wCACnC,CAAC,CAAC,OAAO,CACZ;oCACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;oCACvB,KAAK,EAAE,IAAI,CAAC,KAAK;iCAClB,CAAC,CACH;4BAhBD,CAgBC,CACF;4BACH,CAAC,CAAC;gCACE,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,KAAK,CAAC,UAAU;qCAClB,GAAG,CAAC,UAAC,GAAG;oCACP,OAAA,GAAG;yCACA,GAAG,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,UAAU,EAAZ,CAAY,CAAC;yCACxB,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC;wCACX,OAAA,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC;oCAAjC,CAAiC,CAClC;gCAJH,CAIG,CACJ;qCACA,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,EAAhC,CAAgC,CAAC,EACrD,iBAAiB,CAAC;oCAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oCACxB,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,kBAAW,IAAI,CAAC,OAAO,CAAC,OAAO,CAAE;wCACnC,CAAC,CAAC,OAAO,CACZ;oCACD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;oCAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;iCAClB,CAAC,CACH;6BACF,CAAC,UACR,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAjC,CAAiC,CAAC;gBAnDrD,CAmDqD;gBACvD,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC;gBACzB,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC;gBACrB,OAAO,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;aACjC,IACD,CAAC;QACH,IAAM,KAAK,GAAqB,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5D,SAAS,EACT,SAAS,EACT;YACE,qCAAiB,CAAC,SAAS,CAAC,OAAO,EAAE,yBAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAChE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;SAC/B,EACD,KAAK,CAAC,MAAM,CAAC,KAAK;YAChB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EACpD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,MAAA,KAAK,CAAC,IAAI,mCACR,yBAAW,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAC7D,CACF;YACH,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,MAAA,KAAK,CAAC,IAAI,mCACR,yBAAW,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAC7D,EACL,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,WAAW;YAElB,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,CACpB;gBACE,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAClC,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,EAC5C,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,WAAW,CAAC,EACjD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAC5C,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;aACF,EACD,IAAI,CACL,EACD,SAAS,CACV;kBACE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,KAAK;YAC9B,CAAC,CAAC;gBACE,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC9B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CACrC;aACF;YACH,CAAC,CAAC,EAAE,CAAC,WAET,IAAI,CACL,CACF,CAAC;QACF,OAAO;YACL,SAAS,wBACJ,EAAE,CAAC,SAAS,GACZ,QAAQ,CAAC,SAAS,CACtB;YACD,UAAU,uDACL,EAAE,CAAC,UAAU,kBACb,QAAQ,CAAC,UAAU;gBACtB,mCAAgB,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC;gBAC3C,mCAAgB,CAAC,GAAG,CAAC,eAAe,CAAC;qBACtC;YACD,KAAK,OAAA;SACN,CAAC;IACJ,CAAC,CAAC;IAEW,sBAAK,GAAG,UAAC,KAAa;QACjC,IAAM,QAAQ,GAAqB,IAAI,mCAAgB,CACrD,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CACvB,CAAC;QACF,IAAM,MAAM,GAAkC,iBAAA,SAAS,uBAClD,KAAK,KACR,QAAQ,UAAA,IACR,CAAC;QACH,OAAO,qCAAiB,CAAC,eAAe,CAAC;YACvC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,UAAA;YACR,MAAM,QAAA;SACP,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,IAAM,QAAQ,GACZ,UAAC,KAIA;QACD,OAAA,UAAC,IAAI;YACH,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK;gBACjC,OAAO,2BAAY,CAAC,SAAS,CAAC;oBAC5B,MAAM,EAAE,UAAC,CAAC;wBACR,OAAA,aAAa,CAAC;4BACZ,MAAM,EAAE,KAAK,CAAC,MAAM;4BACpB,OAAO,EAAE,KAAK,CAAC,OAAO;4BACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;4BACxB,OAAO,EAAE,CAAC,CAAC,OAAO;4BAClB,KAAK,EAAE,CAAC,CAAC,KAAK;yBACf,CAAC;oBANF,CAME;oBACJ,OAAO,EAAE,IAAI;iBACd,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAEnD,IAAM,IAAI,GAAW,IAAI,CAAC,OAAO,CAAC,OAAO;gBACvC,CAAC,CAAC,kBAAW,IAAI,CAAC,OAAO,CAAC,OAAO,CAAE;gBACnC,CAAC,CAAC,OAAO,CAAC;YACZ,OAAO,IAAI,CAAC,KAAK,KAAK,KAAK;gBACzB,CAAC,CAAC,IAAI,CAAC,QAAQ;qBACV,GAAG,CAAC,UAAC,MAAM;oBACV,OAAA,MAAM,CAAC,QAAQ;wBACb,CAAC,CAAC,MAAM,CAAC,UAAU;wBACnB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,MAAM,CAAC,UAAU,EACjB,iBAAiB,CAAC;4BAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;4BACxB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK;gCAC3B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;4BACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;4BACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;4BACvB,KAAK,EAAE,IAAI,CAAC,KAAK;yBAClB,CAAC,CACH;gBAdL,CAcK,CACN;qBACA,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC;gBACxC,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,QAAQ;qBACV,GAAG,CAAC,UAAC,MAAM,IAAK,OAAA,MAAM,CAAC,UAAU,EAAjB,CAAiB,CAAC;qBAClC,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,EACrC,iBAAiB,CAAC;oBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK;wBAC3B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;oBACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC;oBACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;iBAClB,CAAC,CACH,CAAC;YACN,aAAa;YACb,2CAA2C;YAC3C,aAAa;YACb,8DAA8D;YAC9D,YAAY;YACZ,4BAA4B;YAC5B,gCAAgC;YAChC,yDAAyD;YACzD,6CAA6C;YAC7C,kDAAkD;YAClD,uDAAuD;YACvD,gDAAgD;YAChD,6BAA6B;YAC7B,mBAAmB;YACnB,uDAAuD;YACvD,8BAA8B;YAC9B,2BAA2B;YAC3B,mBAAmB;YACnB,gBAAgB;YAChB,UAAU;YACV,wBAAwB;YACxB,sCAAsC;YACtC,iDAAiD;YACjD,UAAU;QACZ,CAAC;IA5ED,CA4EC,CAAC;IAEJ,IAAM,aAAa,GAAG,UAAC,KAMtB;QACC,OAAA,IAAA,2BAAY,EAAC;YACX,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;YAC3B,MAAM,EAAE,IAAI;YACZ,SAAS,EAAE,IAAI;YACf,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;YACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;YACjC,WAAW,EAAE,UAAC,KAAK;gBACjB,OAAA,iBAAiB,CAAC;oBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,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,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAC1B,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CACrC,CACF;oBACD,QAAQ,EAAE,WAAW;oBACrB,KAAK,OAAA;iBACN,CAAC;YAZF,CAYE;YACJ,IAAI,EAAE,UAAC,IAAI;gBACT,OAAA,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;YAND,CAMC;SACJ,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAChC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;IA/BF,CA+BE,CAAC;IAEL,IAAM,MAAM,GAAG,UAAC,KAIf,IAAwC,OAAA,CAAC;QACxC,MAAM,EAAE,UAAC,IAAI;YACX,OAAA,aAAa,CAAC;gBACZ,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC;QANF,CAME;QACJ,KAAK,EAAE,UAAC,KAAK;YACX,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,qCAAiB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAC9C,SAAS,EACT,CAAC,KAAK,CAAC,KAAK,CAAC,CACd;QAJD,CAIC;QACH,OAAO,EAAE,UAAC,IAAI;;YACZ,OAAA,iBAAiB,CAAC;gBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,aAAa,EACX,CAAA,MAAA,IAAI,CAAC,OAAO,0CAAE,IAAI,MAAK,KAAK;oBAC1B,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,CAC/B,CAAA,MAAA,IAAI,CAAC,OAAO,0CAAE,OAAO,EAAC,CAAC,CAAC,kBAAW,IAAI,CAAC,OAAO,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,OAAO,CACpE;gBACD,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;aAClB,CAAC,CAAA;SAAA;QACJ,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM;YACvB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,UAAC,IAAI;gBACH,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CACxB,IAAI,CAAC,SAAS,EACd,iBAAiB,CAAC;oBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK;wBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;oBACnD,IAAI,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC;oBAC1C,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,IAAI,CAAC,KAAK;iBAClB,CAAC,CACH;YAZD,CAYC;KACR,CAAC,EA5CuC,CA4CvC,CAAC;IAEH,IAAM,iBAAiB,GAAG,UAAC,KAM1B;;QACC,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE;YACtE,MAAA,KAAK,CAAC,aAAa,mCAAI,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;YACpE,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACtC;gBACE,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC;gBACvD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CACjC,UAAU,EACV,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAC/C;gBACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC;aAC1D,EACD,IAAI,CACL;YACD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC;SAC7C,CAAC,CAAA;KAAA,CAAC;IAEL,IAAiB,QAAQ,CAqCxB;IArCD,WAAiB,QAAQ;QACV,mBAAU,GAAG,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,EAA3C,CAA2C,CAAC;QAC/D,kBAAS,GAAG,UAAC,IAA+B;YACvD,OAAA,qCAAiB,CAAC,SAAS,CACzB,cAAc,EACd,SAAA,IAAI,EAAE,EACN,IAAI,aAAJ,IAAI,cAAJ,IAAI,GAAI,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,oBAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAC5D;QAJD,CAIC,CAAC;QACS,aAAI,GAAG;YAClB,OAAA,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC/B,SAAS,EACT;gBACE,oBAAE,CAAC,OAAO,CAAC,0BAA0B,CACnC,SAAS,EACT,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAChC,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC7B,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC9B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,CACxC,EACD,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC5B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAC7C,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CACtC,EACD,SAAS,EACT,KAAK,CACN,EACD,SAAS,CACV;aACF,EACD,oBAAE,CAAC,OAAO,CAAC,uBAAuB,CAChC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,SAAS,CACV,CACF;QA3BD,CA2BC,CAAC;IACN,CAAC,EArCgB,QAAQ,GAAR,yBAAQ,KAAR,yBAAQ,QAqCxB;AACH,CAAC,EA7agB,gBAAgB,gCAAhB,gBAAgB,QA6ahC"}

package/lib/programmers/CheckerProgrammer.d.ts

@@ -17,32 +17,47 @@ export declare namespace CheckerProgrammer {
         addition?: () => ts.Statement[];
         decoder?: () => FeatureProgrammer.Decoder<Metadata, ts.Expression>;
         combiner: IConfig.Combiner;
-        atomist: (explore: IExplore) => (check: ICheckEntry) => (input: ts.Expression) => ts.Expression;
+        atomist: (props: {
+            entry: ICheckEntry;
+            input: ts.Expression;
+            explore: IExplore;
+        }) => ts.Expression;
         joiner: IConfig.IJoiner;
         success: ts.Expression;
     }
     namespace IConfig {
         interface Combiner {
-            (explorer: IExplore): {
-                (logic: "and" | "or"): {
-                    (input: ts.Expression, binaries: IBinary[], expected: string): ts.Expression;
-                };
-            };
+            (props: {
+                explore: IExplore;
+                logic: "and" | "or";
+                input: ts.Expression;
+                binaries: IBinary[];
+                expected: string;
+            }): ts.Expression;
         }
         interface IJoiner {
             object(props: {
                 input: ts.Expression;
-                entries: IExpressionEntry[];
+                entries: IExpressionEntry<ts.Expression>[];
             }): ts.Expression;
             array(props: {
                 input: ts.Expression;
                 arrow: ts.ArrowFunction;
             }): ts.Expression;
             tuple?: undefined | ((exprs: ts.Expression[]) => ts.Expression);
-            failure(value: ts.Expression, expected: string, explore?: undefined | FeatureProgrammer.IExplore): ts.Expression;
+            failure(props: {
+                input: ts.Expression;
+                expected: string;
+                explore?: undefined | FeatureProgrammer.IExplore;
+            }): ts.Expression;
             is?(expression: ts.Expression): ts.Expression;
             required?(exp: ts.Expression): ts.Expression;
-            full?: undefined | ((condition: ts.Expression) => (input: ts.Expression, expected: string, explore: IExplore) => ts.Expression);
+            full?: undefined | ((props: {
+                condition: ts.Expression;
+                input: ts.Expression;
+                expected: string;
+                explore: IExplore;
+            }) => ts.Expression);
         }
     }
     type IExplore = FeatureProgrammer.IExplore;
@@ -57,10 +72,50 @@ export declare namespace CheckerProgrammer {
         type: ts.Type;
         name: string | undefined;
     }) => FeatureProgrammer.IComposed;
-    const write: (project: ITypiaContext) => (config: IConfig) => (importer: FunctionImporter) => (type: ts.Type, name?: string) => ts.ArrowFunction;
-    const write_object_functions: (project: ITypiaContext) => (config: IConfig) => (importer: FunctionImporter) => (collection: MetadataCollection) => ts.VariableStatement[];
-    const write_union_functions: (project: ITypiaContext) => (config: IConfig) => (importer: FunctionImporter) => (collection: MetadataCollection) => ts.VariableStatement[];
-    const write_array_functions: (project: ITypiaContext) => (config: IConfig) => (importer: FunctionImporter) => (collection: MetadataCollection) => ts.VariableStatement[];
-    const write_tuple_functions: (project: ITypiaContext) => (config: IConfig) => (importer: FunctionImporter) => (collection: MetadataCollection) => ts.VariableStatement[];
-    const decode_object: (config: IConfig) => (importer: FunctionImporter) => (input: ts.Expression, obj: MetadataObject, explore: IExplore) => ts.CallExpression;
+    const write: (props: {
+        context: ITypiaContext;
+        config: IConfig;
+        importer: FunctionImporter;
+        type: ts.Type;
+        name?: string;
+    }) => ts.ArrowFunction;
+    const write_object_functions: (props: {
+        context: ITypiaContext;
+        config: IConfig;
+        importer: FunctionImporter;
+        collection: MetadataCollection;
+    }) => ts.VariableStatement[];
+    const write_union_functions: (props: {
+        context: ITypiaContext;
+        config: IConfig;
+        importer: FunctionImporter;
+        collection: MetadataCollection;
+    }) => ts.VariableStatement[];
+    const write_array_functions: (props: {
+        context: ITypiaContext;
+        config: IConfig;
+        importer: FunctionImporter;
+        collection: MetadataCollection;
+    }) => ts.VariableStatement[];
+    const write_tuple_functions: (props: {
+        context: ITypiaContext;
+        config: IConfig;
+        importer: FunctionImporter;
+        collection: MetadataCollection;
+    }) => ts.VariableStatement[];
+    const decode: (props: {
+        context: ITypiaContext;
+        config: IConfig;
+        importer: FunctionImporter;
+        input: ts.Expression;
+        metadata: Metadata;
+        explore: IExplore;
+    }) => ts.Expression;
+    const decode_object: (props: {
+        config: IConfig;
+        importer: FunctionImporter;
+        object: MetadataObject;
+        input: ts.Expression;
+        explore: IExplore;
+    }) => ts.CallExpression;
 }