typia 3.8.9 → 3.9.0-dev.20230604

package/lib/programmers/StringifyProgrammer.js

@@ -56,6 +56,7 @@ 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 StatementFactory_1 = require("../factories/StatementFactory");
 var TypeFactory_1 = require("../factories/TypeFactory");
 var ValueFactory_1 = require("../factories/ValueFactory");
 var Metadata_1 = require("../metadata/Metadata");
@@ -71,6 +72,7 @@ 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 wrap_metadata_rest_tuple_1 = require("./internal/wrap_metadata_rest_tuple");
 var StringifyProgrammer;
 (function (StringifyProgrammer) {
     StringifyProgrammer.generate = function (project, modulo) {
@@ -80,338 +82,396 @@ var StringifyProgrammer;
     };
     StringifyProgrammer.write = function (project) { return function (modulo) {
         var importer = new FunctionImporeter_1.FunctionImporter();
-        return FeatureProgrammer_1.FeatureProgrammer.analyze(project)(__assign(__assign({}, configure(project)(importer)), { addition: function (collection) {
-                var isFunctors = IsProgrammer_1.IsProgrammer.write_functors(project)(importer)(collection);
-                var isUnioners = IsProgrammer_1.IsProgrammer.write_unioners(project)(importer)(collection);
-                return __spreadArray(__spreadArray(__spreadArray([], __read(importer.declare(modulo)), false), __read(isFunctors.filter(function (_, i) {
-                    return importer.hasLocal("$io".concat(i));
-                })), false), __read(isUnioners.filter(function (_, i) {
-                    return importer.hasLocal("$iu".concat(i));
-                })), false);
-            } }))(importer);
+        var config = configure(project)(importer);
+        return FeatureProgrammer_1.FeatureProgrammer.write(project)(__assign(__assign({}, config), { addition: function (collection) { return __spreadArray(__spreadArray([], __read(IsProgrammer_1.IsProgrammer.write_function_statements(project)(importer)(collection)), false), __read(importer.declare(modulo)), false); } }))(importer);
     }; };
-    var decode = function (project, importer) {
-        return function (input, meta, explore, tags) {
-            var e_1, _a, e_2, _b, e_3, _c, e_4, _d, e_5, _e;
-            if (meta.any === true)
-                return wrap_required(input, meta, explore)(wrap_functional(input, meta, explore)(typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("JSON.stringify"), undefined, [input])));
-            var size = meta.size();
-            if (size === 0 &&
-                (meta.required === false || meta.nullable === true)) {
-                if (meta.required === false && meta.nullable === true)
-                    return explore.from === "array"
-                        ? typescript_1.default.factory.createStringLiteral("null")
-                        : typescript_1.default.factory.createConditionalExpression(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createNull(), input), undefined, typescript_1.default.factory.createStringLiteral("null"), undefined, typescript_1.default.factory.createIdentifier("undefined"));
-                else if (meta.required === false)
-                    return explore.from === "array"
-                        ? typescript_1.default.factory.createStringLiteral("null")
-                        : typescript_1.default.factory.createIdentifier("undefined");
-                else
-                    return typescript_1.default.factory.createStringLiteral("null");
-            }
-            var unions = [];
-            if (meta.resolved !== null)
-                if (size === 1)
-                    return decode_to_json(project, importer)(input, meta.resolved, explore, tags);
-                else
-                    unions.push({
-                        type: "resolved",
-                        is: function () { return IsProgrammer_1.IsProgrammer.decode_to_json(false)(input); },
-                        value: function () {
-                            return decode_to_json(project, importer)(input, meta.resolved, explore, tags);
-                        },
-                    });
-            else if (meta.functional === true)
-                unions.push({
-                    type: "functional",
-                    is: function () { return IsProgrammer_1.IsProgrammer.decode_functional(input); },
-                    value: function () { return decode_functional(explore); },
+    var write_array_functions = function (config) {
+        return function (importer) {
+            return function (collection) {
+                return collection
+                    .arrays()
+                    .filter(function (a) { return a.recursive; })
+                    .map(function (array, i) {
+                    return StatementFactory_1.StatementFactory.constant("".concat(config.prefix, "a").concat(i), typescript_1.default.factory.createArrowFunction(undefined, undefined, FeatureProgrammer_1.FeatureProgrammer.parameterDeclarations(config)(TypeFactory_1.TypeFactory.keyword("any"))(typescript_1.default.factory.createIdentifier("input")), TypeFactory_1.TypeFactory.keyword("any"), undefined, decode_array_inline(config)(importer)(typescript_1.default.factory.createIdentifier("input"), array, {
+                        tracable: config.trace,
+                        source: "function",
+                        from: "array",
+                        postfix: "",
+                    })));
                 });
-            if (meta.templates.length ||
-                ArrayUtil_1.ArrayUtil.has(meta.constants, function (c) { return c.type === "string"; }))
-                if (AtomicPredicator_1.AtomicPredicator.template(meta)) {
-                    var partial_1 = Metadata_1.Metadata.initialize();
-                    partial_1.atomics.push("string"),
-                        unions.push({
-                            type: "template literal",
-                            is: function () {
-                                return IsProgrammer_1.IsProgrammer.decode(project, importer)(input, partial_1, explore, [], []);
-                            },
-                            value: function () {
-                                return decode_atomic(project)(importer)(input, "string", explore, tags);
-                            },
-                        });
-                }
-            var _loop_1 = function (constant) {
-                if (AtomicPredicator_1.AtomicPredicator.constant(meta)(constant.type) === false)
-                    return "continue";
-                else if (constant.type !== "string")
-                    unions.push({
-                        type: "atomic",
-                        is: function () {
-                            return IsProgrammer_1.IsProgrammer.decode(project, importer)(input, (function () {
-                                var partial = Metadata_1.Metadata.initialize();
-                                partial.atomics.push(constant.type);
-                                return partial;
-                            })(), explore, [], []);
-                        },
-                        value: function () {
-                            return decode_atomic(project)(importer)(input, constant.type, explore, tags);
-                        },
-                    });
-                else if (meta.templates.length === 0)
-                    unions.push({
-                        type: "const string",
-                        is: function () {
-                            return IsProgrammer_1.IsProgrammer.decode(project, importer)(input, (function () {
-                                var partial = Metadata_1.Metadata.initialize();
-                                partial.atomics.push("string");
-                                return partial;
-                            })(), explore, [], []);
-                        },
-                        value: function () {
-                            return decode_constant_string(project)(importer)(input, __spreadArray([], __read(constant.values), false), explore);
-                        },
-                    });
             };
-            try {
-                for (var _f = __values(meta.constants), _g = _f.next(); !_g.done; _g = _f.next()) {
-                    var constant = _g.value;
-                    _loop_1(constant);
-                }
-            }
-            catch (e_1_1) { e_1 = { error: e_1_1 }; }
-            finally {
-                try {
-                    if (_g && !_g.done && (_a = _f.return)) _a.call(_f);
-                }
-                finally { if (e_1) throw e_1.error; }
-            }
-            var _loop_2 = function (type) {
-                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);
-                        },
+        };
+    };
+    var write_tuple_functions = function (project) {
+        return function (config) {
+            return function (importer) {
+                return function (collection) {
+                    return collection
+                        .tuples()
+                        .filter(function (t) { return t.recursive; })
+                        .map(function (tuple, i) {
+                        return StatementFactory_1.StatementFactory.constant("".concat(config.prefix, "t").concat(i), typescript_1.default.factory.createArrowFunction(undefined, undefined, FeatureProgrammer_1.FeatureProgrammer.parameterDeclarations(config)(TypeFactory_1.TypeFactory.keyword("any"))(typescript_1.default.factory.createIdentifier("input")), TypeFactory_1.TypeFactory.keyword("any"), undefined, decode_tuple_inline(project)(config)(importer)(typescript_1.default.factory.createIdentifier("input"), tuple, {
+                            tracable: config.trace,
+                            source: "function",
+                            from: "array",
+                            postfix: "",
+                        })));
                     });
+                };
             };
-            try {
-                for (var _h = __values(meta.atomics), _j = _h.next(); !_j.done; _j = _h.next()) {
-                    var type = _j.value;
-                    _loop_2(type);
-                }
-            }
-            catch (e_2_1) { e_2 = { error: e_2_1 }; }
-            finally {
-                try {
-                    if (_j && !_j.done && (_b = _h.return)) _b.call(_h);
-                }
-                finally { if (e_2) throw e_2.error; }
-            }
-            var _loop_3 = function (tuple) {
-                var e_6, _r;
-                try {
-                    for (var tuple_1 = (e_6 = void 0, __values(tuple)), tuple_1_1 = tuple_1.next(); !tuple_1_1.done; tuple_1_1 = tuple_1.next()) {
-                        var child = tuple_1_1.value;
-                        if (StringifyPredicator_1.StringifyPredicator.undefindable(meta))
-                            throw new Error("Error on typia.stringify(): tuple cannot contain undefined value - (".concat(child.getName(), ")."));
+        };
+    };
+    var decode = function (project) {
+        return function (config) {
+            return function (importer) {
+                return function (input, meta, explore) {
+                    var e_1, _a, e_2, _b, e_3, _c, e_4, _d, e_5, _e;
+                    if (meta.any === true)
+                        return wrap_required(input, meta, explore)(wrap_functional(input, meta, explore)(typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("JSON.stringify"), undefined, [input])));
+                    var size = meta.size();
+                    if (size === 0 &&
+                        (meta.required === false || meta.nullable === true)) {
+                        if (meta.required === false && meta.nullable === true)
+                            return explore.from === "array"
+                                ? typescript_1.default.factory.createStringLiteral("null")
+                                : typescript_1.default.factory.createConditionalExpression(typescript_1.default.factory.createStrictEquality(typescript_1.default.factory.createNull(), input), undefined, typescript_1.default.factory.createStringLiteral("null"), undefined, typescript_1.default.factory.createIdentifier("undefined"));
+                        else if (meta.required === false)
+                            return explore.from === "array"
+                                ? typescript_1.default.factory.createStringLiteral("null")
+                                : typescript_1.default.factory.createIdentifier("undefined");
+                        else
+                            return typescript_1.default.factory.createStringLiteral("null");
                     }
-                }
-                catch (e_6_1) { e_6 = { error: e_6_1 }; }
-                finally {
+                    var unions = [];
+                    if (meta.resolved !== null)
+                        if (size === 1)
+                            return decode_to_json(project)(config)(importer)(input, meta.resolved, explore);
+                        else
+                            unions.push({
+                                type: "resolved",
+                                is: function () { return IsProgrammer_1.IsProgrammer.decode_to_json(false)(input); },
+                                value: function () {
+                                    return decode_to_json(project)(config)(importer)(input, meta.resolved, explore);
+                                },
+                            });
+                    else if (meta.functional === true)
+                        unions.push({
+                            type: "functional",
+                            is: function () { return IsProgrammer_1.IsProgrammer.decode_functional(input); },
+                            value: function () { return decode_functional(explore); },
+                        });
+                    if (meta.templates.length ||
+                        ArrayUtil_1.ArrayUtil.has(meta.constants, function (c) { return c.type === "string"; }))
+                        if (AtomicPredicator_1.AtomicPredicator.template(meta)) {
+                            var partial_1 = Metadata_1.Metadata.initialize();
+                            partial_1.atomics.push("string"),
+                                unions.push({
+                                    type: "template literal",
+                                    is: function () {
+                                        return IsProgrammer_1.IsProgrammer.decode(project)(importer)(input, partial_1, explore, [], []);
+                                    },
+                                    value: function () {
+                                        return decode_atomic(project)(importer)(input, "string", explore);
+                                    },
+                                });
+                        }
+                    var _loop_1 = function (constant) {
+                        if (AtomicPredicator_1.AtomicPredicator.constant(meta)(constant.type) === false)
+                            return "continue";
+                        else if (constant.type !== "string")
+                            unions.push({
+                                type: "atomic",
+                                is: function () {
+                                    return IsProgrammer_1.IsProgrammer.decode(project)(importer)(input, (function () {
+                                        var partial = Metadata_1.Metadata.initialize();
+                                        partial.atomics.push(constant.type);
+                                        return partial;
+                                    })(), explore, [], []);
+                                },
+                                value: function () {
+                                    return decode_atomic(project)(importer)(input, constant.type, explore);
+                                },
+                            });
+                        else if (meta.templates.length === 0)
+                            unions.push({
+                                type: "const string",
+                                is: function () {
+                                    return IsProgrammer_1.IsProgrammer.decode(project)(importer)(input, (function () {
+                                        var partial = Metadata_1.Metadata.initialize();
+                                        partial.atomics.push("string");
+                                        return partial;
+                                    })(), explore, [], []);
+                                },
+                                value: function () {
+                                    return decode_constant_string(project)(importer)(input, __spreadArray([], __read(constant.values), false), explore);
+                                },
+                            });
+                    };
                     try {
-                        if (tuple_1_1 && !tuple_1_1.done && (_r = tuple_1.return)) _r.call(tuple_1);
+                        for (var _f = __values(meta.constants), _g = _f.next(); !_g.done; _g = _f.next()) {
+                            var constant = _g.value;
+                            _loop_1(constant);
+                        }
                     }
-                    finally { if (e_6) throw e_6.error; }
-                }
-                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, tags);
-                    },
-                });
-            };
-            try {
-                for (var _k = __values(meta.tuples), _l = _k.next(); !_l.done; _l = _k.next()) {
-                    var tuple = _l.value;
-                    _loop_3(tuple);
-                }
-            }
-            catch (e_3_1) { e_3 = { error: e_3_1 }; }
-            finally {
-                try {
-                    if (_l && !_l.done && (_c = _k.return)) _c.call(_k);
-                }
-                finally { if (e_3) throw e_3.error; }
-            }
-            if (meta.arrays.length) {
-                try {
-                    for (var _m = __values(meta.arrays), _o = _m.next(); !_o.done; _o = _m.next()) {
-                        var child = _o.value;
-                        if (StringifyPredicator_1.StringifyPredicator.undefindable(child))
-                            throw new Error("Error on typia.stringify(): array cannot contain undefined value (".concat(child.getName(), ")."));
+                    catch (e_1_1) { e_1 = { error: e_1_1 }; }
+                    finally {
+                        try {
+                            if (_g && !_g.done && (_a = _f.return)) _a.call(_f);
+                        }
+                        finally { if (e_1) throw e_1.error; }
                     }
-                }
-                catch (e_4_1) { e_4 = { error: e_4_1 }; }
-                finally {
+                    var _loop_2 = function (type) {
+                        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);
+                                },
+                            });
+                    };
                     try {
-                        if (_o && !_o.done && (_d = _m.return)) _d.call(_m);
+                        for (var _h = __values(meta.atomics), _j = _h.next(); !_j.done; _j = _h.next()) {
+                            var type = _j.value;
+                            _loop_2(type);
+                        }
                     }
-                    finally { if (e_4) throw e_4.error; }
-                }
-                var value = meta.arrays.some(function (elem) { return elem.any; })
-                    ? function () {
-                        return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("JSON.stringify"), undefined, [input]);
+                    catch (e_2_1) { e_2 = { error: e_2_1 }; }
+                    finally {
+                        try {
+                            if (_j && !_j.done && (_b = _h.return)) _b.call(_h);
+                        }
+                        finally { if (e_2) throw e_2.error; }
                     }
-                    : function () {
-                        return explore_arrays(project)(importer)(input, meta.arrays, __assign(__assign({}, explore), { from: "array" }), [], []);
+                    var _loop_3 = function (tuple) {
+                        var e_6, _r;
+                        try {
+                            for (var _s = (e_6 = void 0, __values(tuple.elements)), _t = _s.next(); !_t.done; _t = _s.next()) {
+                                var child = _t.value;
+                                if (StringifyPredicator_1.StringifyPredicator.undefindable(meta))
+                                    throw new Error("Error on typia.stringify(): tuple cannot contain undefined value - (".concat(child.getName(), ")."));
+                            }
+                        }
+                        catch (e_6_1) { e_6 = { error: e_6_1 }; }
+                        finally {
+                            try {
+                                if (_t && !_t.done && (_r = _s.return)) _r.call(_s);
+                            }
+                            finally { if (e_6) throw e_6.error; }
+                        }
+                        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)(config)(importer)(input, tuple, explore);
+                            },
+                        });
                     };
