@shivaedev/effect-trpc 0.1.1 → 0.3.0

package/dist/request-signal.d.ts

@@ -0,0 +1,4 @@
+import { Context } from "effect";
+/** The transport cancellation signal for the current tRPC procedure. */
+export declare const RequestSignal: Context.Reference<AbortSignal | undefined>;
+//# sourceMappingURL=request-signal.d.ts.map

package/dist/request-signal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"request-signal.d.ts","sourceRoot":"","sources":["../src/request-signal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAEjC,wEAAwE;AACxE,eAAO,MAAM,aAAa,4CAGzB,CAAC"}

package/dist/request-signal.js

@@ -0,0 +1,4 @@
+import { Context } from "effect";
+/** The transport cancellation signal for the current tRPC procedure. */
+export const RequestSignal = Context.Reference("@shivaedev/effect-trpc/RequestSignal", { defaultValue: () => undefined });
+//# sourceMappingURL=request-signal.js.map

package/dist/request-signal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"request-signal.js","sourceRoot":"","sources":["../src/request-signal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAEjC,wEAAwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAC7C,sCAAsC,EACtC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,SAAS,EAAE,CACjC,CAAC"}

package/dist/testing/types.d.ts

@@ -2,30 +2,40 @@ import type { TestContext, TestOptions, Vitest } from "@effect/vitest";
 import type { Effect, Layer } from "effect";
 import type { EffectTRPCAdapter } from "../adapter.js";
 import type { EffectCallerFactory } from "./caller.js";
