typia 7.0.0-dev.20240929 → 7.0.0-dev.20241001

package/src/programmers/FeatureProgrammer.ts

@@ -20,8 +20,8 @@ import { feature_object_entries } from "./internal/feature_object_entries";
 
 export namespace FeatureProgrammer {
   /* -----------------------------------------------------------
-        PARAMETERS
-    ----------------------------------------------------------- */
+    PARAMETERS
+  ----------------------------------------------------------- */
   export interface IConfig<Output extends ts.ConciseBody = ts.ConciseBody> {
     types: IConfig.ITypes;
 
@@ -45,16 +45,20 @@ export namespace FeatureProgrammer {
     /**
      * Initializer of metadata.
      */
-    initializer: (
-      context: ITypiaContext,
-    ) => (
-      importer: FunctionImporter,
-    ) => (type: ts.Type) => [MetadataCollection, Metadata];
+    initializer: (props: {
+      context: ITypiaContext;
+      importer: FunctionImporter;
+      type: ts.Type;
+    }) => [MetadataCollection, Metadata];
 
     /**
      * Decoder, station of every types.
      */
-    decoder: () => Decoder<Metadata, Output>;
+    decoder: (props: {
+      metadata: Metadata;
+      input: ts.Expression;
+      explore: IExplore;
+    }) => Output;
 
     /**
      * Object configurator.
@@ -76,12 +80,20 @@ export namespace FeatureProgrammer {
       /**
        * Type checker when union object type comes.
        */
-      checker: () => Decoder<Metadata, ts.Expression>;
+      checker: (props: {
+        metadata: Metadata;
+        input: ts.Expression;
+        explore: IExplore;
+      }) => ts.Expression;
 
       /**
        * Decoder, function call expression generator of specific typed objects.
        */
-      decoder: () => Decoder<MetadataObject, ts.Expression>;
+      decoder: (props: {
+        input: ts.Expression;
+        object: MetadataObject;
+        explore: IExplore;
+      }) => ts.Expression;
 
       /**
        * Joiner of expressions from properties.
@@ -98,21 +110,23 @@ export namespace FeatureProgrammer {
        * Expression of an algorithm specifying object type and calling
        * the `decoder` function of the specified object type.
        */
-      unionizer: Decoder<MetadataObject[], ts.Expression>;
+      unionizer: (props: {
+        objects: MetadataObject[];
+        input: ts.Expression;
+        explore: IExplore;
+      }) => ts.Expression;
 
       /**
        * Handler of union type specification failure.
        *
-       * @param value Expression of input parameter
-       * @param expected Expected type name
-       * @param explore Exploration info
+       * @param props Properties of failure
        * @returns Statement of failure
        */
-      failure(
-        value: ts.Expression,
-        expected: string,
-        explore?: undefined | IExplore,
-      ): ts.Statement;
+      failure(props: {
+        input: ts.Expression;
+        expected: string;
+        explore?: undefined | IExplore;
+      }): ts.Statement;
 
       /**
        * Transformer of type checking expression by discrimination.
@@ -153,18 +167,17 @@ export namespace FeatureProgrammer {
        * iteration type checking would be happend. In such circumstance, you
        * can wrap the condition with additional function.
        *
-       * @param condition Current condition
-       * @returns A function wrapped current condition
+       * @param props Properties of condition
+       * @returns The wrapper expression
        */
       full?:
         | undefined
-        | ((
-            condition: ts.Expression,
-          ) => (
-            input: ts.Expression,
-            expected: string,
-            explore: IExplore,
-          ) => ts.Expression);
+        | ((props: {
+            condition: ts.Expression;
+            input: ts.Expression;
+            expected: string;
+            explore: IExplore;
+          }) => ts.Expression);
 
       /**
        * Return type.
@@ -174,12 +187,12 @@ export namespace FeatureProgrammer {
     export interface IGenerator {
       objects?:
         | undefined
-        | (() => (col: MetadataCollection) => ts.VariableStatement[]);
+        | ((collection: MetadataCollection) => ts.VariableStatement[]);
       unions?:
         | undefined
-        | (() => (col: MetadataCollection) => ts.VariableStatement[]);
-      arrays(): (col: MetadataCollection) => ts.VariableStatement[];
-      tuples(): (col: MetadataCollection) => ts.VariableStatement[];
+        | ((collection: MetadataCollection) => ts.VariableStatement[]);
+      arrays: (collection: MetadataCollection) => ts.VariableStatement[];
+      tuples: (collection: MetadataCollection) => ts.VariableStatement[];
     }
   }
 
@@ -191,9 +204,14 @@ export namespace FeatureProgrammer {
     start?: undefined | number;
   }
 
-  export interface Decoder<T, Output extends ts.ConciseBody = ts.ConciseBody> {
-    (input: ts.Expression, target: T, explore: IExplore): Output;
-  }
+  export type Decoder<
+    T,
+    Output extends ts.ConciseBody = ts.ConciseBody,
+  > = (props: {
+    input: ts.Expression;
+    definition: T;
+    explore: IExplore;
+  }) => Output;
 
   /* -----------------------------------------------------------
     GENERATORS
@@ -218,15 +236,17 @@ export namespace FeatureProgrammer {
     type: ts.Type;
     name: string | undefined;
   }): IComposed => {
-    const [collection, meta] = props.config.initializer(props.context)(
-      props.importer,
-    )(props.type);
+    const [collection, metadata] = props.config.initializer(props);
     return {
-      body: props.config.decoder()(ValueFactory.INPUT(), meta, {
-        tracable: props.config.path || props.config.trace,
-        source: "top",
-        from: "top",
-        postfix: '""',
+      body: props.config.decoder({
+        input: ValueFactory.INPUT(),
+        metadata,
+        explore: {
+          tracable: props.config.path || props.config.trace,
+          source: "top",
+          from: "top",
+          postfix: '""',
+        },
       }),
       statements: props.config.addition
         ? props.config.addition(collection)
@@ -234,7 +254,7 @@ export namespace FeatureProgrammer {
       functions: {
         ...Object.fromEntries(
           (
-            props.config.generator.objects?.()(collection) ??
+            props.config.generator.objects?.(collection) ??
             write_object_functions({
               ...props,
               collection,
@@ -243,24 +263,29 @@ export namespace FeatureProgrammer {
         ),
         ...Object.fromEntries(
           (
-            props.config.generator.unions?.() ??
-            write_union_functions(props.config)
-          )(collection).map((v, i) => [`${props.config.prefix}u${i}`, v]),
+            props.config.generator.unions?.(collection) ??
+            write_union_functions({
+              config: props.config,
+              collection,
+            })
+          ).map((v, i) => [`${props.config.prefix}u${i}`, v]),
         ),
         ...Object.fromEntries(
           props.config.generator
-            .arrays()(collection)
+            .arrays(collection)
             .map((v, i) => [`${props.config.prefix}a${i}`, v]),
         ),
         ...Object.fromEntries(
           props.config.generator
-            .tuples()(collection)
+            .tuples(collection)
             .map((v, i) => [`${props.config.prefix}t${i}`, v]),
         ),
       },
-      parameters: parameterDeclarations(props.config)(
-        props.config.types.input(props.type, props.name),
-      )(ValueFactory.INPUT()),
+      parameters: parameterDeclarations({
+        config: props.config,
+        type: props.config.types.input(props.type, props.name),
+        input: ValueFactory.INPUT(),
+      }),
       response: props.config.types.output(props.type, props.name),
     };
   };
@@ -290,73 +315,81 @@ export namespace FeatureProgrammer {
       undefined,
     );
 
-  export const write =
-    (context: ITypiaContext) =>
-    (config: IConfig) =>
-    (importer: FunctionImporter) =>
-    (type: ts.Type, name?: string): ts.ArrowFunction => {
-      const [collection, meta] = config.initializer(context)(importer)(type);
-
-      // ITERATE OVER ALL METADATA
-      const output: ts.ConciseBody = config.decoder()(
-        ValueFactory.INPUT(),
-        meta,
-        {
-          tracable: config.path || config.trace,
-          source: "top",
-          from: "top",
-          postfix: '""',
-        },
-      );
-
-      // RETURNS THE OPTIMAL ARROW FUNCTION
-      const functions = {
-        objects:
-          config.generator.objects?.()(collection) ??
-          write_object_functions({
-            config,
-            importer,
-            collection,
-          }),
-        unions: (config.generator.unions?.() ?? write_union_functions(config))(
+  export const write = (props: {
+    context: ITypiaContext;
+    config: IConfig;
+    importer: FunctionImporter;
+    type: ts.Type;
+    name?: string | undefined;
+  }): ts.ArrowFunction => {
+    // ITERATE OVER ALL METADATA
+    const [collection, metadata] = props.config.initializer(props);
+    const output: ts.ConciseBody = props.config.decoder({
+      metadata,
+      input: ValueFactory.INPUT(),
+      explore: {
+        tracable: props.config.path || props.config.trace,
+        source: "top",
+        from: "top",
+        postfix: '""',
+      },
+    });
+
+    // RETURNS THE OPTIMAL ARROW FUNCTION
+    const functions = {
+      objects:
+        props.config.generator.objects?.(collection) ??
+        write_object_functions({
+          config: props.config,
+          importer: props.importer,
           collection,
-        ),
-        arrays: config.generator.arrays()(collection),
-        tuples: config.generator.tuples()(collection),
-      };
-      const added: ts.Statement[] = (config.addition ?? (() => []))(collection);
-
-      return ts.factory.createArrowFunction(
-        undefined,
-        undefined,
-        parameterDeclarations(config)(config.types.input(type, name))(
-          ValueFactory.INPUT(),
-        ),
-        config.types.output(type, name),
-        undefined,
-        ts.factory.createBlock(
-          [
-            ...added,
-            ...functions.objects.filter((_, i) =>
-              importer.hasLocal(`${config.prefix}o${i}`),
-            ),
-            ...functions.unions.filter((_, i) =>
-              importer.hasLocal(`${config.prefix}u${i}`),
-            ),
-            ...functions.arrays.filter((_, i) =>
-              importer.hasLocal(`${config.prefix}a${i}`),
-            ),
-            ...functions.tuples.filter((_, i) =>
-              importer.hasLocal(`${config.prefix}t${i}`),
-            ),
-            ...(ts.isBlock(output)
-              ? output.statements
-              : [ts.factory.createReturnStatement(output)]),
-          ],
-          true,
-        ),
-      );
+        }),
+      unions:
+        props.config.generator.unions?.(collection) ??
+        write_union_functions({
+          config: props.config,
+          collection,
+        }),
+      arrays: props.config.generator.arrays(collection),
+      tuples: props.config.generator.tuples(collection),
     };
+    const added: ts.Statement[] = (props.config.addition ?? (() => []))(
+      collection,
+    );
+
+    return ts.factory.createArrowFunction(
+      undefined,
+      undefined,
+      parameterDeclarations({
+        config: props.config,
+        type: props.config.types.input(props.type, props.name),
+        input: ValueFactory.INPUT(),
+      }),
+      props.config.types.output(props.type, props.name),
+      undefined,
+      ts.factory.createBlock(
+        [
+          ...added,
+          ...functions.objects.filter((_, i) =>
+            props.importer.hasLocal(`${props.config.prefix}o${i}`),
+          ),
+          ...functions.unions.filter((_, i) =>
+            props.importer.hasLocal(`${props.config.prefix}u${i}`),
+          ),
+          ...functions.arrays.filter((_, i) =>
+            props.importer.hasLocal(`${props.config.prefix}a${i}`),
+          ),
+          ...functions.tuples.filter((_, i) =>
+            props.importer.hasLocal(`${props.config.prefix}t${i}`),
+          ),
+          ...(ts.isBlock(output)
+            ? output.statements
+            : [ts.factory.createReturnStatement(output)]),
+        ],
+        true,
+      ),
+    );
+  };
 
   export const write_object_functions = (props: {
     config: IConfig;
@@ -369,188 +402,215 @@ export namespace FeatureProgrammer {
         ts.factory.createArrowFunction(
           undefined,
           undefined,
-          parameterDeclarations(props.config)(TypeFactory.keyword("any"))(
-            ValueFactory.INPUT(),
-          ),
+          parameterDeclarations({
+            config: props.config,
+            type: TypeFactory.keyword("any"),
+            input: ValueFactory.INPUT(),
+          }),
           props.config.objector.type ?? TypeFactory.keyword("any"),
           undefined,
           props.config.objector.joiner({
             input: ts.factory.createIdentifier("input"),
-            entries: feature_object_entries(props.config)(props.importer)(
+            entries: feature_object_entries({
+              config: props.config,
+              importer: props.importer,
+              input: ts.factory.createIdentifier("input"),
               object,
-            )(ts.factory.createIdentifier("input")),
+            }),
             object,
           }),
         ),
       ),
     );
 
-  export const write_union_functions =
-    (config: IConfig) => (collection: MetadataCollection) =>
-      collection
-        .unions()
-        .map((union, i) =>
-          StatementFactory.constant(
-            `${config.prefix}u${i}`,
-            write_union(config)(union),
-          ),
-        );
-
-  const write_union = (config: IConfig) => {
-    const explorer = UnionExplorer.object(config);
-    const input = ValueFactory.INPUT();
+  export const write_union_functions = (props: {
+    config: IConfig;
+    collection: MetadataCollection;
+  }) =>
+    props.collection.unions().map((union, i) =>
+      StatementFactory.constant(
+        `${props.config.prefix}u${i}`,
+        write_union({
+          config: props.config,
+          objects: union,
+        }),
+      ),
+    );
 
-    return (meta: MetadataObject[]) =>
-      ts.factory.createArrowFunction(
-        undefined,
-        undefined,
-        parameterDeclarations(config)(TypeFactory.keyword("any"))(
-          ValueFactory.INPUT(),
-        ),
-        TypeFactory.keyword("any"),
-        undefined,
-        explorer(input, meta, {
-          tracable: config.path || config.trace,
+  const write_union = (props: { config: IConfig; objects: MetadataObject[] }) =>
+    ts.factory.createArrowFunction(
+      undefined,
+      undefined,
+      parameterDeclarations({
+        config: props.config,
+        type: TypeFactory.keyword("any"),
+        input: ValueFactory.INPUT(),
+      }),
+      TypeFactory.keyword("any"),
+      undefined,
+      UnionExplorer.object({
+        config: props.config,
+        objects: props.objects,
+        input: ValueFactory.INPUT(),
+        explore: {
+          tracable: props.config.path || props.config.trace,
           source: "function",
           from: "object",
           postfix: "",
-        }),
-      );
-  };
+        },
+      }),
+    );
 
   /* -----------------------------------------------------------
         DECODERS
     ----------------------------------------------------------- */
-  export const decode_array =
-    (config: Pick<IConfig, "trace" | "path" | "decoder" | "prefix">) =>
-    (importer: FunctionImporter) =>
-    (
-      combiner: (props: {
-        input: ts.Expression;
-        arrow: ts.ArrowFunction;
-      }) => ts.Expression,
-    ) => {
-      const rand: string = importer.increment().toString();
-      const tail =
-        config.path || config.trace
-          ? [
-              IdentifierFactory.parameter(
-                "_index" + rand,
-                TypeFactory.keyword("number"),
-              ),
-            ]
-          : [];
-      return (
-        input: ts.Expression,
-        array: MetadataArray,
-        explore: IExplore,
-      ) => {
-        const arrow: ts.ArrowFunction = ts.factory.createArrowFunction(
-          undefined,
-          undefined,
-          [
-            IdentifierFactory.parameter("elem", TypeFactory.keyword("any")),
-            ...tail,
-          ],
-          undefined,
-          undefined,
-          config.decoder()(ValueFactory.INPUT("elem"), array.type.value, {
-            tracable: explore.tracable,
-            source: explore.source,
-            from: "array",
-            postfix: index(explore.start ?? null)(explore.postfix)(rand),
+  export const decode_array = (props: {
+    config: Pick<IConfig, "trace" | "path" | "decoder" | "prefix">;
+    importer: FunctionImporter;
+    combiner: (next: {
+      input: ts.Expression;
+      arrow: ts.ArrowFunction;
+    }) => ts.Expression;
+    array: MetadataArray;
+    input: ts.Expression;
+    explore: IExplore;
+  }) => {
+    const rand: string = props.importer.increment().toString();
+    const tail =
+      props.config.path || props.config.trace
+        ? [
+            IdentifierFactory.parameter(
+              "_index" + rand,
+              TypeFactory.keyword("number"),
+            ),
+          ]
+        : [];
+    const arrow: ts.ArrowFunction = ts.factory.createArrowFunction(
+      undefined,
+      undefined,
+      [
+        IdentifierFactory.parameter("elem", TypeFactory.keyword("any")),
+        ...tail,
+      ],
+      undefined,
+      undefined,
+      props.config.decoder({
+        input: ValueFactory.INPUT("elem"),
+        metadata: props.array.type.value,
+        explore: {
+          tracable: props.explore.tracable,
+          source: props.explore.source,
+          from: "array",
+          postfix: index({
+            start: props.explore.start ?? null,
+            postfix: props.explore.postfix,
+            rand,
           }),
-        );
-        return combiner({
-          input,
-          arrow,
-        });
-      };
-    };
+        },
+      }),
+    );
+    return props.combiner({
+      input: props.input,
+      arrow,
+    });
+  };
 
-  export const decode_object =
-    (config: Pick<IConfig, "trace" | "path" | "prefix">) =>
-    (importer: FunctionImporter) =>
-    (input: ts.Expression, obj: MetadataObject, explore: IExplore) =>
-      ts.factory.createCallExpression(
-        ts.factory.createIdentifier(
-          importer.useLocal(`${config.prefix}o${obj.index}`),
-        ),
-        undefined,
-        argumentsArray(config)(explore)(input),
-      );
+  export const decode_object = (props: {
+    config: Pick<IConfig, "trace" | "path" | "prefix">;
+    importer: FunctionImporter;
+    object: MetadataObject;
+    input: ts.Expression;
+    explore: IExplore;
+  }) =>
+    ts.factory.createCallExpression(
+      ts.factory.createIdentifier(
+        props.importer.useLocal(`${props.config.prefix}o${props.object.index}`),
+      ),
+      undefined,
+      argumentsArray(props),
+    );
 
   /* -----------------------------------------------------------
         UTILITIES FOR INTERNAL FUNCTIONS
     ----------------------------------------------------------- */
-  export const index =
-    (start: number | null) => (prev: string) => (rand: string) => {
-      const tail: string =
-        start !== null
-          ? `"[" + (${start} + _index${rand}) + "]"`
-          : `"[" + _index${rand} + "]"`;
-      if (prev === "") return tail;
-      else if (prev[prev.length - 1] === `"`)
-        return prev.substring(0, prev.length - 1) + tail.substring(1);
-      return prev + ` + ${tail}`;
-    };
+  export const index = (props: {
+    start: number | null;
+    postfix: string;
+    rand: string;
+  }) => {
+    const tail: string =
+      props.start !== null
+        ? `"[" + (${props.start} + _index${props.rand}) + "]"`
+        : `"[" + _index${props.rand} + "]"`;
+    if (props.postfix === "") return tail;
+    else if (props.postfix[props.postfix.length - 1] === `"`)
+      return (
+        props.postfix.substring(0, props.postfix.length - 1) + tail.substring(1)
+      );
+    return props.postfix + ` + ${tail}`;
+  };
 
-  export const argumentsArray =
-    (config: Pick<IConfig, "path" | "trace">) =>
-    (explore: FeatureProgrammer.IExplore) => {
-      const tail: ts.Expression[] =
-        config.path === false && config.trace === false
-          ? []
-          : config.path === true && config.trace === true
+  export const argumentsArray = (props: {
+    config: Pick<IConfig, "path" | "trace">;
+    input: ts.Expression;
+    explore: FeatureProgrammer.IExplore;
+  }) => {
+    const tail: ts.Expression[] =
+      props.config.path === false && props.config.trace === false
+        ? []
+        : props.config.path === true && props.config.trace === true
+          ? [
+              ts.factory.createIdentifier(
+                props.explore.postfix
+                  ? `_path + ${props.explore.postfix}`
+                  : "_path",
+              ),
+              props.explore.source === "function"
+                ? ts.factory.createIdentifier(
+                    `${props.explore.tracable} && _exceptionable`,
+                  )
+                : props.explore.tracable
+                  ? ts.factory.createTrue()
+                  : ts.factory.createFalse(),
+            ]
+          : props.config.path === true
             ? [
                 ts.factory.createIdentifier(
-                  explore.postfix ? `_path + ${explore.postfix}` : "_path",
+                  props.explore.postfix
+                    ? `_path + ${props.explore.postfix}`
+                    : "_path",
                 ),
-                explore.source === "function"
+              ]
+            : [
+                props.explore.source === "function"
                   ? ts.factory.createIdentifier(
-                      `${explore.tracable} && _exceptionable`,
+                      `${props.explore.tracable} && _exceptionable`,
                     )
-                  : explore.tracable
+                  : props.explore.tracable
                     ? ts.factory.createTrue()
                     : ts.factory.createFalse(),
-              ]
-            : config.path === true
-              ? [
-                  ts.factory.createIdentifier(
-                    explore.postfix ? `_path + ${explore.postfix}` : "_path",
-                  ),
-                ]
-              : [
-                  explore.source === "function"
-                    ? ts.factory.createIdentifier(
-                        `${explore.tracable} && _exceptionable`,
-                      )
-                    : explore.tracable
-                      ? ts.factory.createTrue()
-                      : ts.factory.createFalse(),
-                ];
-      return (input: ts.Expression) => [input, ...tail];
-    };
+              ];
+    return [props.input, ...tail];
+  };
 
-  export const parameterDeclarations =
-    (props: Pick<CheckerProgrammer.IConfig, "path" | "trace">) =>
-    (type: ts.TypeNode) => {
-      const tail: ts.ParameterDeclaration[] = [];
-      if (props.path)
-        tail.push(
-          IdentifierFactory.parameter("_path", TypeFactory.keyword("string")),
-        );
-      if (props.trace)
-        tail.push(
-          IdentifierFactory.parameter(
-            "_exceptionable",
-            TypeFactory.keyword("boolean"),
-            ts.factory.createTrue(),
-          ),
-        );
-      return (input: ts.Identifier): ts.ParameterDeclaration[] => [
-        IdentifierFactory.parameter(input, type),
-        ...tail,
-      ];
-    };
+  export const parameterDeclarations = (props: {
+    config: Pick<CheckerProgrammer.IConfig, "path" | "trace">;
+    type: ts.TypeNode;
+    input: ts.Identifier;
+  }) => {
+    const tail: ts.ParameterDeclaration[] = [];
+    if (props.config.path)
+      tail.push(
+        IdentifierFactory.parameter("_path", TypeFactory.keyword("string")),
+      );
+    if (props.config.trace)
+      tail.push(
+        IdentifierFactory.parameter(
+          "_exceptionable",
+          TypeFactory.keyword("boolean"),
+          ts.factory.createTrue(),
+        ),
+      );
+    return [IdentifierFactory.parameter(props.input, props.type), ...tail];
+  };
 }