@shivaedev/effect-trpc 0.0.0

package/dist/procedure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"procedure.d.ts","sourceRoot":"","sources":["../src/procedure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACX,qBAAqB,EACrB,oBAAoB,EACpB,kBAAkB,EAClB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,OAAO,KAAK,EACX,YAAY,EACZ,uBAAuB,EACvB,kBAAkB,EAClB,eAAe,EACf,MAAM,+BAA+B,CAAC;AACvC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,uBAAuB,CAAC;AAE5E,KAAK,OAAO,CACX,OAAO,EACP,IAAI,EACJ,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,SAAS,IACN,oBAAoB,CACvB,OAAO,EACP,IAAI,EACJ,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,KAAK,CACL,CAAC;AAEF,qBAAa,sBAAsB,CAClC,OAAO,EACP,IAAI,EACJ,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,gBAAgB,EAChB,UAAU,EACV,mBAAmB;IAGlB,OAAO,CAAC,QAAQ,CAAC,OAAO;IASxB,OAAO,CAAC,QAAQ,CAAC,eAAe;IAehC,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAxBP,OAAO,EAAE,OAAO,CAChC,OAAO,EACP,IAAI,EACJ,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,SAAS,CACT,EACgB,eAAe,EAAE,8BAA8B,CAC/D,eAAe,CACd,OAAO,CACN,OAAO,EACP,IAAI,EACJ,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,SAAS,CACT,CACD,EACD,gBAAgB,EAChB,UAAU,CACV,EACgB,OAAO,EAAE,aAAa,CAAC,mBAAmB,CAAC;IAG7D,KAAK,CAAC,WAAW,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAC1D,MAAM,EAAE,WAAW,GACjB,sBAAsB,CACxB,OAAO,EACP,IAAI,EACJ,gBAAgB,EAChB,kBAAkB,CAAC,OAAO,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,EACnD,kBAAkB,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,EACjD,QAAQ,EACR,SAAS,EACT,gBAAgB,EAChB,UAAU,EACV,mBAAmB,CACnB;IAiBD,MAAM,CAAC,WAAW,SAAS,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAC3D,MAAM,EAAE,WAAW,GACjB,sBAAsB,CACxB,OAAO,EACP,IAAI,EACJ,gBAAgB,EAChB,OAAO,EACP,QAAQ,EACR,kBAAkB,CAAC,QAAQ,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC,EACpD,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,EAClD,gBAAgB,EAChB,UAAU,EACV,mBAAmB,CACnB;IAiBD,KAAK,CAAC,MAAM,EACX,QAAQ,EAAE,uBAAuB,CAChC,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,EACjC,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC,EAC/C,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAC9B,GACC,kBAAkB,CAAC;QACrB,KAAK,EAAE,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACnC,MAAM,EAAE,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,EAAE,IAAI,CAAC;KACX,CAAC;IAQF,QAAQ,CAAC,MAAM,EACd,QAAQ,EAAE,uBAAuB,CAChC,YAAY,CAAC,QAAQ,EAAE,SAAS,CAAC,EACjC,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,CAAC,EAC/C,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAC9B,GACC,qBAAqB,CAAC;QACxB,KAAK,EAAE,YAAY,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACnC,MAAM,EAAE,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,EAAE,IAAI,CAAC;KACX,CAAC;IAQF,OAAO,CAAC,QAAQ;CAkBhB"}

package/dist/procedure.js

@@ -0,0 +1,34 @@
+import { Schema } from "effect";
+import { makeProcedureHandler } from "./internal/procedure-handler.js";
+import { captureStackTrace } from "./internal/stack-trace.js";
+export class EffectProcedureBuilder {
+    builder;
+    requestServices;
+    runtime;
+    constructor(builder, requestServices, runtime) {
+        this.builder = builder;
+        this.requestServices = requestServices;
+        this.runtime = runtime;
+    }
+    input(schema) {
+        const next = this.builder.input(Schema.toStandardSchemaV1(schema));
+        return new EffectProcedureBuilder(next, this.requestServices, this.runtime);
+    }
+    output(schema) {
+        const next = this.builder.output(Schema.toStandardSchemaV1(schema));
+        return new EffectProcedureBuilder(next, this.requestServices, this.runtime);
+    }
+    query(resolver) {
+        return this.dispatch("query", resolver);
+    }
+    mutation(resolver) {
+        return this.dispatch("mutation", resolver);
+    }
+    dispatch(type, resolver) {
+        const handler = makeProcedureHandler(this.runtime, resolver, this.requestServices, { captureStackTrace: captureStackTrace(), type });
+        return type === "query"
+            ? this.builder.query(handler)
+            : this.builder.mutation(handler);
+    }
+}
+//# sourceMappingURL=procedure.js.map

