typia 7.0.0-dev.20241002-2 → 7.0.0-dev.20241005

package/src/programmers/CheckerProgrammer.ts

@@ -21,7 +21,7 @@ import { TransformerError } from "../transformers/TransformerError";
 import { FeatureProgrammer } from "./FeatureProgrammer";
 import { IsProgrammer } from "./IsProgrammer";
 import { AtomicPredicator } from "./helpers/AtomicPredicator";
-import { FunctionImporter } from "./helpers/FunctionImporter";
+import { FunctionProgrammer } from "./helpers/FunctionProgrammer";
 import { ICheckEntry } from "./helpers/ICheckEntry";
 import { IExpressionEntry } from "./helpers/IExpressionEntry";
 import { OptionPredicator } from "./helpers/OptionPredicator";
@@ -109,7 +109,7 @@ export namespace CheckerProgrammer {
   export const compose = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     type: ts.Type;
     name: string | undefined;
   }): FeatureProgrammer.IComposed =>
@@ -121,14 +121,14 @@ export namespace CheckerProgrammer {
   export const write = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     type: ts.Type;
     name?: string;
   }): ts.ArrowFunction =>
     FeatureProgrammer.write({
       config: configure(props),
       context: props.context,
-      importer: props.importer,
+      functor: props.functor,
       type: props.type,
       name: props.name,
     });
@@ -136,19 +136,19 @@ export namespace CheckerProgrammer {
   export const write_object_functions = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     collection: MetadataCollection;
   }): ts.VariableStatement[] =>
     FeatureProgrammer.write_object_functions({
       config: configure(props),
-      importer: props.importer,
+      context: props.context,
       collection: props.collection,
     });
 
   export const write_union_functions = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     collection: MetadataCollection;
   }): ts.VariableStatement[] =>
     FeatureProgrammer.write_union_functions({
@@ -158,7 +158,7 @@ export namespace CheckerProgrammer {
           ...props.config,
           numeric: false,
         },
-        importer: props.importer,
+        functor: props.functor,
       }),
       collection: props.collection,
     });
@@ -166,7 +166,7 @@ export namespace CheckerProgrammer {
   export const write_array_functions = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     collection: MetadataCollection;
   }): ts.VariableStatement[] =>
     props.collection
@@ -206,7 +206,7 @@ export namespace CheckerProgrammer {
   export const write_tuple_functions = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     collection: MetadataCollection;
   }): ts.VariableStatement[] =>
     props.collection
