typia 3.5.0-dev.20230126 → 3.5.0-dev.20230211

package/lib/programmers/IsProgrammer.d.ts

@@ -5,18 +5,19 @@ import { CheckerProgrammer } from "./CheckerProgrammer";
 import { FunctionImporter } from "./helpers/FunctionImporeter";
 import { IExpressionEntry } from "./helpers/IExpressionEntry";
 export declare namespace IsProgrammer {
-    const CONFIG: (options?: Partial<CONFIG.IOptions>) => CheckerProgrammer.IConfig;
+    const CONFIG: (options?: Partial<CONFIG.IOptions>) => (importer: FunctionImporter) => CheckerProgrammer.IConfig;
     namespace CONFIG {
         interface IOptions {
             numeric: boolean;
-            object: (entries: IExpressionEntry[]) => ts.Expression;
+            undefined: boolean;
+            object: (input: ts.Expression, entries: IExpressionEntry<ts.Expression>[]) => ts.Expression;
         }
     }
     function generate(project: IProject, modulo: ts.LeftHandSideExpression, equals?: boolean): (type: ts.Type) => ts.ArrowFunction;
     const generate_functors: (project: IProject, importer: FunctionImporter) => (collection: import("../factories/MetadataCollection").MetadataCollection) => ts.VariableStatement[];
     const generate_unioners: (project: IProject, importer: FunctionImporter) => (collection: import("../factories/MetadataCollection").MetadataCollection) => ts.VariableStatement[];
     const decode: (project: IProject, importer: FunctionImporter) => (input: ts.Expression, meta: import("../metadata/Metadata").Metadata, explore: CheckerProgrammer.IExplore, tags: import("../metadata/IMetadataTag").IMetadataTag[]) => ts.Expression;
-    const decode_object: () => (input: ts.Expression, obj: MetadataObject, explore: CheckerProgrammer.IExplore) => ts.CallExpression;
+    const decode_object: (importer: FunctionImporter) => (input: ts.Expression, obj: MetadataObject, explore: CheckerProgrammer.IExplore) => ts.CallExpression;
     function decode_to_json(input: ts.Expression): ts.Expression;
     function decode_functional(input: ts.Expression): ts.BinaryExpression;
 }

package/lib/programmers/IsProgrammer.js

@@ -15,87 +15,98 @@ var check_object_1 = require("./internal/check_object");
 var feature_object_entries_1 = require("./internal/feature_object_entries");
 var IsProgrammer;
 (function (IsProgrammer) {
-    IsProgrammer.CONFIG = function (options) { return ({
-        functors: "$io",
-        unioners: "$iu",
-        trace: false,
-        path: false,
-        equals: !!(options === null || options === void 0 ? void 0 : options.object),
-        numeric: OptionPredicator_1.OptionPredicator.numeric({
-            numeric: options === null || options === void 0 ? void 0 : options.numeric,
-        }),
-        combiner: function () { return function (type) {
-            var initial = type === "and"
-                ? typescript_1.default.factory.createTrue()
-                : typescript_1.default.factory.createFalse();
-            var binder = type === "and"
-                ? typescript_1.default.factory.createLogicalAnd
-                : typescript_1.default.factory.createLogicalOr;
-            return function (_input, binaries) {
-                return binaries.length
-                    ? binaries
-                        .map(function (binary) { return binary.expression; })
-                        .reduce(function (x, y) { return binder(x, y); })
-                    : initial;
-            };
-        }; },
-        joiner: {
-            object: (options === null || options === void 0 ? void 0 : options.object) ||
-                (0, check_object_1.check_object)({
-                    equals: !!(options === null || options === void 0 ? void 0 : options.object),
-                    assert: true,
-                    reduce: typescript_1.default.factory.createLogicalAnd,
-                    positive: typescript_1.default.factory.createTrue(),
-                    superfluous: function () { return typescript_1.default.factory.createFalse(); },
-                }),
-            array: function (input, arrow) {
-                return typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.join(input, "every"), undefined, [arrow]);
+    IsProgrammer.CONFIG = function (options) {
+        return function (importer) { return ({
+            functors: "$io",
+            unioners: "$iu",
+            trace: false,
+            path: false,
+            equals: !!(options === null || options === void 0 ? void 0 : options.object),
+            numeric: OptionPredicator_1.OptionPredicator.numeric({
+                numeric: options === null || options === void 0 ? void 0 : options.numeric,
+            }),
+            combiner: function () { return function (type) {
+                var initial = type === "and"
+                    ? typescript_1.default.factory.createTrue()
+                    : typescript_1.default.factory.createFalse();
+                var binder = type === "and"
+                    ? typescript_1.default.factory.createLogicalAnd
+                    : typescript_1.default.factory.createLogicalOr;
+                return function (_input, binaries) {
+                    return binaries.length
+                        ? binaries
+                            .map(function (binary) { return binary.expression; })
+                            .reduce(function (x, y) { return binder(x, y); })
+                        : initial;
+                };
+            }; },
+            joiner: {
+                object: (options === null || options === void 0 ? void 0 : options.object) ||
+                    (0, check_object_1.check_object)({
+                        equals: !!(options === null || options === void 0 ? void 0 : options.object),
+                        undefined: OptionPredicator_1.OptionPredicator.undefined({
+                            undefined: options === null || options === void 0 ? void 0 : options.undefined,
+                        }),
+                        assert: true,
+                        reduce: typescript_1.default.factory.createLogicalAnd,
+                        positive: typescript_1.default.factory.createTrue(),
+                        superfluous: function () { return typescript_1.default.factory.createFalse(); },
+                    })(importer),
+                array: function (input, arrow) {
+                    return typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.join(input, "every"), undefined, [arrow]);
+                },
+                failure: function () { return typescript_1.default.factory.createFalse(); },
             },
-            failure: function () { return typescript_1.default.factory.createFalse(); },
-        },
-        success: typescript_1.default.factory.createTrue(),
-    }); };
+            success: typescript_1.default.factory.createTrue(),
+        }); };
+    };
     function generate(project, modulo, equals) {
         if (equals === void 0) { equals = false; }
         var importer = new FunctionImporeter_1.FunctionImporter();
         var config = IsProgrammer.CONFIG({
             object: (0, check_object_1.check_object)({
                 equals: equals,
+                undefined: OptionPredicator_1.OptionPredicator.undefined(project.options),
                 assert: true,
                 reduce: typescript_1.default.factory.createLogicalAnd,
                 positive: typescript_1.default.factory.createTrue(),
                 superfluous: function () { return typescript_1.default.factory.createFalse(); },
-            }),
+            })(importer),
             numeric: OptionPredicator_1.OptionPredicator.numeric(project.options),
-        });
+        })(importer);
         config.trace = equals;
