The HTTP API guide showed how to build
REST-style endpoints with schema validation. Effect RPC takes a
different angle — you define procedures instead of HTTP
endpoints, and you get a fully typed client for free with no URL
construction or manual serialization.
The transport is still HTTP under the hood, and both patterns
produce the same HttpEffect type, so the wiring story is
identical to the HTTP API guide:
Define schemas outside. Domain types and tagged errors,
importable by both server and client.
Construct the service inside the Worker’s Init phase.RpcGroup.toLayer is pure construction — safe to call at plan
time. Don’t yield* the running server; it can’t run without a
request.
Return { fetch } where fetch is the HttpEffect
produced by RpcServer.toHttpEffect.
Bonus: deploy and call the procedures from a typed client
that shares the exact same RpcGroup value.
Each Rpc.make declares one procedure: a name, a payload schema,
a success schema, and an error schema. RpcGroup.make collects them
into a single value that both the server and the client will share.
The generator inside Cloudflare.Worker is the Init phase — it
runs both at plan time and at runtime. Only do pure construction
or resource-binding factories here; never yield* work that needs
an incoming request.
Tasks need durable storage. Declare an R2Bucket resource and bind
it inside Init — bind() returns a typed handle whose get /
put / delete / list methods we’ll call from the handlers
below.
src/bucket.ts
import*asCloudflarefrom"alchemy/Cloudflare";
exportconstTasks=Cloudflare.R2Bucket("Tasks");
import {
import Tasks
Tasks } from"./bucket.ts";
exportdefault
any
Cloudflare.
any
Worker(
"Worker",
{
main: string
main:import.
The type of import.meta.
If you need to declare that a given property exists on import.meta,
this type may be augmented via interface merging.
meta.
ImportMeta.path: string
Absolute path to the source file
path },
any
Effect.
any
gen(function* () {
const
consttasks: any
tasks=yield*
any
Cloudflare.
any
R2Bucket.
any
bind(
import Tasks
Tasks);
return {};
}),
);
We’ll provide the runtime side of this binding
(Cloudflare.R2BucketBindingLive) in step 3c when we wire up the
fetch handler.
TaskRpcs.toLayer takes an Effect that returns one handler per
procedure and produces a Layer. Like HttpApiBuilder.group, this
is pure construction — it builds a value, it doesn’t run the server.
Don’t yield* TaskRpcs.toLayer(...) here. Building a layer is
fine, but actually executing the procedures requires an incoming
request. Init only constructs; the work happens later, on each
fetch call.
any
Effect.
any
gen(function* () {
const
consttasks: any
tasks=yield*
any
Cloudflare.
any
R2Bucket.
any
bind(
any
Tasks);
const
consthandlersLayer: any
handlersLayer=
any
TaskRpcs.
any
toLayer({
getTask: ({ id }: {
id: any;
}) => any
getTask: ({
id: any
id }) =>
any
Effect.
any
gen(function* () {
const
constobject: any
object=yield*
consttasks: any
tasks.
any
get(
id: any
id);
if (!
constobject: any
object) {
returnyield*
any
Effect.
any
fail(new
any
TaskNotFound({
id: any
id }));
}
return
any
Schema.
any
decodeUnknownSync(
any
Task)(
var JSON: JSON
An intrinsic object that provides functions to convert JavaScript values to and from the JavaScript Object Notation (JSON) format.
Converts a JavaScript Object Notation (JSON) string into an object.
@param ― text A valid JSON string.
@param ― reviver A function that transforms the results. This function is called for each member of the object.
If a member contains nested objects, the nested objects are transformed before the parent object is.
@throws ― {SyntaxError} If text is not valid JSON.
Converts a JavaScript value to a JavaScript Object Notation (JSON) string.
@param ― value A JavaScript value, usually an object or array, to be converted.
@param ― replacer A function that transforms the results.
@param ― space Adds indentation, white space, and line break characters to the return-value JSON text to make it easier to read.
@throws ― {TypeError} If a circular reference or a BigInt value is found.
stringify(
consttask: any
task));
return
consttask: any
task;
}).
any
pipe(
any
Effect.
any
catchTag("R2Error", (
error: any
error) =>
any
Effect.
any
fail(new
any
CreateTaskFailed({
message: any
message:
error: any
error.
any
message })),
),
),
});
return {};
}),
Each handler receives the typed payload and returns an Effect
that either succeeds with the declared success schema or fails with
the declared error schema. getTask uses Effect.orDie to turn
unexpected R2 failures into 500s — TaskNotFound is the only
client-visible error. createTask maps R2 failures into the
declared CreateTaskFailed error so the client can match on it.
Because TaskRpcs is just a value, the same group drives a fully
typed client — no codegen. client.createTask accepts
{ title: string } and returns Effect<Task, CreateTaskFailed>.
The errors are typed values: client.getTask returns
Effect<Task, TaskNotFound>, and you can Effect.catchTag( "TaskNotFound", ...) to handle the missing case explicitly.