-export type TrpcTest<Options, Caller, Provided> = <A, Eff extends Effect.Effect<unknown, unknown, Provided>>(name: string, body: (trpc: EffectCallerFactory<Options, Caller>, context: TestContext) => Generator<Eff, A, never>, options?: number | TestOptions) => void;
-export interface TrpcTester<Options, Caller, Provided> extends TrpcTest<Options, Caller, Provided> {
-    readonly skip: TrpcTest<Options, Caller, Provided>;
-    readonly skipIf: (condition: unknown) => TrpcTest<Options, Caller, Provided>;
-    readonly runIf: (condition: unknown) => TrpcTest<Options, Caller, Provided>;
-    readonly only: TrpcTest<Options, Caller, Provided>;
-    readonly each: <Item>(cases: ReadonlyArray<Item>) => <A, Eff extends Effect.Effect<unknown, unknown, Provided>>(name: string, body: (item: Item, trpc: EffectCallerFactory<Options, Caller>, context: TestContext) => Generator<Eff, A, never>, options?: number | TestOptions) => void;
-    readonly fails: TrpcTest<Options, Caller, Provided>;
+export type TrpcHarnessTest<Harness, Provided> = <A, Eff extends Effect.Effect<unknown, unknown, Provided>>(name: string, body: (harness: Harness, context: TestContext) => Generator<Eff, A, never>, options?: number | TestOptions) => void;
+export interface TrpcHarnessTester<Harness, Provided> extends TrpcHarnessTest<Harness, Provided> {
+    readonly skip: TrpcHarnessTest<Harness, Provided>;
+    readonly skipIf: (condition: unknown) => TrpcHarnessTest<Harness, Provided>;
+    readonly runIf: (condition: unknown) => TrpcHarnessTest<Harness, Provided>;
+    readonly only: TrpcHarnessTest<Harness, Provided>;
+    readonly each: <Item>(cases: ReadonlyArray<Item>) => <A, Eff extends Effect.Effect<unknown, unknown, Provided>>(name: string, body: (item: Item, harness: Harness, context: TestContext) => Generator<Eff, A, never>, options?: number | TestOptions) => void;
+    readonly fails: TrpcHarnessTest<Harness, Provided>;
 }
+export type TrpcTest<Options, Caller, Provided> = TrpcHarnessTest<EffectCallerFactory<Options, Caller>, Provided>;
+export type TrpcTester<Options, Caller, Provided> = TrpcHarnessTester<EffectCallerFactory<Options, Caller>, Provided>;
 export type TrpcIt<Options, Caller, Provided> = Vitest.Methods & {
     readonly effectTRPC: TrpcTester<Options, Caller, Provided>;
 };
-export interface TrpcTestRuntimeOptions<Options, Caller extends object, Provided, LayerError> {
+export type TrpcHarnessIt<Harness, Provided> = Vitest.Methods & {
+    readonly effectTRPC: TrpcHarnessTester<Harness, Provided>;
+};
+export interface TrpcHarnessTestRuntimeOptions<Options, Caller extends object, Harness, Provided, LayerError> {
     readonly adapter: Pick<EffectTRPCAdapter<never>, "runWithServices">;
     readonly around?: <A, E>(effect: Effect.Effect<A, E, Provided>) => Effect.Effect<A, unknown, Provided>;
     readonly createCaller: (options?: Options) => Caller;
     readonly layer: Layer.Layer<Provided, LayerError>;
+    readonly makeHarness: (trpc: EffectCallerFactory<Options, Caller>, context: TestContext) => Effect.Effect<Harness, unknown, Provided>;
 }
+export type TrpcTestRuntimeOptions<Options, Caller extends object, Provided, LayerError> = Omit<TrpcHarnessTestRuntimeOptions<Options, Caller, EffectCallerFactory<Options, Caller>, Provided, LayerError>, "makeHarness">;
 export interface MakeTrpcItOptions<CreateCaller extends (...arguments_: never[]) => object, TestLayer extends Layer.Layer<any, any, never>> {
     readonly adapter: Pick<EffectTRPCAdapter<never>, "runWithServices">;
     readonly around?: <A, E>(effect: Effect.Effect<A, E, Layer.Success<TestLayer>>) => Effect.Effect<A, unknown, Layer.Success<TestLayer>>;
     readonly createCaller: CreateCaller;
     readonly layer: TestLayer;
 }
+export interface MakeTrpcHarnessItOptions<CreateCaller extends (...arguments_: never[]) => object, TestLayer extends Layer.Layer<any, any, never>, Harness> extends MakeTrpcItOptions<CreateCaller, TestLayer> {
+    readonly makeHarness: (trpc: EffectCallerFactory<CallerOptions<CreateCaller>, CallerResult<CreateCaller>>, context: TestContext) => Effect.Effect<Harness, unknown, Layer.Success<TestLayer>>;
+}
 export type CallerOptions<CreateCaller> = CreateCaller extends (...arguments_: infer Arguments) => object ? Arguments[0] : never;
 export type CallerResult<CreateCaller> = CreateCaller extends (...arguments_: infer _Arguments) => infer Caller ? Caller extends object ? Caller : never : never;
 //# sourceMappingURL=types.d.ts.map

package/dist/testing/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/testing/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC5C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,IAAI,CACjD,CAAC,EACD,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAErD,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CACL,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,EAC1C,OAAO,EAAE,WAAW,KAChB,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,EAC7B,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,KAC1B,IAAI,CAAC;AAEV,MAAM,WAAW,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CACpD,SAAQ,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7E,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5E,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EACnB,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KACtB,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC7D,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CACL,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,EAC1C,OAAO,EAAE,WAAW,KAChB,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,EAC7B,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,KAC1B,IAAI,CAAC;IACV,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;CACpD;AAED,MAAM,MAAM,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,IAAI,MAAM,CAAC,OAAO,GAAG;IAChE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC3D,CAAC;AAEF,MAAM,WAAW,sBAAsB,CACtC,OAAO,EACP,MAAM,SAAS,MAAM,EACrB,QAAQ,EACR,UAAU;IAEV,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KACjC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;CAClD;AAED,MAAM,WAAW,iBAAiB,CACjC,YAAY,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAEvD,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC;IAE9C,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,KACjD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC1B;AAED,MAAM,MAAM,aAAa,CAAC,YAAY,IAAI,YAAY,SAAS,CAC9D,GAAG,UAAU,EAAE,MAAM,SAAS,KAC1B,MAAM,GACR,SAAS,CAAC,CAAC,CAAC,GACZ,KAAK,CAAC;AAET,MAAM,MAAM,YAAY,CAAC,YAAY,IAAI,YAAY,SAAS,CAC7D,GAAG,UAAU,EAAE,MAAM,UAAU,KAC3B,MAAM,MAAM,GACd,MAAM,SAAS,MAAM,GACpB,MAAM,GACN,KAAK,GACN,KAAK,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/testing/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAC5C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAEvD,MAAM,MAAM,eAAe,CAAC,OAAO,EAAE,QAAQ,IAAI,CAChD,CAAC,EACD,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAErD,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,EAC1E,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,KAC1B,IAAI,CAAC;AAEV,MAAM,WAAW,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CACnD,SAAQ,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC5E,QAAQ,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3E,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EACnB,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,KACtB,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC7D,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,CACL,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,WAAW,KAChB,SAAS,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,EAC7B,OAAO,CAAC,EAAE,MAAM,GAAG,WAAW,KAC1B,IAAI,CAAC;IACV,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;CACnD;AAED,MAAM,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,IAAI,eAAe,CAChE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,EACpC,QAAQ,CACR,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,IAAI,iBAAiB,CACpE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,EACpC,QAAQ,CACR,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,IAAI,MAAM,CAAC,OAAO,GAAG;IAChE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;CAC3D,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,OAAO,EAAE,QAAQ,IAAI,MAAM,CAAC,OAAO,GAAG;IAC/D,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;CAC1D,CAAC;AAEF,MAAM,WAAW,6BAA6B,CAC7C,OAAO,EACP,MAAM,SAAS,MAAM,EACrB,OAAO,EACP,QAAQ,EACR,UAAU;IAEV,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KACjC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,YAAY,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,KAAK,MAAM,CAAC;IACrD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,CACrB,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,EAC1C,OAAO,EAAE,WAAW,KAChB,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;CAC/C;AAED,MAAM,MAAM,sBAAsB,CACjC,OAAO,EACP,MAAM,SAAS,MAAM,EACrB,QAAQ,EACR,UAAU,IACP,IAAI,CACP,6BAA6B,CAC5B,OAAO,EACP,MAAM,EACN,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,EACpC,QAAQ,EACR,UAAU,CACV,EACD,aAAa,CACb,CAAC;AAEF,MAAM,WAAW,iBAAiB,CACjC,YAAY,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAEvD,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC;IAE9C,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACpE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EACtB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,KACjD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACzD,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC1B;AAED,MAAM,WAAW,wBAAwB,CACxC,YAAY,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAEvD,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAC9C,OAAO,CACN,SAAQ,iBAAiB,CAAC,YAAY,EAAE,SAAS,CAAC;IACnD,QAAQ,CAAC,WAAW,EAAE,CACrB,IAAI,EAAE,mBAAmB,CACxB,aAAa,CAAC,YAAY,CAAC,EAC3B,YAAY,CAAC,YAAY,CAAC,CAC1B,EACD,OAAO,EAAE,WAAW,KAChB,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;CAC/D;AAED,MAAM,MAAM,aAAa,CAAC,YAAY,IAAI,YAAY,SAAS,CAC9D,GAAG,UAAU,EAAE,MAAM,SAAS,KAC1B,MAAM,GACR,SAAS,CAAC,CAAC,CAAC,GACZ,KAAK,CAAC;AAET,MAAM,MAAM,YAAY,CAAC,YAAY,IAAI,YAAY,SAAS,CAC7D,GAAG,UAAU,EAAE,MAAM,UAAU,KAC3B,MAAM,MAAM,GACd,MAAM,SAAS,MAAM,GACpB,MAAM,GACN,KAAK,GACN,KAAK,CAAC"}

package/dist/testing/vitest.d.ts

@@ -1,4 +1,5 @@
 import { Layer } from "effect";
-import type { CallerOptions, CallerResult, MakeTrpcItOptions, TrpcIt } from "./types.js";
+import type { CallerOptions, CallerResult, MakeTrpcHarnessItOptions, MakeTrpcItOptions, TrpcHarnessIt, TrpcIt } from "./types.js";
 export declare const makeTrpcIt: <CreateCaller extends (...arguments_: never[]) => object, TestLayer extends Layer.Layer<any, any, never>>(options: MakeTrpcItOptions<CreateCaller, TestLayer>) => TrpcIt<CallerOptions<CreateCaller>, CallerResult<CreateCaller>, Layer.Success<TestLayer>>;
+export declare const makeTrpcHarnessIt: <CreateCaller extends (...arguments_: never[]) => object, TestLayer extends Layer.Layer<any, any, never>, Harness>(options: MakeTrpcHarnessItOptions<CreateCaller, TestLayer, Harness>) => TrpcHarnessIt<Harness, Layer.Success<TestLayer>>;
 //# sourceMappingURL=vitest.d.ts.map

package/dist/testing/vitest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../../src/testing/vitest.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,EAAS,MAAM,QAAQ,CAAC;AAMpD,OAAO,KAAK,EACX,aAAa,EACb,YAAY,EACZ,iBAAiB,EACjB,MAAM,EACN,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,UAAU,GACtB,YAAY,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAEvD,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAE9C,SAAS,iBAAiB,CAAC,YAAY,EAAE,SAAS,CAAC,KACjD,MAAM,CACR,aAAa,CAAC,YAAY,CAAC,EAC3B,YAAY,CAAC,YAAY,CAAC,EAC1B,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAwCxB,CAAC"}
+{"version":3,"file":"vitest.d.ts","sourceRoot":"","sources":["../../src/testing/vitest.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,KAAK,EAAS,MAAM,QAAQ,CAAC;AAOpD,OAAO,KAAK,EACX,aAAa,EACb,YAAY,EACZ,wBAAwB,EACxB,iBAAiB,EACjB,aAAa,EACb,MAAM,EACN,MAAM,YAAY,CAAC;AAoCpB,eAAO,MAAM,UAAU,GACtB,YAAY,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAEvD,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAE9C,SAAS,iBAAiB,CAAC,YAAY,EAAE,SAAS,CAAC,KACjD,MAAM,CACR,aAAa,CAAC,YAAY,CAAC,EAC3B,YAAY,CAAC,YAAY,CAAC,EAC1B,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAkBxB,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAC7B,YAAY,SAAS,CAAC,GAAG,UAAU,EAAE,KAAK,EAAE,KAAK,MAAM,EAEvD,SAAS,SAAS,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAC9C,OAAO,EAEP,SAAS,wBAAwB,CAAC,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,KACjE,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAsBjD,CAAC"}

package/dist/testing/vitest.js

@@ -1,28 +1,35 @@
 import { it as effectIt } from "@effect/vitest";
 import { Effect, Exit, Layer, Scope } from "effect";
-import { fixtureName, makeTrpcTester, } from "../internal/vitest-trpc.js";
-export const makeTrpcIt = (options) => {
-    const fixtureIt = effectIt.extend(fixtureName, { scope: "worker" }, 
-    // biome-ignore lint/correctness/noEmptyPattern: Vitest fixtures require a destructured context parameter.
-    async ({}, { onCleanup }) => {
-        const scope = Effect.runSync(Scope.make());
-        onCleanup(() => Effect.runPromise(Scope.close(scope, Exit.void)));
-        try {
-            return await Effect.runPromise(Layer.buildWithScope(options.layer, scope));
-        }
-        catch (error) {
-            await Effect.runPromise(Scope.close(scope, Exit.void));
-            throw error;
+import { fixtureName, makeTrpcHarnessTester, makeTrpcTester, } from "../internal/vitest-trpc.js";
+const makeFixtureIt = (layer) => effectIt.extend(fixtureName, { scope: "worker" }, 
+// biome-ignore lint/correctness/noEmptyPattern: Vitest fixtures require a destructured context parameter.
+async ({}, { onCleanup }) => {
+    const scope = Effect.runSync(Scope.make());
+    onCleanup(() => Effect.runPromise(Scope.close(scope, Exit.void)));
+    try {
+        return await Effect.runPromise(Layer.buildWithScope(layer, scope));
+    }
+    catch (error) {
+        await Effect.runPromise(Scope.close(scope, Exit.void));
+        throw error;
+    }
+});
+const withEffectTRPC = (tester) => new Proxy(effectIt, {
+    get(target, property, receiver) {
+        if (property === "effectTRPC") {
+            return tester;
         }
-    });
+        return Reflect.get(target, property, receiver);
+    },
+});
+export const makeTrpcIt = (options) => {
+    const fixtureIt = makeFixtureIt(options.layer);
     const effectTRPC = makeTrpcTester(fixtureIt, options);
-    return new Proxy(effectIt, {
-        get(target, property, receiver) {
-            if (property === "effectTRPC") {
-                return effectTRPC;
-            }
-            return Reflect.get(target, property, receiver);
-        },
-    });
+    return withEffectTRPC(effectTRPC);
+};
+export const makeTrpcHarnessIt = (options) => {
+    const fixtureIt = makeFixtureIt(options.layer);
+    const effectTRPC = makeTrpcHarnessTester(fixtureIt, options);
+    return withEffectTRPC(effectTRPC);
 };
 //# sourceMappingURL=vitest.js.map

package/dist/testing/vitest.js.map

@@ -1 +1 @@
-{"version":3,"file":"vitest.js","sourceRoot":"","sources":["../../src/testing/vitest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,IAAI,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,EAEN,WAAW,EACX,cAAc,GACd,MAAM,4BAA4B,CAAC;AAQpC,MAAM,CAAC,MAAM,UAAU,GAAG,CAKzB,OAAmD,EAKlD,EAAE;IAKH,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAChC,WAAW,EACX,EAAE,KAAK,EAAE,QAAQ,EAAE;IACnB,0GAA0G;IAC1G,KAAK,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3C,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAElE,IAAI,CAAC;YACJ,OAAO,MAAM,MAAM,CAAC,UAAU,CAC7B,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAC1C,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,MAAM,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACvD,MAAM,KAAK,CAAC;QACb,CAAC;IACF,CAAC,CACD,CAAC;IAEF,MAAM,UAAU,GAAG,cAAc,CAChC,SAAgD,EAChD,OAEI,CACJ,CAAC;IAEF,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE;QAC1B,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ;YAC7B,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;gBAC/B,OAAO,UAAU,CAAC;YACnB,CAAC;YACD,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAChD,CAAC;KACD,CAAsC,CAAC;AACzC,CAAC,CAAC"}
+{"version":3,"file":"vitest.js","sourceRoot":"","sources":["../../src/testing/vitest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,IAAI,QAAQ,EAAe,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,EAEN,WAAW,EACX,qBAAqB,EACrB,cAAc,GACd,MAAM,4BAA4B,CAAC;AAUpC,MAAM,aAAa,GAAG,CACrB,KAAwC,EACb,EAAE,CAC7B,QAAQ,CAAC,MAAM,CACd,WAAW,EACX,EAAE,KAAK,EAAE,QAAQ,EAAE;AACnB,0GAA0G;AAC1G,KAAK,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3C,SAAS,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAElE,IAAI,CAAC;QACJ,OAAO,MAAM,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACpE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,MAAM,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACvD,MAAM,KAAK,CAAC;IACb,CAAC;AACF,CAAC,CACsC,CAAC;AAE1C,MAAM,cAAc,GAAG,CACtB,MAAc,EAGb,EAAE,CACH,IAAI,KAAK,CAAC,QAAQ,EAAE;IACnB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ;QAC7B,IAAI,QAAQ,KAAK,YAAY,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC;QACf,CAAC;QACD,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;CACD,CAAqD,CAAC;AAExD,MAAM,CAAC,MAAM,UAAU,GAAG,CAKzB,OAAmD,EAKlD,EAAE;IAKH,MAAM,SAAS,GAAG,aAAa,CAC9B,OAAO,CAAC,KAAK,CACb,CAAC;IAEF,MAAM,UAAU,GAAG,cAAc,CAChC,SAAgD,EAChD,OAEI,CACJ,CAAC;IAEF,OAAO,cAAc,CAAC,UAAU,CAAsC,CAAC;AACxE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAMhC,OAAmE,EAChB,EAAE;IAKrD,MAAM,SAAS,GAAG,aAAa,CAC9B,OAAO,CAAC,KAAK,CACb,CAAC;IACF,MAAM,UAAU,GAAG,qBAAqB,CACvC,SAAS,EACT,OAQI,CACJ,CAAC;IAEF,OAAO,cAAc,CAAC,UAAU,CAAC,CAAC;AACnC,CAAC,CAAC"}

package/dist/testing.d.ts

@@ -1,4 +1,4 @@
 export { type EffectCaller, type EffectCallerFactory, makeEffectCaller, makeEffectCallerFactory, } from "./testing/caller.js";
-export type { MakeTrpcItOptions, TrpcIt, TrpcTest, TrpcTester, } from "./testing/types.js";
-export { makeTrpcIt } from "./testing/vitest.js";
+export type { CallerOptions, CallerResult, MakeTrpcHarnessItOptions, MakeTrpcItOptions, TrpcHarnessIt, TrpcHarnessTest, TrpcHarnessTester, TrpcIt, TrpcTest, TrpcTester, } from "./testing/types.js";
+export { makeTrpcHarnessIt, makeTrpcIt } from "./testing/vitest.js";
 //# sourceMappingURL=testing.d.ts.map

package/dist/testing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,KAAK,YAAY,EACjB,KAAK,mBAAmB,EACxB,gBAAgB,EAChB,uBAAuB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACX,iBAAiB,EACjB,MAAM,EACN,QAAQ,EACR,UAAU,GACV,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,KAAK,YAAY,EACjB,KAAK,mBAAmB,EACxB,gBAAgB,EAChB,uBAAuB,GACvB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACX,aAAa,EACb,YAAY,EACZ,wBAAwB,EACxB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,iBAAiB,EACjB,MAAM,EACN,QAAQ,EACR,UAAU,GACV,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/testing.js

@@ -1,3 +1,3 @@
 export { makeEffectCaller, makeEffectCallerFactory, } from "./testing/caller.js";
-export { makeTrpcIt } from "./testing/vitest.js";
+export { makeTrpcHarnessIt, makeTrpcIt } from "./testing/vitest.js";
 //# sourceMappingURL=testing.js.map

package/dist/testing.js.map

@@ -1 +1 @@
-{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,gBAAgB,EAChB,uBAAuB,GACvB,MAAM,qBAAqB,CAAC;AAO7B,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"testing.js","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAAA,OAAO,EAGN,gBAAgB,EAChB,uBAAuB,GACvB,MAAM,qBAAqB,CAAC;AAa7B,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/types.d.ts

@@ -1,6 +1,6 @@
 import type { TRPCError } from "@trpc/server";
-import type { Effect } from "effect";
-export type ProcedureKind = "mutation" | "query";
+import type { Effect, Stream } from "effect";
+export type ProcedureKind = "mutation" | "query" | "subscription";
 export interface ProcedureInfo {
     readonly captureStackTrace: () => string | undefined;
     readonly path: string;
@@ -11,4 +11,5 @@ export interface EffectTRPCErrorContext extends ProcedureInfo {
 }
 export type EffectTRPCErrorMapper = (error: unknown, context: EffectTRPCErrorContext) => TRPCError | undefined;
 export type EffectTRPCInstrument = <A, E, R>(effect: Effect.Effect<A, E, R>, procedure: ProcedureInfo) => Effect.Effect<A, E, R>;
+export type EffectTRPCStreamInstrument = <A, E, R>(stream: Stream.Stream<A, E, R>, procedure: ProcedureInfo) => Stream.Stream<A, E, R>;
 //# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAErC,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,OAAO,CAAC;AAEjD,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,MAAM,GAAG,SAAS,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAuB,SAAQ,aAAa;IAC5D,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC;CACtC;AAED,MAAM,MAAM,qBAAqB,GAAG,CACnC,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,sBAAsB,KAC3B,SAAS,GAAG,SAAS,CAAC;AAE3B,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,SAAS,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE7C,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,OAAO,GAAG,cAAc,CAAC;AAElE,MAAM,WAAW,aAAa;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,MAAM,GAAG,SAAS,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAuB,SAAQ,aAAa;IAC5D,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAC;CACtC;AAED,MAAM,MAAM,qBAAqB,GAAG,CACnC,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,sBAAsB,KAC3B,SAAS,GAAG,SAAS,CAAC;AAE3B,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC1C,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,SAAS,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAE5B,MAAM,MAAM,0BAA0B,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAChD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,SAAS,EAAE,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shivaedev/effect-trpc",
-  "version": "0.1.1",
+  "version": "0.3.0",
   "description": "Effect-native procedures and testing for tRPC",
   "type": "module",
   "license": "MIT",

package/src/adapter.ts

@@ -2,17 +2,42 @@ import type {
 	inferProcedureBuilderResolverOptions,
 	TRPCProcedureBuilder,
 } from "@trpc/server";
-import type { Context, ManagedRuntime } from "effect";
+import type { Context, Effect, Exit } from "effect";
 import { makeContextBridge } from "./internal/context-bridge.js";
 import { makeRuntimeBridge } from "./internal/runtime.js";
 import { EffectProcedureBuilder } from "./procedure.js";
 import type { EffectProcedureRequestServices } from "./request-services.js";
-import type { EffectTRPCErrorMapper, EffectTRPCInstrument } from "./types.js";
+import type {
+	EffectTRPCErrorMapper,
+	EffectTRPCInstrument,
+	EffectTRPCStreamInstrument,
+} from "./types.js";
 
 export interface MakeEffectTRPCOptions<Requirements, RuntimeError> {
 	readonly instrument?: EffectTRPCInstrument;
+	readonly instrumentStream?: EffectTRPCStreamInstrument;
 	readonly mapError?: EffectTRPCErrorMapper;
-	readonly runtime: ManagedRuntime.ManagedRuntime<Requirements, RuntimeError>;
+	readonly runtime: EffectTRPCRuntime<Requirements, RuntimeError>;
+}
+
+export interface EffectTRPCRuntime<Requirements, RuntimeError> {
+	readonly contextEffect: Effect.Effect<
+		Context.Context<Requirements>,
+		RuntimeError
+	>;
+	readonly currentServices?: () => Context.Context<never> | undefined;
+	readonly runPromise: <Value, Error>(
+		effect: Effect.Effect<Value, Error, Requirements>,
+		options?: { readonly signal?: AbortSignal },
+	) => Promise<Value>;
+	readonly runPromiseExit: <Value, Error>(
+		effect: Effect.Effect<Value, Error, Requirements>,
+		options?: { readonly signal?: AbortSignal },
+	) => Promise<Exit.Exit<Value, Error | RuntimeError>>;
+	readonly runWithServices?: <Services, Value>(
+		services: Context.Context<Services>,
+		evaluate: () => Value,
+	) => Value;
 }
 
 export interface EffectTRPCAdapter<Requirements> {
@@ -74,7 +99,7 @@ export interface EffectTRPCAdapter<Requirements> {
 export const makeEffectTRPC = <Requirements, RuntimeError = never>(
 	options: MakeEffectTRPCOptions<Requirements, RuntimeError>,
 ): EffectTRPCAdapter<Requirements> => {
-	const contextBridge = makeContextBridge();
+	const contextBridge = makeContextBridge(options.runtime);
 	const runtime = makeRuntimeBridge(options.runtime, contextBridge, options);
 
 	return {

package/src/index.ts

@@ -1,5 +1,6 @@
 export {
 	type EffectTRPCAdapter,
+	type EffectTRPCRuntime,
 	type MakeEffectTRPCOptions,
 	makeEffectTRPC,
 } from "./adapter.js";
@@ -19,10 +20,12 @@ export {
 	extendRequestServices,
 	makeRequestServices,
 } from "./request-services.js";
+export { RequestSignal } from "./request-signal.js";
 export type {
 	EffectTRPCErrorContext,
 	EffectTRPCErrorMapper,
 	EffectTRPCInstrument,
+	EffectTRPCStreamInstrument,
 	ProcedureInfo,
 	ProcedureKind,
 } from "./types.js";

package/src/internal/context-bridge.ts

@@ -9,7 +9,20 @@ export interface ContextBridge {
 	) => Value;
 }
 
-export const makeContextBridge = (): ContextBridge => {
+export const makeContextBridge = (shared?: {
+	readonly currentServices?: ContextBridge["current"];
+	readonly runWithServices?: ContextBridge["run"];
+}): ContextBridge => {
+	if (
+		shared?.currentServices !== undefined &&
+		shared.runWithServices !== undefined
+	) {
+		return {
+			current: shared.currentServices,
+			run: shared.runWithServices,
+		};
+	}
+
 	const storage = new AsyncLocalStorage<Context.Context<never>>();
 
 	return {

package/src/internal/procedure-types.ts

@@ -3,7 +3,7 @@ import type {
 	TRPCProcedureBuilder,
 	TRPCUnsetMarker,
 } from "@trpc/server";
-import type { Effect } from "effect";
+import type { Effect, Stream } from "effect";
 
 export type AnyProcedureBuilder = TRPCProcedureBuilder<
 	// biome-ignore lint/suspicious/noExplicitAny: tRPC phantom slot extraction
@@ -47,3 +47,11 @@ export type ProcedureEffect<Requirements> = Effect.Effect<
 export type EffectProcedureResolver<Input, Requirements, Output> = (
 	input: Input,
 ) => Generator<ProcedureEffect<Requirements>, Output, never>;
+
+export type EffectSubscriptionResolver<Input, Requirements, Output> = (
+	input: Input,
+) => Generator<
+	ProcedureEffect<Requirements>,
+	Stream.Stream<Output, unknown, Requirements>,
+	never
+>;

package/src/internal/runtime.ts

@@ -1,13 +1,6 @@
 import { TRPCError } from "@trpc/server";
-import {
-	Cause,
-	Context,
-	Effect,
-	Exit,
-	type ManagedRuntime,
-	Option,
-	Result,
-} from "effect";
+import { Cause, Context, Effect, Exit, Option, Result, Stream } from "effect";
+import type { EffectTRPCRuntime } from "../adapter.js";
 import type {
 	EffectTRPCErrorMapper,
 	EffectTRPCInstrument,
@@ -26,6 +19,10 @@ export interface RuntimeBridge<Requirements> {
 		effect: Effect.Effect<Value, unknown, Requirements>,
 		options: RunEffectOptions,
 	) => Promise<Value>;
+	readonly runStream: <Value>(
+		stream: Stream.Stream<Value, unknown, Requirements>,
+		options: RunEffectOptions,
+	) => Promise<AsyncIterable<Value>>;
 }
 
 const internalError = (cause?: unknown): TRPCError =>
@@ -54,11 +51,50 @@ const mapError = (
 	}
 };
 
+const mapCause = (
+	cause: Cause.Cause<unknown>,
+	procedure: ProcedureInfo,
+	consumerMapper: EffectTRPCErrorMapper | undefined,
+): TRPCError => {
+	if (Cause.hasInterruptsOnly(cause)) {
+		return new TRPCError({
+			code: "CLIENT_CLOSED_REQUEST",
+			message: "Request cancelled",
+		});
+	}
+
+	const failure = Cause.findErrorOption(cause);
+	if (Option.isSome(failure)) {
+		return mapError(failure.value, "failure", procedure, consumerMapper);
+	}
+
+	const defect = Cause.findDefect(cause);
+	if (Result.isSuccess(defect)) {
+		return mapError(defect.success, "defect", procedure, consumerMapper);
+	}
+
+	return internalError();
+};
+
+const interruptOn = (signal: AbortSignal | undefined): Effect.Effect<void> => {
+	if (signal === undefined) return Effect.never;
+	return Effect.callback<void>((resume) => {
+		if (signal.aborted) {
+			resume(Effect.void);
+			return;
+		}
+		const abort = () => resume(Effect.void);
+		signal.addEventListener("abort", abort, { once: true });
+		return Effect.sync(() => signal.removeEventListener("abort", abort));
+	});
+};
+
 export const makeRuntimeBridge = <Requirements, RuntimeError>(
-	runtime: ManagedRuntime.ManagedRuntime<Requirements, RuntimeError>,
+	runtime: EffectTRPCRuntime<Requirements, RuntimeError>,
 	contextBridge: ContextBridge,
 	options: {
 		readonly instrument?: EffectTRPCInstrument;
+		readonly instrumentStream?: import("../types.js").EffectTRPCStreamInstrument;
 		readonly mapError?: EffectTRPCErrorMapper;
 	},
 ): RuntimeBridge<Requirements> => ({
@@ -68,6 +104,31 @@ export const makeRuntimeBridge = <Requirements, RuntimeError>(
 				? effect
 				: options.instrument(effect, procedure),
 		),
+	runStream: async (stream, runOptions) => {
+		const instrumented = Stream.suspend(() =>
+			options.instrumentStream === undefined
+				? stream
+				: options.instrumentStream(stream, runOptions.procedure),
+		).pipe(
+			Stream.withSpan(runOptions.procedure.path, {
+				attributes: {
+					"rpc.method": runOptions.procedure.path,
+					"rpc.system": "trpc",
+					"trpc.type": runOptions.procedure.type,
+				},
+				captureStackTrace: runOptions.procedure.captureStackTrace,
+			}),
+			Stream.interruptWhen(interruptOn(runOptions.signal)),
+			Stream.catchCause((cause) =>
+				Stream.fail(mapCause(cause, runOptions.procedure, options.mapError)),
+			),
+		);
+		const context = await runtime.runPromise(Effect.context<Requirements>());
+		const ambient = contextBridge.current();
+		const provided =
+			ambient === undefined ? context : Context.merge(context, ambient);
+		return Stream.toAsyncIterableWith(instrumented, provided);
+	},
 	runEffect: async (effect, runOptions) => {
 		const traced = effect.pipe(
 			Effect.withSpan(
@@ -101,33 +162,6 @@ export const makeRuntimeBridge = <Requirements, RuntimeError>(
 		if (Exit.isSuccess(exit)) {
 			return exit.value;
 		}
-		if (Cause.hasInterruptsOnly(exit.cause)) {
-			throw new TRPCError({
-				code: "CLIENT_CLOSED_REQUEST",
-				message: "Request cancelled",
-			});
-		}
-
-		const failure = Cause.findErrorOption(exit.cause);
-		if (Option.isSome(failure)) {
-			throw mapError(
-				failure.value,
-				"failure",
-				runOptions.procedure,
-				options.mapError,
-			);
-		}
-
-		const defect = Cause.findDefect(exit.cause);
-		if (Result.isSuccess(defect)) {
-			throw mapError(
-				defect.success,
-				"defect",
-				runOptions.procedure,
-				options.mapError,
-			);
-		}
-
-		throw internalError();
+		throw mapCause(exit.cause, runOptions.procedure, options.mapError);
 	},
 });

package/src/internal/subscription-handler.ts

@@ -0,0 +1,61 @@
+import { Effect, Layer, Schema, Stream } from "effect";
+import type { EffectProcedureRequestServices } from "../request-services.js";
+import { RequestSignal } from "../request-signal.js";
+import type { ProcedureInfo } from "../types.js";
+import type { EffectSubscriptionResolver } from "./procedure-types.js";
+import type { RuntimeBridge } from "./runtime.js";
+
+interface SubscriptionInvocation<Context, Input> {
+	readonly ctx: Context;
+	readonly input: Input;
+	readonly path: string;
+	readonly signal?: AbortSignal;
+}
+
+export const makeSubscriptionHandler = <
+	RuntimeRequirements,
+	Context,
+	Input,
+	ProvidedServices,
+	LayerError,
+	Output,
+>(
+	runtime: RuntimeBridge<RuntimeRequirements>,
+	resolver: EffectSubscriptionResolver<
+		Input,
+		ProvidedServices | NoInfer<RuntimeRequirements>,
+		Output
+	>,
+	requestServices: EffectProcedureRequestServices<
+		Context,
+		ProvidedServices,
+		LayerError
+	>,
+	procedure: Omit<ProcedureInfo, "path">,
+	outputSchema?: Schema.ConstraintDecoder<unknown>,
+) => {
+	const tracedResolver = Effect.fnUntraced(resolver);
+
+	return async (invocation: SubscriptionInvocation<Context, Input>) => {
+		const info = { ...procedure, path: invocation.path };
+		const requestLayer = Layer.merge(
+			requestServices.layer(invocation.ctx),
+			Layer.succeed(RequestSignal, invocation.signal),
+		);
+		let stream = Stream.unwrap(
+			Effect.suspend(() =>
+				runtime.instrument(tracedResolver(invocation.input), info),
+			),
+		).pipe(Stream.provide(requestLayer));
+		if (outputSchema !== undefined) {
+			stream = Stream.mapEffect(stream, (value) =>
+				Schema.decodeUnknownEffect(outputSchema)(value),
+			) as typeof stream;
+		}
+
+		return await runtime.runStream(stream, {
+			procedure: info,
+			...(invocation.signal === undefined ? {} : { signal: invocation.signal }),
+		});
+	};
+};