typia 3.3.12 → 3.4.0-dev.20221212

package/lib/programmers/ValidateProgrammer.js

@@ -1,4 +1,29 @@
 "use strict";
+var __read = (this && this.__read) || function (o, n) {
+    var m = typeof Symbol === "function" && o[Symbol.iterator];
+    if (!m) return o;
+    var i = m.call(o), r, ar = [], e;
+    try {
+        while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
+    }
+    catch (error) { e = { error: error }; }
+    finally {
+        try {
+            if (r && !r.done && (m = i["return"])) m.call(i);
+        }
+        finally { if (e) throw e.error; }
+    }
+    return ar;
+};
+var __spreadArray = (this && this.__spreadArray) || function (to, from, pack) {
+    if (pack || arguments.length === 2) for (var i = 0, l = from.length, ar; i < l; i++) {
+        if (ar || !(i in from)) {
+            if (!ar) ar = Array.prototype.slice.call(from, 0, i);
+            ar[i] = from[i];
+        }
+    }
+    return to.concat(ar || Array.prototype.slice.call(from));
+};
 var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
@@ -7,90 +32,121 @@ exports.ValidateProgrammer = void 0;
 var typescript_1 = __importDefault(require("typescript"));
 var IdentifierFactory_1 = require("../factories/IdentifierFactory");
 var StatementFactory_1 = require("../factories/StatementFactory");
-var ValueFactory_1 = require("../factories/ValueFactory");
 var CheckerProgrammer_1 = require("./CheckerProgrammer");
 var IsProgrammer_1 = require("./IsProgrammer");
 var FunctionImporeter_1 = require("./helpers/FunctionImporeter");
-var check_array_1 = require("./internal/check_array");
 var check_everything_1 = require("./internal/check_everything");
 var check_object_1 = require("./internal/check_object");
 var ValidateProgrammer;
 (function (ValidateProgrammer) {
-    function generate(project, modulo, equals) {
+    ValidateProgrammer.generate = function (project, modulo, equals) {
         if (equals === void 0) { equals = false; }
-        var importer = new FunctionImporeter_1.FunctionImporter();
         return function (type) {
-            return typescript_1.default.factory.createArrowFunction(undefined, undefined, [
-                typescript_1.default.factory.createParameterDeclaration(undefined, undefined, undefined, ValueFactory_1.ValueFactory.INPUT()),
-            ], undefined, undefined, typescript_1.default.factory.createBlock([
-                StatementFactory_1.StatementFactory.variable(typescript_1.default.NodeFlags.Const, "$out", create_output()),
-                StatementFactory_1.StatementFactory.variable(typescript_1.default.NodeFlags.Const, "$pred", typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.join(modulo, "predicate"), [], [typescript_1.default.factory.createIdentifier("$out")])),
-                typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createCallExpression(CheckerProgrammer_1.CheckerProgrammer.generate(project, {
-                    functors: "$vo",
-                    unioners: "$vu",
-                    trace: true,
-                    numeric: !!project.options.numeric,
-                    equals: equals,
-                    combiner: combine(equals)(importer),
-                    joiner: join(equals)(importer),
-                }, modulo, importer)(type), undefined, [ValueFactory_1.ValueFactory.INPUT()])),
-                typescript_1.default.factory.createReturnStatement(typescript_1.default.factory.createIdentifier("$out")),
-            ]));
+            var importer = new FunctionImporeter_1.FunctionImporter();
+            var program = CheckerProgrammer_1.CheckerProgrammer.generate(project, {
+                functors: "$vo",
+                unioners: "$vu",
+                path: true,
+                trace: true,
+                numeric: !!project.options.numeric,
+                equals: equals,
+                combiner: combine(equals)(importer),
+                joiner: joiner(equals)(importer),
+                success: typescript_1.default.factory.createTrue(),
+            }, importer)(type);
+            return typescript_1.default.factory.createArrowFunction(undefined, undefined, [IdentifierFactory_1.IdentifierFactory.parameter("input")], undefined, undefined, typescript_1.default.factory.createBlock(__spreadArray(__spreadArray([
+                StatementFactory_1.StatementFactory.constant("errors", typescript_1.default.factory.createArrayLiteralExpression([])),
+                StatementFactory_1.StatementFactory.constant("$report", typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.join(modulo, "report"), [], [typescript_1.default.factory.createIdentifier("errors")]))
+            ], __read(importer.declare(modulo)), false), [
+                typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createCallExpression(program, undefined, [
+                    typescript_1.default.factory.createIdentifier("input"),
+                    typescript_1.default.factory.createStringLiteral("$input"),
+                    typescript_1.default.factory.createTrue(),
+                ])),
+                StatementFactory_1.StatementFactory.constant("success", typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createNumericLiteral(0), typescript_1.default.factory.createIdentifier("errors.length"))),
+                typescript_1.default.factory.createReturnStatement(create_output()),
+            ], false), true));
         };
-    }
-    ValidateProgrammer.generate = generate;
+    };
 })(ValidateProgrammer = exports.ValidateProgrammer || (exports.ValidateProgrammer = {}));
-var combine = function (equals) { return function (importer) { return function (explore) {
-    var combiner = IsProgrammer_1.IsProgrammer.CONFIG({
-        object: validate_object(equals)(importer),
-        numeric: true,
-    }).combiner;
-    if (explore.tracable === false && explore.from !== "top")
-        return combiner(explore);
-    var path = explore.postfix
-        ? "path + ".concat(explore.postfix)
-        : "path";
-    return function (logic) { return function (input, expressions, expected) {
-        return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("$pred"), [], [
-            combiner(explore)(logic)(input, expressions, expected),
-            explore.source === "top"
-                ? typescript_1.default.factory.createTrue()
-                : typescript_1.default.factory.createIdentifier("exceptionable"),
-            create_report_function(typescript_1.default.factory.createIdentifier(path), expected, input),
-        ]);
-    }; };
-}; }; };
+var combine = function (equals) {
+    return function (importer) {
+        return function (explore) {
+            if (explore.tracable === false && explore.from !== "top")
+                return IsProgrammer_1.IsProgrammer.CONFIG({
+                    object: validate_object(equals)(importer),
+                    numeric: true,
+                }).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_report_call(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_report_call(explore.source === "top"
+                        ? typescript_1.default.factory.createTrue()
+                        : typescript_1.default.factory.createIdentifier("exceptionable"))(typescript_1.default.factory.createIdentifier(path), expected, input));
+            }; };
+        };
+    };
+};
 var validate_object = function (equals) { return function (importer) {
-    return (0, check_object_1.check_object)(equals)(false)(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);
-    })(function (expr) {
-        return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("$pred"), undefined, [
-            expr,
-            typescript_1.default.factory.createIdentifier("exceptionable"),
-            create_report_function(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", typescript_1.default.factory.createIdentifier("value")),
-        ]);
+    return (0, check_object_1.check_object)({
+        equals: equals,
+        assert: false,
+        reduce: typescript_1.default.factory.createLogicalAnd,
+        positive: typescript_1.default.factory.createTrue(),
+        superfluous: function (value) {
+            return create_report_call()(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);
+        },
     });
 }; };