package/dist/procedure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"procedure.js","sourceRoot":"","sources":["../src/procedure.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAC;AAQvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAsB9D,MAAM,OAAO,sBAAsB;IAahB;IASA;IAeA;IAzBlB,YACkB,OAQhB,EACgB,eAchB,EACgB,OAA2C;QAxB3C,YAAO,GAAP,OAAO,CAQvB;QACgB,oBAAe,GAAf,eAAe,CAc/B;QACgB,YAAO,GAAP,OAAO,CAAoC;IAC1D,CAAC;IAEJ,KAAK,CACJ,MAAmB;QAanB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAU,CAAC,CAAC;QAC5E,OAAO,IAAI,sBAAsB,CAChC,IAQC,EACD,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,OAAO,CACZ,CAAC;IACH,CAAC;IAED,MAAM,CACL,MAAmB;QAanB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC;QACpE,OAAO,IAAI,sBAAsB,CAChC,IAQC,EACD,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,OAAO,CACZ,CAAC;IACH,CAAC;IAED,KAAK,CACJ,QAIC;QAMD,OAAO,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAIpC,CAAC;IACJ,CAAC;IAED,QAAQ,CACP,QAIC;QAMD,OAAO,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAIvC,CAAC;IACJ,CAAC;IAEO,QAAQ,CACf,IAA0B,EAC1B,QAIC;QAED,MAAM,OAAO,GAAG,oBAAoB,CACnC,IAAI,CAAC,OAAO,EACZ,QAAQ,EACR,IAAI,CAAC,eAAe,EACpB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,EAAE,IAAI,EAAE,CACvC,CAAC;QACX,OAAO,IAAI,KAAK,OAAO;YACtB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;YAC7B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;CACD"}

package/dist/request-services.d.ts

@@ -0,0 +1,7 @@
+import { type Layer as EffectLayer } from "effect";
+export interface EffectProcedureRequestServices<Context, Requirements, Error = never> {
+    readonly layer: (context: Context) => EffectLayer.Layer<Requirements, Error>;
+}
+export declare const makeRequestServices: <Context, Requirements, Error = never>(layer: (context: Context) => EffectLayer.Layer<Requirements, Error>) => EffectProcedureRequestServices<Context, Requirements, Error>;
+export declare const extendRequestServices: <BaseContext, Context extends BaseContext, BaseRequirements, BaseError, AdditionalRequirements, AdditionalError, AdditionalDependencies extends BaseRequirements = BaseRequirements>(base: EffectProcedureRequestServices<BaseContext, BaseRequirements, BaseError>, additional: (context: Context) => EffectLayer.Layer<AdditionalRequirements, AdditionalError, AdditionalDependencies>) => EffectProcedureRequestServices<Context, BaseRequirements | AdditionalRequirements, BaseError | AdditionalError>;
+//# sourceMappingURL=request-services.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"request-services.d.ts","sourceRoot":"","sources":["../src/request-services.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,KAAK,IAAI,WAAW,EAAS,MAAM,QAAQ,CAAC;AAE1D,MAAM,WAAW,8BAA8B,CAC9C,OAAO,EACP,YAAY,EACZ,KAAK,GAAG,KAAK;IAEb,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,WAAW,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;CAC7E;AAED,eAAO,MAAM,mBAAmB,GAAI,OAAO,EAAE,YAAY,EAAE,KAAK,GAAG,KAAK,EACvE,OAAO,CAAC,OAAO,EAAE,OAAO,KAAK,WAAW,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,KACjE,8BAA8B,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,CAAgB,CAAC;AAE/E,eAAO,MAAM,qBAAqB,GACjC,WAAW,EACX,OAAO,SAAS,WAAW,EAC3B,gBAAgB,EAChB,SAAS,EACT,sBAAsB,EACtB,eAAe,EACf,sBAAsB,SAAS,gBAAgB,GAAG,gBAAgB,EAElE,MAAM,8BAA8B,CACnC,WAAW,EACX,gBAAgB,EAChB,SAAS,CACT,EACD,YAAY,CACX,OAAO,EAAE,OAAO,KACZ,WAAW,CAAC,KAAK,CACrB,sBAAsB,EACtB,eAAe,EACf,sBAAsB,CACtB,KACC,8BAA8B,CAChC,OAAO,EACP,gBAAgB,GAAG,sBAAsB,EACzC,SAAS,GAAG,eAAe,CAI1B,CAAC"}