-                unions.push({
-                    type: "array",
-                    is: function () { return ExpressionFactory_1.ExpressionFactory.isArray(input); },
-                    value: value,
-                });
-            }
-            if (meta.natives.length) {
-                var _loop_4 = function (native) {
-                    unions.push({
-                        type: "object",
-                        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 {
-                    for (var _p = __values(meta.natives), _q = _p.next(); !_q.done; _q = _p.next()) {
-                        var native = _q.value;
-                        _loop_4(native);
-                    }
-                }
-                catch (e_5_1) { e_5 = { error: e_5_1 }; }
-                finally {
                     try {
-                        if (_q && !_q.done && (_e = _p.return)) _e.call(_p);
+                        for (var _k = __values(meta.tuples), _l = _k.next(); !_l.done; _l = _k.next()) {
+                            var tuple = _l.value;
+                            _loop_3(tuple);
+                        }
                     }
-                    finally { if (e_5) throw e_5.error; }
-                }
-            }
-            if (meta.sets.length)
-                unions.push({
-                    type: "object",
-                    is: function () { return ExpressionFactory_1.ExpressionFactory.isInstanceOf("Set")(input); },
-                    value: function () { return typescript_1.default.factory.createStringLiteral("{}"); },
-                });
-            if (meta.maps.length)
-                unions.push({
-                    type: "object",
-                    is: function () { return ExpressionFactory_1.ExpressionFactory.isInstanceOf("Map")(input); },
-                    value: function () { return typescript_1.default.factory.createStringLiteral("{}"); },
-                });
-            if (meta.objects.length)
-                unions.push({
-                    type: "object",
-                    is: function () {
-                        return ExpressionFactory_1.ExpressionFactory.isObject({
-                            checkNull: true,
-                            checkArray: meta.objects.some(function (obj) {
-                                return obj.properties.every(function (prop) {
-                                    return !prop.key.isSoleLiteral() ||
-                                        !prop.value.required;
-                                });
-                            }),
-                        })(input);
-                    },
-                    value: function () {
-                        return meta.isParentResolved() === false &&
-                            meta.objects.length === 1 &&
-                            meta.objects[0]._Is_simple()
-                            ? (function () {
-                                var obj = meta.objects[0];
-                                var entries = (0, feature_object_entries_1.feature_object_entries)({
-                                    decoder: decode(project, importer),
-                                    trace: false,
-                                    path: false,
-                                })(importer)(obj)(input);
-                                return StringifyJoinder_1.StringifyJoiner.object(importer)(input, entries);
-                            })()
-                            : explore_objects(importer)(input, meta, __assign(__assign({}, explore), { from: "object" }));
-                    },
-                });
-            var wrapper = function (output) {
-                return wrap_required(input, meta, explore)(wrap_nullable(input, meta)(output));
+                    catch (e_3_1) { e_3 = { error: e_3_1 }; }
+                    finally {
+                        try {
+                            if (_l && !_l.done && (_c = _k.return)) _c.call(_k);
+                        }
+                        finally { if (e_3) throw e_3.error; }
+                    }
+                    if (meta.arrays.length) {
+                        try {
+                            for (var _m = __values(meta.arrays), _o = _m.next(); !_o.done; _o = _m.next()) {
+                                var child = _o.value;
+                                if (StringifyPredicator_1.StringifyPredicator.undefindable(child.value))
+                                    throw new Error("Error on typia.stringify(): array cannot contain undefined value (".concat(child.value.getName(), ")."));
+                            }
+                        }
+                        catch (e_4_1) { e_4 = { error: e_4_1 }; }
+                        finally {
+                            try {
+                                if (_o && !_o.done && (_d = _m.return)) _d.call(_m);
+                            }
+                            finally { if (e_4) throw e_4.error; }
+                        }
+                        var value = meta.arrays.length === 1
+                            ? function () {
+                                return decode_array(config)(importer)(input, meta.arrays[0], __assign(__assign({}, explore), { from: "array" }));
+                            }
+                            : meta.arrays.some(function (elem) { return elem.value.any; })
+                                ? function () {
+                                    return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("JSON.stringify"), undefined, [input]);
+                                }
+                                : function () {
+                                    return explore_arrays(project)(config)(importer)(input, meta.arrays, __assign(__assign({}, explore), { from: "array" }));
+                                };
+                        unions.push({
+                            type: "array",
+                            is: function () { return ExpressionFactory_1.ExpressionFactory.isArray(input); },
+                            value: value,
+                        });
+                    }
+                    if (meta.natives.length) {
+                        var _loop_4 = function (native) {
+                            unions.push({
+                                type: "object",
+                                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)
+                                        : typescript_1.default.factory.createStringLiteral("{}");
+                                },
+                            });
+                        };
+                        try {
+                            for (var _p = __values(meta.natives), _q = _p.next(); !_q.done; _q = _p.next()) {
+                                var native = _q.value;
+                                _loop_4(native);
+                            }
+                        }
+                        catch (e_5_1) { e_5 = { error: e_5_1 }; }
+                        finally {
+                            try {
+                                if (_q && !_q.done && (_e = _p.return)) _e.call(_p);
+                            }
+                            finally { if (e_5) throw e_5.error; }
+                        }
+                    }
+                    if (meta.sets.length)
+                        unions.push({
+                            type: "object",
+                            is: function () { return ExpressionFactory_1.ExpressionFactory.isInstanceOf("Set")(input); },
+                            value: function () { return typescript_1.default.factory.createStringLiteral("{}"); },
+                        });
+                    if (meta.maps.length)
+                        unions.push({
+                            type: "object",
+                            is: function () { return ExpressionFactory_1.ExpressionFactory.isInstanceOf("Map")(input); },
+                            value: function () { return typescript_1.default.factory.createStringLiteral("{}"); },
+                        });
+                    if (meta.objects.length)
+                        unions.push({
+                            type: "object",
+                            is: function () {
+                                return ExpressionFactory_1.ExpressionFactory.isObject({
+                                    checkNull: true,
+                                    checkArray: meta.objects.some(function (obj) {
+                                        return obj.properties.every(function (prop) {
+                                            return !prop.key.isSoleLiteral() ||
+                                                !prop.value.required;
+                                        });
+                                    }),
+                                })(input);
+                            },
+                            value: function () {
+                                return meta.isParentResolved() === false &&
+                                    meta.objects.length === 1 &&
+                                    meta.objects[0]._Is_simple()
+                                    ? (function () {
+                                        var obj = meta.objects[0];
+                                        var entries = (0, feature_object_entries_1.feature_object_entries)({
+                                            decoder: function () {
+                                                return decode(project)(config)(importer);
+                                            },
+                                            trace: false,
+                                            path: false,
+                                        })(importer)(obj)(typescript_1.default.factory.createAsExpression(input, TypeFactory_1.TypeFactory.keyword("any")));
+                                        return StringifyJoinder_1.StringifyJoiner.object(importer)(typescript_1.default.factory.createAsExpression(input, TypeFactory_1.TypeFactory.keyword("any")), entries);
+                                    })()
+                                    : explore_objects(config)(importer)(input, meta, __assign(__assign({}, explore), { from: "object" }));
+                            },
+                        });
+                    var wrapper = function (output) {
+                        return wrap_required(input, meta, explore)(wrap_nullable(input, meta)(output));
+                    };
+                    if (unions.length === 0)
+                        return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("JSON.stringify"), undefined, [input]);
+                    else if (unions.length === 1)
+                        return wrapper(unions[0].value());
+                    return wrapper(typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createArrowFunction(undefined, undefined, [], undefined, undefined, iterate(importer, input, unions, meta.getName())), undefined, undefined));
+                };
             };