-var join = function (equals) { return function (importer) { return ({
-    object: validate_object(equals)(importer),
-    array: function (input, arrow, tags) {
-        return (0, check_array_1.check_array)(input, arrow, tags, (0, check_everything_1.check_everything)(typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.join(input, "map"), undefined, [arrow])));
-    },
-    tuple: function (binaries) {
-        return (0, check_everything_1.check_everything)(typescript_1.default.factory.createArrayLiteralExpression(binaries, true));
-    },
-}); }; };
+var joiner = function (equals) {
+    return function (importer) { return ({
+        object: validate_object(equals)(importer),
+        array: function (input, arrow) {
+            return (0, check_everything_1.check_everything)(typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.join(input, "map"), undefined, [arrow]));
+        },
+        failure: function (value, expected, explore) {
+            return create_report_call((explore === null || explore === void 0 ? void 0 : 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);
+        },
+        tuple: function (binaries) {
+            return (0, check_everything_1.check_everything)(typescript_1.default.factory.createArrayLiteralExpression(binaries, true));
+        },
+    }); };
+};
 function create_output() {
     return typescript_1.default.factory.createObjectLiteralExpression([
-        typescript_1.default.factory.createPropertyAssignment("success", typescript_1.default.factory.createTrue()),
-        typescript_1.default.factory.createPropertyAssignment("errors", typescript_1.default.factory.createArrayLiteralExpression([], true)),
+        typescript_1.default.factory.createShorthandPropertyAssignment("success"),
+        typescript_1.default.factory.createShorthandPropertyAssignment("errors"),
+        typescript_1.default.factory.createPropertyAssignment("data", typescript_1.default.factory.createConditionalExpression(typescript_1.default.factory.createIdentifier("success"), undefined, typescript_1.default.factory.createIdentifier("input"), undefined, typescript_1.default.factory.createIdentifier("undefined"))),
     ], true);
 }
-function create_report_function(path, expected, value) {
-    return typescript_1.default.factory.createArrowFunction(undefined, undefined, [], undefined, undefined, 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));
-}
+var create_report_call = function (exceptionable) {
+    return function (path, expected, value) {
+        return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("$report"), undefined, [
+            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),
+        ]);
+    };
+};
 //# sourceMappingURL=ValidateProgrammer.js.map

package/lib/programmers/ValidateProgrammer.js.map