package/dist/request-services.js

@@ -0,0 +1,4 @@
+import { Layer } from "effect";
+export const makeRequestServices = (layer) => ({ layer });
+export const extendRequestServices = (base, additional) => makeRequestServices((context) => Layer.provideMerge(additional(context), base.layer(context)));
+//# sourceMappingURL=request-services.js.map

package/dist/request-services.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"request-services.js","sourceRoot":"","sources":["../src/request-services.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,KAAK,EAAE,MAAM,QAAQ,CAAC;AAU1D,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAClC,KAAmE,EACJ,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAE/E,MAAM,CAAC,MAAM,qBAAqB,GAAG,CASpC,IAIC,EACD,UAMC,EAKA,EAAE,CACH,mBAAmB,CAAC,CAAC,OAAgB,EAAE,EAAE,CACxC,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAC5D,CAAC"}

package/dist/testing/caller.d.ts

@@ -0,0 +1,10 @@
+import { type TRPCError } from "@trpc/server";
+import { type Context, Effect } from "effect";
+import type { EffectTRPCAdapter } from "../adapter.js";
+export type EffectCaller<Caller> = {
+    readonly [Key in keyof Caller]: Caller[Key] extends (...arguments_: infer Arguments) => Promise<infer Result> ? (...arguments_: Arguments) => Effect.Effect<Result, TRPCError> : Caller[Key] extends (...arguments_: infer Arguments) => infer Result ? (...arguments_: Arguments) => Result : Caller[Key] extends Record<string, unknown> ? EffectCaller<Caller[Key]> : Caller[Key];
+};
+export type EffectCallerFactory<Options, Caller> = EffectCaller<Caller> & ((options?: Options) => EffectCaller<Caller>);
+export declare const makeEffectCaller: <Caller extends object, Services>(adapter: Pick<EffectTRPCAdapter<never>, "runWithServices">, promiseCaller: Caller, services: Context.Context<Services>) => EffectCaller<Caller>;
+export declare const makeEffectCallerFactory: <Options, Caller extends object, Services>(adapter: Pick<EffectTRPCAdapter<never>, "runWithServices">, createCaller: (options?: Options) => Caller, services: Context.Context<Services>) => EffectCallerFactory<Options, Caller>;
+//# sourceMappingURL=caller.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"caller.d.ts","sourceRoot":"","sources":["../../src/testing/caller.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,KAAK,SAAS,EAAE,MAAM,cAAc,CAAC;AACvE,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAEvD,MAAM,MAAM,YAAY,CAAC,MAAM,IAAI;IAClC,QAAQ,EAAE,GAAG,IAAI,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CACnD,GAAG,UAAU,EAAE,MAAM,SAAS,KAC1B,OAAO,CAAC,MAAM,MAAM,CAAC,GACvB,CAAC,GAAG,UAAU,EAAE,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,GAC9D,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,UAAU,EAAE,MAAM,SAAS,KAAK,MAAM,MAAM,GACnE,CAAC,GAAG,UAAU,EAAE,SAAS,KAAK,MAAM,GACpC,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC1C,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GACzB,MAAM,CAAC,GAAG,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,mBAAmB,CAAC,OAAO,EAAE,MAAM,IAAI,YAAY,CAAC,MAAM,CAAC,GACtE,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,KAAK,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;AAE/C,eAAO,MAAM,gBAAgB,GAAI,MAAM,SAAS,MAAM,EAAE,QAAQ,EAC/D,SAAS,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,EAC1D,eAAe,MAAM,EACrB,UAAU,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,KACjC,YAAY,CAAC,MAAM,CA8BrB,CAAC;AAEF,eAAO,MAAM,uBAAuB,GACnC,OAAO,EACP,MAAM,SAAS,MAAM,EACrB,QAAQ,EAER,SAAS,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,EAC1D,cAAc,CAAC,OAAO,CAAC,EAAE,OAAO,KAAK,MAAM,EAC3C,UAAU,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,KACjC,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAgBrC,CAAC"}

