typia 7.0.0-dev.20241003 → 7.0.0-dev.20241005

package/src/programmers/misc/MiscPruneProgrammer.ts

@@ -19,7 +19,7 @@ import { TransformerError } from "../../transformers/TransformerError";
 
 import { FeatureProgrammer } from "../FeatureProgrammer";
 import { IsProgrammer } from "../IsProgrammer";
-import { FunctionImporter } from "../helpers/FunctionImporter";
+import { FunctionProgrammer } from "../helpers/FunctionProgrammer";
 import { PruneJoiner } from "../helpers/PruneJoiner";
 import { UnionExplorer } from "../helpers/UnionExplorer";
 import { decode_union_object } from "../internal/decode_union_object";
@@ -30,7 +30,7 @@ export namespace MiscPruneProgrammer {
   export const decompose = (props: {
     validated: boolean;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     type: ts.Type;
     name: string | undefined;
   }): FeatureProgrammer.IDecomposed => {
@@ -39,7 +39,7 @@ export namespace MiscPruneProgrammer {
       config.addition = (collection) =>
         IsProgrammer.write_function_statements({
           context: props.context,
-          importer: props.importer,
+          functor: props.functor,
           collection,
         });
     const composed: FeatureProgrammer.IComposed = FeatureProgrammer.compose({
@@ -61,24 +61,24 @@ export namespace MiscPruneProgrammer {
   };
 
   export const write = (props: IProgrammerProps): ts.CallExpression => {
-    const importer: FunctionImporter = new FunctionImporter(
+    const functor: FunctionProgrammer = new FunctionProgrammer(
       props.modulo.getText(),
     );
     const result: FeatureProgrammer.IDecomposed = decompose({
       ...props,
       validated: false,
-      importer,
+      functor,
     });
     return FeatureProgrammer.writeDecomposed({
       modulo: props.modulo,
-      importer,
+      functor,
       result,
     });
   };
 
   const write_array_functions = (props: {
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     collection: MetadataCollection;
   }): ts.VariableStatement[] =>
     props.collection
@@ -99,7 +99,7 @@ export namespace MiscPruneProgrammer {
             undefined,
             decode_array_inline({
               config: props.config,
-              importer: props.importer,
+              functor: props.functor,
               input: ts.factory.createIdentifier("input"),
               array: MetadataArray.create({
                 type,
@@ -119,7 +119,7 @@ export namespace MiscPruneProgrammer {
   const write_tuple_functions = (props: {
     context: ITypiaContext;
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     collection: MetadataCollection;
   }): ts.VariableStatement[] =>
     props.collection
@@ -141,7 +141,7 @@ export namespace MiscPruneProgrammer {
             decode_tuple_inline({
               context: props.context,
               config: props.config,
-              importer: props.importer,
+              functor: props.functor,
               input: ts.factory.createIdentifier("input"),
               tuple,
               explore: {
@@ -161,7 +161,7 @@ export namespace MiscPruneProgrammer {
   const decode = (props: {
     context: ITypiaContext;
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     metadata: Metadata;
     explore: FeatureProgrammer.IExplore;
@@ -272,7 +272,7 @@ export namespace MiscPruneProgrammer {
   };
 
   const decode_object = (props: {
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     object: MetadataObject;
     explore: FeatureProgrammer.IExplore;
@@ -283,7 +283,7 @@ export namespace MiscPruneProgrammer {
         path: false,
         prefix: PREFIX,
       },
-      importer: props.importer,
+      functor: props.functor,
       object: props.object,
       input: props.input,
       explore: props.explore,
@@ -291,7 +291,7 @@ export namespace MiscPruneProgrammer {
 
   const decode_array = (props: {
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     array: MetadataArray;
     explore: FeatureProgrammer.IExplore;
@@ -299,7 +299,7 @@ export namespace MiscPruneProgrammer {
     props.array.type.recursive
       ? ts.factory.createCallExpression(
           ts.factory.createIdentifier(
-            props.importer.useLocal(
+            props.functor.useLocal(
               `${props.config.prefix}a${props.array.type.index}`,
             ),
           ),
@@ -318,14 +318,14 @@ export namespace MiscPruneProgrammer {
 
   const decode_array_inline = (props: {
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     array: MetadataArray;
     explore: FeatureProgrammer.IExplore;
   }): ts.Expression =>
     FeatureProgrammer.decode_array({
       config: props.config,
-      importer: props.importer,
+      functor: props.functor,
       combiner: PruneJoiner.array,
       array: props.array,
       input: props.input,
@@ -335,7 +335,7 @@ export namespace MiscPruneProgrammer {
   const decode_tuple = (props: {
     context: ITypiaContext;
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     tuple: MetadataTuple;
     explore: FeatureProgrammer.IExplore;
@@ -343,7 +343,7 @@ export namespace MiscPruneProgrammer {
     props.tuple.type.recursive
       ? ts.factory.createCallExpression(
           ts.factory.createIdentifier(
-            props.importer.useLocal(
+            props.functor.useLocal(
               `${props.config.prefix}t${props.tuple.type.index}`,
             ),
           ),
@@ -365,7 +365,7 @@ export namespace MiscPruneProgrammer {
   const decode_tuple_inline = (props: {
     context: ITypiaContext;
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     tuple: MetadataTupleType;
     explore: FeatureProgrammer.IExplore;
@@ -377,7 +377,7 @@ export namespace MiscPruneProgrammer {
         decode({
           context: props.context,
           config: props.config,
-          importer: props.importer,
+          functor: props.functor,
           input: ts.factory.createElementAccessExpression(props.input, index),
           metadata: elem,
           explore: {
@@ -399,7 +399,7 @@ export namespace MiscPruneProgrammer {
       return decode({
         context: props.context,
         config: props.config,
-        importer: props.importer,
+        functor: props.functor,
         input: ts.factory.createCallExpression(
           IdentifierFactory.access(props.input, "slice"),
           undefined,
@@ -423,7 +423,7 @@ export namespace MiscPruneProgrammer {
     ----------------------------------------------------------- */
   const explore_objects = (props: {
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     metadata: Metadata;
     explore: FeatureProgrammer.IExplore;
@@ -436,7 +436,7 @@ export namespace MiscPruneProgrammer {
 
     return ts.factory.createCallExpression(
       ts.factory.createIdentifier(
-        props.importer.useLocal(`${PREFIX}u${props.metadata.union_index!}`),
+        props.functor.useLocal(`${PREFIX}u${props.metadata.union_index!}`),
       ),
       undefined,
       FeatureProgrammer.argumentsArray(props),
@@ -446,7 +446,7 @@ export namespace MiscPruneProgrammer {
   const explore_arrays = (props: {
     context: ITypiaContext;
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     input: ts.Expression;
     arrays: MetadataArray[];
     explore: FeatureProgrammer.IExplore;
@@ -460,7 +460,7 @@ export namespace MiscPruneProgrammer {
             checker: (v) =>
               IsProgrammer.decode({
                 context: props.context,
-                importer: props.importer,
+                functor: props.functor,
                 metadata: v.definition,
                 input: v.input,
                 explore: v.explore,
@@ -468,7 +468,7 @@ export namespace MiscPruneProgrammer {
             decoder: (v) =>
               decode_array({
                 config: props.config,
-                importer: props.importer,
+                functor: props.functor,
                 input: v.input,
                 array: v.definition,
                 explore: v.explore,
@@ -477,7 +477,8 @@ export namespace MiscPruneProgrammer {
             success: ts.factory.createTrue(),
             failure: (v) =>
               create_throw_error({
-                importer: props.importer,
+                context: props.context,
+                functor: props.functor,
                 expected: v.expected,
                 input: v.input,
               }),
@@ -494,7 +495,7 @@ export namespace MiscPruneProgrammer {
     T extends MetadataArray | MetadataTuple,
   >(props: {
     config: FeatureProgrammer.IConfig;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     factory: (next: {
       parameters: ts.ParameterDeclaration[];
       input: ts.Expression;
@@ -534,7 +535,7 @@ export namespace MiscPruneProgrammer {
     };
     return ts.factory.createCallExpression(
       ts.factory.createIdentifier(
-        props.importer.emplaceUnion(
+        props.functor.emplaceUnion(
           props.config.prefix,
           props.elements.map((e) => e.type.name).join(" | "),
           () =>
@@ -575,7 +576,7 @@ export namespace MiscPruneProgrammer {
 
   const configure = (props: {
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
   }): FeatureProgrammer.IConfig => {
     const config: FeatureProgrammer.IConfig = {
       types: {
@@ -593,7 +594,7 @@ export namespace MiscPruneProgrammer {
       decoder: (next) =>
         decode({
           context: props.context,
-          importer: props.importer,
+          functor: props.functor,
           config,
           input: next.input,
           metadata: next.metadata,
@@ -603,14 +604,14 @@ export namespace MiscPruneProgrammer {
         checker: (next) =>
           IsProgrammer.decode({
             context: props.context,
-            importer: props.importer,
+            functor: props.functor,
             input: next.input,
             metadata: next.metadata,
             explore: next.explore,
           }),
         decoder: (next) =>
           decode_object({
-            importer: props.importer,
+            functor: props.functor,
             input: next.input,
             object: next.object,
             explore: next.explore,
@@ -621,14 +622,14 @@ export namespace MiscPruneProgrammer {
             checker: (v) =>
               IsProgrammer.decode_object({
                 context: props.context,
-                importer: props.importer,
+                functor: props.functor,
                 input: v.input,
                 object: v.object,
                 explore: v.explore,
               }),
             decoder: (v) =>
               decode_object({
-                importer: props.importer,
+                functor: props.functor,
                 input: v.input,
                 object: v.object,
                 explore: v.explore,
@@ -636,7 +637,8 @@ export namespace MiscPruneProgrammer {
             success: (exp) => exp,
             escaper: (v) =>
               create_throw_error({
-                importer: props.importer,
+                context: props.context,
+                functor: props.functor,
                 expected: v.expected,
                 input: v.input,
               }),
@@ -646,7 +648,8 @@ export namespace MiscPruneProgrammer {
           }),
         failure: (next) =>
           create_throw_error({
-            importer: props.importer,
+            context: props.context,
+            functor: props.functor,
             expected: next.expected,
             input: next.input,
           }),
@@ -655,14 +658,14 @@ export namespace MiscPruneProgrammer {
         arrays: (collection) =>
           write_array_functions({
             config,
-            importer: props.importer,
+            functor: props.functor,
             collection,
           }),
         tuples: (collection) =>
           write_tuple_functions({
             config,
             context: props.context,
-            importer: props.importer,
+            functor: props.functor,
             collection,
           }),
       },
@@ -685,24 +688,29 @@ export namespace MiscPruneProgrammer {
     });
     if (result.success === false)
       throw TransformerError.from({
-        code: `typia.misc.${props.importer.method}`,
+        code: props.functor.method,
         errors: result.errors,
       });
     return [collection, result.data];
   };
 
   const create_throw_error = (props: {
-    importer: FunctionImporter;
+    context: ITypiaContext;
+    functor: FunctionProgrammer;
     expected: string;
     input: ts.Expression;
   }) =>
     ts.factory.createExpressionStatement(
       ts.factory.createCallExpression(
-        props.importer.use("throws"),
+        props.context.importer.internal("throwTypeGuardError"),
         [],
         [
           ts.factory.createObjectLiteralExpression(
             [
+              ts.factory.createPropertyAssignment(
+                "method",
+                ts.factory.createStringLiteral(props.functor.method),
+              ),
               ts.factory.createPropertyAssignment(
                 "expected",
                 ts.factory.createStringLiteral(props.expected),

package/src/programmers/misc/MiscValidateCloneProgrammer.ts

@@ -9,14 +9,14 @@ import { ITypiaContext } from "../../transformers/ITypiaContext";
 
 import { FeatureProgrammer } from "../FeatureProgrammer";
 import { ValidateProgrammer } from "../ValidateProgrammer";
-import { FunctionImporter } from "../helpers/FunctionImporter";
+import { FunctionProgrammer } from "../helpers/FunctionProgrammer";
 import { MiscCloneProgrammer } from "./MiscCloneProgrammer";
 
 export namespace MiscValidateCloneProgrammer {
   export const decompose = (props: {
     context: ITypiaContext;
     modulo: ts.LeftHandSideExpression;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     type: ts.Type;
     name: string | undefined;
   }): FeatureProgrammer.IDecomposed => {
@@ -93,16 +93,16 @@ export namespace MiscValidateCloneProgrammer {
   };
 
   export const write = (props: IProgrammerProps): ts.CallExpression => {
-    const importer: FunctionImporter = new FunctionImporter(
+    const functor: FunctionProgrammer = new FunctionProgrammer(
       props.modulo.getText(),
     );
     const result: FeatureProgrammer.IDecomposed = decompose({
       ...props,
-      importer,
+      functor,
     });
     return FeatureProgrammer.writeDecomposed({
       modulo: props.modulo,
-      importer,
+      functor,
       result,
     });
   };

package/src/programmers/misc/MiscValidatePruneProgrammer.ts

@@ -9,14 +9,14 @@ import { ITypiaContext } from "../../transformers/ITypiaContext";
 
 import { FeatureProgrammer } from "../FeatureProgrammer";
 import { ValidateProgrammer } from "../ValidateProgrammer";
-import { FunctionImporter } from "../helpers/FunctionImporter";
+import { FunctionProgrammer } from "../helpers/FunctionProgrammer";
 import { MiscPruneProgrammer } from "./MiscPruneProgrammer";
 
 export namespace MiscValidatePruneProgrammer {
   export const decompose = (props: {
     context: ITypiaContext;
     modulo: ts.LeftHandSideExpression;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     type: ts.Type;
     name: string | undefined;
   }): FeatureProgrammer.IDecomposed => {
@@ -93,16 +93,16 @@ export namespace MiscValidatePruneProgrammer {
   };
 
   export const write = (props: IProgrammerProps): ts.CallExpression => {
-    const importer: FunctionImporter = new FunctionImporter(
+    const functor: FunctionProgrammer = new FunctionProgrammer(
       props.modulo.getText(),
     );
     const result: FeatureProgrammer.IDecomposed = decompose({
       ...props,
-      importer,
+      functor,
     });
     return FeatureProgrammer.writeDecomposed({
       modulo: props.modulo,
-      importer,
+      functor,
       result,
     });
   };

package/src/programmers/notations/NotationAssertGeneralProgrammer.ts

@@ -9,7 +9,7 @@ import { ITypiaContext } from "../../transformers/ITypiaContext";
 
 import { AssertProgrammer } from "../AssertProgrammer";
 import { FeatureProgrammer } from "../FeatureProgrammer";
-import { FunctionImporter } from "../helpers/FunctionImporter";
+import { FunctionProgrammer } from "../helpers/FunctionProgrammer";
 import { NotationGeneralProgrammer } from "./NotationGeneralProgrammer";
 
 export namespace NotationAssertGeneralProgrammer {
@@ -20,7 +20,7 @@ export namespace NotationAssertGeneralProgrammer {
   export const decompose = (props: {
     rename: (str: string) => string;
     context: ITypiaContext;
-    importer: FunctionImporter;
+    functor: FunctionProgrammer;
     type: ts.Type;
     name: string | undefined;
     init?: ts.Expression | undefined;
@@ -82,16 +82,16 @@ export namespace NotationAssertGeneralProgrammer {
   };
 
   export const write = (props: IProps): ts.CallExpression => {
-    const importer: FunctionImporter = new FunctionImporter(
+    const functor: FunctionProgrammer = new FunctionProgrammer(
       props.modulo.getText(),
     );
     const result: FeatureProgrammer.IDecomposed = decompose({
       ...props,
-      importer,
+      functor,
     });
     return FeatureProgrammer.writeDecomposed({
       modulo: props.modulo,
-      importer,
+      functor,
       result,
     });
   };