Schema satisfies T as T

Author: samchon

packages/transform/src/features/llm/LlmApplicationTransformer.ts

@@ -17,17 +17,22 @@ export namespace LlmApplicationTransformer {
   export const transform = (props: ITransformProps): ts.Expression => {
     const dec = decompose("application", props);
     if (dec === null) return props.expression;
+
+    const typeNode: ts.ImportTypeNode = props.context.importer.type({
+      file: "typia",
+      name: "ILlmApplication.__IPrimitive",
+      arguments: [dec.node],
+    });
     return ts.factory.createCallExpression(
       props.context.importer.internal("llmApplicationFinalize"),
       [dec.node],
       [
-        ts.factory.createSatisfiesExpression(
-          LiteralFactory.write(dec.application),
-          props.context.importer.type({
-            file: "typia",
-            name: "ILlmApplication.__IPrimitive",
-            arguments: [dec.node],
-          }),
+        ts.factory.createAsExpression(
+          ts.factory.createSatisfiesExpression(
+            LiteralFactory.write(dec.application),
+            typeNode,
+          ),
+          typeNode,
         ),
         ...(props.expression.arguments?.[0] !== undefined
           ? [

packages/transform/src/features/llm/LlmControllerTransformer.ts

@@ -20,6 +20,16 @@ export namespace LlmControllerTransformer {
         message: `no executor.`,
       });
 
+    const typeNode: ts.ImportTypeNode = props.context.importer.type({
+      file: "typia",
+      name: "ILlmController",
+      arguments: [dec.node],
+    });
+    const primitiveTypeNode: ts.ImportTypeNode = props.context.importer.type({
+      file: "typia",
+      name: "ILlmApplication.__IPrimitive",
+      arguments: [dec.node],
+    });
     const value: ts.ObjectLiteralExpression =
       ts.factory.createObjectLiteralExpression(
         [
@@ -41,13 +51,12 @@ export namespace LlmControllerTransformer {
               props.context.importer.internal("llmApplicationFinalize"),
               undefined,
               [
-                ts.factory.createSatisfiesExpression(
-                  LiteralFactory.write(dec.application),
-                  props.context.importer.type({
-                    file: "typia",
-                    name: "ILlmApplication.__IPrimitive",
-                    arguments: [dec.node],
-                  }),
+                ts.factory.createAsExpression(
+                  ts.factory.createSatisfiesExpression(
+                    LiteralFactory.write(dec.application),
+                    primitiveTypeNode,
+                  ),
+                  primitiveTypeNode,
                 ),
                 ...(props.expression.arguments?.[2] !== undefined
                   ? [
@@ -64,13 +73,9 @@ export namespace LlmControllerTransformer {
         ],
         true,
       );
-    return ts.factory.createSatisfiesExpression(
-      value,
-      props.context.importer.type({
-        file: "typia",
-        name: "ILlmController",
-        arguments: [dec.node],
-      }),
+    return ts.factory.createAsExpression(
+      ts.factory.createSatisfiesExpression(value, typeNode),
+      typeNode,
     );
   };
 }

packages/transform/src/features/llm/LlmParametersTransformer.ts

@@ -69,20 +69,25 @@ export namespace LlmParametersTransformer {
     };
     analyze(true);
 
-    // GENERATE LLM SCHEMA
-    const out: ILlmSchema.IParameters = LlmParametersProgrammer.write({
-      metadata: analyze(false),
-      config,
+    // GENERATE LLM PARAMETERS SCHEMA
+    const typeNode: ts.ImportTypeNode = props.context.importer.type({
+      file: "typia",
+      name: ts.factory.createQualifiedName(
+        ts.factory.createIdentifier("ILlmSchema"),
+        ts.factory.createIdentifier("IParameters"),
+      ),
     });
-    return ts.factory.createSatisfiesExpression(
-      LiteralFactory.write(out),
-      props.context.importer.type({
-        file: "typia",
-        name: ts.factory.createQualifiedName(
-          ts.factory.createIdentifier("ILlmSchema"),
-          ts.factory.createIdentifier("IParameters"),
+    return ts.factory.createAsExpression(
+      ts.factory.createSatisfiesExpression(
+        LiteralFactory.write(
+          LlmParametersProgrammer.write({
+            metadata: analyze(false),
+            config,
+          }),
         ),
-      }),
+        typeNode,
+      ),
+      typeNode,
     );
   };
 }

packages/transform/src/features/llm/LlmSchemaTransformer.ts

@@ -78,8 +78,11 @@ export namespace LlmSchemaTransformer {
       file: "typia",
       name: "ILlmSchema",
     });
-    const literal = ts.factory.createSatisfiesExpression(
-      LiteralFactory.write(out.schema),
+    const literal = ts.factory.createAsExpression(
+      ts.factory.createSatisfiesExpression(
+        LiteralFactory.write(out.schema),
+        schemaTypeNode,
+      ),
       schemaTypeNode,
     );
     if (Object.keys(out.$defs).length === 0) return literal;