typia 6.10.0 → 7.0.0-dev.20240916

package/lib/transformers/internal/GenericTransformer.js

@@ -24,76 +24,71 @@ var typescript_1 = __importDefault(require("typescript"));
 var TransformerError_1 = require("../TransformerError");
 var GenericTransformer;
 (function (GenericTransformer) {
-    GenericTransformer.scalar = function (method) {
-        return function (programmer) {
-            return function (project) {
-                return function (modulo) {
-                    return function (expression) {
-                        // CHECK PARAMETER
-                        if (expression.arguments.length === 0)
-                            throw new TransformerError_1.TransformerError({
-                                code: "typia.".concat(method),
-                                message: "no input value.",
-                            });
-                        // GET TYPE INFO
-                        var _a = __read(expression.typeArguments && expression.typeArguments[0]
-                            ? [
-                                project.checker.getTypeFromTypeNode(expression.typeArguments[0]),
-                                expression.typeArguments[0],
-                                true,
-                            ]
-                            : [
-                                project.checker.getTypeAtLocation(expression.arguments[0]),
-                                expression.arguments[0],
-                                false,
-                            ], 3), type = _a[0], node = _a[1], generic = _a[2];
-                        if (type.isTypeParameter())
-                            throw new TransformerError_1.TransformerError({
-                                code: "typia.".concat(method),
-                                message: "non-specified generic argument.",
-                            });
-                        // DO TRANSFORM
-                        return typescript_1.default.factory.createCallExpression(programmer(project)(modulo)(type, generic
-                            ? node.getFullText().trim()
-                            : name(project.checker)(type)(node)), undefined, expression.arguments);
-                    };
-                };
-            };
-        };
+    GenericTransformer.scalar = function (props) {
+        // CHECK PARAMETER
+        if (props.expression.arguments.length === 0)
+            throw new TransformerError_1.TransformerError({
+                code: "typia.".concat(props.method),
+                message: "no input value.",
+            });
+        // GET TYPE INFO
+        var _a = __read(props.expression.typeArguments && props.expression.typeArguments[0]
+            ? [
+                props.context.checker.getTypeFromTypeNode(props.expression.typeArguments[0]),
+                props.expression.typeArguments[0],
+                true,
+            ]
+            : [
+                props.context.checker.getTypeAtLocation(props.expression.arguments[0]),
+                props.expression.arguments[0],
+                false,
+            ], 3), type = _a[0], node = _a[1], generic = _a[2];
+        if (type.isTypeParameter())
+            throw new TransformerError_1.TransformerError({
+                code: "typia.".concat(props.method),
+                message: "non-specified generic argument.",
+            });
+        // DO TRANSFORM
+        return typescript_1.default.factory.createCallExpression(props.write({
+            context: props.context,
+            modulo: props.modulo,
+            type: type,
+            name: generic
+                ? node.getFullText().trim()
+                : getTypeName({
+                    checker: props.context.checker,
+                    type: type,
+                    node: node,
+                }),
+        }), undefined, props.expression.arguments);
     };
-    GenericTransformer.factory = function (method) {
-        return function (programmer) {
-            return function (project) {
-                return function (modulo) {
-                    return function (expression) {
-                        var _a;
-                        // CHECK GENERIC ARGUMENT EXISTENCE
-                        if (!((_a = expression.typeArguments) === null || _a === void 0 ? void 0 : _a[0]))
-                            throw new TransformerError_1.TransformerError({
-                                code: "typia.".concat(method),
-                                message: "generic argument is not specified.",
-                            });
-                        // GET TYPE INFO
-                        var node = expression.typeArguments[0];
-                        var type = project.checker.getTypeFromTypeNode(node);
-                        if (type.isTypeParameter())
-                            throw new TransformerError_1.TransformerError({
-                                code: "typia.".concat(method),
-                                message: "non-specified generic argument.",
-                            });
-                        // DO TRANSFORM
-                        return programmer(project)(modulo)(type, node.getFullText().trim(), expression.arguments[0]);
-                    };
-                };
-            };
-        };
+    GenericTransformer.factory = function (props) {
+        var _a;
+        // CHECK GENERIC ARGUMENT EXISTENCE
+        if (!((_a = props.expression.typeArguments) === null || _a === void 0 ? void 0 : _a[0]))
+            throw new TransformerError_1.TransformerError({
+                code: "typia.".concat(props.method),
+                message: "generic argument is not specified.",
+            });
+        // GET TYPE INFO
+        var node = props.expression.typeArguments[0];
+        var type = props.context.checker.getTypeFromTypeNode(node);
+        if (type.isTypeParameter())
+            throw new TransformerError_1.TransformerError({
+                code: "typia.".concat(props.method),
+                message: "non-specified generic argument.",
+            });
+        // DO TRANSFORM
+        return props.write({
+            context: props.context,
+            modulo: props.modulo,
+            type: type,
+            name: node.getFullText().trim(),
+            init: props.expression.arguments[0],
+        });
     };
-    var name = function (checker) {
-        return function (type) {
-            return function (node) {
-                return checker.typeToString(type, node, typescript_1.default.TypeFormatFlags.NodeBuilderFlagsMask);
-            };
-        };
+    var getTypeName = function (props) {
+        return props.checker.typeToString(props.type, props.node, typescript_1.default.TypeFormatFlags.NodeBuilderFlagsMask);
     };
 })(GenericTransformer || (exports.GenericTransformer = GenericTransformer = {}));
 //# sourceMappingURL=GenericTransformer.js.map

package/lib/transformers/internal/GenericTransformer.js.map

@@ -1 +1 @@
-{"version":3,"file":"GenericTransformer.js","sourceRoot":"","sources":["../../../src/transformers/internal/GenericTransformer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAG5B,wDAAuD;AAEvD,IAAiB,kBAAkB,CAkGlC;AAlGD,WAAiB,kBAAkB;IACpB,yBAAM,GACjB,UAAC,MAAc;QACf,OAAA,UACE,UAIsE;YAExE,OAAA,UAAC,OAAiB;gBAClB,OAAA,UAAC,MAAiC;oBAClC,OAAA,UAAC,UAA6B;wBAC5B,kBAAkB;wBAClB,IAAI,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;4BACnC,MAAM,IAAI,mCAAgB,CAAC;gCACzB,IAAI,EAAE,gBAAS,MAAM,CAAE;gCACvB,OAAO,EAAE,iBAAiB;6BAC3B,CAAC,CAAC;wBAEL,gBAAgB;wBACV,IAAA,KAAA,OACJ,UAAU,CAAC,aAAa,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;4BACrD,CAAC,CAAC;gCACE,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gCAChE,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;gCAC3B,IAAI;6BACL;4BACH,CAAC,CAAC;gCACE,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;gCAC3D,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE;gCACxB,KAAK;6BACN,IAAA,EAXA,IAAI,QAAA,EAAE,IAAI,QAAA,EAAE,OAAO,QAWnB,CAAC;wBACR,IAAI,IAAI,CAAC,eAAe,EAAE;4BACxB,MAAM,IAAI,mCAAgB,CAAC;gCACzB,IAAI,EAAE,gBAAS,MAAM,CAAE;gCACvB,OAAO,EAAE,iCAAiC;6BAC3C,CAAC,CAAC;wBAEL,eAAe;wBACf,OAAO,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CACpC,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CACzB,IAAI,EACJ,OAAO;4BACL,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;4BAC3B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CACtC,EACD,SAAS,EACT,UAAU,CAAC,SAAS,CACrB,CAAC;oBACJ,CAAC;gBAtCD,CAsCC;YAvCD,CAuCC;QAxCD,CAwCC;IA/CD,CA+CC,CAAC;IAES,0BAAO,GAClB,UAAC,MAAc;QACf,OAAA,UACE,UAQqC;YAEvC,OAAA,UAAC,OAAiB;gBAClB,OAAA,UAAC,MAAiC;oBAClC,OAAA,UAAC,UAA6B;;wBAC5B,mCAAmC;wBACnC,IAAI,CAAC,CAAA,MAAA,UAAU,CAAC,aAAa,0CAAG,CAAC,CAAC,CAAA;4BAChC,MAAM,IAAI,mCAAgB,CAAC;gCACzB,IAAI,EAAE,gBAAS,MAAM,CAAE;gCACvB,OAAO,EAAE,oCAAoC;6BAC9C,CAAC,CAAC;wBAEL,gBAAgB;wBAChB,IAAM,IAAI,GAAgB,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;wBACtD,IAAM,IAAI,GAAY,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;wBAEhE,IAAI,IAAI,CAAC,eAAe,EAAE;4BACxB,MAAM,IAAI,mCAAgB,CAAC;gCACzB,IAAI,EAAE,gBAAS,MAAM,CAAE;gCACvB,OAAO,EAAE,iCAAiC;6BAC3C,CAAC,CAAC;wBAEL,eAAe;wBACf,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAChC,IAAI,EACJ,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,EACzB,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CACxB,CAAC;oBACJ,CAAC;gBAxBD,CAwBC;YAzBD,CAyBC;QA1BD,CA0BC;IArCD,CAqCC,CAAC;IAEJ,IAAM,IAAI,GACR,UAAC,OAAuB;QACxB,OAAA,UAAC,IAAa;YACd,OAAA,UAAC,IAAa;gBACZ,OAAA,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,oBAAE,CAAC,eAAe,CAAC,oBAAoB,CAAC;YAAzE,CAAyE;QAD3E,CAC2E;IAF3E,CAE2E,CAAC;AAChF,CAAC,EAlGgB,kBAAkB,kCAAlB,kBAAkB,QAkGlC"}
+{"version":3,"file":"GenericTransformer.js","sourceRoot":"","sources":["../../../src/transformers/internal/GenericTransformer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4B;AAI5B,wDAAuD;AAEvD,IAAiB,kBAAkB,CA8FlC;AA9FD,WAAiB,kBAAkB;IAMpB,yBAAM,GAAG,UAAC,KAAa;QAClC,kBAAkB;QAClB,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YACzC,MAAM,IAAI,mCAAgB,CAAC;gBACzB,IAAI,EAAE,gBAAS,KAAK,CAAC,MAAM,CAAE;gBAC7B,OAAO,EAAE,iBAAiB;aAC3B,CAAC,CAAC;QAEL,gBAAgB;QACV,IAAA,KAAA,OACJ,KAAK,CAAC,UAAU,CAAC,aAAa,IAAI,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;YACjE,CAAC,CAAC;gBACE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CACvC,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAClC;gBACD,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;gBACjC,IAAI;aACL;YACH,CAAC,CAAC;gBACE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CACrC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE,CAC/B;gBACD,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAE;gBAC9B,KAAK;aACN,IAAA,EAfA,IAAI,QAAA,EAAE,IAAI,QAAA,EAAE,OAAO,QAenB,CAAC;QACR,IAAI,IAAI,CAAC,eAAe,EAAE;YACxB,MAAM,IAAI,mCAAgB,CAAC;gBACzB,IAAI,EAAE,gBAAS,KAAK,CAAC,MAAM,CAAE;gBAC7B,OAAO,EAAE,iCAAiC;aAC3C,CAAC,CAAC;QAEL,eAAe;QACf,OAAO,oBAAE,CAAC,OAAO,CAAC,oBAAoB,CACpC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI,MAAA;YACJ,IAAI,EAAE,OAAO;gBACX,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;gBAC3B,CAAC,CAAC,WAAW,CAAC;oBACV,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;oBAC9B,IAAI,MAAA;oBACJ,IAAI,MAAA;iBACL,CAAC;SACP,CAAC,EACF,SAAS,EACT,KAAK,CAAC,UAAU,CAAC,SAAS,CAC3B,CAAC;IACJ,CAAC,CAAC;IAEW,0BAAO,GAAG,UAAC,KAAa;;QACnC,mCAAmC;QACnC,IAAI,CAAC,CAAA,MAAA,KAAK,CAAC,UAAU,CAAC,aAAa,0CAAG,CAAC,CAAC,CAAA;YACtC,MAAM,IAAI,mCAAgB,CAAC;gBACzB,IAAI,EAAE,gBAAS,KAAK,CAAC,MAAM,CAAE;gBAC7B,OAAO,EAAE,oCAAoC;aAC9C,CAAC,CAAC;QAEL,gBAAgB;QAChB,IAAM,IAAI,GAAgB,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAM,IAAI,GAAY,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAEtE,IAAI,IAAI,CAAC,eAAe,EAAE;YACxB,MAAM,IAAI,mCAAgB,CAAC;gBACzB,IAAI,EAAE,gBAAS,KAAK,CAAC,MAAM,CAAE;gBAC7B,OAAO,EAAE,iCAAiC;aAC3C,CAAC,CAAC;QAEL,eAAe;QACf,OAAO,KAAK,CAAC,KAAK,CAAC;YACjB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,IAAI,MAAA;YACJ,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE;YAC/B,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;SACpC,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,IAAM,WAAW,GAAG,UAAC,KAIpB;QACC,OAAA,KAAK,CAAC,OAAO,CAAC,YAAY,CACxB,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,IAAI,EACV,oBAAE,CAAC,eAAe,CAAC,oBAAoB,CACxC;IAJD,CAIC,CAAC;AACN,CAAC,EA9FgB,kBAAkB,kCAAlB,kBAAkB,QA8FlC"}

package/package.json

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

package/src/executable/TypiaSetupWizard.ts

@@ -1,4 +1,5 @@
 import fs from "fs";
+import path from "path";
 import { DetectResult, detect } from "package-manager-detector";
 
 import { ArgumentParser } from "./setup/ArgumentParser";
@@ -6,6 +7,8 @@ import { CommandExecutor } from "./setup/CommandExecutor";
 import { PackageManager } from "./setup/PackageManager";
 import { PluginConfigurator } from "./setup/PluginConfigurator";
 
+const pkg = JSON.parse(fs.readFileSync(path.join(__dirname, "../../package.json"), "utf-8"));
+
 export namespace TypiaSetupWizard {
   export interface IArguments {
     manager: "npm" | "pnpm" | "yarn" | "bun";
@@ -22,7 +25,7 @@ export namespace TypiaSetupWizard {
     const args: IArguments = await ArgumentParser.parse(pack)(inquiry);
 
     // INSTALL TYPESCRIPT COMPILERS
-    pack.install({ dev: true, modulo: "typescript", version: "^5.6.2" });
+    pack.install({ dev: true, modulo: "typescript", version: pkg.devDependencies.typescript as string });
     pack.install({ dev: true, modulo: "ts-patch", version: "latest" });
     args.project ??= (() => {
       const runner: string = pack.manager === "npm" ? "npx" : pack.manager;

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

@@ -46,7 +46,10 @@ export const iterate_metadata_function =
         );
       else {
         const { async }: FunctionalGeneralProgrammer.IOutput =
-          FunctionalGeneralProgrammer.getReturnType(checker)(declaration);
+          FunctionalGeneralProgrammer.getReturnType({
+            checker,
+            declaration,
+          });
         metadata.functions.push(
           MetadataFunction.create({
             parameters: signature.parameters.map((p) =>

package/src/programmers/AssertProgrammer.ts

@@ -4,7 +4,8 @@ import { IdentifierFactory } from "../factories/IdentifierFactory";
 import { StatementFactory } from "../factories/StatementFactory";
 import { TypeFactory } from "../factories/TypeFactory";
 
-import { IProject } from "../transformers/IProject";
+import { IProgrammerProps } from "../transformers/IProgrammerProps";
+import { ITypiaContext } from "../transformers/ITypiaContext";
 
 import { CheckerProgrammer } from "./CheckerProgrammer";
 import { FeatureProgrammer } from "./FeatureProgrammer";
@@ -14,24 +15,36 @@ import { OptionPredicator } from "./helpers/OptionPredicator";
 import { check_object } from "./internal/check_object";
 
 export namespace AssertProgrammer {
-  export const decompose = (props: {
-    project: IProject;
+  export interface IConfig {
     equals: boolean;
     guard: boolean;
+  }
+  export interface IProps extends IProgrammerProps {
+    config: IConfig;
+  }
+
+  export const decompose = (props: {
+    context: ITypiaContext;
+    config: IConfig;
     importer: FunctionImporter;
     type: ts.Type;
     name: string | undefined;
-    init: ts.Expression | undefined;
+    init?: ts.Expression | undefined;
   }): FeatureProgrammer.IDecomposed => {
-    const is: FeatureProgrammer.IDecomposed = IsProgrammer.decompose(props);
+    const is: FeatureProgrammer.IDecomposed = IsProgrammer.decompose({
+      ...props,
+      config: {
+        equals: props.config.equals,
+      },
+    });
     const composed: FeatureProgrammer.IComposed = CheckerProgrammer.compose({
       ...props,
       config: {
         prefix: "$a",
         path: true,
         trace: true,
-        numeric: OptionPredicator.numeric(props.project.options),
-        equals: props.equals,
+        numeric: OptionPredicator.numeric(props.context.options),
+        equals: props.config.equals,
         atomist: (explore) => (entry) => (input) =>
           [
             ...(entry.expression ? [entry.expression] : []),
@@ -83,8 +96,8 @@ export namespace AssertProgrammer {
                     ),
                   ]),
           ].reduce((x, y) => ts.factory.createLogicalAnd(x, y)),
-        combiner: combiner(props.equals)(props.project)(props.importer),
-        joiner: joiner(props.equals)(props.project)(props.importer),
+        combiner: combiner(props.config.equals)(props.context)(props.importer),
+        joiner: joiner(props.config.equals)(props.context)(props.importer),
         success: ts.factory.createTrue(),
       },
     });
@@ -95,18 +108,18 @@ export namespace AssertProgrammer {
         IdentifierFactory.parameter("input", TypeFactory.keyword("any")),
         Guardian.parameter(props.init),
       ],
-      props.guard
+      props.config.guard
         ? ts.factory.createTypePredicateNode(
             ts.factory.createToken(ts.SyntaxKind.AssertsKeyword),
             ts.factory.createIdentifier("input"),
             ts.factory.createTypeReferenceNode(
               props.name ??
-                TypeFactory.getFullName(props.project.checker)(props.type),
+                TypeFactory.getFullName(props.context.checker)(props.type),
             ),
           )
         : ts.factory.createTypeReferenceNode(
             props.name ??
-              TypeFactory.getFullName(props.project.checker)(props.type),
+              TypeFactory.getFullName(props.context.checker)(props.type),
           ),
       undefined,
       ts.factory.createBlock(
@@ -152,7 +165,7 @@ export namespace AssertProgrammer {
             ),
             undefined,
           ),
-          ...(props.guard === false
+          ...(props.config.guard === false
             ? [
                 ts.factory.createReturnStatement(
                   ts.factory.createIdentifier(`input`),
@@ -179,31 +192,24 @@ export namespace AssertProgrammer {
     };
   };
 
-  export const write =
-    (project: IProject) =>
-    (modulo: ts.LeftHandSideExpression) =>
-    (props: boolean | { equals: boolean; guard: boolean }) =>
-    (type: ts.Type, name?: string, init?: ts.Expression): ts.CallExpression => {
-      if (typeof props === "boolean") props = { equals: props, guard: false };
-      const importer: FunctionImporter = new FunctionImporter(modulo.getText());
-      const result: FeatureProgrammer.IDecomposed = decompose({
-        ...props,
-        project,
-        importer,
-        type,
-        name,
-        init,
-      });
-      return FeatureProgrammer.writeDecomposed({
-        modulo,
-        importer,
-        result,
-      });
-    };
+  export const write = (props: IProps): ts.CallExpression => {
+    const importer: FunctionImporter = new FunctionImporter(
+      props.modulo.getText(),
+    );
+    const result: FeatureProgrammer.IDecomposed = decompose({
+      ...props,
+      importer,
+    });
+    return FeatureProgrammer.writeDecomposed({
+      modulo: props.modulo,
+      importer,
+      result,
+    });
+  };
 
   const combiner =
     (equals: boolean) =>
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (importer: FunctionImporter): CheckerProgrammer.IConfig.Combiner =>
     (explore: CheckerProgrammer.IExplore) => {
       if (explore.tracable === false)
@@ -268,7 +274,9 @@ export namespace AssertProgrammer {
     };
 
   const assert_object =
-    (equals: boolean) => (project: IProject) => (importer: FunctionImporter) =>
+    (equals: boolean) =>
+    (project: ITypiaContext) =>
+    (importer: FunctionImporter) =>
       check_object({
         equals,
         assert: true,
@@ -298,7 +306,7 @@ export namespace AssertProgrammer {
 
   const joiner =
     (equals: boolean) =>
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (importer: FunctionImporter): CheckerProgrammer.IConfig.IJoiner => ({
       object: assert_object(equals)(project)(importer),
       array: (input, arrow) =>

package/src/programmers/CheckerProgrammer.ts

@@ -15,7 +15,7 @@ import { MetadataObject } from "../schemas/metadata/MetadataObject";
 import { MetadataTuple } from "../schemas/metadata/MetadataTuple";
 import { MetadataTupleType } from "../schemas/metadata/MetadataTupleType";
 
-import { IProject } from "../transformers/IProject";
+import { ITypiaContext } from "../transformers/ITypiaContext";
 import { TransformerError } from "../transformers/TransformerError";
 
 import { FeatureProgrammer } from "./FeatureProgrammer";
@@ -98,7 +98,7 @@ export namespace CheckerProgrammer {
         WRITERS
     ----------------------------------------------------------- */
   export const compose = (props: {
-    project: IProject;
+    context: ITypiaContext;
     config: IConfig;
     importer: FunctionImporter;
     type: ts.Type;
@@ -106,29 +106,35 @@ export namespace CheckerProgrammer {
   }) =>
     FeatureProgrammer.compose({
       ...props,
-      config: configure(props.project)(props.config)(props.importer),
+      config: configure(props.context)(props.config)(props.importer),
     });
 
   export const write =
-    (project: IProject) => (config: IConfig) => (importer: FunctionImporter) =>
+    (project: ITypiaContext) =>
+    (config: IConfig) =>
+    (importer: FunctionImporter) =>
       FeatureProgrammer.write(project)(configure(project)(config)(importer))(
         importer,
       );
 
   export const write_object_functions =
-    (project: IProject) => (config: IConfig) => (importer: FunctionImporter) =>
+    (project: ITypiaContext) =>
+    (config: IConfig) =>
+    (importer: FunctionImporter) =>
       FeatureProgrammer.write_object_functions(
         configure(project)(config)(importer),
       )(importer);
 
   export const write_union_functions =
-    (project: IProject) => (config: IConfig) => (importer: FunctionImporter) =>
+    (project: ITypiaContext) =>
+    (config: IConfig) =>
+    (importer: FunctionImporter) =>
       FeatureProgrammer.write_union_functions(
         configure(project)({ ...config, numeric: false })(importer),
       );
 
   export const write_array_functions =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (collection: MetadataCollection): ts.VariableStatement[] =>
@@ -164,7 +170,7 @@ export namespace CheckerProgrammer {
         );
 
   export const write_tuple_functions =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (collection: MetadataCollection): ts.VariableStatement[] =>
@@ -197,7 +203,7 @@ export namespace CheckerProgrammer {
         );
 
   const configure =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter): FeatureProgrammer.IConfig => ({
       types: {
@@ -218,7 +224,7 @@ export namespace CheckerProgrammer {
         const collection: MetadataCollection = new MetadataCollection();
         const result = MetadataFactory.analyze(
           project.checker,
-          project.context,
+          project.transformer,
         )({
           escape: false,
           constant: true,
@@ -289,7 +295,7 @@ export namespace CheckerProgrammer {
    * @internal
    */
   export const decode =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (
@@ -669,7 +675,7 @@ export namespace CheckerProgrammer {
     };
 
   const decode_array =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (input: ts.Expression, array: MetadataArray, explore: IExplore) => {
@@ -702,7 +708,7 @@ export namespace CheckerProgrammer {
     };
 
   const decode_array_inline =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (
@@ -726,7 +732,7 @@ export namespace CheckerProgrammer {
     };
 
   const decode_tuple =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (
@@ -761,7 +767,7 @@ export namespace CheckerProgrammer {
     };
 
   const decode_tuple_inline =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (
@@ -862,7 +868,7 @@ export namespace CheckerProgrammer {
     };
 
   const decode_escaped =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (input: ts.Expression, meta: Metadata, explore: IExplore): ts.Expression =>
@@ -895,7 +901,7 @@ export namespace CheckerProgrammer {
         UNION TYPE EXPLORERS
     ----------------------------------------------------------- */
   const explore_sets =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (
@@ -919,7 +925,7 @@ export namespace CheckerProgrammer {
       );
 
   const explore_maps =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (
@@ -963,7 +969,7 @@ export namespace CheckerProgrammer {
       );
 
   const explore_tuples =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (
@@ -985,7 +991,7 @@ export namespace CheckerProgrammer {
       )(input, tuples, explore);
 
   const explore_arrays =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (
@@ -1007,7 +1013,7 @@ export namespace CheckerProgrammer {
       )(input, arrays, explore);
 
   const explore_arrays_and_tuples =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (

package/src/programmers/FeatureProgrammer.ts

@@ -10,7 +10,7 @@ import { Metadata } from "../schemas/metadata/Metadata";
 import { MetadataArray } from "../schemas/metadata/MetadataArray";
 import { MetadataObject } from "../schemas/metadata/MetadataObject";
 
-import { IProject } from "../transformers/IProject";
+import { ITypiaContext } from "../transformers/ITypiaContext";
 
 import { CheckerProgrammer } from "./CheckerProgrammer";
 import { FunctionImporter } from "./helpers/FunctionImporter";
@@ -46,7 +46,7 @@ export namespace FeatureProgrammer {
      * Initializer of metadata.
      */
     initializer: (
-      project: IProject,
+      project: ITypiaContext,
     ) => (
       importer: FunctionImporter,
     ) => (type: ts.Type) => [MetadataCollection, Metadata];
@@ -212,13 +212,13 @@ export namespace FeatureProgrammer {
   }
 
   export const compose = (props: {
-    project: IProject;
+    context: ITypiaContext;
     config: IConfig;
     importer: FunctionImporter;
     type: ts.Type;
     name: string | undefined;
   }): IComposed => {
-    const [collection, meta] = props.config.initializer(props.project)(
+    const [collection, meta] = props.config.initializer(props.context)(
       props.importer,
     )(props.type);
     return {
@@ -288,7 +288,7 @@ export namespace FeatureProgrammer {
     );
 
   export const write =
-    (project: IProject) =>
+    (project: ITypiaContext) =>
     (config: IConfig) =>
     (importer: FunctionImporter) =>
     (type: ts.Type, name?: string): ts.ArrowFunction => {