-        if (equals === false)
-            config.decoder = function (input, target, explore, tags) {
-                if (target.size() === 1 &&
-                    target.objects.length === 1 &&
-                    target.required === true &&
-                    target.nullable === false) {
-                    var obj = target.objects[0];
-                    if (obj._Is_simple())
-                        return typescript_1.default.factory.createLogicalAnd(ExpressionFactory_1.ExpressionFactory.isObject(input, {
-                            checkNull: true,
-                            checkArray: false,
-                        }), config.joiner.object((0, feature_object_entries_1.feature_object_entries)(config)(obj)(input)));
-                }
-                return CheckerProgrammer_1.CheckerProgrammer.decode(project, config, importer)(input, target, explore, tags);
-            };
+        config.decoder = function (input, target, explore, tags) {
+            if (target.size() === 1 &&
+                target.objects.length === 1 &&
+                target.required === true &&
+                target.nullable === false) {
+                var obj = target.objects[0];
+                if (obj._Is_simple() &&
+                    (equals === false ||
+                        OptionPredicator_1.OptionPredicator.undefined(project.options) === false))
+                    return typescript_1.default.factory.createLogicalAnd(ExpressionFactory_1.ExpressionFactory.isObject(input, {
+                        checkNull: true,
+                        checkArray: false,
+                    }), config.joiner.object(input, (0, feature_object_entries_1.feature_object_entries)(config)(obj)(input)));
+            }
+            return CheckerProgrammer_1.CheckerProgrammer.decode(project, config, importer)(input, target, explore, tags);
+        };
         return CheckerProgrammer_1.CheckerProgrammer.generate(project, config, importer, function () {
             return importer.declare(modulo);
         });
     }
     IsProgrammer.generate = generate;
-    IsProgrammer.generate_functors = function (project, importer) { return CheckerProgrammer_1.CheckerProgrammer.generate_functors(project, IsProgrammer.CONFIG(), importer); };
-    IsProgrammer.generate_unioners = function (project, importer) { return CheckerProgrammer_1.CheckerProgrammer.generate_unioners(project, IsProgrammer.CONFIG(), importer); };
+    IsProgrammer.generate_functors = function (project, importer) {
+        return CheckerProgrammer_1.CheckerProgrammer.generate_functors(project, IsProgrammer.CONFIG()(importer), importer);
+    };
+    IsProgrammer.generate_unioners = function (project, importer) {
+        return CheckerProgrammer_1.CheckerProgrammer.generate_unioners(project, IsProgrammer.CONFIG()(importer), importer);
+    };
     IsProgrammer.decode = function (project, importer) {
-        return CheckerProgrammer_1.CheckerProgrammer.decode(project, IsProgrammer.CONFIG(), importer);
+        return CheckerProgrammer_1.CheckerProgrammer.decode(project, IsProgrammer.CONFIG()(importer), importer);
     };
-    IsProgrammer.decode_object = function () {
-        return CheckerProgrammer_1.CheckerProgrammer.decode_object(IsProgrammer.CONFIG());
+    IsProgrammer.decode_object = function (importer) {
+        return CheckerProgrammer_1.CheckerProgrammer.decode_object(IsProgrammer.CONFIG()(importer));
     };
     function decode_to_json(input) {
         return typescript_1.default.factory.createLogicalAnd(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createStringLiteral("object"), ValueFactory_1.ValueFactory.TYPEOF(input)), typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createStringLiteral("function"), ValueFactory_1.ValueFactory.TYPEOF(IdentifierFactory_1.IdentifierFactory.join(input, "toJSON"))));

package/lib/programmers/IsProgrammer.js.map