package/dist/testing/caller.js

@@ -0,0 +1,41 @@
+import { getTRPCErrorFromUnknown } from "@trpc/server";
+import { Effect } from "effect";
+export const makeEffectCaller = (adapter, promiseCaller, services) => {
+    const build = (path) => new Proxy(Object.assign(() => undefined, { path }), {
+        apply(_target, _this, argumentsList) {
+            return Effect.tryPromise({
+                catch: getTRPCErrorFromUnknown,
+                try: () => adapter.runWithServices(services, () => {
+                    let leaf = promiseCaller;
+                    for (const segment of path) {
+                        leaf = leaf[segment];
+                    }
+                    return leaf(...argumentsList);
+                }),
+            });
+        },
+        get(_target, property) {
+            if (typeof property !== "string" || property === "then") {
+                return undefined;
+            }
+            return build([...path, property]);
+        },
+    });
+    return build([]);
+};
+export const makeEffectCallerFactory = (adapter, createCaller, services) => {
+    const defaultCaller = makeEffectCaller(adapter, createCaller(), services);
+    const target = (options) => makeEffectCaller(adapter, createCaller(options), services);
+    return new Proxy(target, {
+        get(_target, property, receiver) {
+            if (property === "then") {
+                return undefined;
+            }
+            if (typeof property !== "string") {
+                return Reflect.get(_target, property, receiver);
+            }
+            return Reflect.get(defaultCaller, property);
+        },
+    });
+};
+//# sourceMappingURL=caller.js.map

package/dist/testing/caller.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"caller.js","sourceRoot":"","sources":["../../src/testing/caller.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAkB,MAAM,cAAc,CAAC;AACvE,OAAO,EAAgB,MAAM,EAAE,MAAM,QAAQ,CAAC;AAkB9C,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC/B,OAA0D,EAC1D,aAAqB,EACrB,QAAmC,EACZ,EAAE;IACzB,MAAM,KAAK,GAAG,CAAC,IAA2B,EAAW,EAAE,CACtD,IAAI,KAAK,CACR,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,EACxC;QACC,KAAK,CAAC,OAAO,EAAE,KAAK,EAAE,aAAa;YAClC,OAAO,MAAM,CAAC,UAAU,CAAC;gBACxB,KAAK,EAAE,uBAAuB;gBAC9B,GAAG,EAAE,GAAG,EAAE,CACT,OAAO,CAAC,eAAe,CAAC,QAAQ,EAAE,GAAG,EAAE;oBACtC,IAAI,IAAI,GAAY,aAAa,CAAC;oBAClC,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;wBAC5B,IAAI,GAAI,IAAgC,CAAC,OAAO,CAAC,CAAC;oBACnD,CAAC;oBACD,OAAQ,IAAiD,CACxD,GAAG,aAAa,CAChB,CAAC;gBACH,CAAC,CAAC;aACH,CAAC,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,OAAO,EAAE,QAAQ;YACpB,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;gBACzD,OAAO,SAAS,CAAC;YAClB,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QACnC,CAAC;KACD,CACD,CAAC;IAEH,OAAO,KAAK,CAAC,EAAE,CAAyB,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAKtC,OAA0D,EAC1D,YAA2C,EAC3C,QAAmC,EACI,EAAE;IACzC,MAAM,aAAa,GAAG,gBAAgB,CAAC,OAAO,EAAE,YAAY,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,CAAC,OAAiB,EAAE,EAAE,CACpC,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC;IAE5D,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE;QACxB,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ;YAC9B,IAAI,QAAQ,KAAK,MAAM,EAAE,CAAC;gBACzB,OAAO,SAAS,CAAC;YAClB,CAAC;YACD,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBAClC,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACjD,CAAC;YACD,OAAO,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;KACD,CAAyC,CAAC;AAC5C,CAAC,CAAC"}

package/dist/testing/types.d.ts

@@ -0,0 +1,31 @@
+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 TrpcIt<Options, Caller, Provided> = Vitest.Methods & {
+    readonly effectTRPC: TrpcTester<Options, Caller, Provided>;
+};
+export interface TrpcTestRuntimeOptions<Options, Caller extends object, 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>;
+}
+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 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