@@ -1 +1 @@
-{"version":3,"file":"ValidateProgrammer.js","sourceRoot":"","sources":["../../src/programmers/ValidateProgrammer.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,oEAAmE;AACnE,kEAAiE;AACjE,0DAAyD;AAIzD,yDAAwD;AACxD,+CAA8C;AAC9C,iEAA+D;AAC/D,sDAAqD;AACrD,gEAA+D;AAC/D,wDAAuD;AAEvD,IAAiB,kBAAkB,CA8DlC;AA9DD,WAAiB,kBAAkB;IAC/B,SAAgB,QAAQ,CACpB,OAAiB,EACjB,MAAiC,EACjC,MAAuB;QAAvB,uBAAA,EAAA,cAAuB;QAEvB,IAAM,QAAQ,GAAG,IAAI,oCAAgB,EAAE,CAAC;QACxC,OAAO,UAAC,IAAa;YACjB,OAAA,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC1B,SAAS,EACT,SAAS,EACT;gBACI,oBAAE,CAAC,OAAO,CAAC,0BAA0B,CACjC,SAAS,EACT,SAAS,EACT,SAAS,EACT,2BAAY,CAAC,KAAK,EAAE,CACvB;aACJ,EACD,SAAS,EACT,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC;gBACnB,mCAAgB,CAAC,QAAQ,CACrB,oBAAE,CAAC,SAAS,CAAC,KAAK,EAClB,MAAM,EACN,aAAa,EAAE,CAClB;gBACD,mCAAgB,CAAC,QAAQ,CACrB,oBAAE,CAAC,SAAS,CAAC,KAAK,EAClB,OAAO,EACP,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,EAC3C,EAAE,EACF,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CACxC,CACJ;gBACD,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAChC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,QAAQ,CACtB,OAAO,EACP;oBACI,QAAQ,EAAE,KAAK;oBACf,QAAQ,EAAE,KAAK;oBACf,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO;oBAClC,MAAM,QAAA;oBACN,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;oBACnC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;iBACjC,EACD,MAAM,EACN,QAAQ,CACX,CAAC,IAAI,CAAC,EACP,SAAS,EACT,CAAC,2BAAY,CAAC,KAAK,EAAE,CAAC,CACzB,CACJ;gBACD,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC5B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CACtC;aACJ,CAAC,CACL;QApDD,CAoDC,CAAC;IACV,CAAC;IA5De,2BAAQ,WA4DvB,CAAA;AACL,CAAC,EA9DgB,kBAAkB,GAAlB,0BAAkB,KAAlB,0BAAkB,QA8DlC;AAED,IAAM,OAAO,GAGT,UAAC,MAAM,IAAK,OAAA,UAAC,QAAQ,IAAK,OAAA,UAAC,OAAO;IAC9B,IAAM,QAAQ,GAAG,2BAAY,CAAC,MAAM,CAAC;QACjC,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;QACzC,OAAO,EAAE,IAAI;KAChB,CAAC,CAAC,QAAQ,CAAC;IACZ,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QACpD,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC;IAE7B,IAAM,IAAI,GAAW,OAAO,CAAC,OAAO;QAChC,CAAC,CAAC,iBAAU,OAAO,CAAC,OAAO,CAAE;QAC7B,CAAC,CAAC,MAAM,CAAC;IACb,OAAO,UAAC,KAAK,IAAK,OAAA,UAAC,KAAK,EAAE,WAAW,EAAE,QAAQ;QAC3C,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,EAAE,EACF;YACI,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC;YACtD,OAAO,CAAC,MAAM,KAAK,KAAK;gBACpB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC;YAClD,sBAAsB,CAClB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACjC,QAAQ,EACR,KAAK,CACR;SACJ,CACJ;IAdD,CAcC,EAfa,CAeb,CAAC;AACV,CAAC,EA3ByB,CA2BzB,EA3BW,CA2BX,CAAC;AAEN,IAAM,eAAe,GAAG,UAAC,MAAe,IAAK,OAAA,UAAC,QAA0B;IACpE,OAAA,IAAA,2BAAY,EAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,UAAC,IAAI;QAC7B,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CACtB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EACxB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAC/C,EACD,IAAI,CACP;IAND,CAMC,CACJ,CAAC,UAAC,IAAI;QACH,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,SAAS,EACT;YACI,IAAI;YACJ,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC;YAC5C,sBAAsB,CAClB,oBAAE,CAAC,OAAO,CAAC,SAAS,CAChB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EACnC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EACpB,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CACvC,CACJ,EACD,WAAW,EACX,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CACvC;SACJ,CACJ;IAnBD,CAmBC,CACJ;AA7BD,CA6BC,EA9BwC,CA8BxC,CAAC;AAEN,IAAM,IAAI,GAGN,UAAC,MAAM,IAAK,OAAA,UAAC,QAAQ,IAAK,OAAA,CAAC;IACvB,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;IACzC,KAAK,EAAE,UAAC,KAAK,EAAE,KAAK,EAAE,IAAI;QACtB,OAAA,IAAA,yBAAW,EACP,KAAK,EACL,KAAK,EACL,IAAI,EACJ,IAAA,mCAAgB,EACZ,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EACpC,SAAS,EACT,CAAC,KAAK,CAAC,CACV,CACJ,CACJ;IAXD,CAWC;IACL,KAAK,EAAE,UAAC,QAAQ;QACZ,OAAA,IAAA,mCAAgB,EACZ,oBAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAC1D;IAFD,CAEC;CACR,CAAC,EAnBwB,CAmBxB,EAnBU,CAmBV,CAAC;AAEP,SAAS,aAAa;IAClB,OAAO,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CAC3C;QACI,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAC/B,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE,CAC1B;QACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAC/B,QAAQ,EACR,oBAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,EAAE,EAAE,IAAI,CAAC,CACpD;KACJ,EACD,IAAI,CACP,CAAC;AACN,CAAC;AAED,SAAS,sBAAsB,CAC3B,IAAmB,EACnB,QAAgB,EAChB,KAAoB;IAEpB,OAAO,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CACjC,SAAS,EACT,SAAS,EACT,EAAE,EACF,SAAS,EACT,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACpC;QACI,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,IAAI,CAAC;QACjD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAC/B,UAAU,EACV,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAC3C;QACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC;KACtD,EACD,IAAI,CACP,CACJ,CAAC;AACN,CAAC"}
+{"version":3,"file":"ValidateProgrammer.js","sourceRoot":"","sources":["../../src/programmers/ValidateProgrammer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,oEAAmE;AACnE,kEAAiE;AAIjE,yDAAwD;AACxD,+CAA8C;AAC9C,iEAA+D;AAC/D,gEAA+D;AAC/D,wDAAuD;AAEvD,IAAiB,kBAAkB,CAsElC;AAtED,WAAiB,kBAAkB;IAClB,2BAAQ,GACjB,UACI,OAAiB,EACjB,MAAiC,EACjC,MAAuB;QAAvB,uBAAA,EAAA,cAAuB;QAE3B,OAAA,UAAC,IAAa;YACV,IAAM,QAAQ,GAAqB,IAAI,oCAAgB,EAAE,CAAC;YAC1D,IAAM,OAAO,GAAqB,qCAAiB,CAAC,QAAQ,CACxD,OAAO,EACP;gBACI,QAAQ,EAAE,KAAK;gBACf,QAAQ,EAAE,KAAK;gBACf,IAAI,EAAE,IAAI;gBACV,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO;gBAClC,MAAM,QAAA;gBACN,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;gBACnC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;gBAChC,OAAO,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;aACnC,EACD,QAAQ,CACX,CAAC,IAAI,CAAC,CAAC;YAER,OAAO,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CACjC,SAAS,EACT,SAAS,EACT,CAAC,qCAAiB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EACtC,SAAS,EACT,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,WAAW;gBAEd,mCAAgB,CAAC,QAAQ,CACrB,QAAQ,EACR,oBAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,EAAE,CAAC,CAC9C;gBACD,mCAAgB,CAAC,QAAQ,CACrB,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,EACxC,EAAE,EACF,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAC1C,CACJ;sBACE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;gBAC3B,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAChC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,OAAO,EACP,SAAS,EACT;oBACI,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC;oBACpC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC;oBACxC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;iBAC1B,CACJ,CACJ;gBACD,mCAAgB,CAAC,QAAQ,CACrB,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAClC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAC/C,CACJ;gBACD,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAAC,aAAa,EAAE,CAAC;uBAErD,IAAI,CACP,CACJ,CAAC;QACN,CAAC;IA9DD,CA8DC,CAAC;AACV,CAAC,EAtEgB,kBAAkB,GAAlB,0BAAkB,KAAlB,0BAAkB,QAsElC;AAED,IAAM,OAAO,GACT,UAAC,MAAe;IAChB,OAAA,UAAC,QAA0B;QAC3B,OAAA,UAAC,OAAmC;YAChC,IAAI,OAAO,CAAC,QAAQ,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;gBACpD,OAAO,2BAAY,CAAC,MAAM,CAAC;oBACvB,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;oBACzC,OAAO,EAAE,IAAI;iBAChB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAEzB,IAAM,IAAI,GAAW,OAAO,CAAC,OAAO;gBAChC,CAAC,CAAC,iBAAU,OAAO,CAAC,OAAO,CAAE;gBAC7B,CAAC,CAAC,MAAM,CAAC;YACb,OAAO,UAAC,KAAK,IAAK,OAAA,UAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ;gBACxC,OAAA,KAAK,KAAK,KAAK;oBACX,CAAC,CAAC,QAAQ;yBACH,GAAG,CAAC,UAAC,MAAM;wBACR,OAAA,MAAM,CAAC,QAAQ;4BACX,CAAC,CAAC,MAAM,CAAC,UAAU;4BACnB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACtB,MAAM,CAAC,UAAU,EACjB,kBAAkB,CACd,OAAO,CAAC,MAAM,KAAK,KAAK;gCACpB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gCACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACvB,eAAe,CAClB,CACV,CACG,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACjC,QAAQ,EACR,KAAK,CACR,CACJ;oBAfP,CAeO,CACV;yBACA,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC;oBAC1C,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CACtB,QAAQ;yBACH,GAAG,CAAC,UAAC,MAAM,IAAK,OAAA,MAAM,CAAC,UAAU,EAAjB,CAAiB,CAAC;yBAClC,MAAM,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC,EACvC,kBAAkB,CACd,OAAO,CAAC,MAAM,KAAK,KAAK;wBACpB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CACrD,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CACxD;YA9BP,CA8BO,EA/BO,CA+BP,CAAC;QAChB,CAAC;IA1CD,CA0CC;AA3CD,CA2CC,CAAC;AAEN,IAAM,eAAe,GAAG,UAAC,MAAe,IAAK,OAAA,UAAC,QAA0B;IACpE,OAAA,IAAA,2BAAY,EAAC;QACT,MAAM,QAAA;QACN,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;QACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;QACjC,WAAW,EAAE,UAAC,KAAK;YACf,OAAA,kBAAkB,EAAE,CAChB,oBAAE,CAAC,OAAO,CAAC,SAAS,CAChB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,EACnC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EACpB,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CACvC,CACJ,EACD,WAAW,EACX,KAAK,CACR;QAXD,CAWC;QACL,IAAI,EAAE,UAAC,IAAI;YACP,OAAA,oBAAE,CAAC,OAAO,CAAC,eAAe,CACtB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EACxB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAC/C,EACD,IAAI,CACP;QAND,CAMC;KACR,CAAC;AA1BF,CA0BE,EA3BuC,CA2BvC,CAAC;AAEP,IAAM,MAAM,GACR,UAAC,MAAe;IAChB,OAAA,UAAC,QAA0B,IAAwC,OAAA,CAAC;QAChE,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC;QACzC,KAAK,EAAE,UAAC,KAAK,EAAE,KAAK;YAChB,OAAA,IAAA,mCAAgB,EACZ,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EACpC,SAAS,EACT,CAAC,KAAK,CAAC,CACV,CACJ;QAND,CAMC;QACL,OAAO,EAAE,UAAC,KAAK,EAAE,QAAQ,EAAE,OAAO;YAC9B,OAAA,kBAAkB,CACd,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,IAAI,MAAK,KAAK;gBACnB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CACrD,CACG,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CACvB,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,OAAO,EAAC,CAAC,CAAC,iBAAU,OAAO,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,MAAM,CAC1D,EACD,QAAQ,EACR,KAAK,CACR;QAVD,CAUC;QACL,KAAK,EAAE,UAAC,QAAQ;YACZ,OAAA,IAAA,mCAAgB,EACZ,oBAAE,CAAC,OAAO,CAAC,4BAA4B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAC1D;QAFD,CAEC;KACR,CAAC,EA1BiE,CA0BjE;AA1BF,CA0BE,CAAC;AAEP,SAAS,aAAa;IAClB,OAAO,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CAC3C;QACI,oBAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,SAAS,CAAC;QACvD,oBAAE,CAAC,OAAO,CAAC,iCAAiC,CAAC,QAAQ,CAAC;QACtD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAC/B,MAAM,EACN,oBAAE,CAAC,OAAO,CAAC,2BAA2B,CAClC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,EACtC,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACpC,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAC3C,CACJ;KACJ,EACD,IAAI,CACP,CAAC;AACN,CAAC;AAED,IAAM,kBAAkB,GACpB,UAAC,aAA6B;IAC9B,OAAA,UACI,IAAmB,EACnB,QAAgB,EAChB,KAAoB;QAEpB,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,EACtC,SAAS,EACT;YACI,aAAa,IAAI,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC;YAC7D,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACpC;gBACI,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,MAAM,EAAE,IAAI,CAAC;gBACjD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAC/B,UAAU,EACV,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAC3C;gBACD,oBAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,OAAO,EAAE,KAAK,CAAC;aACtD,EACD,IAAI,CACP;SACJ,CACJ;IAjBD,CAiBC;AAtBL,CAsBK,CAAC"}

package/lib/programmers/ValidateStringifyProgrammer.d.ts

@@ -0,0 +1,5 @@
+import ts from "typescript";
+import { IProject } from "../transformers/IProject";
+export declare namespace ValidateStringifyProgrammer {
+    const generate: (project: IProject, modulo: ts.LeftHandSideExpression) => (type: ts.Type) => ts.ArrowFunction;
+}

package/lib/programmers/ValidateStringifyProgrammer.js

@@ -0,0 +1,26 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ValidateStringifyProgrammer = void 0;
+var typescript_1 = __importDefault(require("typescript"));
+var IdentifierFactory_1 = require("../factories/IdentifierFactory");
+var StatementFactory_1 = require("../factories/StatementFactory");
+var StringifyProgrammer_1 = require("./StringifyProgrammer");
+var ValidateProgrammer_1 = require("./ValidateProgrammer");
+var ValidateStringifyProgrammer;
+(function (ValidateStringifyProgrammer) {
+    ValidateStringifyProgrammer.generate = function (project, modulo) {
+        return function (type) {
+            return typescript_1.default.factory.createArrowFunction(undefined, undefined, [IdentifierFactory_1.IdentifierFactory.parameter("input")], undefined, undefined, typescript_1.default.factory.createBlock([
+                StatementFactory_1.StatementFactory.constant("validate", ValidateProgrammer_1.ValidateProgrammer.generate(project, modulo)(type)),
+                StatementFactory_1.StatementFactory.constant("stringify", StringifyProgrammer_1.StringifyProgrammer.generate(project, modulo)(type)),
+                StatementFactory_1.StatementFactory.constant("output", typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("validate"), undefined, [typescript_1.default.factory.createIdentifier("input")])),
+                typescript_1.default.factory.createIfStatement(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createTrue(), typescript_1.default.factory.createIdentifier("output.success")), typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createBinaryExpression(typescript_1.default.factory.createIdentifier("output.data"), typescript_1.default.SyntaxKind.EqualsToken, typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("stringify"), undefined, [typescript_1.default.factory.createIdentifier("input")])))),
+                typescript_1.default.factory.createReturnStatement(typescript_1.default.factory.createIdentifier("output")),
+            ]));
+        };
+    };
+})(ValidateStringifyProgrammer = exports.ValidateStringifyProgrammer || (exports.ValidateStringifyProgrammer = {}));
+//# sourceMappingURL=ValidateStringifyProgrammer.js.map