@@ -1 +1 @@
-{"version":3,"file":"IsProgrammer.js","sourceRoot":"","sources":["../../src/programmers/IsProgrammer.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,oEAAmE;AACnE,oEAAmE;AACnE,0DAAyD;AAMzD,yDAAwD;AACxD,iEAA+D;AAE/D,+DAA8D;AAC9D,wDAAuD;AACvD,4EAA2E;AAE3E,IAAiB,YAAY,CA6J5B;AA7JD,WAAiB,YAAY;IACZ,mBAAM,GAAG,UAClB,OAAkC,IACN,OAAA,CAAC;QAC7B,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,KAAK;QACf,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,CAAC,CAAC,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,MAAM,CAAA;QACzB,OAAO,EAAE,mCAAgB,CAAC,OAAO,CAAC;YAC9B,OAAO,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,OAAO;SAC5B,CAAC;QACF,QAAQ,EAAE,cAAM,OAAA,UAAC,IAAkB;YAC/B,IAAM,OAAO,GACT,IAAI,KAAK,KAAK;gBACV,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;YACnC,IAAM,MAAM,GACR,IAAI,KAAK,KAAK;gBACV,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB;gBAC7B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC;YACrC,OAAO,UACH,MAAqB,EACrB,QAAqC;gBAErC,OAAA,QAAQ,CAAC,MAAM;oBACX,CAAC,CAAC,QAAQ;yBACH,GAAG,CAAC,UAAC,MAAM,IAAK,OAAA,MAAM,CAAC,UAAU,EAAjB,CAAiB,CAAC;yBAClC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAZ,CAAY,CAAC;oBACrC,CAAC,CAAC,OAAO;YAJb,CAIa,CAAC;QACtB,CAAC,EAlBe,CAkBf;QACD,MAAM,EAAE;YACJ,MAAM,EACF,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,MAAM;gBACf,IAAA,2BAAY,EAAC;oBACT,MAAM,EAAE,CAAC,CAAC,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,MAAM,CAAA;oBACzB,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;oBACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oBACjC,WAAW,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAxB,CAAwB;iBAC9C,CAAC;YACN,KAAK,EAAE,UAAC,KAAK,EAAE,KAAK;gBAChB,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,EACtC,SAAS,EACT,CAAC,KAAK,CAAC,CACV;YAJD,CAIC;YACL,OAAO,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAxB,CAAwB;SAC1C;QACD,OAAO,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;KACnC,CAAC,EA/C8B,CA+C9B,CAAC;IAYH,SAAgB,QAAQ,CACpB,OAAiB,EACjB,MAAiC,EACjC,MAAuB;QAAvB,uBAAA,EAAA,cAAuB;QAEvB,IAAM,QAAQ,GAAqB,IAAI,oCAAgB,EAAE,CAAC;QAG1D,IAAM,MAAM,GAAG,aAAA,MAAM,CAAC;YAClB,MAAM,EAAE,IAAA,2BAAY,EAAC;gBACjB,MAAM,QAAA;gBACN,MAAM,EAAE,IAAI;gBACZ,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;gBACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gBACjC,WAAW,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAxB,CAAwB;aAC9C,CAAC;YACF,OAAO,EAAE,mCAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;SACrD,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC;QAEtB,IAAI,MAAM,KAAK,KAAK;YAChB,MAAM,CAAC,OAAO,GAAG,UAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI;gBAC1C,IACI,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;oBACnB,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;oBAC3B,MAAM,CAAC,QAAQ,KAAK,IAAI;oBACxB,MAAM,CAAC,QAAQ,KAAK,KAAK,EAC3B;oBAEE,IAAM,GAAG,GAAmB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;oBAC/C,IAAI,GAAG,CAAC,UAAU,EAAE;wBAChB,OAAO,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC9B,qCAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE;4BAC9B,SAAS,EAAE,IAAI;4BACf,UAAU,EAAE,KAAK;yBACpB,CAAC,EACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAChB,IAAA,+CAAsB,EAAC,MAAa,CAAC,CAAC,GAAG,CAAC,CACtC,KAAK,CACR,CACJ,CACJ,CAAC;iBACT;gBACD,OAAO,qCAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CACtD,KAAK,EACL,MAAM,EACN,OAAO,EACP,IAAI,CACP,CAAC;YACN,CAAC,CAAC;QAGN,OAAO,qCAAiB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE;YACzD,OAAA,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;QAAxB,CAAwB,CAC3B,CAAC;IACN,CAAC;IAvDe,qBAAQ,WAuDvB,CAAA;IAEY,8BAAiB,GAAG,UAC7B,OAAiB,EACjB,QAA0B,IACzB,OAAA,qCAAiB,CAAC,iBAAiB,CAAC,OAAO,EAAE,aAAA,MAAM,EAAE,EAAE,QAAQ,CAAC,EAAhE,CAAgE,CAAC;IAEzD,8BAAiB,GAAG,UAC7B,OAAiB,EACjB,QAA0B,IACzB,OAAA,qCAAiB,CAAC,iBAAiB,CAAC,OAAO,EAAE,aAAA,MAAM,EAAE,EAAE,QAAQ,CAAC,EAAhE,CAAgE,CAAC;IAKzD,mBAAM,GAAG,UAAC,OAAiB,EAAE,QAA0B;QAChE,OAAA,qCAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,aAAA,MAAM,EAAE,EAAE,QAAQ,CAAC;IAArD,CAAqD,CAAC;IAE7C,0BAAa,GAAG;QACzB,OAAA,qCAAiB,CAAC,aAAa,CAAC,aAAA,MAAM,EAAE,CAAC;IAAzC,CAAyC,CAAC;IAE9C,SAAgB,cAAc,CAAC,KAAoB;QAC/C,OAAO,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC9B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EACxC,2BAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAC7B,EACD,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAC1C,2BAAY,CAAC,MAAM,CAAC,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAC/D,CACJ,CAAC;IACN,CAAC;IAXe,2BAAc,iBAW7B,CAAA;IAED,SAAgB,iBAAiB,CAAC,KAAoB;QAClD,OAAO,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAClC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAC1C,2BAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAC7B,CAAC;IACN,CAAC;IALe,8BAAiB,oBAKhC,CAAA;AACL,CAAC,EA7JgB,YAAY,GAAZ,oBAAY,KAAZ,oBAAY,QA6J5B"}
+{"version":3,"file":"IsProgrammer.js","sourceRoot":"","sources":["../../src/programmers/IsProgrammer.ts"],"names":[],"mappings":";;;;;;AAAA,0DAA4B;AAE5B,oEAAmE;AACnE,oEAAmE;AACnE,0DAAyD;AAMzD,yDAAwD;AACxD,iEAA+D;AAE/D,+DAA8D;AAC9D,wDAAuD;AACvD,4EAA2E;AAE3E,IAAiB,YAAY,CAiL5B;AAjLD,WAAiB,YAAY;IACZ,mBAAM,GACf,UAAC,OAAkC;QACnC,OAAA,UAAC,QAA0B,IAAgC,OAAA,CAAC;YACxD,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,CAAC,CAAC,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,MAAM,CAAA;YACzB,OAAO,EAAE,mCAAgB,CAAC,OAAO,CAAC;gBAC9B,OAAO,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,OAAO;aAC5B,CAAC;YACF,QAAQ,EAAE,cAAM,OAAA,UAAC,IAAkB;gBAC/B,IAAM,OAAO,GACT,IAAI,KAAK,KAAK;oBACV,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;oBACzB,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;gBACnC,IAAM,MAAM,GACR,IAAI,KAAK,KAAK;oBACV,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,gBAAgB;oBAC7B,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,eAAe,CAAC;gBACrC,OAAO,UACH,MAAqB,EACrB,QAAqC;oBAErC,OAAA,QAAQ,CAAC,MAAM;wBACX,CAAC,CAAC,QAAQ;6BACH,GAAG,CAAC,UAAC,MAAM,IAAK,OAAA,MAAM,CAAC,UAAU,EAAjB,CAAiB,CAAC;6BAClC,MAAM,CAAC,UAAC,CAAC,EAAE,CAAC,IAAK,OAAA,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAZ,CAAY,CAAC;wBACrC,CAAC,CAAC,OAAO;gBAJb,CAIa,CAAC;YACtB,CAAC,EAlBe,CAkBf;YACD,MAAM,EAAE;gBACJ,MAAM,EACF,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,MAAM;oBACf,IAAA,2BAAY,EAAC;wBACT,MAAM,EAAE,CAAC,CAAC,CAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,MAAM,CAAA;wBACzB,SAAS,EAAE,mCAAgB,CAAC,SAAS,CAAC;4BAClC,SAAS,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,SAAS;yBAChC,CAAC;wBACF,MAAM,EAAE,IAAI;wBACZ,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;wBACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;wBACjC,WAAW,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAxB,CAAwB;qBAC9C,CAAC,CAAC,QAAQ,CAAC;gBAChB,KAAK,EAAE,UAAC,KAAK,EAAE,KAAK;oBAChB,OAAA,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,EACtC,SAAS,EACT,CAAC,KAAK,CAAC,CACV;gBAJD,CAIC;gBACL,OAAO,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAxB,CAAwB;aAC1C;YACD,OAAO,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;SACnC,CAAC,EAlDyD,CAkDzD;IAlDF,CAkDE,CAAC;IAgBP,SAAgB,QAAQ,CACpB,OAAiB,EACjB,MAAiC,EACjC,MAAuB;QAAvB,uBAAA,EAAA,cAAuB;QAEvB,IAAM,QAAQ,GAAqB,IAAI,oCAAgB,EAAE,CAAC;QAG1D,IAAM,MAAM,GAAG,aAAA,MAAM,CAAC;YAClB,MAAM,EAAE,IAAA,2BAAY,EAAC;gBACjB,MAAM,QAAA;gBACN,SAAS,EAAE,mCAAgB,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC;gBACtD,MAAM,EAAE,IAAI;gBACZ,MAAM,EAAE,oBAAE,CAAC,OAAO,CAAC,gBAAgB;gBACnC,QAAQ,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;gBACjC,WAAW,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAxB,CAAwB;aAC9C,CAAC,CAAC,QAAQ,CAAC;YACZ,OAAO,EAAE,mCAAgB,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC;SACrD,CAAC,CAAC,QAAQ,CAAC,CAAC;QACb,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC;QAEtB,MAAM,CAAC,OAAO,GAAG,UAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI;YAC1C,IACI,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;gBACnB,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAC3B,MAAM,CAAC,QAAQ,KAAK,IAAI;gBACxB,MAAM,CAAC,QAAQ,KAAK,KAAK,EAC3B;gBAEE,IAAM,GAAG,GAAmB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;gBAC/C,IACI,GAAG,CAAC,UAAU,EAAE;oBAChB,CAAC,MAAM,KAAK,KAAK;wBACb,mCAAgB,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,KAAK,CAAC;oBAE1D,OAAO,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC9B,qCAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE;wBAC9B,SAAS,EAAE,IAAI;wBACf,UAAU,EAAE,KAAK;qBACpB,CAAC,EACF,MAAM,CAAC,MAAM,CAAC,MAAM,CAChB,KAAK,EACL,IAAA,+CAAsB,EAAC,MAAa,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CACpD,CACJ,CAAC;aACT;YACD,OAAO,qCAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CACtD,KAAK,EACL,MAAM,EACN,OAAO,EACP,IAAI,CACP,CAAC;QACN,CAAC,CAAC;QAGF,OAAO,qCAAiB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE;YACzD,OAAA,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;QAAxB,CAAwB,CAC3B,CAAC;IACN,CAAC;IA1De,qBAAQ,WA0DvB,CAAA;IAEY,8BAAiB,GAAG,UAC7B,OAAiB,EACjB,QAA0B;QAE1B,OAAA,qCAAiB,CAAC,iBAAiB,CAC/B,OAAO,EACP,aAAA,MAAM,EAAE,CAAC,QAAQ,CAAC,EAClB,QAAQ,CACX;IAJD,CAIC,CAAC;IAEO,8BAAiB,GAAG,UAC7B,OAAiB,EACjB,QAA0B;QAE1B,OAAA,qCAAiB,CAAC,iBAAiB,CAC/B,OAAO,EACP,aAAA,MAAM,EAAE,CAAC,QAAQ,CAAC,EAClB,QAAQ,CACX;IAJD,CAIC,CAAC;IAKO,mBAAM,GAAG,UAAC,OAAiB,EAAE,QAA0B;QAChE,OAAA,qCAAiB,CAAC,MAAM,CAAC,OAAO,EAAE,aAAA,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAA/D,CAA+D,CAAC;IAEvD,0BAAa,GAAG,UAAC,QAA0B;QACpD,OAAA,qCAAiB,CAAC,aAAa,CAAC,aAAA,MAAM,EAAE,CAAC,QAAQ,CAAC,CAAC;IAAnD,CAAmD,CAAC;IAExD,SAAgB,cAAc,CAAC,KAAoB;QAC/C,OAAO,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAC9B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EACxC,2BAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAC7B,EACD,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAC1C,2BAAY,CAAC,MAAM,CAAC,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAC/D,CACJ,CAAC;IACN,CAAC;IAXe,2BAAc,iBAW7B,CAAA;IAED,SAAgB,iBAAiB,CAAC,KAAoB;QAClD,OAAO,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAClC,oBAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAC1C,2BAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAC7B,CAAC;IACN,CAAC;IALe,8BAAiB,oBAKhC,CAAA;AACL,CAAC,EAjLgB,YAAY,GAAZ,oBAAY,KAAZ,oBAAY,QAiL5B"}

package/lib/programmers/PruneProgrammer.d.ts

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

package/lib/programmers/PruneProgrammer.js

@@ -0,0 +1,279 @@
+"use strict";
+var __assign = (this && this.__assign) || function () {
+    __assign = Object.assign || function(t) {
+        for (var s, i = 1, n = arguments.length; i < n; i++) {
+            s = arguments[i];
+            for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
+                t[p] = s[p];
+        }
+        return t;
+    };
+    return __assign.apply(this, arguments);
+};
+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 __values = (this && this.__values) || function(o) {
+    var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
+    if (m) return m.call(o);
+    if (o && typeof o.length === "number") return {
+        next: function () {
+            if (o && i >= o.length) o = void 0;
+            return { value: o && o[i++], done: !o };
+        }
+    };
+    throw new TypeError(s ? "Object is not iterable." : "Symbol.iterator is not defined.");
+};
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PruneProgrammer = void 0;
+var typescript_1 = __importDefault(require("typescript"));
+var ExpressionFactory_1 = require("../factories/ExpressionFactory");
+var IdentifierFactory_1 = require("../factories/IdentifierFactory");
+var MetadataCollection_1 = require("../factories/MetadataCollection");
+var MetadataFactory_1 = require("../factories/MetadataFactory");
+var Metadata_1 = require("../metadata/Metadata");
+var FeatureProgrammer_1 = require("./FeatureProgrammer");
+var IsProgrammer_1 = require("./IsProgrammer");
+var FunctionImporeter_1 = require("./helpers/FunctionImporeter");
+var PruneJoiner_1 = require("./helpers/PruneJoiner");
+var UnionExplorer_1 = require("./helpers/UnionExplorer");
+var decode_union_object_1 = require("./internal/decode_union_object");
+var PruneProgrammer;
+(function (PruneProgrammer) {
+    function generate(project, modulo) {
+        var importer = new FunctionImporeter_1.FunctionImporter();
+        return FeatureProgrammer_1.FeatureProgrammer.generate(project, CONFIG(project, importer), importer, function (collection) {
+            var isFunctors = IsProgrammer_1.IsProgrammer.generate_functors(project, importer)(collection);
+            var isUnioners = IsProgrammer_1.IsProgrammer.generate_unioners(project, importer)(collection);
+            return __spreadArray(__spreadArray(__spreadArray([], __read(importer.declare(modulo)), false), __read(isFunctors), false), __read(isUnioners), false);
+        });
+    }
+    PruneProgrammer.generate = generate;
+    var decode = function (project, importer) {
+        return function (input, meta, explore) {
+            var e_1, _a, e_2, _b;
+            if (filter(meta) === false)
+                return typescript_1.default.factory.createBlock([]);
+            var unions = [];
+            var _loop_1 = function (tuple) {
+                unions.push({
+                    type: "tuple",
+                    is: function () {
+                        return IsProgrammer_1.IsProgrammer.decode(project, importer)(input, (function () {
+                            var partial = Metadata_1.Metadata.initialize();
+                            partial.tuples.push(tuple);
+                            return partial;
+                        })(), explore, []);
+                    },
+                    value: function () {
+                        return decode_tuple(project, importer)(input, tuple, explore);
+                    },
+                });
+            };
+            try {
+                for (var _c = __values(meta.tuples.filter(function (t) {
+                    return t.some(function (e) { var _a; return filter((_a = e.rest) !== null && _a !== void 0 ? _a : e); });
+                })), _d = _c.next(); !_d.done; _d = _c.next()) {
+                    var tuple = _d.value;
+                    _loop_1(tuple);
+                }
+            }
+            catch (e_1_1) { e_1 = { error: e_1_1 }; }
+            finally {
+                try {
+                    if (_d && !_d.done && (_a = _c.return)) _a.call(_c);
+                }
+                finally { if (e_1) throw e_1.error; }
+            }
+            if (meta.arrays.filter(filter).length)
+                unions.push({
+                    type: "array",
+                    is: function () { return ExpressionFactory_1.ExpressionFactory.isArray(input); },
+                    value: function () {
+                        return explore_arrays(project, importer)(input, meta.arrays, __assign(__assign({}, explore), { from: "array" }), []);
+                    },
+                });
+            if (meta.natives.length) {
+                var _loop_2 = function (native) {
+                    unions.push({
+                        type: "native",
+                        is: function () { return ExpressionFactory_1.ExpressionFactory.isInstanceOf(input, native); },
+                        value: function () { return typescript_1.default.factory.createReturnStatement(); },
+                    });
+                };
+                try {
+                    for (var _e = __values(meta.natives), _f = _e.next(); !_f.done; _f = _e.next()) {
+                        var native = _f.value;
+                        _loop_2(native);
+                    }
+                }
+                catch (e_2_1) { e_2 = { error: e_2_1 }; }
+                finally {
+                    try {
+                        if (_f && !_f.done && (_b = _e.return)) _b.call(_e);
+                    }
+                    finally { if (e_2) throw e_2.error; }
+                }
+            }
+            if (meta.sets.length)
+                unions.push({
+                    type: "set",
+                    is: function () { return ExpressionFactory_1.ExpressionFactory.isInstanceOf(input, "Set"); },
+                    value: function () { return typescript_1.default.factory.createReturnStatement(); },
+                });
+            if (meta.maps.length)
+                unions.push({
+                    type: "map",
+                    is: function () { return ExpressionFactory_1.ExpressionFactory.isInstanceOf(input, "Map"); },
+                    value: function () { return typescript_1.default.factory.createReturnStatement(); },
+                });
+            if (meta.objects.length)
+                unions.push({
+                    type: "object",
+                    is: function () {
+                        return ExpressionFactory_1.ExpressionFactory.isObject(input, {
+                            checkNull: true,
+                            checkArray: false,
+                        });
+                    },
+                    value: function () {
+                        return explore_objects(input, meta, __assign(__assign({}, explore), { from: "object" }));
+                    },
+                });
+            var value = function (v) {
+                return typescript_1.default.isReturnStatement(v) || typescript_1.default.isBlock(v)
+                    ? v
+                    : typescript_1.default.factory.createExpressionStatement(v);
+            };
+            var statements = unions.map(function (u) {
+                return typescript_1.default.factory.createIfStatement(u.is(), value(u.value()));
+            });
+            return typescript_1.default.factory.createBlock(statements, true);
+        };
+    };
+    var decode_tuple = function (project, importer) {
+        return function (input, tuple, explore) {
+            var children = tuple
+                .map(function (elem, index) { return [elem, index]; })
+                .filter(function (_a) {
+                var _b = __read(_a, 1), elem = _b[0];
+                return filter(elem) && elem.rest === null;
+            })
+                .map(function (_a) {
+                var _b = __read(_a, 2), elem = _b[0], index = _b[1];
+                return decode(project, importer)(typescript_1.default.factory.createElementAccessExpression(input, index), elem, __assign(__assign({}, explore), { from: "array" }));
+            });
+            var rest = (function () {
+                if (tuple.length === 0)
+                    return null;
+                var last = tuple[tuple.length - 1];
+                var rest = last.rest;
+                if (rest === null || filter(rest) === false)
+                    return null;
+                return decode(project, importer)(typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.join(input, "slice"), undefined, [typescript_1.default.factory.createNumericLiteral(tuple.length - 1)]), (function () {
+                    var wrapper = Metadata_1.Metadata.initialize();
+                    wrapper.arrays.push(rest);
+                    return wrapper;
+                })(), __assign(__assign({}, explore), { start: tuple.length - 1 }));
+            })();
+            return PruneJoiner_1.PruneJoiner.tuple(children, rest);
+        };
+    };
+    var decode_array = function (project, importer) {
+        return FeatureProgrammer_1.FeatureProgrammer.decode_array(CONFIG(project, importer), importer, PruneJoiner_1.PruneJoiner.array);
+    };
+    var decode_object = function () {
+        return FeatureProgrammer_1.FeatureProgrammer.decode_object({
+            trace: false,
+            path: false,
+            functors: FUNCTORS,
+        });
+    };
+    var explore_arrays = function (project, importer) {
+        return UnionExplorer_1.UnionExplorer.array({
+            checker: IsProgrammer_1.IsProgrammer.decode(project, importer),
+            decoder: decode_array(project, importer),
+            empty: typescript_1.default.factory.createReturnStatement(),
+            success: typescript_1.default.factory.createTrue(),
+            failure: function (input, expected) {
+                return create_throw_error(importer, input, expected);
+            },
+        });
+    };
+    var explore_objects = function (input, meta, explore) {
+        if (meta.objects.length === 1)
+            return decode_object()(input, meta.objects[0], explore);
+        return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("".concat(UNIONERS).concat(meta.union_index)), undefined, [input]);
+    };
+    var filter = function (meta) {
+        return meta.any === false &&
+            (meta.objects.length !== 0 ||
+                meta.tuples.some(function (t) { return t.some(function (e) { var _a; return filter((_a = e.rest) !== null && _a !== void 0 ? _a : e); }); }) ||
+                meta.arrays.some(function (e) { return filter(e); }));
+    };
+    var FUNCTORS = "$po";
+    var UNIONERS = "$pu";
+    var CONFIG = function (project, importer) { return ({
+        functors: FUNCTORS,
+        unioners: UNIONERS,
+        trace: false,
+        path: false,
+        initializer: initializer,
+        decoder: decode(project, importer),
+        objector: OBJECTOR(project, importer),
+    }); };
+    var OBJECTOR = function (project, importer) { return ({
+        checker: IsProgrammer_1.IsProgrammer.decode(project, importer),
+        decoder: decode_object(),
+        joiner: PruneJoiner_1.PruneJoiner.object,
+        unionizer: (0, decode_union_object_1.decode_union_object)(IsProgrammer_1.IsProgrammer.decode_object(importer))(decode_object())(function (exp) { return exp; })(function (value, expected) {
+            return create_throw_error(importer, value, expected);
+        }),
+        failure: function (input, expected) {
+            return create_throw_error(importer, input, expected);
+        },
+    }); };
+    var initializer = function (_a, type) {
+        var checker = _a.checker;
+        var collection = new MetadataCollection_1.MetadataCollection();
+        var meta = MetadataFactory_1.MetadataFactory.generate(checker, collection, type, {
+            resolve: false,
+            constant: true,
+        });
+        return [collection, meta];
+    };
+    var create_throw_error = function (importer, value, expected) {
+        return typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createCallExpression(importer.use("throws"), [], [
+            typescript_1.default.factory.createObjectLiteralExpression([
+                typescript_1.default.factory.createPropertyAssignment("expected", typescript_1.default.factory.createStringLiteral(expected)),
+                typescript_1.default.factory.createPropertyAssignment("value", value),
+            ], true),
+        ]));
+    };
+})(PruneProgrammer = exports.PruneProgrammer || (exports.PruneProgrammer = {}));
+//# sourceMappingURL=PruneProgrammer.js.map