@@ -0,0 +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"}

package/dist/testing/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/testing/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/testing/types.ts"],"names":[],"mappings":""}

package/dist/testing/vitest.d.ts

@@ -0,0 +1,4 @@
+import { Layer } from "effect";
+import type { CallerOptions, CallerResult, MakeTrpcItOptions, 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>>;
+//# sourceMappingURL=vitest.d.ts.map

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

@@ -0,0 +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"}

package/dist/testing/vitest.js

@@ -0,0 +1,28 @@
+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;
+        }
+    });
+    const effectTRPC = makeTrpcTester(fixtureIt, options);
+    return new Proxy(effectIt, {
+        get(target, property, receiver) {
+            if (property === "effectTRPC") {
+                return effectTRPC;
+            }
+            return Reflect.get(target, property, receiver);
+        },
+    });
+};
+//# sourceMappingURL=vitest.js.map

package/dist/testing/vitest.js.map

@@ -0,0 +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"}

package/dist/testing.d.ts

@@ -0,0 +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";
+//# sourceMappingURL=testing.d.ts.map

package/dist/testing.d.ts.map

@@ -0,0 +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"}

package/dist/testing.js

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

package/dist/testing.js.map

@@ -0,0 +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"}

package/dist/types.d.ts

@@ -0,0 +1,14 @@
+import type { TRPCError } from "@trpc/server";
+import type { Effect } from "effect";
+export type ProcedureKind = "mutation" | "query";
+export interface ProcedureInfo {
+    readonly captureStackTrace: () => string | undefined;
+    readonly path: string;
+    readonly type: ProcedureKind;
+}
+export interface EffectTRPCErrorContext extends ProcedureInfo {
+    readonly origin: "defect" | "failure";
+}
+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>;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +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"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,73 @@
+{
+  "name": "@shivaedev/effect-trpc",
+  "version": "0.0.0",
+  "description": "Effect-native procedures and testing for tRPC",
+  "type": "module",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/ShivaeDev/platform.git",
+    "directory": "packages/effect-trpc"
+  },
+  "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-trpc#readme",
+  "bugs": {
+    "url": "https://github.com/ShivaeDev/platform/issues"
+  },
+  "engines": {
+    "node": ">=24"
+  },
+  "sideEffects": false,
+  "files": [
+    "dist",
+    "src",
+    "CHANGELOG.md",
+    "README.md"
+  ],
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "source": "./src/index.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    },
+    "./testing": {
+      "types": "./dist/testing.d.ts",
+      "source": "./src/testing.ts",
+      "import": "./dist/testing.js",
+      "default": "./dist/testing.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  },
+  "peerDependencies": {
+    "@effect/vitest": "4.0.0-beta.102",
+    "@trpc/server": "11.18.0",
+    "effect": "4.0.0-beta.102"
+  },
+  "peerDependenciesMeta": {
+    "@effect/vitest": {
+      "optional": true
+    }
+  },
+  "devDependencies": {
+    "@effect/vitest": "4.0.0-beta.102",
+    "@trpc/server": "11.18.0",
+    "@types/node": "24.10.1",
+    "@typescript/native": "npm:typescript@7.0.2",
+    "effect": "4.0.0-beta.102",
+    "typescript": "npm:@typescript/typescript6@6.0.2",
+    "vitest": "4.1.9"
+  },
+  "scripts": {
+    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc6 --project tsconfig.build.json",
+    "check": "biome check .",
+    "test": "vitest run",
+    "test:package": "node scripts/test-package.mjs",
+    "typecheck": "tsc --noEmit",
+    "typecheck:compat": "tsc6 --noEmit",
+    "ready": "pnpm check && pnpm typecheck && pnpm typecheck:compat && pnpm test && pnpm build && pnpm test:package"
+  }
+}

package/src/adapter.ts