package/lib/programmers/ValidateStringifyProgrammer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ValidateStringifyProgrammer.js","sourceRoot":"","sources":["../../src/programmers/ValidateStringifyProgrammer.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,oEAAmE;AACnE,kEAAiE;AAIjE,6DAA4D;AAC5D,2DAA0D;AAE1D,IAAiB,2BAA2B,CAiD3C;AAjDD,WAAiB,2BAA2B;IAC3B,oCAAQ,GACjB,UAAC,OAAiB,EAAE,MAAiC;QACrD,OAAA,UAAC,IAAa;YACV,OAAA,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAC1B,SAAS,EACT,SAAS,EACT,CAAC,qCAAiB,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EACtC,SAAS,EACT,SAAS,EACT,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC;gBACnB,mCAAgB,CAAC,QAAQ,CACrB,UAAU,EACV,uCAAkB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CACrD;gBACD,mCAAgB,CAAC,QAAQ,CACrB,WAAW,EACX,yCAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CACtD;gBACD,mCAAgB,CAAC,QAAQ,CACrB,QAAQ,EACR,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,EACvC,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CACzC,CACJ;gBACD,oBAAE,CAAC,OAAO,CAAC,iBAAiB,CACxB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE,EACvB,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAChD,EACD,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAChC,oBAAE,CAAC,OAAO,CAAC,sBAAsB,CAC7B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,EAC1C,oBAAE,CAAC,UAAU,CAAC,WAAW,EACzB,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,WAAW,CAAC,EACxC,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CACzC,CACJ,CACJ,CACJ;gBACD,oBAAE,CAAC,OAAO,CAAC,qBAAqB,CAC5B,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CACxC;aACJ,CAAC,CACL;QA5CD,CA4CC;IA7CL,CA6CK,CAAC;AACd,CAAC,EAjDgB,2BAA2B,GAA3B,mCAA2B,KAA3B,mCAA2B,QAiD3C"}