package/lib/programmers/PruneProgrammer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PruneProgrammer.js","sourceRoot":"","sources":["../../src/programmers/PruneProgrammer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAE5B,oEAAmE;AACnE,oEAAmE;AACnE,sEAAqE;AACrE,gEAA+D;AAE/D,iDAAgD;AAIhD,yDAAwD;AACxD,+CAA8C;AAC9C,iEAA+D;AAC/D,qDAAoD;AACpD,yDAAwD;AACxD,sEAAqE;AAErE,IAAiB,eAAe,CA6S/B;AA7SD,WAAiB,eAAe;IAC5B,SAAgB,QAAQ,CACpB,OAAiB,EACjB,MAAiC;QAEjC,IAAM,QAAQ,GAAqB,IAAI,oCAAgB,EAAE,CAAC;QAC1D,OAAO,qCAAiB,CAAC,QAAQ,CAC7B,OAAO,EACP,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,EACzB,QAAQ,EACR,UAAC,UAAU;YACP,IAAM,UAAU,GAAG,2BAAY,CAAC,iBAAiB,CAC7C,OAAO,EACP,QAAQ,CACX,CAAC,UAAU,CAAC,CAAC;YACd,IAAM,UAAU,GAAG,2BAAY,CAAC,iBAAiB,CAC7C,OAAO,EACP,QAAQ,CACX,CAAC,UAAU,CAAC,CAAC;YAEd,4DACO,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,kBACxB,UAAU,kBACV,UAAU,UACf;QACN,CAAC,CACJ,CAAC;IACN,CAAC;IA1Be,wBAAQ,WA0BvB,CAAA;IAKD,IAAM,MAAM,GACR,UAAC,OAAiB,EAAE,QAA0B;QAC9C,OAAA,UACI,KAAoB,EACpB,IAAc,EACd,OAAmC;;YAEnC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK;gBAAE,OAAO,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;YAO9D,IAAM,MAAM,GAAa,EAAE,CAAC;oCAMjB,KAAK;gBAGZ,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE;wBACA,OAAA,2BAAY,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAClC,KAAK,EACL,CAAC;4BACG,IAAM,OAAO,GAAG,mBAAQ,CAAC,UAAU,EAAE,CAAC;4BACtC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;4BAC3B,OAAO,OAAO,CAAC;wBACnB,CAAC,CAAC,EAAE,EACJ,OAAO,EACP,EAAE,CACL;oBATD,CASC;oBACL,KAAK,EAAE;wBACH,OAAA,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;oBAAtD,CAAsD;iBAC7D,CAAC,CAAC;;;gBAlBP,KAAoB,IAAA,KAAA,SAAA,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAC,CAAC;oBACrC,OAAA,CAAC,CAAC,IAAI,CAAC,UAAC,CAAC,YAAK,OAAA,MAAM,CAAC,MAAA,CAAC,CAAC,IAAI,mCAAI,CAAC,CAAC,CAAA,EAAA,CAAC;gBAAlC,CAAkC,CACrC,CAAA,gBAAA;oBAFI,IAAM,KAAK,WAAA;4BAAL,KAAK;iBAkBT;;;;;;;;;YAGP,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM;gBACjC,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,OAAO;oBACb,EAAE,EAAE,cAAM,OAAA,qCAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,EAAhC,CAAgC;oBAC1C,KAAK,EAAE;wBACH,OAAA,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,CAC7B,KAAK,EACL,IAAI,CAAC,MAAM,wBAEJ,OAAO,KACV,IAAI,EAAE,OAAO,KAEjB,EAAE,CACL;oBARD,CAQC;iBACR,CAAC,CAAC;YAGP,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM;wCACR,MAAM;oBACb,MAAM,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,QAAQ;wBACd,EAAE,EAAE,cAAM,OAAA,qCAAiB,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,EAA7C,CAA6C;wBACvD,KAAK,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAlC,CAAkC;qBAClD,CAAC,CAAC;;;oBALP,KAAqB,IAAA,KAAA,SAAA,IAAI,CAAC,OAAO,CAAA,gBAAA;wBAA5B,IAAM,MAAM,WAAA;gCAAN,MAAM;qBAKV;;;;;;;;;aAAA;YACX,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM;gBAChB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,cAAM,OAAA,qCAAiB,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,EAA5C,CAA4C;oBACtD,KAAK,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAlC,CAAkC;iBAClD,CAAC,CAAC;YACP,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM;gBAChB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,cAAM,OAAA,qCAAiB,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,EAA5C,CAA4C;oBACtD,KAAK,EAAE,cAAM,OAAA,oBAAE,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAlC,CAAkC;iBAClD,CAAC,CAAC;YAGP,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM;gBACnB,MAAM,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE;wBACA,OAAA,qCAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE;4BAC9B,SAAS,EAAE,IAAI;4BACf,UAAU,EAAE,KAAK;yBACpB,CAAC;oBAHF,CAGE;oBACN,KAAK,EAAE;wBACH,OAAA,eAAe,CAAC,KAAK,EAAE,IAAI,wBACpB,OAAO,KACV,IAAI,EAAE,QAAQ,IAChB;oBAHF,CAGE;iBACT,CAAC,CAAC;YAKP,IAAM,KAAK,GAAG,UAAC,CAAgD;gBAC3D,OAAA,oBAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,oBAAE,CAAC,OAAO,CAAC,CAAC,CAAC;oBACpC,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAAC,CAAC,CAAC;YAF7C,CAE6C,CAAC;YAClD,IAAM,UAAU,GAAmB,MAAM,CAAC,GAAG,CAAC,UAAC,CAAC;gBAC5C,OAAA,oBAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAAtD,CAAsD,CACzD,CAAC;YACF,OAAO,oBAAE,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACpD,CAAC;IAvGD,CAuGC,CAAC;IAEN,IAAM,YAAY,GACd,UAAC,OAAiB,EAAE,QAA0B;QAC9C,OAAA,UACI,KAAoB,EACpB,KAAiB,EACjB,OAAmC;YAEnC,IAAM,QAAQ,GAAqB,KAAK;iBACnC,GAAG,CAAC,UAAC,IAAI,EAAE,KAAK,IAAK,OAAA,CAAC,IAAI,EAAE,KAAK,CAAU,EAAtB,CAAsB,CAAC;iBAC5C,MAAM,CAAC,UAAC,EAAM;oBAAN,KAAA,aAAM,EAAL,IAAI,QAAA;gBAAM,OAAA,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAlC,CAAkC,CAAC;iBACtD,GAAG,CAAC,UAAC,EAAa;oBAAb,KAAA,aAAa,EAAZ,IAAI,QAAA,EAAE,KAAK,QAAA;gBACd,OAAA,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CACrB,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CAAC,KAAK,EAAE,KAAK,CAAC,EACtD,IAAI,wBAEG,OAAO,KACV,IAAI,EAAE,OAAO,IAEpB;YAPD,CAOC,CACJ,CAAC;YACN,IAAM,IAAI,GAAG,CAAC;gBACV,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAEpC,IAAM,IAAI,GAAa,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;gBAChD,IAAM,IAAI,GAAoB,IAAI,CAAC,IAAI,CAAC;gBACxC,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK;oBAAE,OAAO,IAAI,CAAC;gBAEzD,OAAO,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAC5B,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,qCAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,EACtC,SAAS,EACT,CAAC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CACtD,EACD,CAAC;oBACG,IAAM,OAAO,GAAa,mBAAQ,CAAC,UAAU,EAAE,CAAC;oBAChD,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC1B,OAAO,OAAO,CAAC;gBACnB,CAAC,CAAC,EAAE,wBAEG,OAAO,KACV,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,IAE9B,CAAC;YACN,CAAC,CAAC,EAAE,CAAC;YACL,OAAO,yBAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC7C,CAAC;IA3CD,CA2CC,CAAC;IAEN,IAAM,YAAY,GAAG,UAAC,OAAiB,EAAE,QAA0B;QAC/D,OAAA,qCAAiB,CAAC,YAAY,CAC1B,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,EACzB,QAAQ,EACR,yBAAW,CAAC,KAAK,CACpB;IAJD,CAIC,CAAC;IAEN,IAAM,aAAa,GAAG;QAClB,OAAA,qCAAiB,CAAC,aAAa,CAAC;YAC5B,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,KAAK;YACX,QAAQ,EAAE,QAAQ;SACrB,CAAC;IAJF,CAIE,CAAC;IAEP,IAAM,cAAc,GAAG,UAAC,OAAiB,EAAE,QAA0B;QACjE,OAAA,6BAAa,CAAC,KAAK,CAAC;YAChB,OAAO,EAAE,2BAAY,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;YAC/C,OAAO,EAAE,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC;YACxC,KAAK,EAAE,oBAAE,CAAC,OAAO,CAAC,qBAAqB,EAAE;YACzC,OAAO,EAAE,oBAAE,CAAC,OAAO,CAAC,UAAU,EAAE;YAChC,OAAO,EAAE,UAAC,KAAK,EAAE,QAAQ;gBACrB,OAAA,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC;YAA7C,CAA6C;SACpD,CAAC;IAPF,CAOE,CAAC;IAEP,IAAM,eAAe,GAAG,UACpB,KAAoB,EACpB,IAAc,EACd,OAAmC;QAEnC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YACzB,OAAO,aAAa,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC;QAE7D,OAAO,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAClC,oBAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAG,QAAQ,SAAG,IAAI,CAAC,WAAY,CAAE,CAAC,EAC9D,SAAS,EACT,CAAC,KAAK,CAAC,CACV,CAAC;IACN,CAAC,CAAC;IAEF,IAAM,MAAM,GAAG,UAAC,IAAc;QAC1B,OAAA,IAAI,CAAC,GAAG,KAAK,KAAK;YAClB,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBACtB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,CAAC,IAAK,OAAA,CAAC,CAAC,IAAI,CAAC,UAAC,CAAC,YAAK,OAAA,MAAM,CAAC,MAAA,CAAC,CAAC,IAAI,mCAAI,CAAC,CAAC,CAAA,EAAA,CAAC,EAAlC,CAAkC,CAAC;gBAC3D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,CAAC,IAAK,OAAA,MAAM,CAAC,CAAC,CAAC,EAAT,CAAS,CAAC,CAAC;IAHvC,CAGuC,CAAC;IAK5C,IAAM,QAAQ,GAAG,KAAK,CAAC;IACvB,IAAM,QAAQ,GAAG,KAAK,CAAC;IAEvB,IAAM,MAAM,GAAG,UACX,OAAiB,EACjB,QAA0B,IACE,OAAA,CAAC;QAC7B,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,QAAQ;QAClB,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,KAAK;QACX,WAAW,aAAA;QACX,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;QAClC,QAAQ,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;KACxC,CAAC,EAR8B,CAQ9B,CAAC;IAEH,IAAM,QAAQ,GAAG,UACb,OAAiB,EACjB,QAA0B,IACY,OAAA,CAAC;QACvC,OAAO,EAAE,2BAAY,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;QAC/C,OAAO,EAAE,aAAa,EAAE;QACxB,MAAM,EAAE,yBAAW,CAAC,MAAM;QAC1B,SAAS,EAAE,IAAA,yCAAmB,EAAC,2BAAY,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAChE,aAAa,EAAE,CAClB,CAAC,UAAC,GAAG,IAAK,OAAA,GAAG,EAAH,CAAG,CAAC,CAAC,UAAC,KAAK,EAAE,QAAQ;YAC5B,OAAA,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC;QAA7C,CAA6C,CAChD;QACD,OAAO,EAAE,UAAC,KAAK,EAAE,QAAQ;YACrB,OAAA,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC;QAA7C,CAA6C;KACpD,CAAC,EAXwC,CAWxC,CAAC;IAEH,IAAM,WAAW,GAA6C,UAC1D,EAAW,EACX,IAAI;YADF,OAAO,aAAA;QAGT,IAAM,UAAU,GAAG,IAAI,uCAAkB,EAAE,CAAC;QAC5C,IAAM,IAAI,GAAG,iCAAe,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;YAC7D,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,IAAI;SACjB,CAAC,CAAC;QACH,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC;IAEF,IAAM,kBAAkB,GAAG,UACvB,QAA0B,EAC1B,KAAoB,EACpB,QAAgB;QAEhB,OAAA,oBAAE,CAAC,OAAO,CAAC,yBAAyB,CAChC,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CAC3B,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EACtB,EAAE,EACF;YACI,oBAAE,CAAC,OAAO,CAAC,6BAA6B,CACpC;gBACI,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,CACJ;IAjBD,CAiBC,CAAC;AACV,CAAC,EA7SgB,eAAe,GAAf,uBAAe,KAAf,uBAAe,QA6S/B"}

