Fix workspace typecheck failures

Author: RhysSullivan

apps/server/tsconfig.json

@@ -14,7 +14,10 @@
     "jsx": "react-jsx",
     "plugins": [
       {
-        "name": "@effect/language-service"
+        "name": "@effect/language-service",
+        "diagnostics": {
+          "globalErrorInEffectFailure": "off"
+        }
       }
     ]
   },

apps/web/src/vite-env.d.ts

@@ -0,0 +1 @@
+/// <reference types="vite/client" />

apps/web/tsconfig.json

@@ -9,6 +9,7 @@
     "outDir": "dist",
     "rootDir": ".",
     "jsx": "react-jsx",
+    "typeRoots": ["../../node_modules/@types"],
     "plugins": [
       {
         "name": "@effect/language-service"

apps/web/vite.config.ts

@@ -38,19 +38,22 @@ const toWebRequest = async (
   const host = req.headers.host ?? "localhost";
   const url = `http://${host}${req.url}`;
 
-  return new Request(url, {
-    method: req.method,
-    headers,
-    body:
-      req.method !== "GET" && req.method !== "HEAD"
-        ? (await new Promise<Buffer>((resolve) => {
-            const chunks: Buffer[] = [];
-            req.on("data", (c: Buffer) => chunks.push(c));
-            req.on("end", () => resolve(Buffer.concat(chunks)));
-          }) as unknown as BodyInit)
-        : undefined,
-    duplex: "half" as const,
-  });
+  return new Request(
+    url,
+    {
+      method: req.method,
+      headers,
+      body:
+        req.method !== "GET" && req.method !== "HEAD"
+          ? (await new Promise<Buffer>((resolve) => {
+              const chunks: Buffer[] = [];
+              req.on("data", (c: Buffer) => chunks.push(c));
+              req.on("end", () => resolve(Buffer.concat(chunks)));
+            }) as unknown as BodyInit)
+          : undefined,
+      duplex: "half" as const,
+    } as RequestInit & { duplex: "half" },
+  );
 };
 
 // Pipe a Web Response back to a Node ServerResponse, streaming if needed

bun.lock

@@ -1,4 +1,5 @@
 import { Effect } from "effect";
+import * as Data from "effect/Data";
 
 import type {
   Executor,
@@ -123,6 +124,12 @@ export const formatPausedExecution = (paused: PausedExecution): {
 // Full invoker (base + discover + describe)
 // ---------------------------------------------------------------------------
 
+class DescribeToolPathRequiredError extends Data.TaggedError(
+  "DescribeToolPathRequiredError",
+)<{
+  readonly message: string;
+}> {}
+
 const makeFullInvoker = (
   executor: Executor,
   invokeOptions: InvokeOptions,
@@ -136,7 +143,13 @@ const makeFullInvoker = (
       }
       if (path === "describe.tool") {
         const input = (args ?? {}) as { path?: string };
-        if (!input.path) return Effect.fail(new Error("describe.tool requires a path"));
+        if (!input.path) {
+          return Effect.fail(
+            new DescribeToolPathRequiredError({
+              message: "describe.tool requires a path",
+            }),
+          );
+        }
         return describeTool(executor, input.path);
       }
       return base.invoke({ path, args });

packages/core/execution/src/engine.ts

@@ -1,7 +1,16 @@
 import { Effect } from "effect";
+import * as Data from "effect/Data";
 import type { Executor, ToolId, ToolMetadata, ToolSchema, InvokeOptions } from "@executor/sdk";
 import type { SandboxToolInvoker } from "@executor/codemode-core";
 
+class ToolApprovalDeclinedError extends Data.TaggedError(
+  "ToolApprovalDeclinedError",
+)<{
+  readonly toolId: ToolId;
+  readonly action: "decline" | "cancel";
+  readonly message: string;
+}> {}
+
 /**
  * Bridges QuickJS `tools.someSource.someOp(args)` calls into
  * `executor.tools.invoke(toolId, args)`.
@@ -19,9 +28,11 @@ export const makeExecutorToolInvoker = (
       ).pipe(
         Effect.catchTag("ElicitationDeclinedError", (err) =>
           Effect.fail(
-            new Error(
-              `Tool "${err.toolId}" requires approval but the request was ${err.action === "cancel" ? "cancelled" : "declined"} by the user.`,
-            ),
+            new ToolApprovalDeclinedError({
+              toolId: err.toolId,
+              action: err.action,
+              message: `Tool "${err.toolId}" requires approval but the request was ${err.action === "cancel" ? "cancelled" : "declined"} by the user.`,
+            }),
           ),
         ),
       );

packages/core/execution/src/tool-invoker.ts

@@ -17,6 +17,9 @@ import {
 
 import { introspect, parseIntrospectionJson, type IntrospectionResult, type IntrospectionType, type IntrospectionField } from "./introspect";
 import { extract } from "./extract";
+import {
+  GraphqlExtractionError,
+} from "./errors";
 import { makeGraphqlInvoker } from "./invoke";
 import type { GraphqlOperationStore } from "./operation-store";
 import { makeInMemoryOperationStore } from "./kv-operation-store";
@@ -399,10 +402,12 @@ export const graphqlPlugin = (options?: {
             addSource: (config: GraphqlSourceConfig) =>
               addSourceInternal(config).pipe(
                 Effect.map(({ toolCount }) => ({ toolCount })),
-                Effect.catchAll((err) =>
-                  Effect.fail(
-                    err instanceof Error ? err : new Error(String(err)),
-                  ),
+                Effect.mapError(
+                  (err) =>
+                    new GraphqlExtractionError({
+                      message:
+                        err instanceof Error ? err.message : String(err),
+                    }),
                 ),
               ),
 

packages/plugins/graphql/src/sdk/plugin.ts

@@ -15,7 +15,8 @@
       {
         "name": "@effect/language-service",
         "diagnostics": {
-          "preferSchemaOverJson": "off"
+          "preferSchemaOverJson": "off",
+          "globalErrorInEffectFailure": "off"
         }
       }
     ]

packages/plugins/graphql/tsconfig.json

@@ -59,6 +59,7 @@
     "@effect/vitest": "catalog:",
     "@types/node": "catalog:",
     "bun-types": "catalog:",
-    "vitest": "catalog:"
+    "vitest": "catalog:",
+    "zod": "^4.3.6"
   }
 }