typia 7.0.0-dev.20240930 → 7.0.0-dev.20241001

package/src/programmers/json/JsonStringifyProgrammer.ts

@@ -236,7 +236,11 @@ export namespace JsonStringifyProgrammer {
         is:
           props.metadata.escaped.original.size() === 1 &&
           props.metadata.escaped.original.natives[0] === "Date"
-            ? () => check_native("Date")(props.input)
+            ? () =>
+                check_native({
+                  type: "Date",
+                  input: props.input,
+                })
             : () =>
                 IsProgrammer.decode_to_json({
                   checkNull: false,
@@ -421,7 +425,11 @@ export namespace JsonStringifyProgrammer {
       for (const native of props.metadata.natives)
         unions.push({
           type: "object",
-          is: () => check_native(native)(props.input),
+          is: () =>
+            check_native({
+              type: native,
+              input: props.input,
+            }),
           value: () =>
             AtomicPredicator.native(native)
               ? decode_atomic({
@@ -777,31 +785,38 @@ export namespace JsonStringifyProgrammer {
       elements: props.arrays,
       factory: (next) =>
         UnionExplorer.array({
-          checker: (input, metadata, explore) =>
-            IsProgrammer.decode({
-              context: props.context,
-              importer: props.importer,
-              metadata,
-              input,
-              explore,
-            }),
-          decoder: (input, array, explore) =>
-            decode_array({
-              config: props.config,
-              importer: props.importer,
-              input,
-              array,
-              explore,
-            }),
-          empty: ts.factory.createStringLiteral("[]"),
-          success: ts.factory.createTrue(),
-          failure: (input, expected) =>
-            create_throw_error({
-              importer: props.importer,
-              expected,
-              input,
-            }),
-        })(next.parameters)(next.input, next.elements, next.explore),
+          config: {
+            checker: (v) =>
+              IsProgrammer.decode({
+                context: props.context,
+                importer: props.importer,
+                metadata: v.definition,
+                input: v.input,
+                explore: v.explore,
+              }),
+            decoder: (v) =>
+              decode_array({
+                config: props.config,
+                importer: props.importer,
+                input: v.input,
+                array: v.definition,
+                explore: v.explore,
+              }),
+            empty: ts.factory.createStringLiteral("[]"),
+            success: ts.factory.createTrue(),
+            failure: (v) =>
+              create_throw_error({
+                importer: props.importer,
+                expected: v.expected,
+                input: v.input,
+              }),
+          },
+          parameters: next.parameters,
+          input: next.input,
+          arrays: next.definitions,
+          explore: next.explore,
+        }),
+      //(next.parameters)(next.input, next.elements, next.explore),
     });
 
   const explore_array_like_union_types = <
@@ -812,7 +827,7 @@ export namespace JsonStringifyProgrammer {
     factory: (next: {
       parameters: ts.ParameterDeclaration[];
       input: ts.Expression;
-      elements: T[];
+      definitions: T[];
       explore: FeatureProgrammer.IExplore;
     }) => ts.ArrowFunction;
     input: ts.Expression;
@@ -825,7 +840,7 @@ export namespace JsonStringifyProgrammer {
       input: ts.Expression;
     }): ts.ArrowFunction =>
       props.factory({
-        elements: props.elements,
+        definitions: props.elements,
         parameters: next.parameters,
         input: next.input,
         explore: next.explore,
@@ -1005,28 +1020,33 @@ export namespace JsonStringifyProgrammer {
             importer: props.importer,
           }),
         unionizer: (next) =>
-          decode_union_object((input, object, explore) =>
-            IsProgrammer.decode_object({
-              context: props.context,
-              importer: props.importer,
-              input,
-              object,
-              explore,
-            }),
-          )((input, object, explore) =>
-            decode_object({
-              importer: props.importer,
-              input,
-              object,
-              explore,
-            }),
-          )((exp) => exp)((input, expected) =>
-            create_throw_error({
-              importer: props.importer,
-              expected,
-              input,
-            }),
-          )(next.input, next.objects, next.explore),
+          decode_union_object({
+            checker: (v) =>
+              IsProgrammer.decode_object({
+                context: props.context,
+                importer: props.importer,
+                input: v.input,
+                object: v.object,
+                explore: v.explore,
+              }),
+            decoder: (v) =>
+              decode_object({
+                importer: props.importer,
+                input: v.input,
+                object: v.object,
+                explore: v.explore,
+              }),
+            success: (exp) => exp,
+            escaper: (v) =>
+              create_throw_error({
+                importer: props.importer,
+                expected: v.expected,
+                input: v.input,
+              }),
+            objects: next.objects,
+            explore: next.explore,
+            input: next.input,
+          }),
         failure: (next) =>
           create_throw_error({
             importer: props.importer,

package/src/programmers/misc/MiscCloneProgrammer.ts

@@ -581,41 +581,47 @@ export namespace MiscCloneProgrammer {
   }): ts.Expression =>
     ts.factory.createCallExpression(
       UnionExplorer.set({
-        checker: (input, metadata, explore) =>
-          IsProgrammer.decode({
-            context: props.context,
-            importer: props.importer,
-            input,
-            metadata,
-            explore,
-          }),
-        decoder: (input, array, explore) =>
-          ts.factory.createNewExpression(
+        config: {
+          checker: (v) =>
+            IsProgrammer.decode({
+              context: props.context,
+              importer: props.importer,
+              input: v.input,
+              metadata: v.definition,
+              explore: v.explore,
+            }),
+          decoder: (v) =>
+            ts.factory.createNewExpression(
+              ts.factory.createIdentifier("Set"),
+              [TypeFactory.keyword("any")],
+              [
+                decode_array({
+                  config: props.config,
+                  importer: props.importer,
+                  input: v.input,
+                  array: v.definition,
+                  explore: v.explore,
+                }),
+              ],
+            ),
+          empty: ts.factory.createNewExpression(
             ts.factory.createIdentifier("Set"),
             [TypeFactory.keyword("any")],
-            [
-              decode_array({
-                config: props.config,
-                importer: props.importer,
-                input,
-                array,
-                explore,
-              }),
-            ],
+            [],
           ),
-        empty: ts.factory.createNewExpression(
-          ts.factory.createIdentifier("Set"),
-          [TypeFactory.keyword("any")],
-          [],
-        ),
-        success: ts.factory.createTrue(),
-        failure: (input, expected) =>
-          create_throw_error({
-            importer: props.importer,
-            expected,
-            input,
-          }),
-      })([])(props.input, props.sets, props.explore),
+          success: ts.factory.createTrue(),
+          failure: (v) =>
+            create_throw_error({
+              importer: props.importer,
+              expected: v.expected,
+              input: v.input,
+            }),
+        },
+        parameters: [],
+        input: props.input,
+        sets: props.sets,
+        explore: props.explore,
+      }),
       undefined,
       undefined,
     );
@@ -630,56 +636,63 @@ export namespace MiscCloneProgrammer {
   }): ts.Expression =>
     ts.factory.createCallExpression(
       UnionExplorer.map({
-        checker: (top, entry, explore) =>
-          ts.factory.createLogicalAnd(
-            IsProgrammer.decode({
-              context: props.context,
-              importer: props.importer,
-              input: ts.factory.createElementAccessExpression(top, 0),
-              metadata: entry[0],
-              explore: {
-                ...explore,
-                postfix: `${explore.postfix}[0]`,
-              },
-            }),
-            IsProgrammer.decode({
-              context: props.context,
-              importer: props.importer,
-              input: ts.factory.createElementAccessExpression(top, 1),
-              metadata: entry[1],
-              explore: {
-                ...explore,
-                postfix: `${explore.postfix}[1]`,
-              },
-            }),
-          ),
-        decoder: (input, array, explore) =>
-          ts.factory.createNewExpression(
-            ts.factory.createIdentifier("Map"),
-            [TypeFactory.keyword("any"), TypeFactory.keyword("any")],
-            [
-              decode_array({
-                config: props.config,
+        config: {
+          checker: (v) =>
+            ts.factory.createLogicalAnd(
+              IsProgrammer.decode({
+                context: props.context,
                 importer: props.importer,
-                input,
-                array,
-                explore,
+                input: ts.factory.createElementAccessExpression(v.input, 0),
+                metadata: v.definition[0],
+                explore: {
+                  ...v.explore,
+                  postfix: `${v.explore.postfix}[0]`,
+                },
               }),
-            ],
+              IsProgrammer.decode({
+                context: props.context,
+                importer: props.importer,
+                input: ts.factory.createElementAccessExpression(v.input, 1),
+                metadata: v.definition[1],
+                explore: {
+                  ...v.explore,
+                  postfix: `${v.explore.postfix}[1]`,
+                },
+              }),
+            ),
+          decoder: (v) =>
+            ts.factory.createNewExpression(
+              ts.factory.createIdentifier("Map"),
+              [TypeFactory.keyword("any"), TypeFactory.keyword("any")],
+              [
+                decode_array({
+                  config: props.config,
+                  importer: props.importer,
+                  input: v.input,
+                  array: v.definition,
+                  explore: v.explore,
+                }),
+              ],
+            ),
+          empty: ts.factory.createNewExpression(
+            ts.factory.createIdentifier("Map"),
+            [TypeFactory.keyword("any"), TypeFactory.keyword("any")],
+            [],
           ),
-        empty: ts.factory.createNewExpression(
-          ts.factory.createIdentifier("Map"),
-          [TypeFactory.keyword("any"), TypeFactory.keyword("any")],
-          [],
-        ),
-        success: ts.factory.createTrue(),
-        failure: (input, expected) =>
-          create_throw_error({
-            importer: props.importer,
-            expected,
-            input,
-          }),
-      })([])(props.input, props.maps, props.explore),
+          success: ts.factory.createTrue(),
+          failure: (v) =>
+            create_throw_error({
+              importer: props.importer,
+              expected: v.expected,
+              input: v.input,
+            }),
+        },
+        parameters: [],
+        input: props.input,
+        maps: props.maps,
+        explore: props.explore,
+      }),
+      // ([])(props.input, props.maps, props.explore),
       undefined,
       undefined,
     );
@@ -714,34 +727,40 @@ export namespace MiscCloneProgrammer {
   }): ts.Expression =>
     explore_array_like_union_types({
       ...props,
-      elements: props.arrays,
+      definitions: props.arrays,
       factory: (next) =>
         UnionExplorer.array({
-          checker: (input, metadata, explore) =>
-            IsProgrammer.decode({
-              context: props.context,
-              importer: props.importer,
-              input,
-              metadata,
-              explore,
-            }),
-          decoder: (input, array, explore) =>
-            decode_array({
-              config: props.config,
-              importer: props.importer,
-              input,
-              array,
-              explore,
-            }),
-          empty: ts.factory.createIdentifier("[]"),
-          success: ts.factory.createTrue(),
-          failure: (input, expected) =>
-            create_throw_error({
-              importer: props.importer,
-              expected,
-              input,
-            }),
-        })(next.parameters)(next.input, next.elements, next.explore),
+          config: {
+            checker: (v) =>
+              IsProgrammer.decode({
+                context: props.context,
+                importer: props.importer,
+                input: v.input,
+                metadata: v.definition,
+                explore: v.explore,
+              }),
+            decoder: (v) =>
+              decode_array({
+                config: props.config,
+                importer: props.importer,
+                input: v.input,
+                array: v.definition,
+                explore: v.explore,
+              }),
+            empty: ts.factory.createIdentifier("[]"),
+            success: ts.factory.createTrue(),
+            failure: (v) =>
+              create_throw_error({
+                importer: props.importer,
+                expected: v.expected,
+                input: v.input,
+              }),
+          },
+          parameters: next.parameters,
+          arrays: next.definitions,
+          input: next.input,
+          explore: next.explore,
+        }),
     });
 
   const explore_array_like_union_types = <
@@ -752,11 +771,11 @@ export namespace MiscCloneProgrammer {
     factory: (next: {
       parameters: ts.ParameterDeclaration[];
       input: ts.Expression;
-      elements: T[];
+      definitions: T[];
       explore: FeatureProgrammer.IExplore;
     }) => ts.ArrowFunction;
     input: ts.Expression;
-    elements: T[];
+    definitions: T[];
     explore: FeatureProgrammer.IExplore;
   }): ts.Expression => {
     const arrow = (next: {
@@ -765,12 +784,12 @@ export namespace MiscCloneProgrammer {
       input: ts.Expression;
     }): ts.ArrowFunction =>
       props.factory({
-        elements: props.elements,
+        definitions: props.definitions,
         parameters: next.parameters,
         input: next.input,
         explore: next.explore,
       });
-    if (props.elements.every((e) => e.type.recursive === false))
+    if (props.definitions.every((e) => e.type.recursive === false))
       ts.factory.createCallExpression(
         arrow({
           parameters: [],
@@ -790,7 +809,7 @@ export namespace MiscCloneProgrammer {
       ts.factory.createIdentifier(
         props.importer.emplaceUnion(
           props.config.prefix,
-          props.elements.map((e) => e.type.name).join(" | "),
+          props.definitions.map((e) => e.type.name).join(" | "),
           () =>
             arrow({
               parameters: FeatureProgrammer.parameterDeclarations({
@@ -876,28 +895,33 @@ export namespace MiscCloneProgrammer {
           }),
         joiner: CloneJoiner.object,
         unionizer: (next) =>
-          decode_union_object((input, object, explore) =>
-            IsProgrammer.decode_object({
-              context: props.context,
-              importer: props.importer,
-              input,
-              object,
-              explore,
-            }),
-          )((input, object, explore) =>
-            decode_object({
-              importer: props.importer,
-              input,
-              object,
-              explore,
-            }),
-          )((exp) => exp)((input, expected) =>
-            create_throw_error({
-              importer: props.importer,
-              expected,
-              input,
-            }),
-          )(next.input, next.objects, next.explore),
+          decode_union_object({
+            checker: (v) =>
+              IsProgrammer.decode_object({
+                context: props.context,
+                importer: props.importer,
+                input: v.input,
+                object: v.object,
+                explore: v.explore,
+              }),
+            decoder: (v) =>
+              decode_object({
+                importer: props.importer,
+                input: v.input,
+                object: v.object,
+                explore: v.explore,
+              }),
+            success: (exp) => exp,
+            escaper: (v) =>
+              create_throw_error({
+                importer: props.importer,
+                expected: v.expected,
+                input: v.input,
+              }),
+            input: next.input,
+            objects: next.objects,
+            explore: next.explore,
+          }),
         failure: (next) =>
           create_throw_error({
             importer: props.importer,

package/src/programmers/misc/MiscPruneProgrammer.ts

@@ -455,32 +455,39 @@ export namespace MiscPruneProgrammer {
       elements: props.arrays,
       factory: (next) =>
         UnionExplorer.array({
-          checker: (input, metadata, explore) =>
-            IsProgrammer.decode({
-              context: props.context,
-              importer: props.importer,
-              metadata,
-              input,
-              explore,
-            }),
-          decoder: (input, array, explore) =>
-            decode_array({
-              config: props.config,
-              importer: props.importer,
-              input,
-              array,
-              explore,
-            }),
-          empty: ts.factory.createStringLiteral("[]"),
-          success: ts.factory.createTrue(),
-          failure: (input, expected) =>
-            create_throw_error({
-              importer: props.importer,
-              expected,
-              input,
-            }),
-        })(next.parameters)(next.input, next.elements, next.explore),
+          config: {
+            checker: (v) =>
+              IsProgrammer.decode({
+                context: props.context,
+                importer: props.importer,
+                metadata: v.definition,
+                input: v.input,
+                explore: v.explore,
+              }),
+            decoder: (v) =>
+              decode_array({
+                config: props.config,
+                importer: props.importer,
+                input: v.input,
+                array: v.definition,
+                explore: v.explore,
+              }),
+            empty: ts.factory.createStringLiteral("[]"),
+            success: ts.factory.createTrue(),
+            failure: (v) =>
+              create_throw_error({
+                importer: props.importer,
+                expected: v.expected,
+                input: v.input,
+              }),
+          },
+          parameters: next.parameters,
+          input: next.input,
+          arrays: next.definitions,
+          explore: next.explore,
+        }),
     });
+  //(next.parameters)(next.input, next.elements, next.explore),
 
   const explore_array_like_union_types = <
     T extends MetadataArray | MetadataTuple,
@@ -490,7 +497,7 @@ export namespace MiscPruneProgrammer {
     factory: (next: {
       parameters: ts.ParameterDeclaration[];
       input: ts.Expression;
-      elements: T[];
+      definitions: T[];
       explore: FeatureProgrammer.IExplore;
     }) => ts.ArrowFunction;
     input: ts.Expression;
@@ -503,7 +510,7 @@ export namespace MiscPruneProgrammer {
       input: ts.Expression;
     }): ts.ArrowFunction =>
       props.factory({
-        elements: props.elements,
+        definitions: props.elements,
         parameters: next.parameters,
         input: next.input,
         explore: next.explore,
@@ -608,28 +615,33 @@ export namespace MiscPruneProgrammer {
           }),
         joiner: PruneJoiner.object,
         unionizer: (next) =>
-          decode_union_object((input, object, explore) =>
-            IsProgrammer.decode_object({
-              context: props.context,
-              importer: props.importer,
-              input,
-              object,
-              explore,
-            }),
-          )((input, object, explore) =>
-            decode_object({
-              importer: props.importer,
-              input,
-              object,
-              explore,
-            }),
-          )((exp) => exp)((input, expected) =>
-            create_throw_error({
-              importer: props.importer,
-              expected,
-              input,
-            }),
-          )(next.input, next.objects, next.explore),
+          decode_union_object({
+            checker: (v) =>
+              IsProgrammer.decode_object({
+                context: props.context,
+                importer: props.importer,
+                input: v.input,
+                object: v.object,
+                explore: v.explore,
+              }),
+            decoder: (v) =>
+              decode_object({
+                importer: props.importer,
+                input: v.input,
+                object: v.object,
+                explore: v.explore,
+              }),
+            success: (exp) => exp,
+            escaper: (v) =>
+              create_throw_error({
+                importer: props.importer,
+                expected: v.expected,
+                input: v.input,
+              }),
+            input: next.input,
+            objects: next.objects,
+            explore: next.explore,
+          }),
         failure: (next) =>
           create_throw_error({
             importer: props.importer,