-            if (unions.length === 0)
-                return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier("JSON.stringify"), undefined, [input]);
-            else if (unions.length === 1)
-                return wrapper(unions[0].value());
-            return wrapper(typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createArrowFunction(undefined, undefined, [], undefined, undefined, iterate(importer, input, unions, meta.getName())), undefined, undefined));
         };
     };
-    var decode_array = function (project) { return function (importer) {
-        return FeatureProgrammer_1.FeatureProgrammer.decode_array(configure(project)(importer))(importer)(StringifyJoinder_1.StringifyJoiner.array);
-    }; };
     var decode_object = function (importer) {
         return FeatureProgrammer_1.FeatureProgrammer.decode_object({
             trace: false,
             path: false,
-            functors: FUNCTORS,
+            prefix: PREFIX,
         })(importer);
     };
-    var decode_tuple = function (project) {
+    var decode_array = function (config) {
         return function (importer) {
-            return function (input, tuple, explore, tags) {
-                var children = tuple
-                    .filter(function (elem) { return elem.rest === null; })
-                    .map(function (elem, index) {
-                    return decode(project, importer)(typescript_1.default.factory.createElementAccessExpression(input, index), elem, __assign(__assign({}, explore), { from: "array" }), tags);
-                });
-                var rest = (function () {
-                    if (tuple.length === 0)
-                        return null;
-                    var last = tuple[tuple.length - 1];
-                    if (last.rest === null)
-                        return null;
-                    var code = decode(project, importer)(typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.access(input)("slice"), undefined, [typescript_1.default.factory.createNumericLiteral(tuple.length - 1)]), (function () {
-                        var wrapper = Metadata_1.Metadata.initialize();
-                        wrapper.arrays.push(tuple[tuple.length - 1].rest);
-                        return wrapper;
-                    })(), __assign(__assign({}, explore), { start: tuple.length - 1 }), tags);
-                    return typescript_1.default.factory.createCallExpression(importer.use("rest"), undefined, [code]);
-                })();
-                return StringifyJoinder_1.StringifyJoiner.tuple(children, rest);
+            return function (input, array, explore) {
+                return array.recursive
+                    ? typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier(importer.useLocal("".concat(config.prefix, "a").concat(array.index))), undefined, FeatureProgrammer_1.FeatureProgrammer.argumentsArray(config)(__assign(__assign({}, explore), { source: "function", from: "array" }))(input))
+                    : decode_array_inline(config)(importer)(input, array, explore);
+            };
+        };
+    };
+    var decode_array_inline = function (config) {
+        return function (importer) {
+            return function (input, array, explore) {
+                return FeatureProgrammer_1.FeatureProgrammer.decode_array(config)(importer)(StringifyJoinder_1.StringifyJoiner.array)(input, array, explore, [], []);
+            };
+        };
+    };
+    var decode_tuple = function (project) {
+        return function (config) {
+            return function (importer) {
+                return function (input, tuple, explore) {
+                    return tuple.recursive
+                        ? typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier(importer.useLocal("".concat(config.prefix, "t").concat(tuple.index))), undefined, FeatureProgrammer_1.FeatureProgrammer.argumentsArray(config)(__assign(__assign({}, explore), { source: "function" }))(input))
+                        : decode_tuple_inline(project)(config)(importer)(input, tuple, explore);
+                };
+            };
+        };
+    };
+    var decode_tuple_inline = function (project) {
+        return function (config) {
+            return function (importer) {
+                return function (input, tuple, explore) {
+                    var children = tuple.elements
+                        .filter(function (elem) { return elem.rest === null; })
+                        .map(function (elem, index) {
+                        return decode(project)(config)(importer)(typescript_1.default.factory.createElementAccessExpression(input, index), elem, __assign(__assign({}, explore), { from: "array", postfix: explore.postfix.length
+                                ? "".concat(explore.postfix.slice(0, -1), "[").concat(index, "]\"")
+                                : "\"[".concat(index, "]\"") }));
+                    });
+                    var rest = (function () {
+                        if (tuple.elements.length === 0)
+                            return null;
+                        var last = tuple.elements.at(-1);
+                        if (last.rest === null)
+                            return null;
+                        var code = decode(project)(config)(importer)(typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.access(input)("slice"), undefined, [
+                            typescript_1.default.factory.createNumericLiteral(tuple.elements.length - 1),
+                        ]), (0, wrap_metadata_rest_tuple_1.wrap_metadata_rest_tuple)(tuple.elements.at(-1).rest), __assign(__assign({}, explore), { start: tuple.elements.length - 1 }));
+                        return typescript_1.default.factory.createCallExpression(importer.use("rest"), undefined, [code]);
+                    })();
+                    return StringifyJoinder_1.StringifyJoiner.tuple(children, rest);
+                };
             };
         };
     };
     var decode_atomic = function (project) {
         return function (importer) {
-            return function (input, type, explore, tagList) {
+            return function (input, type, explore) {
                 if (type === "string")
-                    if (tagList.find(function (tag) { return tag.kind === "format"; }) !== undefined)
-                        return [
-                            typescript_1.default.factory.createStringLiteral('"'),
-                            input,
-                            typescript_1.default.factory.createStringLiteral('"'),
-                        ].reduce(function (x, y) { return typescript_1.default.factory.createAdd(x, y); });
-                    else
-                        return typescript_1.default.factory.createCallExpression(importer.use("string"), undefined, [input]);
+                    return typescript_1.default.factory.createCallExpression(importer.use("string"), undefined, [input]);
                 else if (type === "number" &&
                     OptionPredicator_1.OptionPredicator.numeric(project.options))
                     input = typescript_1.default.factory.createCallExpression(importer.use("number"), undefined, [input]);
@@ -431,13 +491,17 @@ var StringifyProgrammer;
                         typescript_1.default.factory.createStringLiteral('"'),
                     ].reduce(function (x, y) { return typescript_1.default.factory.createAdd(x, y); });
                 else
-                    return decode_atomic(project)(importer)(input, "string", explore, []);
+                    return decode_atomic(project)(importer)(input, "string", explore);
             };
         };
     };