package/lib/programmers/helpers/AtomicPredicator.d.ts

@@ -0,0 +1,6 @@
+import { Metadata } from "../../metadata/Metadata";
+import { Atomic } from "../../typings/Atomic";
+export declare namespace AtomicPredicator {
+    const constant: (meta: Metadata) => (name: Atomic.Literal) => boolean;
+    const template: (meta: Metadata) => boolean;
+}

package/lib/programmers/helpers/AtomicPredicator.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AtomicPredicator = void 0;
+var ArrayUtil_1 = require("../../utils/ArrayUtil");
+var AtomicPredicator;
+(function (AtomicPredicator) {
+    AtomicPredicator.constant = function (meta) {
+        return function (name) {
+            return !ArrayUtil_1.ArrayUtil.has(meta.atomics, function (atomic) { return atomic === name; });
+        };
+    };
+    AtomicPredicator.template = function (meta) {
+        return !ArrayUtil_1.ArrayUtil.has(meta.atomics, function (type) { return type === "string"; });
+    };
+})(AtomicPredicator = exports.AtomicPredicator || (exports.AtomicPredicator = {}));
+//# sourceMappingURL=AtomicPredicator.js.map

package/lib/programmers/helpers/AtomicPredicator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AtomicPredicator.js","sourceRoot":"","sources":["../../../src/programmers/helpers/AtomicPredicator.ts"],"names":[],"mappings":";;;AAIA,mDAAkD;AAElD,IAAiB,gBAAgB,CAQhC;AARD,WAAiB,gBAAgB;IAChB,yBAAQ,GACjB,UAAC,IAAc;QACf,OAAA,UAAC,IAAoB;YACjB,OAAA,CAAC,qBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,UAAC,MAAM,IAAK,OAAA,MAAM,KAAK,IAAI,EAAf,CAAe,CAAC;QAAzD,CAAyD;IAD7D,CAC6D,CAAC;IAErD,yBAAQ,GAAG,UAAC,IAAc;QACnC,OAAA,CAAC,qBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,UAAC,IAAI,IAAK,OAAA,IAAI,KAAK,QAAQ,EAAjB,CAAiB,CAAC;IAAzD,CAAyD,CAAC;AAClE,CAAC,EARgB,gBAAgB,GAAhB,wBAAgB,KAAhB,wBAAgB,QAQhC"}

package/lib/programmers/helpers/FunctionImporeter.js