@@ -0,0 +1,85 @@
+import type {
+	inferProcedureBuilderResolverOptions,
+	TRPCProcedureBuilder,
+} from "@trpc/server";
+import type { Context, ManagedRuntime } 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";
+
+export interface MakeEffectTRPCOptions<Requirements, RuntimeError> {
+	readonly instrument?: EffectTRPCInstrument;
+	readonly mapError?: EffectTRPCErrorMapper;
+	readonly runtime: ManagedRuntime.ManagedRuntime<Requirements, RuntimeError>;
+}
+
+export interface EffectTRPCAdapter<Requirements> {
+	readonly procedure: <
+		Context,
+		Meta,
+		ContextOverrides,
+		InputIn,
+		InputOut,
+		OutputIn,
+		OutputOut,
+		ProvidedServices,
+		LayerError,
+	>(
+		builder: TRPCProcedureBuilder<
+			Context,
+			Meta,
+			ContextOverrides,
+			InputIn,
+			InputOut,
+			OutputIn,
+			OutputOut,
+			false
+		>,
+		requestServices: EffectProcedureRequestServices<
+			inferProcedureBuilderResolverOptions<
+				TRPCProcedureBuilder<
+					Context,
+					Meta,
+					ContextOverrides,
+					InputIn,
+					InputOut,
+					OutputIn,
+					OutputOut,
+					false
+				>
+			>["ctx"],
+			ProvidedServices,
+			LayerError
+		>,
+	) => EffectProcedureBuilder<
+		Context,
+		Meta,
+		ContextOverrides,
+		InputIn,
+		InputOut,
+		OutputIn,
+		OutputOut,
+		ProvidedServices,
+		LayerError,
+		Requirements
+	>;
+	readonly runWithServices: <Services, Value>(
+		services: Context.Context<Services>,
+		evaluate: () => Value,
+	) => Value;
+}
+
+export const makeEffectTRPC = <Requirements, RuntimeError = never>(
+	options: MakeEffectTRPCOptions<Requirements, RuntimeError>,
+): EffectTRPCAdapter<Requirements> => {
+	const contextBridge = makeContextBridge();
+	const runtime = makeRuntimeBridge(options.runtime, contextBridge, options);
+
+	return {
+		procedure: (builder, requestServices) =>
+			new EffectProcedureBuilder(builder, requestServices, runtime) as never,
+		runWithServices: contextBridge.run,
+	};
+};

package/src/errors.ts

@@ -0,0 +1,30 @@
+import { TRPCError } from "@trpc/server";
+import { Effect } from "effect";
+
+export const fail = (
+	code: TRPCError["code"],
+	message: string,
+	cause?: unknown,
+): Effect.Effect<never, TRPCError> =>
+	Effect.fail(new TRPCError({ cause, code, message }));
+
+export const badRequest = (message: string, cause?: unknown) =>
+	fail("BAD_REQUEST", message, cause);
+
+export const unauthorized = (message: string, cause?: unknown) =>
+	fail("UNAUTHORIZED", message, cause);
+
+export const forbidden = (message: string, cause?: unknown) =>
+	fail("FORBIDDEN", message, cause);
+
+export const notFound = (message: string, cause?: unknown) =>
+	fail("NOT_FOUND", message, cause);
+
+export const conflict = (message: string, cause?: unknown) =>
+	fail("CONFLICT", message, cause);
+
+export const preconditionFailed = (message: string, cause?: unknown) =>
+	fail("PRECONDITION_FAILED", message, cause);
+
+export const internalServerError = (message: string, cause?: unknown) =>
+	fail("INTERNAL_SERVER_ERROR", message, cause);

package/src/index.ts

@@ -0,0 +1,28 @@
+export {
+	type EffectTRPCAdapter,
+	type MakeEffectTRPCOptions,
+	makeEffectTRPC,
+} from "./adapter.js";
+export {
+	badRequest,
+	conflict,
+	fail,
+	forbidden,
+	internalServerError,
+	notFound,
+	preconditionFailed,
+	unauthorized,
+} from "./errors.js";
+export type { EffectProcedureBuilder } from "./procedure.js";
+export {
+	type EffectProcedureRequestServices,
+	extendRequestServices,
+	makeRequestServices,
+} from "./request-services.js";
+export type {
+	EffectTRPCErrorContext,
+	EffectTRPCErrorMapper,
+	EffectTRPCInstrument,
+	ProcedureInfo,
+	ProcedureKind,
+} from "./types.js";

package/src/internal/context-bridge.ts