-    var decode_to_json = function (project, importer) {
-        return function (input, resolved, explore, tags) {
-            return decode(project, importer)(typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.access(input)("toJSON"), undefined, []), resolved, explore, tags);
+    var decode_to_json = function (project) {
+        return function (config) {
+            return function (importer) {
+                return function (input, resolved, explore) {
+                    return decode(project)(config)(importer)(typescript_1.default.factory.createCallExpression(IdentifierFactory_1.IdentifierFactory.access(input)("toJSON"), undefined, []), resolved, explore);
+                };
+            };
         };
     };
     var decode_functional = function (explore) {
@@ -445,22 +509,51 @@ var StringifyProgrammer;
             ? typescript_1.default.factory.createStringLiteral("null")
             : typescript_1.default.factory.createIdentifier("undefined");
     };
-    var explore_arrays = function (project) { return function (importer) {
-        return UnionExplorer_1.UnionExplorer.array({
-            checker: IsProgrammer_1.IsProgrammer.decode(project, importer),
-            decoder: decode_array(project)(importer),
-            empty: typescript_1.default.factory.createStringLiteral("[]"),
-            success: typescript_1.default.factory.createTrue(),
-            failure: function (input, expected) {
-                return create_throw_error(importer, input, expected);
-            },
-        });
-    }; };
-    var explore_objects = function (importer) {
-        return function (input, meta, explore) {
-            if (meta.objects.length === 1)
-                return decode_object(importer)(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 explore_objects = function (config) {
+        return function (importer) {
+            return function (input, meta, explore) {
+                return meta.objects.length === 1
+                    ? decode_object(importer)(input, meta.objects[0], explore)
+                    : typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier(importer.useLocal("".concat(PREFIX, "u").concat(meta.union_index))), undefined, FeatureProgrammer_1.FeatureProgrammer.argumentsArray(config)(explore)(input));
+            };
+        };
+    };
+    var explore_arrays = function (project) {
+        return function (config) {
+            return function (importer) {
+                return function (input, elements, explore) {
+                    return explore_array_like_union_types(config)(importer)(UnionExplorer_1.UnionExplorer.array({
+                        checker: IsProgrammer_1.IsProgrammer.decode(project)(importer),
+                        decoder: decode_array(config)(importer),
+                        empty: typescript_1.default.factory.createStringLiteral("[]"),
+                        success: typescript_1.default.factory.createTrue(),
+                        failure: function (input, expected) {
+                            return create_throw_error(importer)(expected)(input);
+                        },
+                    }))(input, elements, explore);
+                };
+            };
+        };
+    };
+    var explore_array_like_union_types = function (config) {
+        return function (importer) {
+            return function (factory) {
+                return function (input, elements, explore) {
+                    var arrow = function (parameters) {
+                        return function (explore) {
+                            return function (input) {
+                                return factory(parameters)(input, elements, explore, [], []);
+                            };
+                        };
+                    };
+                    if (elements.every(function (e) { return e.recursive === false; }))
+                        typescript_1.default.factory.createCallExpression(arrow([])(explore)(input), undefined, []);
+                    explore = __assign(__assign({}, explore), { source: "function", from: "array" });
+                    return typescript_1.default.factory.createCallExpression(typescript_1.default.factory.createIdentifier(importer.emplaceUnion(config.prefix, elements.map(function (e) { return e.name; }).join(" | "), function () {
+                        return arrow(FeatureProgrammer_1.FeatureProgrammer.parameterDeclarations(config)(TypeFactory_1.TypeFactory.keyword("any"))(typescript_1.default.factory.createIdentifier("input")))(__assign(__assign({}, explore), { postfix: "" }))(typescript_1.default.factory.createIdentifier("input"));
+                    })), undefined, FeatureProgrammer_1.FeatureProgrammer.argumentsArray(config)(explore)(input));
+                };
+            };
         };
     };
     var wrap_required = function (input, meta, explore) {
@@ -490,27 +583,46 @@ var StringifyProgrammer;
         return typescript_1.default.factory.createBlock(__spreadArray(__spreadArray([], __read(unions.map(function (u) {
             return typescript_1.default.factory.createIfStatement(u.is(), typescript_1.default.factory.createReturnStatement(u.value()));
         })), false), [
-            create_throw_error(importer, input, expected),
+            create_throw_error(importer)(expected)(input),
         ], false), true);
     };
-    var FUNCTORS = "$so";
-    var UNIONERS = "$su";
+    var PREFIX = "$s";
     var configure = function (project) {
-        return function (importer) { return ({
-            types: {
-                input: function (type, name) {
-                    return typescript_1.default.factory.createTypeReferenceNode(name !== null && name !== void 0 ? name : TypeFactory_1.TypeFactory.getFullName(project.checker)(type));
+        return function (importer) {
+            var config = {
+                types: {
+                    input: function (type, name) {
+                        return typescript_1.default.factory.createTypeReferenceNode(name !== null && name !== void 0 ? name : TypeFactory_1.TypeFactory.getFullName(project.checker)(type));
+                    },
+                    output: function () { return TypeFactory_1.TypeFactory.keyword("string"); },
                 },
-                output: function () { return TypeFactory_1.TypeFactory.keyword("string"); },
-            },
-            functors: FUNCTORS,
-            unioners: UNIONERS,
-            trace: false,
-            path: false,
-            initializer: initializer,
-            decoder: decode(project, importer),
-            objector: OBJECTOR(project, importer),
-        }); };
+                prefix: PREFIX,
+                trace: false,
+                path: false,
+                initializer: initializer,
+                decoder: function () { return decode(project)(config)(importer); },
+                objector: {
+                    checker: function () { return function (input, meta, explore) {
+                        return IsProgrammer_1.IsProgrammer.decode(project)(importer)(input, meta, explore, [], []);
+                    }; },
+                    decoder: function () { return decode_object(importer); },
+                    joiner: StringifyJoinder_1.StringifyJoiner.object(importer),
+                    unionizer: (0, decode_union_object_1.decode_union_object)(IsProgrammer_1.IsProgrammer.decode_object(importer))(decode_object(importer))(function (exp) { return exp; })(function (value, expected) {
+                        return create_throw_error(importer)(expected)(value);
+                    }),
+                    failure: function (input, expected) {
+                        return create_throw_error(importer)(expected)(input);
+                    },
+                },
+                generator: {
+                    arrays: function () { return write_array_functions(config)(importer); },
+                    tuples: function () {
+                        return write_tuple_functions(project)(config)(importer);
+                    },
+                },
+            };
+            return config;
+        };
     };
     var initializer = function (_a) {
         var checker = _a.checker;
@@ -519,6 +631,7 @@ var StringifyProgrammer;
             var meta = MetadataFactory_1.MetadataFactory.analyze(checker)({
                 resolve: true,
                 constant: true,
+                absorb: true,
                 validate: function (meta) {
                     if (meta.atomics.find(function (str) { return str === "bigint"; }))
                         throw new Error(NO_BIGINT);
@@ -527,24 +640,17 @@ var StringifyProgrammer;
             return [collection, meta];
         };
     };
-    var OBJECTOR = function (project, importer) { return ({
-        checker: IsProgrammer_1.IsProgrammer.decode(project, importer),
-        decoder: decode_object(importer),
-        joiner: StringifyJoinder_1.StringifyJoiner.object(importer),
-        unionizer: (0, decode_union_object_1.decode_union_object)(IsProgrammer_1.IsProgrammer.decode_object(importer))(decode_object(importer))(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 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),
-        ]));
+    var create_throw_error = function (importer) {
+        return function (expected) {
+            return function (value) {
+                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),
+                ]));
+            };
+        };
     };
 })(StringifyProgrammer = exports.StringifyProgrammer || (exports.StringifyProgrammer = {}));
 var NO_BIGINT = "Error on typia.stringify(): does not allow bigint type.";