package/lib/programmers/StringifyProgrammer.js

@@ -67,6 +67,7 @@ var OptionPredicator_1 = require("./helpers/OptionPredicator");
 var StringifyJoinder_1 = require("./helpers/StringifyJoinder");
 var StringifyPredicator_1 = require("./helpers/StringifyPredicator");
 var UnionExplorer_1 = require("./helpers/UnionExplorer");
+var check_native_1 = require("./internal/check_native");
 var decode_union_object_1 = require("./internal/decode_union_object");
 var feature_object_entries_1 = require("./internal/feature_object_entries");
 var StringifyProgrammer;
@@ -133,8 +134,9 @@ var StringifyProgrammer;
                         });
                 }
             var _loop_1 = function (constant) {
-                if (constant.type !== "string" &&
-                    AtomicPredicator_1.AtomicPredicator.constant(meta)(constant.type))
+                if (AtomicPredicator_1.AtomicPredicator.constant(meta)(constant.type) === false)
+                    return "continue";
+                else if (constant.type !== "string")
                     unions.push({
                         type: "atomic",
                         is: function () {
@@ -177,19 +179,20 @@ var StringifyProgrammer;
                 finally { if (e_1) throw e_1.error; }
             }
             var _loop_2 = function (type) {
-                unions.push({
-                    type: "atomic",
-                    is: function () {
-                        return IsProgrammer_1.IsProgrammer.decode(project, importer)(input, (function () {
-                            var partial = Metadata_1.Metadata.initialize();
-                            partial.atomics.push(type);
-                            return partial;
-                        })(), explore, []);
-                    },
-                    value: function () {
-                        return decode_atomic(project, importer)(input, type, explore, tags);
-                    },
-                });
+                if (AtomicPredicator_1.AtomicPredicator.atomic(meta)(type))
+                    unions.push({
+                        type: "atomic",
+                        is: function () {
+                            return IsProgrammer_1.IsProgrammer.decode(project, importer)(input, (function () {
+                                var partial = Metadata_1.Metadata.initialize();
+                                partial.atomics.push(type);
+                                return partial;
+                            })(), explore, []);
+                        },
+                        value: function () {
+                            return decode_atomic(project, importer)(input, type, explore, tags);
+                        },
+                    });
             };
             try {
                 for (var _h = __values(meta.atomics), _j = _h.next(); !_j.done; _j = _h.next()) {
@@ -279,8 +282,12 @@ var StringifyProgrammer;
                 var _loop_4 = function (native) {
                     unions.push({
                         type: "object",
-                        is: function () { return ExpressionFactory_1.ExpressionFactory.isInstanceOf(input, native); },
-                        value: function () { return typescript_1.default.factory.createStringLiteral("{}"); },
+                        is: function () { return (0, check_native_1.check_native)(native)(input); },
+                        value: function () {
+                            return AtomicPredicator_1.AtomicPredicator.native(native)
+                                ? decode_atomic(project, importer)(input, native.toLowerCase(), explore, tags)
+                                : typescript_1.default.factory.createStringLiteral("{}");
+                        },
                     });
                 };
                 try {
@@ -334,7 +341,7 @@ var StringifyProgrammer;
                                     trace: false,
                                     path: false,
                                 })(obj)(input);
-                                return StringifyJoinder_1.StringifyJoiner.object(importer)(entries);
+                                return StringifyJoinder_1.StringifyJoiner.object(importer)(input, entries);
                             })()
                             : explore_objects(input, meta, __assign(__assign({}, explore), { from: "object" }));
                     },
@@ -497,14 +504,12 @@ var StringifyProgrammer;
         checker: IsProgrammer_1.IsProgrammer.decode(project, importer),
         decoder: decode_object(),
         joiner: StringifyJoinder_1.StringifyJoiner.object(importer),
-        unionizer: (0, decode_union_object_1.decode_union_object)(IsProgrammer_1.IsProgrammer.decode_object())(decode_object())(function (exp) { return exp; })(function (value, expected) {
+        unionizer: (0, decode_union_object_1.decode_union_object)(IsProgrammer_1.IsProgrammer.decode_object(importer))(decode_object())(function (exp) { return exp; })(function (value, expected) {
             return create_throw_error(importer, value, expected);
         }),
         failure: function (input, expected) {
             return create_throw_error(importer, input, expected);
         },
-        is: function (expr) { return expr; },
-        required: function (expr) { return expr; },
     }); };
     function create_throw_error(importer, value, expected) {
         return typescript_1.default.factory.createExpressionStatement(typescript_1.default.factory.createCallExpression(importer.use("throws"), [], [