@@ -0,0 +1,20 @@
+import { AsyncLocalStorage } from "node:async_hooks";
+import type { Context } from "effect";
+
+export interface ContextBridge {
+	readonly current: () => Context.Context<never> | undefined;
+	readonly run: <Services, Value>(
+		services: Context.Context<Services>,
+		evaluate: () => Value,
+	) => Value;
+}
+
+export const makeContextBridge = (): ContextBridge => {
+	const storage = new AsyncLocalStorage<Context.Context<never>>();
+
+	return {
+		current: () => storage.getStore(),
+		run: (services, evaluate) =>
+			storage.run(services as Context.Context<never>, evaluate),
+	};
+};

package/src/internal/procedure-handler.ts

@@ -0,0 +1,48 @@
+import { Effect } from "effect";
+import type { EffectProcedureRequestServices } from "../request-services.js";
+import type { ProcedureInfo } from "../types.js";
+import type { EffectProcedureResolver } from "./procedure-types.js";
+import type { RuntimeBridge } from "./runtime.js";
+
+interface ProcedureInvocation<Context, Input> {
+	readonly ctx: Context;
+	readonly input: Input;
+	readonly path: string;
+	readonly signal?: AbortSignal;
+}
+
+export const makeProcedureHandler = <
+	RuntimeRequirements,
+	Context,
+	Input,
+	ProvidedServices,
+	LayerError,
+	Output,
+>(
+	runtime: RuntimeBridge<RuntimeRequirements>,
+	resolver: EffectProcedureResolver<
+		Input,
+		ProvidedServices | NoInfer<RuntimeRequirements>,
+		Output
+	>,
+	requestServices: EffectProcedureRequestServices<
+		Context,
+		ProvidedServices,
+		LayerError
+	>,
+	procedure: Omit<ProcedureInfo, "path">,
+) => {
+	const tracedResolver = Effect.fnUntraced(resolver);
+
+	return async (invocation: ProcedureInvocation<Context, Input>) => {
+		const provided = Effect.suspend(() =>
+			tracedResolver(invocation.input).pipe(
+				Effect.provide(requestServices.layer(invocation.ctx)),
+			),
+		);
+		return await runtime.runEffect(provided, {
+			procedure: { ...procedure, path: invocation.path },
+			...(invocation.signal === undefined ? {} : { signal: invocation.signal }),
+		});
+	};
+};

package/src/internal/procedure-types.ts

@@ -0,0 +1,49 @@
+import type {
+	inferProcedureBuilderResolverOptions,
+	TRPCProcedureBuilder,
+	TRPCUnsetMarker,
+} from "@trpc/server";
+import type { Effect } from "effect";
+
+export type AnyProcedureBuilder = TRPCProcedureBuilder<
+	// biome-ignore lint/suspicious/noExplicitAny: tRPC phantom slot extraction
+	any,
+	// biome-ignore lint/suspicious/noExplicitAny: tRPC phantom slot extraction
+	any,
+	// biome-ignore lint/suspicious/noExplicitAny: tRPC phantom slot extraction
+	any,
+	// biome-ignore lint/suspicious/noExplicitAny: tRPC phantom slot extraction
+	any,
+	// biome-ignore lint/suspicious/noExplicitAny: tRPC phantom slot extraction
+	any,
+	// biome-ignore lint/suspicious/noExplicitAny: tRPC phantom slot extraction
+	any,
+	// biome-ignore lint/suspicious/noExplicitAny: tRPC phantom slot extraction
+	any,
+	false
+>;
+
+export type DefaultValue<Value, Fallback> = Value extends TRPCUnsetMarker
+	? Fallback
+	: Value;
+
+export type IntersectIfDefined<Value, With> = Value extends TRPCUnsetMarker
+	? With
+	: With extends TRPCUnsetMarker
+		? Value
+		: Value & With;
+
+export type ResolverContext<Builder extends AnyProcedureBuilder> =
+	inferProcedureBuilderResolverOptions<Builder>["ctx"];
+
+export type ProcedureEffect<Requirements> = Effect.Effect<
+	// biome-ignore lint/suspicious/noExplicitAny: success is inferred from each yielded Effect
+	any,
+	// biome-ignore lint/suspicious/noExplicitAny: errors are inferred from each yielded Effect
+	any,
+	Requirements
+>;
+
+export type EffectProcedureResolver<Input, Requirements, Output> = (
+	input: Input,
+) => Generator<ProcedureEffect<Requirements>, Output, never>;