typia 4.0.9 → 4.0.10-dev.20230615

package/lib/factories/MetadataTagFactory.js

@@ -77,7 +77,7 @@ var MetadataTagFactory;
             };
         },
         type: function (_identifier, metadata, text, _output) {
-            return has_atomic(metadata)("number") &&
+            return has_atomic("number")(new Set())(metadata) &&
                 (text === "int" || text === "uint")
                 ? { kind: "type", value: text }
                 : text === "{int}" || text === "{uint}"
@@ -140,10 +140,8 @@ var MetadataTagFactory;
             };
         },
         format: function (identifier, metadata, str, output) {
-            validate(identifier, metadata, output, "format", "string", [
-                "pattern",
-            ]);
             var value = FORMATS.get(str);
+            validate(identifier, metadata, output, "format", value === "date" || value === "datetime" ? "Date" : "string", ["pattern"]);
             if (value === undefined)
                 return null;
             return {
@@ -212,10 +210,15 @@ var WRONG_TYPE = function (tag, type, identifier) { return "".concat(LABEL, ": "
 var validate = function (identifier, metadata, output, kind, type, neighbors) {
     var e_2, _a;
     if (type === "array") {
-        if (has_array(metadata) === false)
+        if (has_array(new Set())(metadata) === false)
             throw new Error(WRONG_TYPE(kind, "array", identifier));
     }
-    else if (has_atomic(metadata)(type) === false)
+    else if (type === "Date") {
+        if (has_native("Date")(new Set())(metadata) === false &&
+            has_atomic("string")(new Set())(metadata) === false)
+            throw new Error(WRONG_TYPE(kind, "string", identifier));
+    }
+    else if (has_atomic(type)(new Set())(metadata) === false)
         throw new Error(WRONG_TYPE(kind, type, identifier));
     if (output.some(function (tag) { return tag.kind === kind; }))
         throw new Error("".concat(LABEL, ": duplicated ").concat(kind, " tags on \"").concat(identifier(), "\"."));
@@ -237,21 +240,62 @@ var validate = function (identifier, metadata, output, kind, type, neighbors) {
         finally { if (e_2) throw e_2.error; }
     }
 };
-var has_atomic = function (metadata) {
-    return function (type) {
-        return metadata.atomics.find(type === "number"
-            ? function (atom) { return atom === type || atom === "bigint"; }
-            : function (atom) { return atom === type; }) !== undefined ||
-            metadata.arrays.some(function (child) { return has_atomic(child.value)(type); }) ||
-            metadata.tuples.some(function (tuple) {
-                return tuple.elements.some(function (child) { return has_atomic(child)(type); });
-            });
+var has_atomic = function (type) {
+    return function (visited) {
+        return function (metadata) {
+            if (visited.has(metadata))
+                return false;
+            visited.add(metadata);
+            return (metadata.atomics.find(type === "number"
+                ? function (atom) { return atom === type || atom === "bigint"; }
+                : function (atom) { return atom === type; }) !== undefined ||
+                metadata.arrays.some(function (array) {
+                    return has_atomic(type)(visited)(array.value);
+                }) ||
+                metadata.tuples.some(function (tuple) {
+                    return tuple.elements.some(has_atomic(type)(visited));
+                }) ||
+                metadata.aliases.some(function (alias) {
+                    return has_atomic(type)(visited)(alias.value);
+                }) ||
+                (metadata.resolved !== null &&
+                    has_atomic(type)(visited)(metadata.resolved)));
+        };
     };
 };
-var has_array = function (metadata) {
-    return metadata.arrays.length !== 0 ||
-        metadata.tuples.some(function (tuple) {
-            return tuple.elements.some(function (child) { return has_array(child); });
-        });
+var has_native = function (type) {
+    return function (visited) {
+        return function (metadata) {
+            if (visited.has(metadata))
+                return false;
+            visited.add(metadata);
+            return (metadata.natives.find(function (native) { return native === type; }) !== undefined ||
+                metadata.arrays.some(function (child) {
+                    return has_native(type)(visited)(child.value);
+                }) ||
+                metadata.tuples.some(function (tuple) {
+                    return tuple.elements.some(has_native(type)(visited));
+                }) ||
+                metadata.aliases.some(function (alias) {
+                    return has_native(type)(visited)(alias.value);
+                }) ||
+                (metadata.resolved !== null &&
+                    has_native(type)(visited)(metadata.resolved)));
+        };
+    };
+};
+var has_array = function (visited) {
+    return function (metadata) {
+        if (visited.has(metadata))
+            return false;
+        visited.add(metadata);
+        return (metadata.arrays.length !== 0 ||
+            metadata.tuples.some(function (tuple) {
+                return tuple.elements.some(has_array(visited));
+            }) ||
+            metadata.aliases.some(function (alias) { return has_array(visited)(alias.value); }) ||
+            (metadata.resolved !== null &&
+                has_array(visited)(metadata.resolved)));
+    };
 };
 //# sourceMappingURL=MetadataTagFactory.js.map

package/lib/factories/MetadataTagFactory.js.map

@@ -1 +1 @@
-{"version":3,"file":"MetadataTagFactory.js","sourceRoot":"","sources":["../../src/factories/MetadataTagFactory.ts"],"names":[],"mappings":";;;;;;;;;;;;;;AAKA,IAAiB,kBAAkB,CA2NlC;AA3ND,WAAiB,kBAAkB;IAClB,2BAAQ,GACjB,UAAC,QAAkB;QACnB,OAAA,UAAC,OAA0B;YAC3B,OAAA,UAAC,UAAwB;;gBACrB,IAAM,MAAM,GAAmB,EAAE,CAAC;;oBAClC,KAAkB,IAAA,YAAA,SAAA,OAAO,CAAA,gCAAA,qDAAE;wBAAtB,IAAM,GAAG,oBAAA;wBACV,IAAM,IAAI,GAAwB,KAAK,CACnC,UAAU,EACV,QAAQ,EACR,GAAG,EACH,MAAM,CACT,CAAC;wBACF,IAAI,IAAI,KAAK,IAAI;4BAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;qBACxC;;;;;;;;;gBACD,OAAO,MAAM,CAAC;YAClB,CAAC;QAZD,CAYC;IAbD,CAaC,CAAC;IAEN,IAAM,KAAK,GAAG,UACV,UAAwB,EACxB,QAAkB,EAClB,GAAoB,EACpB,MAAsB;;QAEtB,IAAM,OAAO,GAAG,mBAAA,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAEvC,IAAM,IAAI,GAAG,MAAA,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,0CAAE,IAAI,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAClB,MAAM,IAAI,KAAK,CAAC,UAAG,KAAK,+BAAqB,UAAU,EAAE,CAAE,CAAC,CAAC;QAEjE,OAAO,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC,CAAC;IAKW,0BAAO,GAQhB;QAIA,KAAK,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACtC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE;gBACrD,UAAU;aACb,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,QAAQ,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACzC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE;gBACxD,OAAO;aACV,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,QAAQ,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACzC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE;gBACxD,OAAO;aACV,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QAKD,IAAI,EAAE,UAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO;YACvC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC;gBACjC,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,MAAM,CAAC;gBACnC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC/B,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ;oBACvC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAmB,EAAE;oBAC9D,CAAC,CAAC,IAAI,CAAC;QACf,CAAC;QACD,OAAO,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACxC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;gBACxD,kBAAkB;aACrB,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,OAAO,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACxC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;gBACxD,kBAAkB;aACrB,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,gBAAgB,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACjD,QAAQ,CACJ,UAAU,EACV,QAAQ,EACR,MAAM,EACN,kBAAkB,EAClB,QAAQ,EACR,CAAC,SAAS,CAAC,CACd,CAAC;YACF,OAAO;gBACH,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,gBAAgB,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACjD,QAAQ,CACJ,UAAU,EACV,QAAQ,EACR,MAAM,EACN,kBAAkB,EAClB,QAAQ,EACR,CAAC,SAAS,CAAC,CACd,CAAC;YACF,OAAO;gBACH,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,UAAU,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YAC3C,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE;gBAC3D,MAAM;aACT,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,IAAI,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACrC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE;gBACrD,YAAY;aACf,CAAC,CAAC;YAEH,IAAM,OAAO,GAAY,MAAM,CAAC,IAAI,CAChC,UAAC,GAAG;gBACA,OAAA,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;YAAzD,CAAyD,CAChE,CAAC;YACF,IAAI,OAAO,KAAK,SAAS;gBACrB,MAAM,IAAI,KAAK,CACX,UAAG,KAAK,kEAAuD,UAAU,EAAE,QAAI,CAClF,CAAC;YAEN,OAAO;gBACH,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QAKD,MAAM,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM;YACtC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE;gBACvD,SAAS;aACZ,CAAC,CAAC;YAIH,IAAM,KAAK,GACP,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACrC,OAAO;gBACH,IAAI,EAAE,QAAQ;gBACd,KAAK,OAAA;aACR,CAAC;QACN,CAAC;QACD,OAAO,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM;YACzC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;gBACxD,QAAQ;aACX,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,SAAS;gBACf,KAAK,OAAA;aACR,CAAC;QACN,CAAC;QACD,MAAM,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACvC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE;gBACvD,WAAW;gBACX,WAAW;aACd,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,SAAS,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YAC1C,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE;gBAC1D,QAAQ;aACX,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,SAAS,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YAC1C,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE;gBAC1D,QAAQ;aACX,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;KACJ,CAAC;AACN,CAAC,EA3NgB,kBAAkB,kCAAlB,kBAAkB,QA2NlC;AAED,IAAM,YAAY,GAAG,UAAC,UAAwB,EAAE,GAAW;IACvD,IAAM,KAAK,GAAW,MAAM,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;QACrB,MAAM,IAAI,KAAK,CAAC,UAAG,KAAK,mCAAwB,UAAU,EAAE,QAAI,CAAC,CAAC;IACtE,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,IAAM,KAAK,GAAG,8CAA8C,CAAC;AAC7D,IAAM,OAAO,GAA+C,IAAI,GAAG,CAAC;IAChE,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,UAAU,EAAE,UAAU,CAAC;IACxB,CAAC,WAAW,EAAE,UAAU,CAAC;IACzB,CAAC,UAAU,EAAE,UAAU,CAAC;CAC3B,CAAC,CAAC;AAEH,IAAM,UAAU,GAAG,UACf,GAAW,EACX,IAAmC,EACnC,UAAwB,IACvB,OAAA,UAAG,KAAK,eAAK,GAAG,uBAAa,IAAI,6BAAkB,UAAU,EAAE,QAAI,EAAnE,CAAmE,CAAC;AAEzE,IAAM,QAAQ,GAAG,UACb,UAAwB,EACxB,QAAkB,EAClB,MAAsB,EACtB,IAA0B,EAC1B,IAAmC,EACnC,SAAiC;;IAGjC,IAAI,IAAI,KAAK,OAAO,EAAE;QAClB,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,KAAK;YAC7B,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;KAC9D;SAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK;QAC3C,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IAGxD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAC,GAAG,IAAK,OAAA,GAAG,CAAC,IAAI,KAAK,IAAI,EAAjB,CAAiB,CAAC;QACvC,MAAM,IAAI,KAAK,CACX,UAAG,KAAK,0BAAgB,IAAI,wBAAa,UAAU,EAAE,QAAI,CAC5D,CAAC;4BAGK,MAAI;QACX,IAAI,MAAM,CAAC,IAAI,CAAC,UAAC,GAAG,IAAK,OAAA,GAAG,CAAC,IAAI,KAAK,MAAI,EAAjB,CAAiB,CAAC;YACvC,MAAM,IAAI,KAAK,CACX,UAAG,KAAK,eAAK,IAAI,kBAAQ,MAAI,wBAAa,UAAU,EAAE,QAAI,CAC7D,CAAC;;;QAJV,KAAmB,IAAA,cAAA,SAAA,SAAS,CAAA,oCAAA;YAAvB,IAAM,MAAI,sBAAA;oBAAJ,MAAI;SAIL;;;;;;;;;AACd,CAAC,CAAC;AAGF,IAAM,UAAU,GACZ,UAAC,QAAkB;IACnB,OAAA,UAAC,IAAyB;QACtB,OAAA,QAAQ,CAAC,OAAO,CAAC,IAAI,CACjB,IAAI,KAAK,QAAQ;YACb,CAAC,CAAC,UAAC,IAAY,IAAK,OAAA,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,QAAQ,EAAlC,CAAkC;YACtD,CAAC,CAAC,UAAC,IAAY,IAAK,OAAA,IAAI,KAAK,IAAI,EAAb,CAAa,CACxC,KAAK,SAAS;YACf,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,KAAK,IAAK,OAAA,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAA7B,CAA6B,CAAC;YAC9D,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,KAAK;gBACvB,OAAA,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAC,KAAK,IAAK,OAAA,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAvB,CAAuB,CAAC;YAAvD,CAAuD,CAC1D;IARD,CAQC;AATL,CASK,CAAC;AAEV,IAAM,SAAS,GAAG,UAAC,QAAkB;IACjC,OAAA,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAC5B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,KAAK;YACvB,OAAA,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAC,KAAK,IAAK,OAAA,SAAS,CAAC,KAAK,CAAC,EAAhB,CAAgB,CAAC;QAAhD,CAAgD,CACnD;AAHD,CAGC,CAAC"}
+{"version":3,"file":"MetadataTagFactory.js","sourceRoot":"","sources":["../../src/factories/MetadataTagFactory.ts"],"names":[],"mappings":";;;;;;;;;;;;;;AAKA,IAAiB,kBAAkB,CA+NlC;AA/ND,WAAiB,kBAAkB;IAClB,2BAAQ,GACjB,UAAC,QAAkB;QACnB,OAAA,UAAC,OAA0B;YAC3B,OAAA,UAAC,UAAwB;;gBACrB,IAAM,MAAM,GAAmB,EAAE,CAAC;;oBAClC,KAAkB,IAAA,YAAA,SAAA,OAAO,CAAA,gCAAA,qDAAE;wBAAtB,IAAM,GAAG,oBAAA;wBACV,IAAM,IAAI,GAAwB,KAAK,CACnC,UAAU,EACV,QAAQ,EACR,GAAG,EACH,MAAM,CACT,CAAC;wBACF,IAAI,IAAI,KAAK,IAAI;4BAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;qBACxC;;;;;;;;;gBACD,OAAO,MAAM,CAAC;YAClB,CAAC;QAZD,CAYC;IAbD,CAaC,CAAC;IAEN,IAAM,KAAK,GAAG,UACV,UAAwB,EACxB,QAAkB,EAClB,GAAoB,EACpB,MAAsB;;QAEtB,IAAM,OAAO,GAAG,mBAAA,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAEvC,IAAM,IAAI,GAAG,MAAA,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,0CAAE,IAAI,CAAC;QACvC,IAAI,IAAI,KAAK,SAAS;YAClB,MAAM,IAAI,KAAK,CAAC,UAAG,KAAK,+BAAqB,UAAU,EAAE,CAAE,CAAC,CAAC;QAEjE,OAAO,OAAO,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC,CAAC;IAKW,0BAAO,GAQhB;QAIA,KAAK,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACtC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE;gBACrD,UAAU;aACb,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,QAAQ,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACzC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE;gBACxD,OAAO;aACV,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,QAAQ,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACzC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE;gBACxD,OAAO;aACV,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QAKD,IAAI,EAAE,UAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO;YACvC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC;gBAC5C,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,MAAM,CAAC;gBACnC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC/B,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ;oBACvC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAmB,EAAE;oBAC9D,CAAC,CAAC,IAAI,CAAC;QACf,CAAC;QACD,OAAO,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACxC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;gBACxD,kBAAkB;aACrB,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,OAAO,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACxC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;gBACxD,kBAAkB;aACrB,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,SAAS;gBACf,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,gBAAgB,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACjD,QAAQ,CACJ,UAAU,EACV,QAAQ,EACR,MAAM,EACN,kBAAkB,EAClB,QAAQ,EACR,CAAC,SAAS,CAAC,CACd,CAAC;YACF,OAAO;gBACH,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,gBAAgB,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACjD,QAAQ,CACJ,UAAU,EACV,QAAQ,EACR,MAAM,EACN,kBAAkB,EAClB,QAAQ,EACR,CAAC,SAAS,CAAC,CACd,CAAC;YACF,OAAO;gBACH,IAAI,EAAE,kBAAkB;gBACxB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,UAAU,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YAC3C,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,QAAQ,EAAE;gBAC3D,MAAM;aACT,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,IAAI,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACrC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE;gBACrD,YAAY;aACf,CAAC,CAAC;YAEH,IAAM,OAAO,GAAY,MAAM,CAAC,IAAI,CAChC,UAAC,GAAG;gBACA,OAAA,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB;YAAzD,CAAyD,CAChE,CAAC;YACF,IAAI,OAAO,KAAK,SAAS;gBACrB,MAAM,IAAI,KAAK,CACX,UAAG,KAAK,kEAAuD,UAAU,EAAE,QAAI,CAClF,CAAC;YAEN,OAAO;gBACH,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QAOD,MAAM,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM;YACtC,IAAM,KAAK,GACP,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACrB,QAAQ,CACJ,UAAU,EACV,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAC5D,CAAC,SAAS,CAAC,CACd,CAAC;YACF,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YACrC,OAAO;gBACH,IAAI,EAAE,QAAQ;gBACd,KAAK,OAAA;aACR,CAAC;QACN,CAAC;QACD,OAAO,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM;YACzC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;gBACxD,QAAQ;aACX,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,SAAS;gBACf,KAAK,OAAA;aACR,CAAC;QACN,CAAC;QACD,MAAM,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YACvC,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE;gBACvD,WAAW;gBACX,WAAW;aACd,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,QAAQ;gBACd,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,SAAS,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YAC1C,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE;gBAC1D,QAAQ;aACX,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;QACD,SAAS,EAAE,UAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;YAC1C,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE;gBAC1D,QAAQ;aACX,CAAC,CAAC;YACH,OAAO;gBACH,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC;aACxC,CAAC;QACN,CAAC;KACJ,CAAC;AACN,CAAC,EA/NgB,kBAAkB,kCAAlB,kBAAkB,QA+NlC;AAED,IAAM,YAAY,GAAG,UAAC,UAAwB,EAAE,GAAW;IACvD,IAAM,KAAK,GAAW,MAAM,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI;QACrB,MAAM,IAAI,KAAK,CAAC,UAAG,KAAK,mCAAwB,UAAU,EAAE,QAAI,CAAC,CAAC;IACtE,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,IAAM,KAAK,GAAG,8CAA8C,CAAC;AAC7D,IAAM,OAAO,GAA+C,IAAI,GAAG,CAAC;IAChE,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,KAAK,EAAE,KAAK,CAAC;IACd,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,UAAU,EAAE,UAAU,CAAC;IACxB,CAAC,WAAW,EAAE,UAAU,CAAC;IACzB,CAAC,UAAU,EAAE,UAAU,CAAC;CAC3B,CAAC,CAAC;AAEH,IAAM,UAAU,GAAG,UACf,GAAW,EACX,IAAmC,EACnC,UAAwB,IACvB,OAAA,UAAG,KAAK,eAAK,GAAG,uBAAa,IAAI,6BAAkB,UAAU,EAAE,QAAI,EAAnE,CAAmE,CAAC;AAEzE,IAAM,QAAQ,GAAG,UACb,UAAwB,EACxB,QAAkB,EAClB,MAAsB,EACtB,IAA0B,EAC1B,IAA4C,EAC5C,SAAiC;;IAGjC,IAAI,IAAI,KAAK,OAAO,EAAE;QAClB,IAAI,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK;YACxC,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;KAC9D;SAAM,IAAI,IAAI,KAAK,MAAM,EAAE;QACxB,IACI,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK;YACjD,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK;YAEnD,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;KAC/D;SAAM,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK;QACtD,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IAGxD,IAAI,MAAM,CAAC,IAAI,CAAC,UAAC,GAAG,IAAK,OAAA,GAAG,CAAC,IAAI,KAAK,IAAI,EAAjB,CAAiB,CAAC;QACvC,MAAM,IAAI,KAAK,CACX,UAAG,KAAK,0BAAgB,IAAI,wBAAa,UAAU,EAAE,QAAI,CAC5D,CAAC;4BAGK,MAAI;QACX,IAAI,MAAM,CAAC,IAAI,CAAC,UAAC,GAAG,IAAK,OAAA,GAAG,CAAC,IAAI,KAAK,MAAI,EAAjB,CAAiB,CAAC;YACvC,MAAM,IAAI,KAAK,CACX,UAAG,KAAK,eAAK,IAAI,kBAAQ,MAAI,wBAAa,UAAU,EAAE,QAAI,CAC7D,CAAC;;;QAJV,KAAmB,IAAA,cAAA,SAAA,SAAS,CAAA,oCAAA;YAAvB,IAAM,MAAI,sBAAA;oBAAJ,MAAI;SAIL;;;;;;;;;AACd,CAAC,CAAC;AAGF,IAAM,UAAU,GACZ,UAAC,IAAyB;IAC1B,OAAA,UAAC,OAAsB;QACvB,OAAA,UAAC,QAAkB;YACf,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtB,OAAO,CACH,QAAQ,CAAC,OAAO,CAAC,IAAI,CACjB,IAAI,KAAK,QAAQ;gBACb,CAAC,CAAC,UAAC,IAAY,IAAK,OAAA,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,QAAQ,EAAlC,CAAkC;gBACtD,CAAC,CAAC,UAAC,IAAY,IAAK,OAAA,IAAI,KAAK,IAAI,EAAb,CAAa,CACxC,KAAK,SAAS;gBACf,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,KAAK;oBACvB,OAAA,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAtC,CAAsC,CACzC;gBACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,KAAK;oBACvB,OAAA,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;gBAA9C,CAA8C,CACjD;gBACD,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAC,KAAK;oBACxB,OAAA,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAtC,CAAsC,CACzC;gBACD,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI;oBACvB,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CACpD,CAAC;QACN,CAAC;IArBD,CAqBC;AAtBD,CAsBC,CAAC;AAEN,IAAM,UAAU,GACZ,UAAC,IAAY;IACb,OAAA,UAAC,OAAsB;QACvB,OAAA,UAAC,QAAkB;YACf,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtB,OAAO,CACH,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAC,MAAM,IAAK,OAAA,MAAM,KAAK,IAAI,EAAf,CAAe,CAAC,KAAK,SAAS;gBAChE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,KAAK;oBACvB,OAAA,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAtC,CAAsC,CACzC;gBACD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,KAAK;oBACvB,OAAA,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;gBAA9C,CAA8C,CACjD;gBACD,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAC,KAAK;oBACxB,OAAA,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAtC,CAAsC,CACzC;gBACD,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI;oBACvB,UAAU,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CACpD,CAAC;QACN,CAAC;IAjBD,CAiBC;AAlBD,CAkBC,CAAC;AAEN,IAAM,SAAS,GACX,UAAC,OAAsB;IACvB,OAAA,UAAC,QAAkB;QACf,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtB,OAAO,CACH,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAC5B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,UAAC,KAAK;gBACvB,OAAA,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAAvC,CAAuC,CAC1C;YACD,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAC,KAAK,IAAK,OAAA,SAAS,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAA/B,CAA+B,CAAC;YACjE,CAAC,QAAQ,CAAC,QAAQ,KAAK,IAAI;gBACvB,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAC7C,CAAC;IACN,CAAC;AAZD,CAYC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "typia",
-  "version": "4.0.9",
+  "version": "4.0.10-dev.20230615",
   "description": "Superfast runtime validators with only one line",
   "main": "lib/index.js",
   "typings": "lib/index.d.ts",

package/src/factories/MetadataTagFactory.ts

@@ -84,7 +84,7 @@ export namespace MetadataTagFactory {
             NUMBER
         ----------------------------------------------------------- */
         type: (_identifier, metadata, text, _output) => {
-            return has_atomic(metadata)("number") &&
+            return has_atomic("number")(new Set())(metadata) &&
                 (text === "int" || text === "uint")
                 ? { kind: "type", value: text }
                 : text === "{int}" || text === "{uint}"
@@ -169,15 +169,19 @@ export namespace MetadataTagFactory {
         /* -----------------------------------------------------------
             STRING
         ----------------------------------------------------------- */
+        // Ignore arbitrary @format values in the internal metadata,
+        // these are currently only supported on the typia.application() API.
         format: (identifier, metadata, str, output) => {
-            validate(identifier, metadata, output, "format", "string", [
-                "pattern",
-            ]);
-
-            // Ignore arbitrary @format values in the internal metadata,
-            // these are currently only supported on the typia.application() API.
             const value: IMetadataTag.IFormat["value"] | undefined =
                 FORMATS.get(str);
+            validate(
+                identifier,
+                metadata,
+                output,
+                "format",
+                value === "date" || value === "datetime" ? "Date" : "string",
+                ["pattern"],
+            );
             if (value === undefined) return null;
             return {
                 kind: "format",
@@ -255,14 +259,20 @@ const validate = (
     metadata: Metadata,
     output: IMetadataTag[],
     kind: IMetadataTag["kind"],
-    type: "array" | "string" | "number",
+    type: "array" | "string" | "number" | "Date",
     neighbors: IMetadataTag["kind"][],
 ): void => {
     // TYPE CHECKING
     if (type === "array") {
-        if (has_array(metadata) === false)
+        if (has_array(new Set())(metadata) === false)
             throw new Error(WRONG_TYPE(kind, "array", identifier));
-    } else if (has_atomic(metadata)(type) === false)
+    } else if (type === "Date") {
+        if (
+            has_native("Date")(new Set())(metadata) === false &&
+            has_atomic("string")(new Set())(metadata) === false
+        )
+            throw new Error(WRONG_TYPE(kind, "string", identifier));
+    } else if (has_atomic(type)(new Set())(metadata) === false)
         throw new Error(WRONG_TYPE(kind, type, identifier));
 
     // DUPLICATED TAG
@@ -281,20 +291,65 @@ const validate = (
 
 // @todo: must block repeated array and tuple type
 const has_atomic =
-    (metadata: Metadata) =>
-    (type: "string" | "number"): boolean =>
-        metadata.atomics.find(
-            type === "number"
-                ? (atom: string) => atom === type || atom === "bigint"
-                : (atom: string) => atom === type,
-        ) !== undefined ||
-        metadata.arrays.some((child) => has_atomic(child.value)(type)) ||
-        metadata.tuples.some((tuple) =>
-            tuple.elements.some((child) => has_atomic(child)(type)),
+    (type: "string" | "number") =>
+    (visited: Set<Metadata>) =>
+    (metadata: Metadata): boolean => {
+        if (visited.has(metadata)) return false;
+        visited.add(metadata);
+        return (
+            metadata.atomics.find(
+                type === "number"
+                    ? (atom: string) => atom === type || atom === "bigint"
+                    : (atom: string) => atom === type,
+            ) !== undefined ||
+            metadata.arrays.some((array) =>
+                has_atomic(type)(visited)(array.value),
+            ) ||
+            metadata.tuples.some((tuple) =>
+                tuple.elements.some(has_atomic(type)(visited)),
+            ) ||
+            metadata.aliases.some((alias) =>
+                has_atomic(type)(visited)(alias.value),
+            ) ||
+            (metadata.resolved !== null &&
+                has_atomic(type)(visited)(metadata.resolved))
         );
+    };
 
-const has_array = (metadata: Metadata): boolean =>
-    metadata.arrays.length !== 0 ||
-    metadata.tuples.some((tuple) =>
-        tuple.elements.some((child) => has_array(child)),
-    );
+const has_native =
+    (type: string) =>
+    (visited: Set<Metadata>) =>
+    (metadata: Metadata): boolean => {
+        if (visited.has(metadata)) return false;
+        visited.add(metadata);
+        return (
+            metadata.natives.find((native) => native === type) !== undefined ||
+            metadata.arrays.some((child) =>
+                has_native(type)(visited)(child.value),
+            ) ||
+            metadata.tuples.some((tuple) =>
+                tuple.elements.some(has_native(type)(visited)),
+            ) ||
+            metadata.aliases.some((alias) =>
+                has_native(type)(visited)(alias.value),
+            ) ||
+            (metadata.resolved !== null &&
+                has_native(type)(visited)(metadata.resolved))
+        );
+    };
+
+const has_array =
+    (visited: Set<Metadata>) =>
+    (metadata: Metadata): boolean => {
+        if (visited.has(metadata)) return false;
+        visited.add(metadata);
+        return (
+            metadata.arrays.length !== 0 ||
+            metadata.tuples.some((tuple) =>
+                tuple.elements.some(has_array(visited)),
+            ) ||
+            metadata.aliases.some((alias) => has_array(visited)(alias.value)) ||
+            (metadata.resolved !== null &&
+                has_array(visited)(metadata.resolved))
+        );
+    };

package/src/factories/internal/metadata/iterate_metadata_alias.ts

@@ -1,30 +1,30 @@
-import ts from "typescript";
-
-import { Metadata } from "../../../metadata/Metadata";
-import { MetadataAlias } from "../../../metadata/MetadataAlias";
-
-import { ArrayUtil } from "../../../utils/ArrayUtil";
-
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { emplace_metadata_definition } from "./emplace_metadata_definition";
-
-export const iterate_metadata_alias =
-    (checker: ts.TypeChecker) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (meta: Metadata, type: ts.Type): boolean => {
-        if (options.absorb !== false || type.aliasSymbol === undefined)
-            return false;
-
-        const node: ts.Declaration | undefined =
-            type.aliasSymbol.declarations?.[0];
-        if (node === undefined) return false;
-
-        // CONSTRUCT DEFINITION
-        const alias: MetadataAlias = emplace_metadata_definition(checker)(
-            options,
-        )(collection)(type, meta.nullable);
-        ArrayUtil.add(meta.aliases, alias, (elem) => elem.name === alias.name);
-        return true;
-    };
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+import { MetadataAlias } from "../../../metadata/MetadataAlias";
+
+import { ArrayUtil } from "../../../utils/ArrayUtil";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { emplace_metadata_definition } from "./emplace_metadata_definition";
+
+export const iterate_metadata_alias =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (meta: Metadata, type: ts.Type): boolean => {
+        if (options.absorb !== false || type.aliasSymbol === undefined)
+            return false;
+
+        const node: ts.Declaration | undefined =
+            type.aliasSymbol.declarations?.[0];
+        if (node === undefined) return false;
+
+        // CONSTRUCT DEFINITION
+        const alias: MetadataAlias = emplace_metadata_definition(checker)(
+            options,
+        )(collection)(type, meta.nullable);
+        ArrayUtil.add(meta.aliases, alias, (elem) => elem.name === alias.name);
+        return true;
+    };

package/src/factories/internal/metadata/iterate_metadata_intersection.ts

@@ -1,87 +1,87 @@
-import ts from "typescript";
-
-import { Metadata } from "../../../metadata/Metadata";
-
-import { MetadataCollection } from "../../MetadataCollection";
-import { MetadataFactory } from "../../MetadataFactory";
-import { explore_metadata } from "./explore_metadata";
-import { iterate_metadata } from "./iterate_metadata";
-import { iterate_metadata_object } from "./iterate_metadata_object";
-
-export const iterate_metadata_intersection =
-    (checker: ts.TypeChecker) =>
-    (options: MetadataFactory.IOptions) =>
-    (collection: MetadataCollection) =>
-    (
-        meta: Metadata,
-        type: ts.Type,
-        resolved: boolean,
-        aliased: boolean,
-    ): boolean => {
-        if (!type.isIntersection()) return false;
-
-        // COSTRUCT FAKE METADATA LIST
-        const fakeCollection: MetadataCollection = new MetadataCollection();
-        const children: Metadata[] = [
-            ...new Map(
-                type.types.map((t) => {
-                    const m: Metadata = explore_metadata(checker)({
-                        ...options,
-                        absorb: true,
-                    })(fakeCollection)(t, resolved);
-                    return [m.getName(), m] as const;
-                }),
-            ).values(),
-        ];
-
-        // ONLY ONE CHILD AFTER REMOVING DUPLICATES
-        if (children.length === 1) {
-            iterate_metadata(checker)(options)(collection)(
-                meta,
-                type.types[0]!,
-                resolved,
-                aliased,
-            );
-            return true;
-        }
-
-        // ONLY OBJECT TYPES -> MERGE
-        const object: boolean = children.every(
-            (c) => c.objects.length && c.objects.length === c.size(),
-        );
-        if (object)
-            return iterate_metadata_object(checker)(options)(collection)(
-                meta,
-                type,
-                resolved,
-                true,
-            );
-
-        // ABSORB TO ATOMIC (OR CONSTANT) TYPE
-        const atomics: Metadata[] = children.filter(
-            (c) =>
-                (c.atomics.length ? 1 : 0 + c.constants.length ? 1 : 0) ===
-                c.bucket(),
-        );
-        const objects: Metadata[] = children.filter(
-            (c) => c.objects.length && c.objects.length === c.size(),
-        );
-        if (
-            atomics.length === 0 ||
-            atomics.length + objects.length !== children.length
-        )
-            throw new Error(message(children));
-
-        const least: Metadata = atomics.reduce((x, y) => {
-            if (Metadata.covers(x, y)) return y;
-            else if (Metadata.covers(y, x)) return x;
-            throw new Error(message(children));
-        });
-        Object.assign(meta, Metadata.merge(meta, least));
-        return true;
-    };
-
-const message = (children: Metadata[]) =>
-    `Error on typia.MetadataFactory.analyze(): nonsensible intersection type detected - ${children
-        .map((c) => c.getName())
-        .join(" & ")}.`;
+import ts from "typescript";
+
+import { Metadata } from "../../../metadata/Metadata";
+
+import { MetadataCollection } from "../../MetadataCollection";
+import { MetadataFactory } from "../../MetadataFactory";
+import { explore_metadata } from "./explore_metadata";
+import { iterate_metadata } from "./iterate_metadata";
+import { iterate_metadata_object } from "./iterate_metadata_object";
+
+export const iterate_metadata_intersection =
+    (checker: ts.TypeChecker) =>
+    (options: MetadataFactory.IOptions) =>
+    (collection: MetadataCollection) =>
+    (
+        meta: Metadata,
+        type: ts.Type,
+        resolved: boolean,
+        aliased: boolean,
+    ): boolean => {
+        if (!type.isIntersection()) return false;
+
+        // COSTRUCT FAKE METADATA LIST
+        const fakeCollection: MetadataCollection = new MetadataCollection();
+        const children: Metadata[] = [
+            ...new Map(
+                type.types.map((t) => {
+                    const m: Metadata = explore_metadata(checker)({
+                        ...options,
+                        absorb: true,
+                    })(fakeCollection)(t, resolved);
+                    return [m.getName(), m] as const;
+                }),
+            ).values(),
+        ];
+
+        // ONLY ONE CHILD AFTER REMOVING DUPLICATES
+        if (children.length === 1) {
+            iterate_metadata(checker)(options)(collection)(
+                meta,
+                type.types[0]!,
+                resolved,
+                aliased,
+            );
+            return true;
+        }
+
+        // ONLY OBJECT TYPES -> MERGE
+        const object: boolean = children.every(
+            (c) => c.objects.length && c.objects.length === c.size(),
+        );
+        if (object)
+            return iterate_metadata_object(checker)(options)(collection)(
+                meta,
+                type,
+                resolved,
+                true,
+            );
+
+        // ABSORB TO ATOMIC (OR CONSTANT) TYPE
+        const atomics: Metadata[] = children.filter(
+            (c) =>
+                (c.atomics.length ? 1 : 0 + c.constants.length ? 1 : 0) ===
+                c.bucket(),
+        );
+        const objects: Metadata[] = children.filter(
+            (c) => c.objects.length && c.objects.length === c.size(),
+        );
+        if (
+            atomics.length === 0 ||
+            atomics.length + objects.length !== children.length
+        )
+            throw new Error(message(children));
+
+        const least: Metadata = atomics.reduce((x, y) => {
+            if (Metadata.covers(x, y)) return y;
+            else if (Metadata.covers(y, x)) return x;
+            throw new Error(message(children));
+        });
+        Object.assign(meta, Metadata.merge(meta, least));
+        return true;
+    };
+
+const message = (children: Metadata[]) =>
+    `Error on typia.MetadataFactory.analyze(): nonsensible intersection type detected - ${children
+        .map((c) => c.getName())
+        .join(" & ")}.`;

package/src/programmers/helpers/PruneJoiner.ts

@@ -1,143 +1,143 @@
-import ts from "typescript";
-
-import { IdentifierFactory } from "../../factories/IdentifierFactory";
-
-import { MetadataObject } from "../../metadata/MetadataObject";
-
-import { ArrayUtil } from "../../utils/ArrayUtil";
-
-import { metadata_to_pattern } from "../internal/metadata_to_pattern";
-import { prune_object_properties } from "../internal/prune_object_properties";
-import { IExpressionEntry } from "./IExpressionEntry";
-
-export namespace PruneJoiner {
-    export const object = (
-        input: ts.Expression,
-        entries: IExpressionEntry[],
-        obj: MetadataObject,
-    ): ts.ConciseBody => {
-        // PREPARE ASSETS
-        const regular = entries.filter((entry) => entry.key.isSoleLiteral());
-        const dynamic = entries.filter((entry) => !entry.key.isSoleLiteral());
-
-        const statements: ts.Statement[] = ArrayUtil.flat(
-            regular.map((entry) =>
-                ts.isBlock(entry.expression)
-                    ? [...entry.expression.statements]
-                    : [ts.factory.createExpressionStatement(entry.expression)],
-            ),
-        );
-        if (dynamic.length)
-            statements.push(
-                ts.factory.createExpressionStatement(
-                    iterate_dynamic_properties({ regular, dynamic })(input),
-                ),
-            );
-
-        statements.push(prune_object_properties(obj));
-        return ts.factory.createBlock(statements, true);
-    };
-
-    export const array = (input: ts.Expression, arrow: ts.ArrowFunction) =>
-        ts.factory.createCallExpression(
-            IdentifierFactory.access(input)("forEach"),
-            undefined,
-            [arrow],
-        );
-
-    export const tuple = (
-        children: ts.ConciseBody[],
-        rest: ts.ConciseBody | null,
-    ): ts.Block => {
-        const entire: ts.ConciseBody[] = [...children];
-        if (rest !== null) entire.push(rest);
-
-        const statements: ts.Statement[] = ArrayUtil.flat(
-            entire.map((elem) =>
-                ts.isBlock(elem)
-                    ? [...elem.statements]
-                    : [ts.factory.createExpressionStatement(elem)],
-            ),
-        );
-        return ts.factory.createBlock(statements, true);
-    };
-}
-
-const iterate_dynamic_properties =
-    (props: { regular: IExpressionEntry[]; dynamic: IExpressionEntry[] }) =>
-    (input: ts.Expression) =>
-        ts.factory.createCallExpression(
-            IdentifierFactory.access(
-                ts.factory.createCallExpression(
-                    ts.factory.createIdentifier("Object.entries"),
-                    undefined,
-                    [input],
-                ),
-            )("forEach"),
-            undefined,
-            [
-                ts.factory.createArrowFunction(
-                    undefined,
-                    undefined,
-                    [
-                        IdentifierFactory.parameter(
-                            ts.factory.createArrayBindingPattern(
-                                ["key", "value"].map((l) =>
-                                    ts.factory.createBindingElement(
-                                        undefined,
-                                        undefined,
-                                        ts.factory.createIdentifier(l),
-                                        undefined,
-                                    ),
-                                ),
-                            ),
-                        ),
-                    ],
-                    undefined,
-                    undefined,
-                    ts.factory.createBlock(
-                        [
-                            ts.factory.createIfStatement(
-                                ts.factory.createStrictEquality(
-                                    ts.factory.createIdentifier("undefined"),
-                                    ts.factory.createIdentifier("value"),
-                                ),
-                                ts.factory.createReturnStatement(),
-                            ),
-                            ...props.regular.map(({ key }) =>
-                                ts.factory.createIfStatement(
-                                    ts.factory.createStrictEquality(
-                                        ts.factory.createStringLiteral(
-                                            key.getSoleLiteral()!,
-                                        ),
-                                        ts.factory.createIdentifier("key"),
-                                    ),
-                                    ts.factory.createReturnStatement(),
-                                ),
-                            ),
-                            ...props.dynamic.map((dynamic) =>
-                                ts.factory.createIfStatement(
-                                    ts.factory.createCallExpression(
-                                        ts.factory.createIdentifier(
-                                            `RegExp(/${metadata_to_pattern(
-                                                true,
-                                            )(dynamic.key)}/).test`,
-                                        ),
-                                        undefined,
-                                        [ts.factory.createIdentifier("key")],
-                                    ),
-                                    ts.isBlock(dynamic.expression)
-                                        ? dynamic.expression
-                                        : ts.factory.createBlock([
-                                              ts.factory.createExpressionStatement(
-                                                  dynamic.expression,
-                                              ),
-                                          ]),
-                                ),
-                            ),
-                        ],
-                        true,
-                    ),
-                ),
-            ],
-        );
+import ts from "typescript";
+
+import { IdentifierFactory } from "../../factories/IdentifierFactory";
+
+import { MetadataObject } from "../../metadata/MetadataObject";
+
+import { ArrayUtil } from "../../utils/ArrayUtil";
+
+import { metadata_to_pattern } from "../internal/metadata_to_pattern";
+import { prune_object_properties } from "../internal/prune_object_properties";
+import { IExpressionEntry } from "./IExpressionEntry";
+
+export namespace PruneJoiner {
+    export const object = (
+        input: ts.Expression,
+        entries: IExpressionEntry[],
+        obj: MetadataObject,
+    ): ts.ConciseBody => {
+        // PREPARE ASSETS
+        const regular = entries.filter((entry) => entry.key.isSoleLiteral());
+        const dynamic = entries.filter((entry) => !entry.key.isSoleLiteral());
+
+        const statements: ts.Statement[] = ArrayUtil.flat(
+            regular.map((entry) =>
+                ts.isBlock(entry.expression)
+                    ? [...entry.expression.statements]
+                    : [ts.factory.createExpressionStatement(entry.expression)],
+            ),
+        );
+        if (dynamic.length)
+            statements.push(
+                ts.factory.createExpressionStatement(
+                    iterate_dynamic_properties({ regular, dynamic })(input),
+                ),
+            );
+
+        statements.push(prune_object_properties(obj));
+        return ts.factory.createBlock(statements, true);
+    };
+
+    export const array = (input: ts.Expression, arrow: ts.ArrowFunction) =>
+        ts.factory.createCallExpression(
+            IdentifierFactory.access(input)("forEach"),
+            undefined,
+            [arrow],
+        );
+
+    export const tuple = (
+        children: ts.ConciseBody[],
+        rest: ts.ConciseBody | null,
+    ): ts.Block => {
+        const entire: ts.ConciseBody[] = [...children];
+        if (rest !== null) entire.push(rest);
+
+        const statements: ts.Statement[] = ArrayUtil.flat(
+            entire.map((elem) =>
+                ts.isBlock(elem)
+                    ? [...elem.statements]
+                    : [ts.factory.createExpressionStatement(elem)],
+            ),
+        );
+        return ts.factory.createBlock(statements, true);
+    };
+}
+
+const iterate_dynamic_properties =
+    (props: { regular: IExpressionEntry[]; dynamic: IExpressionEntry[] }) =>
+    (input: ts.Expression) =>
+        ts.factory.createCallExpression(
+            IdentifierFactory.access(
+                ts.factory.createCallExpression(
+                    ts.factory.createIdentifier("Object.entries"),
+                    undefined,
+                    [input],
+                ),
+            )("forEach"),
+            undefined,
+            [
+                ts.factory.createArrowFunction(
+                    undefined,
+                    undefined,
+                    [
+                        IdentifierFactory.parameter(
+                            ts.factory.createArrayBindingPattern(
+                                ["key", "value"].map((l) =>
+                                    ts.factory.createBindingElement(
+                                        undefined,
+                                        undefined,
+                                        ts.factory.createIdentifier(l),
+                                        undefined,
+                                    ),
+                                ),
+                            ),
+                        ),
+                    ],
+                    undefined,
+                    undefined,
+                    ts.factory.createBlock(
+                        [
+                            ts.factory.createIfStatement(
+                                ts.factory.createStrictEquality(
+                                    ts.factory.createIdentifier("undefined"),
+                                    ts.factory.createIdentifier("value"),
+                                ),
+                                ts.factory.createReturnStatement(),
+                            ),
+                            ...props.regular.map(({ key }) =>
+                                ts.factory.createIfStatement(
+                                    ts.factory.createStrictEquality(
+                                        ts.factory.createStringLiteral(
+                                            key.getSoleLiteral()!,
+                                        ),
+                                        ts.factory.createIdentifier("key"),
+                                    ),
+                                    ts.factory.createReturnStatement(),
+                                ),
+                            ),
+                            ...props.dynamic.map((dynamic) =>
+                                ts.factory.createIfStatement(
+                                    ts.factory.createCallExpression(
+                                        ts.factory.createIdentifier(
+                                            `RegExp(/${metadata_to_pattern(
+                                                true,
+                                            )(dynamic.key)}/).test`,
+                                        ),
+                                        undefined,
+                                        [ts.factory.createIdentifier("key")],
+                                    ),
+                                    ts.isBlock(dynamic.expression)
+                                        ? dynamic.expression
+                                        : ts.factory.createBlock([
+                                              ts.factory.createExpressionStatement(
+                                                  dynamic.expression,
+                                              ),
+                                          ]),
+                                ),
+                            ),
+                        ],
+                        true,
+                    ),
+                ),
+            ],
+        );