@@ -46,7 +46,7 @@ var FunctionImporter = (function () {
     };
     FunctionImporter.prototype.declare = function (modulo) {
         return __spreadArray([], __read(this.used_), false).map(function (name) {
-            return StatementFactory_1.StatementFactory.variable(typescript_1.default.NodeFlags.Const, "$" + name, IdentifierFactory_1.IdentifierFactory.join(modulo, name));
+            return StatementFactory_1.StatementFactory.constant("$" + name, IdentifierFactory_1.IdentifierFactory.join(modulo, name));
         });
     };
     FunctionImporter.prototype.increment = function () {

package/lib/programmers/helpers/FunctionImporeter.js.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionImporeter.js","sourceRoot":"","sources":["../../../src/programmers/helpers/FunctionImporeter.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,uEAAsE;AACtE,qEAAoE;AAEpE;IAAA;QACqB,UAAK,GAAgB,IAAI,GAAG,EAAE,CAAC;QACxC,cAAS,GAAW,CAAC,CAAC;IAwBlC,CAAC;IAtBU,gCAAK,GAAZ;QACI,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;IACjC,CAAC;IAEM,8BAAG,GAAV,UAAW,IAAY;QACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC;IACnD,CAAC;IAEM,kCAAO,GAAd,UAAe,MAAiC;QAC5C,OAAO,yBAAI,IAAI,CAAC,KAAK,UAAE,GAAG,CAAC,UAAC,IAAI;YAC5B,OAAA,mCAAgB,CAAC,QAAQ,CACrB,oBAAE,CAAC,SAAS,CAAC,KAAK,EAClB,GAAG,GAAG,IAAI,EACV,qCAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CACvC;QAJD,CAIC,CACJ,CAAC;IACN,CAAC;IAEM,oCAAS,GAAhB;QACI,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;IAC5B,CAAC;IACL,uBAAC;AAAD,CAAC,AA1BD,IA0BC;AA1BY,4CAAgB"}
+{"version":3,"file":"FunctionImporeter.js","sourceRoot":"","sources":["../../../src/programmers/helpers/FunctionImporeter.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,uEAAsE;AACtE,qEAAoE;AAEpE;IAAA;QACqB,UAAK,GAAgB,IAAI,GAAG,EAAE,CAAC;QACxC,cAAS,GAAW,CAAC,CAAC;IAuBlC,CAAC;IArBU,gCAAK,GAAZ;QACI,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;IACjC,CAAC;IAEM,8BAAG,GAAV,UAAW,IAAY;QACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC;IACnD,CAAC;IAEM,kCAAO,GAAd,UAAe,MAAiC;QAC5C,OAAO,yBAAI,IAAI,CAAC,KAAK,UAAE,GAAG,CAAC,UAAC,IAAI;YAC5B,OAAA,mCAAgB,CAAC,QAAQ,CACrB,GAAG,GAAG,IAAI,EACV,qCAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CACvC;QAHD,CAGC,CACJ,CAAC;IACN,CAAC;IAEM,oCAAS,GAAhB;QACI,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC;IAC5B,CAAC;IACL,uBAAC;AAAD,CAAC,AAzBD,IAyBC;AAzBY,4CAAgB"}

package/lib/programmers/helpers/OptionPredicator.d.ts

@@ -1,5 +1,5 @@
 import { ITransformOptions } from "../../transformers/ITransformOptions";
-export declare namespace OptionPreditor {
+export declare namespace OptionPredicator {
     function functional(options: ITransformOptions): boolean;
     function numeric(options: ITransformOptions, from: "checker" | "stringify"): boolean;
 }

package/lib/programmers/helpers/OptionPredicator.js

@@ -1,17 +1,17 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.OptionPreditor = void 0;
-var OptionPreditor;
-(function (OptionPreditor) {
+exports.OptionPredicator = void 0;
+var OptionPredicator;
+(function (OptionPredicator) {
     function functional(options) {
-        return options.functional === undefined || options.functional === true;
+        return options.functional !== false;
     }
-    OptionPreditor.functional = functional;
+    OptionPredicator.functional = functional;
     function numeric(options, from) {
         return (options.numeric === undefined ||
             options.numeric === true ||
             options.numeric === from);
     }
-    OptionPreditor.numeric = numeric;
-})(OptionPreditor = exports.OptionPreditor || (exports.OptionPreditor = {}));
+    OptionPredicator.numeric = numeric;
+})(OptionPredicator = exports.OptionPredicator || (exports.OptionPredicator = {}));
 //# sourceMappingURL=OptionPredicator.js.map

package/lib/programmers/helpers/OptionPredicator.js.map

@@ -1 +1 @@
-{"version":3,"file":"OptionPredicator.js","sourceRoot":"","sources":["../../../src/programmers/helpers/OptionPredicator.ts"],"names":[],"mappings":";;;AAEA,IAAiB,cAAc,CAe9B;AAfD,WAAiB,cAAc;IAC3B,SAAgB,UAAU,CAAC,OAA0B;QACjD,OAAO,OAAO,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC;IAC3E,CAAC;IAFe,yBAAU,aAEzB,CAAA;IAED,SAAgB,OAAO,CACnB,OAA0B,EAC1B,IAA6B;QAE7B,OAAO,CACH,OAAO,CAAC,OAAO,KAAK,SAAS;YAC7B,OAAO,CAAC,OAAO,KAAK,IAAI;YACxB,OAAO,CAAC,OAAO,KAAK,IAAI,CAC3B,CAAC;IACN,CAAC;IATe,sBAAO,UAStB,CAAA;AACL,CAAC,EAfgB,cAAc,GAAd,sBAAc,KAAd,sBAAc,QAe9B"}
+{"version":3,"file":"OptionPredicator.js","sourceRoot":"","sources":["../../../src/programmers/helpers/OptionPredicator.ts"],"names":[],"mappings":";;;AAEA,IAAiB,gBAAgB,CAehC;AAfD,WAAiB,gBAAgB;IAC7B,SAAgB,UAAU,CAAC,OAA0B;QACjD,OAAO,OAAO,CAAC,UAAU,KAAK,KAAK,CAAC;IACxC,CAAC;IAFe,2BAAU,aAEzB,CAAA;IAED,SAAgB,OAAO,CACnB,OAA0B,EAC1B,IAA6B;QAE7B,OAAO,CACH,OAAO,CAAC,OAAO,KAAK,SAAS;YAC7B,OAAO,CAAC,OAAO,KAAK,IAAI;YACxB,OAAO,CAAC,OAAO,KAAK,IAAI,CAC3B,CAAC;IACN,CAAC;IATe,wBAAO,UAStB,CAAA;AACL,CAAC,EAfgB,gBAAgB,GAAhB,wBAAgB,KAAhB,wBAAgB,QAehC"}

package/lib/programmers/helpers/StringifyJoinder.d.ts

@@ -2,7 +2,7 @@ import ts from "typescript";
 import { FunctionImporter } from "./FunctionImporeter";
 import { IExpressionEntry } from "./IExpressionEntry";
 export declare namespace StringifyJoiner {
-    const object: (importer: FunctionImporter) => (entries: IExpressionEntry[]) => ts.ConciseBody;
+    const object: (importer: FunctionImporter) => (entries: IExpressionEntry[]) => ts.Expression;
     function array(input: ts.Expression, arrow: ts.ArrowFunction): ts.Expression;
-    function tuple(children: ts.Expression[]): ts.Expression;
+    function tuple(children: ts.Expression[], rest: ts.Expression | null): ts.Expression;
 }

package/lib/programmers/helpers/StringifyJoinder.js

@@ -72,10 +72,11 @@ var StringifyJoiner;
         ]);
     }
     StringifyJoiner.array = array;
-    function tuple(children) {
+    function tuple(children, rest) {
         if (children.length === 0)
             return typescript_1.default.factory.createStringLiteral("[]");
-        if (children.every(function (child) { return typescript_1.default.isStringLiteral(child); }))
+        if (rest === null &&
+            children.every(function (child) { return typescript_1.default.isStringLiteral(child); }))
             return typescript_1.default.factory.createStringLiteral("[" +
                 children
                     .map(function (child) { return child.text; })
@@ -87,6 +88,8 @@ var StringifyJoiner;
             if (i !== children.length - 1)
                 elements.push(typescript_1.default.factory.createStringLiteral(","));
         });
+        if (rest !== null)
+            elements.push(rest);
         elements.push(typescript_1.default.factory.createStringLiteral("]"));
         return TemplateFactory_1.TemplateFactory.generate(elements);
     }

package/lib/programmers/helpers/StringifyJoinder.js.map

@@ -1 +1 @@
-{"version":3,"file":"StringifyJoinder.js","sourceRoot":"","sources":["../../../src/programmers/helpers/StringifyJoinder.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,uEAAsE;AACtE,mEAAkE;AAElE,yFAAwF;AACxF,yFAAwF;AAIxF,IAAiB,eAAe,CA4F/B;AA5FD,WAAiB,eAAe;IACf,sBAAM,GACf,UAAC,QAA0B;QAC3B,OAAA,UAAC,OAA2B;YAExB,IAAM,OAAO,GAAuB,OAAO,CAAC,MAAM,CAAC,UAAC,KAAK;gBACrD,OAAA,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE;YAAzB,CAAyB,CAC5B,CAAC;YACF,IAAM,OAAO,GAAuB,OAAO,CAAC,MAAM,CAC9C,UAAC,KAAK,IAAK,OAAA,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,EAA1B,CAA0B,CACxC,CAAC;YACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAC5C,OAAO,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAGhD,IAAM,WAAW,0CACV,IAAA,2DAA4B,EAAC,OAAO,EAAE,OAAO,CAAC,kBAC9C,CAAC,OAAO,CAAC,MAAM;gBACd,CAAC,CAAC;oBACI,IAAA,2DAA4B,EACxB,OAAO,EACP,OAAO,CAAC,GAAG,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,GAAG,CAAC,cAAc,EAAG,EAAvB,CAAuB,CAAC,CAC9C;iBACJ;gBACH,CAAC,CAAC,EAAE,CAAC,SACZ,CAAC;YAGF,IAAM,QAAQ,GACV,CAAC,OAAO,CAAC,MAAM;gBACX,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,QAAQ;gBAC1C,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;gBACzB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC;gBACpC,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC;oBACI,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EACpB,SAAS,EACT,CAAC,iCAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAC1C;iBACJ,CAAC;YAGZ,OAAO,iCAAe,CAAC,QAAQ;gBAC3B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC;sBAChC,QAAQ;gBACX,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC;sBACrC,CAAC;QACP,CAAC;IA7CD,CA6CC,CAAC;IAEN,SAAgB,KAAK,CACjB,KAAoB,EACpB,KAAuB;QAEvB,OAAO,iCAAe,CAAC,QAAQ,CAAC;YAC5B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC;YACnC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,8BAA8B,CACrC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EACpC,SAAS,EACT,CAAC,KAAK,CAAC,CACV,EACD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CACtC,EACD,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CACxC;YACD,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC;SACtC,CAAC,CAAC;IACP,CAAC;IApBe,qBAAK,QAoBpB,CAAA;IAED,SAAgB,KAAK,CAAC,QAAyB;QAC3C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACvE,IAAI,QAAQ,CAAC,KAAK,CAAC,UAAC,KAAK,IAAK,OAAA,oBAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAzB,CAAyB,CAAC;YACpD,OAAO,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CACjC,GAAG;gBACC,QAAQ;qBACH,GAAG,CAAC,UAAC,KAAK,IAAK,OAAC,KAA0B,CAAC,IAAI,EAAhC,CAAgC,CAAC;qBAChD,IAAI,CAAC,GAAG,CAAC;gBACd,GAAG,CACV,CAAC;QAEN,IAAM,QAAQ,GAAoB,CAAC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;QACxE,QAAQ,CAAC,OAAO,CAAC,UAAC,KAAK,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,IAAI,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QACH,QAAQ,CAAC,IAAI,CAAC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,OAAO,iCAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAnBe,qBAAK,QAmBpB,CAAA;AACL,CAAC,EA5FgB,eAAe,GAAf,uBAAe,KAAf,uBAAe,QA4F/B"}
+{"version":3,"file":"StringifyJoinder.js","sourceRoot":"","sources":["../../../src/programmers/helpers/StringifyJoinder.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,uEAAsE;AACtE,mEAAkE;AAElE,yFAAwF;AACxF,yFAAwF;AAIxF,IAAiB,eAAe,CAoG/B;AApGD,WAAiB,eAAe;IACf,sBAAM,GACf,UAAC,QAA0B;QAC3B,OAAA,UAAC,OAA2B;YAExB,IAAM,OAAO,GAAuB,OAAO,CAAC,MAAM,CAAC,UAAC,KAAK;gBACrD,OAAA,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE;YAAzB,CAAyB,CAC5B,CAAC;YACF,IAAM,OAAO,GAAuB,OAAO,CAAC,MAAM,CAC9C,UAAC,KAAK,IAAK,OAAA,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,EAA1B,CAA0B,CACxC,CAAC;YACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAC5C,OAAO,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAGhD,IAAM,WAAW,0CACV,IAAA,2DAA4B,EAAC,OAAO,EAAE,OAAO,CAAC,kBAC9C,CAAC,OAAO,CAAC,MAAM;gBACd,CAAC,CAAC;oBACI,IAAA,2DAA4B,EACxB,OAAO,EACP,OAAO,CAAC,GAAG,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,GAAG,CAAC,cAAc,EAAG,EAAvB,CAAuB,CAAC,CAC9C;iBACJ;gBACH,CAAC,CAAC,EAAE,CAAC,SACZ,CAAC;YAGF,IAAM,QAAQ,GACV,CAAC,OAAO,CAAC,MAAM;gBACX,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,QAAQ;gBAC1C,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;gBACzB,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC;gBACpC,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC;oBACI,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EACpB,SAAS,EACT,CAAC,iCAAe,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAC1C;iBACJ,CAAC;YAGZ,OAAO,iCAAe,CAAC,QAAQ;gBAC3B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC;sBAChC,QAAQ;gBACX,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC;sBACrC,CAAC;QACP,CAAC;IA7CD,CA6CC,CAAC;IAEN,SAAgB,KAAK,CACjB,KAAoB,EACpB,KAAuB;QAEvB,OAAO,iCAAe,CAAC,QAAQ,CAAC;YAC5B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC;YACnC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,8BAA8B,CACrC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EACpC,SAAS,EACT,CAAC,KAAK,CAAC,CACV,EACD,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CACtC,EACD,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CACxC;YACD,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC;SACtC,CAAC,CAAC;IACP,CAAC;IApBe,qBAAK,QAoBpB,CAAA;IAED,SAAgB,KAAK,CACjB,QAAyB,EACzB,IAA0B;QAE1B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACvE,IACI,IAAI,KAAK,IAAI;YACb,QAAQ,CAAC,KAAK,CAAC,UAAC,KAAK,IAAK,OAAA,oBAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAzB,CAAyB,CAAC;YAEpD,OAAO,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CACjC,GAAG;gBACC,QAAQ;qBACH,GAAG,CAAC,UAAC,KAAK,IAAK,OAAC,KAA0B,CAAC,IAAI,EAAhC,CAAgC,CAAC;qBAChD,IAAI,CAAC,GAAG,CAAC;gBACd,GAAG,CACV,CAAC;QAEN,IAAM,QAAQ,GAAoB,CAAC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;QACxE,QAAQ,CAAC,OAAO,CAAC,UAAC,KAAK,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrB,IAAI,CAAC,KAAK,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEvC,QAAQ,CAAC,IAAI,CAAC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,OAAO,iCAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IA3Be,qBAAK,QA2BpB,CAAA;AACL,CAAC,EApGgB,eAAe,GAAf,uBAAe,KAAf,uBAAe,QAoG/B"}

package/lib/programmers/helpers/UnionExplorer.d.ts

@@ -2,12 +2,41 @@ import ts from "typescript";
 import { IMetadataTag } from "../../metadata/IMetadataTag";
 import { Metadata } from "../../metadata/Metadata";
 import { MetadataObject } from "../../metadata/MetadataObject";
+import { CheckerProgrammer } from "../CheckerProgrammer";
 import { FeatureProgrammer } from "../FeatureProgrammer";
 export declare namespace UnionExplorer {
-    interface Decoder<T> {
+    export interface Decoder<T> {
         (input: ts.Expression, target: T, explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]): ts.Expression;
     }
-    type ObjectCombiner = Decoder<MetadataObject[]>;
-    function object(config: FeatureProgrammer.IConfig, checker: (input: ts.Expression, metadata: Metadata, explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression, decoder: Decoder<MetadataObject>, combiner: ObjectCombiner, failure: (input: ts.Expression, targets: MetadataObject[]) => ts.Statement, level?: number): (input: ts.Expression, targets: MetadataObject[], explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression;
-    function array(checker: (input: ts.Expression, metadata: Metadata, explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression, decoder: Decoder<Metadata>, empty: () => ts.Expression, failure: (input: ts.Expression, targets: Metadata[]) => ts.Statement): (input: ts.Expression, targets: Metadata[], explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression;
+    export type ObjectCombiner = Decoder<MetadataObject[]>;
+    export function object(config: FeatureProgrammer.IConfig, level?: number): (input: ts.Expression, targets: MetadataObject[], explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression;
+    export const array: (props: array.IProps) => (input: ts.Expression, targets: Metadata[], explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression;
+    export namespace array {
+        type IProps = iterate.IProps<Metadata>;
+    }
+    export const set: (props: set.IProps) => (input: ts.Expression, targets: Metadata[], explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression;
+    export namespace set {
+        type IProps = iterate.IProps<Metadata>;
+    }
+    export const map: (props: map.IProps) => (input: ts.Expression, targets: [Metadata, Metadata][], explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression;
+    export namespace map {
+        type IProps = iterate.IProps<[Metadata, Metadata]>;
+    }
+    const iterate: <T>(accessor: iterate.IAccessor<T>) => (props: iterate.IProps<T>) => (input: ts.Expression, targets: T[], explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]) => ts.Expression;
+    namespace iterate {
+        interface IProps<T> {
+            checker(input: ts.Expression, target: T, explore: FeatureProgrammer.IExplore, tags: IMetadataTag[]): ts.Expression;
+            decoder: Decoder<T>;
+            empty: ts.Expression;
+            success: ts.Expression;
+            failure(input: ts.Expression, expected: string, explore: CheckerProgrammer.IExplore): ts.Statement;
+        }
+        interface IAccessor<T> {
+            name(metadata: T): string;
+            size(input: ts.Expression): ts.Expression;
+            front(input: ts.Expression): ts.Expression;
+            array(input: ts.Expression): ts.Expression;
+        }
+    }
+    export {};
 }