@@ -228,7 +228,7 @@ export namespace CheckerProgrammer {
             decode_tuple_inline({
               config: props.config,
               context: props.context,
-              importer: props.importer,
+              functor: props.functor,
               input: ts.factory.createIdentifier("input"),
               tuple,
               explore: {
@@ -245,7 +245,7 @@ export namespace CheckerProgrammer {
   const configure = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
   }): FeatureProgrammer.IConfig => ({
     types: {
       input: () => TypeFactory.keyword("any"),
@@ -276,9 +276,10 @@ export namespace CheckerProgrammer {
         type: next.type,
       });
       if (result.success === false)
-        throw TransformerError.from(`typia.${next.importer.method}`)(
-          result.errors,
-        );
+        throw TransformerError.from({
+          code: `typia.${next.functor.method}`,
+          errors: result.errors,
+        });
       return [collection, result.data];
     },
     addition: props.config.addition,
@@ -288,7 +289,7 @@ export namespace CheckerProgrammer {
           decode({
             context: props.context,
             config: props.config,
-            importer: props.importer,
+            functor: props.functor,
             input: next.input,
             metadata: next.metadata,
             explore: next.explore,
@@ -300,7 +301,7 @@ export namespace CheckerProgrammer {
             decode({
               context: props.context,
               config: props.config,
-              importer: props.importer,
+              functor: props.functor,
               input: next.input,
               metadata: next.metadata,
               explore: next.explore,
@@ -308,7 +309,7 @@ export namespace CheckerProgrammer {
       decoder: (next) =>
         decode_object({
           config: props.config,
-          importer: props.importer,
+          functor: props.functor,
           input: next.input,
           object: next.object,
           explore: next.explore,
@@ -320,7 +321,7 @@ export namespace CheckerProgrammer {
               checker: (v) =>
                 decode_object({
                   config: props.config,
-                  importer: props.importer,
+                  functor: props.functor,
                   object: v.object,
                   input: v.input,
                   explore: v.explore,
@@ -328,7 +329,7 @@ export namespace CheckerProgrammer {
               decoder: (v) =>
                 decode_object({
                   config: props.config,
-                  importer: props.importer,
+                  functor: props.functor,
                   input: v.input,
                   object: v.object,
                   explore: {
@@ -353,7 +354,7 @@ export namespace CheckerProgrammer {
               binaries: next.objects.map((object) => ({
                 expression: decode_object({
                   config: props.config,
-                  importer: props.importer,
+                  functor: props.functor,
                   object,
                   input: next.input,
                   explore: next.explore,
@@ -404,7 +405,7 @@ export namespace CheckerProgrammer {
   export const decode = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     metadata: Metadata;
     explore: IExplore;
@@ -509,8 +510,8 @@ export namespace CheckerProgrammer {
         left: ts.factory.createTrue(),
         right: ts.factory.createCallExpression(
           IdentifierFactory.access(
-            props.importer.emplaceVariable(
-              `${props.config.prefix}v${props.importer.increment()}`,
+            props.functor.emplaceVariable(
+              `${props.config.prefix}v${props.functor.increment()}`,
               ts.factory.createNewExpression(
                 ts.factory.createIdentifier("Set"),
                 undefined,
@@ -662,7 +663,7 @@ export namespace CheckerProgrammer {
           explore_sets({
             config: props.config,
             context: props.context,
-            importer: props.importer,
+            functor: props.functor,
             sets: props.metadata.sets,
             input: props.input,
             explore: {
@@ -693,7 +694,7 @@ export namespace CheckerProgrammer {
           explore_maps({
             config: props.config,
             context: props.context,
-            importer: props.importer,
+            functor: props.functor,
             maps: props.metadata.maps,
             input: props.input,
             explore: {
@@ -731,7 +732,7 @@ export namespace CheckerProgrammer {
             decode_tuple({
               config: props.config,
               context: props.context,
-              importer: props.importer,
+              functor: props.functor,
               tuple: props.metadata.tuples[0]!,
               input: props.input,
               explore: {
@@ -746,7 +747,7 @@ export namespace CheckerProgrammer {
             explore_tuples({
               config: props.config,
               context: props.context,
-              importer: props.importer,
+              functor: props.functor,
               tuples: props.metadata.tuples,
               input: props.input,
               explore: {
@@ -764,7 +765,7 @@ export namespace CheckerProgrammer {
             decode_array({
               config: props.config,
               context: props.context,
-              importer: props.importer,
+              functor: props.functor,
               array: props.metadata.arrays[0]!,
               input: props.input,
               explore: {
@@ -778,7 +779,7 @@ export namespace CheckerProgrammer {
             explore_arrays({
               config: props.config,
               context: props.context,
-              importer: props.importer,
+              functor: props.functor,
               arrays: props.metadata.arrays,
               input: props.input,
               explore: {
@@ -792,7 +793,7 @@ export namespace CheckerProgrammer {
           explore_arrays_and_tuples({
             config: props.config,
             context: props.context,
-            importer: props.importer,
+            functor: props.functor,
             definitions: [...props.metadata.tuples, ...props.metadata.arrays],
             input: props.input,
             explore: props.explore,
@@ -815,7 +816,7 @@ export namespace CheckerProgrammer {
         expected: props.metadata.objects.map((obj) => obj.name).join(" | "),
         body: explore_objects({
           config: props.config,
-          importer: props.importer,
+          functor: props.functor,
           metadata: props.metadata,
           input: props.input,
           explore: {
@@ -827,15 +828,15 @@ export namespace CheckerProgrammer {
 
     if (instances.length) {
       const transformer =
-        (merger: (x: ts.Expression, y: ts.Expression) => ts.Expression) =>
-        (ins: IInstance) =>
-          ins.body
+        (merge: (x: ts.Expression, y: ts.Expression) => ts.Expression) =>
+        (instance: IInstance) =>
+          instance.body
             ? {
-                expression: merger(ins.head, ins.body),
+                expression: merge(instance.head, instance.body),
                 combined: true,
               }
             : {
-                expression: ins.head,
+                expression: instance.head,
                 combined: false,
               };
       if (instances.length === 1)
@@ -881,7 +882,7 @@ export namespace CheckerProgrammer {
                 decode({
                   context: props.context,
                   config: props.config,
-                  importer: props.importer,
+                  functor: props.functor,
                   metadata: props.metadata.escaped.original,
                   input: props.input,
                   explore: props.explore,
@@ -894,7 +895,7 @@ export namespace CheckerProgrammer {
                   decode_escaped({
                     config: props.config,
                     context: props.context,
-                    importer: props.importer,
+                    functor: props.functor,
                     metadata: props.metadata.escaped.returns,
                     input: props.input,
                     explore: props.explore,
@@ -939,7 +940,7 @@ export namespace CheckerProgrammer {
 
   export const decode_object = (props: {
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     object: MetadataObject;
     input: ts.Expression;
     explore: IExplore;
@@ -951,7 +952,7 @@ export namespace CheckerProgrammer {
   const decode_array = (props: {
     config: IConfig;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     array: MetadataArray;
     input: ts.Expression;
     explore: IExplore;
@@ -966,7 +967,7 @@ export namespace CheckerProgrammer {
     return ts.factory.createLogicalOr(
       ts.factory.createCallExpression(
         ts.factory.createIdentifier(
-          props.importer.useLocal(
+          props.functor.useLocal(
             `${props.config.prefix}a${props.array.type.index}`,
           ),
         ),
@@ -992,7 +993,7 @@ export namespace CheckerProgrammer {
   const decode_array_inline = (props: {
     config: IConfig;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     array: MetadataArray;
     input: ts.Expression;
     explore: IExplore;
@@ -1013,7 +1014,7 @@ export namespace CheckerProgrammer {
             ...next,
           }),
       },
-      importer: props.importer,
+      functor: props.functor,
       combiner: props.config.joiner.array,
       array: props.array,
       input: props.input,
@@ -1034,7 +1035,7 @@ export namespace CheckerProgrammer {
   const decode_tuple = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     tuple: MetadataTuple;
     input: ts.Expression;
     explore: IExplore;
@@ -1052,7 +1053,7 @@ export namespace CheckerProgrammer {
     return ts.factory.createLogicalOr(
       ts.factory.createCallExpression(
         ts.factory.createIdentifier(
-          props.importer.useLocal(
+          props.functor.useLocal(
             `${props.config.prefix}t${props.tuple.type.index}`,
           ),
         ),
@@ -1077,7 +1078,7 @@ export namespace CheckerProgrammer {
   const decode_tuple_inline = (props: {
     config: IConfig;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     tuple: MetadataTupleType;
     input: ts.Expression;
     explore: IExplore;
@@ -1088,7 +1089,7 @@ export namespace CheckerProgrammer {
         decode({
           context: props.context,
           config: props.config,
-          importer: props.importer,
+          functor: props.functor,
           input: ts.factory.createElementAccessExpression(props.input, index),
           metadata,
           explore: {
@@ -1105,7 +1106,7 @@ export namespace CheckerProgrammer {
         ? decode({
             config: props.config,
             context: props.context,
-            importer: props.importer,
+            functor: props.functor,
             input: ts.factory.createCallExpression(
               IdentifierFactory.access(props.input, "slice"),
               undefined,
@@ -1186,7 +1187,7 @@ export namespace CheckerProgrammer {
   const decode_escaped = (props: {
     config: IConfig;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     metadata: Metadata;
     input: ts.Expression;
     explore: IExplore;
@@ -1221,7 +1222,7 @@ export namespace CheckerProgrammer {
   const explore_sets = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     sets: Metadata[];
     input: ts.Expression;
     explore: IExplore;
@@ -1233,7 +1234,7 @@ export namespace CheckerProgrammer {
             decode({
               context: props.context,
               config: props.config,
-              importer: props.importer,
+              functor: props.functor,
               input: v.input,
               metadata: v.definition,
               explore: v.explore,
@@ -1242,7 +1243,7 @@ export namespace CheckerProgrammer {
             decode_array({
               config: props.config,
               context: props.context,
-              importer: props.importer,
+              functor: props.functor,
               array: v.definition,
               input: v.input,
               explore: v.explore,
@@ -1264,7 +1265,7 @@ export namespace CheckerProgrammer {
   const explore_maps = (props: {
     context: ITypiaContext;
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     maps: Metadata.Entry[];
     explore: IExplore;
@@ -1277,7 +1278,7 @@ export namespace CheckerProgrammer {
               decode({
                 config: props.config,
                 context: props.context,
-                importer: props.importer,
+                functor: props.functor,
                 input: ts.factory.createElementAccessExpression(v.input, 0),
                 metadata: v.definition[0],
                 explore: {
@@ -1288,7 +1289,7 @@ export namespace CheckerProgrammer {
               decode({
                 config: props.config,
                 context: props.context,
-                importer: props.importer,
+                functor: props.functor,
                 input: ts.factory.createElementAccessExpression(v.input, 1),
                 metadata: v.definition[1],
                 explore: {
@@ -1301,7 +1302,7 @@ export namespace CheckerProgrammer {
             decode_array({
               context: props.context,
               config: props.config,
-              importer: props.importer,
+              functor: props.functor,
               array: v.definition,
               input: v.input,
               explore: v.explore,
@@ -1323,14 +1324,14 @@ export namespace CheckerProgrammer {
   const explore_tuples = (props: {
     config: IConfig;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     tuples: MetadataTuple[];
     input: ts.Expression;
     explore: IExplore;
   }): ts.Expression =>
     explore_array_like_union_types<MetadataTuple>({
       config: props.config,
-      importer: props.importer,
+      functor: props.functor,
       factory: (next) =>
         UnionExplorer.tuple({
           config: {
@@ -1338,7 +1339,7 @@ export namespace CheckerProgrammer {
               decode_tuple({
                 context: props.context,
                 config: props.config,
-                importer: props.importer,
+                functor: props.functor,
                 input: v.input,
                 tuple: v.definition,
                 explore: v.explore,
@@ -1347,7 +1348,7 @@ export namespace CheckerProgrammer {
               decode_tuple({
                 context: props.context,
                 config: props.config,
-                importer: props.importer,
+                functor: props.functor,
                 tuple: v.definition,
                 input: v.input,
                 explore: v.explore,
@@ -1370,14 +1371,14 @@ export namespace CheckerProgrammer {
   const explore_arrays = (props: {
     config: IConfig;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     arrays: MetadataArray[];
     input: ts.Expression;
     explore: IExplore;
   }): ts.Expression =>
     explore_array_like_union_types<MetadataArray>({
       config: props.config,
-      importer: props.importer,
+      functor: props.functor,
       factory: (next) =>
         UnionExplorer.array({
           config: {
@@ -1385,7 +1386,7 @@ export namespace CheckerProgrammer {
               decode({
                 context: props.context,
                 config: props.config,
-                importer: props.importer,
+                functor: props.functor,
                 metadata: v.definition,
                 input: v.input,
                 explore: v.explore,
@@ -1394,7 +1395,7 @@ export namespace CheckerProgrammer {
               decode_array({
                 context: props.context,
                 config: props.config,
-                importer: props.importer,
+                functor: props.functor,
                 array: v.definition,
                 input: v.input,
                 explore: v.explore,
@@ -1417,14 +1418,14 @@ export namespace CheckerProgrammer {
   const explore_arrays_and_tuples = (props: {
     config: IConfig;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     definitions: Array<MetadataArray | MetadataTuple>;
     input: ts.Expression;
     explore: IExplore;
   }): ts.Expression =>
     explore_array_like_union_types<MetadataArray | MetadataTuple>({
       config: props.config,
-      importer: props.importer,
+      functor: props.functor,
       factory: (next) =>
         UnionExplorer.array_or_tuple({
           config: {
@@ -1433,7 +1434,7 @@ export namespace CheckerProgrammer {
                 ? decode_tuple({
                     config: props.config,
                     context: props.context,
-                    importer: props.importer,
+                    functor: props.functor,
                     input: v.input,
                     tuple: v.definition,
                     explore: v.explore,
@@ -1449,7 +1450,7 @@ export namespace CheckerProgrammer {
                         )
                         .join(" | "),
                       expression: decode({
-                        importer: props.importer,
+                        functor: props.functor,
                         context: props.context,
                         config: props.config,
                         metadata: v.definition,
@@ -1465,7 +1466,7 @@ export namespace CheckerProgrammer {
                 ? decode_tuple({
                     context: props.context,
                     config: props.config,
-                    importer: props.importer,
+                    functor: props.functor,
                     input: v.input,
                     tuple: v.definition,
                     explore: v.explore,
@@ -1473,7 +1474,7 @@ export namespace CheckerProgrammer {
                 : decode_array({
                     context: props.context,
                     config: props.config,
-                    importer: props.importer,
+                    functor: props.functor,
                     input: v.input,
                     array: v.definition,
                     explore: v.explore,
@@ -1497,7 +1498,7 @@ export namespace CheckerProgrammer {
     T extends MetadataArray | MetadataTuple,
   >(props: {
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     factory: (next: {
       parameters: ts.ParameterDeclaration[];
       definitions: T[];
@@ -1537,7 +1538,7 @@ export namespace CheckerProgrammer {
     return ts.factory.createLogicalOr(
       ts.factory.createCallExpression(
         ts.factory.createIdentifier(
-          props.importer.emplaceUnion(
+          props.functor.emplaceUnion(
             props.config.prefix,
             props.definitions.map((e) => e.type.name).join(" | "),
             () =>
@@ -1568,7 +1569,7 @@ export namespace CheckerProgrammer {
 
   const explore_objects = (props: {
     config: IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     metadata: Metadata;
     explore: IExplore;
@@ -1576,14 +1577,14 @@ export namespace CheckerProgrammer {
     props.metadata.objects.length === 1
       ? decode_object({
           config: props.config,
-          importer: props.importer,
+          functor: props.functor,
           object: props.metadata.objects[0]!,
           input: props.input,
           explore: props.explore,
         })
       : ts.factory.createCallExpression(
           ts.factory.createIdentifier(
-            props.importer.useLocal(
+            props.functor.useLocal(
               `${props.config.prefix}u${props.metadata.union_index!}`,
             ),
           ),