effect-zero 0.0.0-alpha.0 → 0.1.0

package/LICENSE

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2025 realms-labs
+Copyright (c) 2025 sakura-labs
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

package/README.md

@@ -0,0 +1,187 @@
+# effect-zero
+
+## Server Setup
+
+```ts
+// server/zero.ts
+import { PostgresJSConnection, ZQLDatabase } from "@rocicorp/zero/pg";
+import { ZeroPushResponse, ZeroPushParams, ZeroPushBody } from "effect-zero/types";
+import * as ZeroServer from "effect-zero/server";
+import * as Schema from "effect/Schema";
+import * as Effect from "effect/Effect";
+import postgres from "postgres";
+import { zeroClient } from '../client/zero'; // optional (see below)
+
+// zero schema (define or use something like drizzle-zero)
+import { schema } from "./schema";
+
+// setup connection
+const connection = new PostgresJSConnection(postgres(process.env.DATABASE_URL!));
+const database = new ZQLDatabase(connection, schema);
+
+// the "server-side" zero instance
+export const zero = ZeroServer.makeServer({
+  database,
+  // this part is optional, but it allows us to use the client mutators on the server side
+  clientTransaction: zeroClient.Transaction,
+});
+
+// define mutators (same as client, see below)
+// in practice this can be a centralized file which is imported in both places
+export type MutatorArgs = {
+  todo: {
+    create: { id: string; title: string };
+    toggle: { id: string; done: boolean };
+  };
+};
+
+// define mutators.
+export const serverMutators = zero.mutators<MutatorArgs>()({
+  todo: {
+    create: Effect.fn(function* ({ id, title }) {
+      // Note, we can run arbitrary logic before/after performing the zero transaction
+      // this is a unique feature which is not supported by the default zero push processor implementation
+      // shipped with the base `@rocicorp/zero` package
+      
+      // before the transaction
+      yield Effect.log("before the transaction");
+
+      Effect.gen(function* () {
+        // during the transaction
+        yield Effect.log("during the transaction");
+        yield* zero.Transaction.use((tx) => tx.mutate.TodoTable.insert({ id, title, createdAt: Date.now() }));
+        yield* zero.Transaction.use((tx) => tx.mutate.TodoTable.update({ id, done: false }));
+        // ...
+      }).pipe(zero.Transaction.execute);
+
+      // after the transaction
+      yield Effect.log("after the transaction");
+    }),
+    toggle: Effect.fn(function* ({ id, done }) {
+      yield* zero.Transaction.use((tx) => tx.mutate.TodoTable.update({ id, done })).pipe(zero.Transaction.execute);
+    }),
+  },
+});
+
+// handler for push endpoint
+// Note: this is framework-agnostic so that is why Effect.runPromise is used below, however this is of course not needed
+// if your server framework is effect-based (like Effect HTTP module)
+
+export async function handleZeroPush(req: Request): Promise<Response> {
+  const url = new URL(req.url);
+  const urlParams = Schema.decodeSync(ZeroPushParams)({
+    schema: url.searchParams.get("schema")!,
+    appID: url.searchParams.get("appID")!,
+  });
+  const payload = Schema.decodeSync(ZeroPushBody)(await req.json());
+
+  const result = await Effect.runPromise(zero.processPush(serverMutators, urlParams, payload));
+  const responseBody = Schema.encodeSync(ZeroPushResponse)(result);
+  return new Response(JSON.stringify(responseBody), { status: 200, headers: { "content-type": "application/json" } });
+}
+```
+
+## Client Setup
+
+```ts
+// client/zero.ts
+import { Zero } from "@rocicorp/zero";
+import * as ZeroClient from "effect-zero/client";
+import * as Effect from "effect/Effect";
+import { schema } from "./schema"; // your schema
+
+// as mentioned above, this can be centralized between client and server
+export type MutatorArgs = {
+  todo: {
+    create: { id: string; title: string };
+    toggle: { id: string; done: boolean };
+  };
+};
+
+// The "client-side" zero instance
+export const zeroClient = ZeroClient.makeClient<typeof schema>();
+
+export const clientMutators = zeroClient.mutators<MutatorArgs>()({
+  todo: {
+    create: Effect.fn(function* ({ id, title }) {
+      yield* zeroClient.Transaction.use((tx) => tx.mutate.TodoTable.insert({ id, title, createdAt: Date.now() }));
+    }),
+    toggle: Effect.fn(function* ({ id, done }) {
+      yield* zeroClient.Transaction.use((tx) => tx.mutate.TodoTable.update({ id, done }));
+    }),
+  },
+});
+
+export async function createZero(opts: { userID: string; auth?: string; server: string }) {
+  const mutators = await Effect.runPromise(zeroClient.unwrapMutators(clientMutators));
+  return new Zero({
+    userID: opts.userID,
+    auth: opts.auth,
+    server: opts.server, // your push/pull endpoint base URL
+    schema,
+    kvStore: "idb", // or "mem" for in-memory
+    mutators,
+  });
+}
+```
+
+## Query Atoms
+
+```ts
+// state/todos.ts
+import { Atom } from "@effect-atom/atom";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import { createZero, zero } from "../client/zero";
+
+// build/load the zero instance
+const zeroAtom = Atom.make(
+  Effect.fn(function* (get) {
+    const zero = yield* Effect.promise(() => createZero({ ... }));
+    
+    //add finalizer
+    get.addFinalizer(() => {
+      zero.close();
+    });
+
+    return zero;
+  }),
+);
+
+// example query atom
+export const userAtom = Atom.make(
+  Effect.fn(function* (get) {
+    const zero = yield* get.result(zeroAtom);
+    const userId = yield* get.result(userIdAtom);
+    if (Option.isNone(userId)) {
+      return Option.none();
+    }
+    const query = zero.query.UserTable.where("id", "=", userId.value).one();
+    return yield* get.result(zeroClient.queryAtom(query)).pipe(Effect.map(Option.fromNullable));
+  }),
+);
+```
+
+## Calling Mutations
+
+With the `Zero` instance created using your unwrapped mutators, call them via `zero.mutate`:
+
+```ts
+export const deleteMessageAtom = Atom.fn(
+  Effect.fn(function* (messageId: MessageId) {
+    const zero = yield* Atom.getResult(zeroAtom);
+    yield* Effect.promise(() => zero.mutate.MessageTable.delete({ id: messageId }));
+  }),
+);
+```
+
+## Differences from the original implementation
+
+One key difference is that `effect-zero` requires you to manually wrap your DB-related logic in a transaction inside a mutator code, whereas the original implementation automatically wraps the whole mutation in a transaction. This allows you to define some logic outside of transaction (either before or after), but it also creates some edge cases that are not possible in the original implementation, because now the transaction might succeed, but the code outside of it might fail. Below are the edge case rules that `effect-zero` follows during the mutation execution:
+
+1. "One transaction and succeed" -> successful response from the push endpoint (normal flow).
+2. "One transaction then fail" (code after the transaction produces an error) -> successful response, despite the mutation failing. This is essential to maintain integrity of Zero's internal state: the transaction has already succeeded (and altered the state of the database), thus the result from the push endpoint must coincide. Relatedly, the user must be careful with work performed after the transaction, it is considered "fire and forget".
+3. "Two or more transactions" -> This is a sub-case of the "One transaction then fail (#2)" scenario; the first transaction will succeed (and thus we must return a successful response from the push endpoint), and the second one will fail. We must be careful of performing multiple transactions in the mutator for this reason.
+4. "Zero transactions then succeed" -> error response, because all mutations must have a transaction.
+5. "Zero transactions then fail" -> error response containing the first error encountered.
+6. "Fail before transaction" -> same as #5.

package/dist/client.d.ts

@@ -0,0 +1,47 @@
+import { Atom } from "@effect-atom/atom";
+import type { HumanReadable, Query, Transaction, Schema as ZeroSchema } from "@rocicorp/zero";
+import * as Cause from "effect/Cause";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import type * as ParseResult from "effect/ParseResult";
+import * as Schema from "effect/Schema";
+import * as Subscribable from "effect/Subscribable";
+import { type AnyMutator, type AnyMutators, type ExtractMutatorsRequirements, MutatorArgsSchemaSym } from "./mutators.js";
+export interface ZeroClientTransaction {
+    readonly _tag: unique symbol;
+}
+export declare const makeClient: <S extends ZeroSchema>() => {
+    unwrapMutators: <T extends AnyMutators>(mutators: T) => Effect.Effect<{ [A in keyof T]: T[A] extends AnyMutator ? UnwrapMutator<S, T[A]> : { [B in keyof T[A]]: T[A][B] extends AnyMutator ? UnwrapMutator<S, T[A][B]> : never; }; }, never, Exclude<ExtractMutatorsRequirements<T>, ZeroClientTransaction>>;
+    querySub: <T extends keyof S["tables"] & string, R>(query: Query<S, T, R>) => Effect.Effect<Subscribable.Subscribable<{
+        data: HumanReadable<R>;
+        status: "unknown" | "complete" | "error";
+    }, never, never>, never, import("effect/Scope").Scope>;
+    queryAtom: <T extends keyof S["tables"] & string, R_1>(arg: Query<S, T, R_1>) => Atom.Atom<import("@effect-atom/atom/Result").Result<HumanReadable<R_1>, never>>;
+    Transaction: Context.TagClass<ZeroClientTransaction, "effect-zero/ZeroClientTransaction", Transaction<S>> & {
+        use: <A>(fn: (transaction: Transaction<S>, options: {
+            readonly signal: AbortSignal;
+        }) => PromiseLike<A>) => Effect.Effect<A, ZeroClientTransactionError, ZeroClientTransaction>;
+    };
+};
+type UnwrapMutator<S extends ZeroSchema, T extends AnyMutator> = Parameters<T> extends [] ? (transaction: Transaction<S>) => Promise<void> : (transaction: Transaction<S>, args: Schema.Schema.Encoded<T[typeof MutatorArgsSchemaSym]>) => Promise<void>;
+export type UnwrapMutators<S extends ZeroSchema, T extends AnyMutators> = {
+    [A in keyof T]: T[A] extends AnyMutator ? UnwrapMutator<S, T[A]> : {
+        [B in keyof T[A]]: T[A][B] extends AnyMutator ? UnwrapMutator<S, T[A][B]> : never;
+    };
+} & {};
+declare const ZeroClientTransactionError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "ZeroClientTransactionError";
+} & Readonly<A>;
+export declare class ZeroClientTransactionError extends ZeroClientTransactionError_base<{
+    cause: Cause.Cause<unknown>;
+}> {
+}
+declare const ZeroClientArgsParseError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "ZeroClientArgsParseError";
+} & Readonly<A>;
+export declare class ZeroClientArgsParseError extends ZeroClientArgsParseError_base<{
+    cause: Cause.Cause<ParseResult.ParseError>;
+}> {
+}
+export {};
+//# sourceMappingURL=client.d.ts.map

package/dist/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,KAAK,EAAqB,WAAW,EAAE,MAAM,IAAI,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,KAAK,KAAK,WAAW,MAAM,oBAAoB,CAAC;AAIvD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,YAAY,MAAM,qBAAqB,CAAC;AAEpD,OAAO,EACL,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,2BAA2B,EAChC,oBAAoB,EACrB,MAAM,eAAe,CAAC;AAOvB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,OAAO,MAAM,CAAC;CAC9B;AAED,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,UAAU;qBAcD,CAAC,SAAS,WAAW,mCAuEhE,CAAC,oEAEK,CAAC;eAlD8B,CAAC,SAAS,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,EAAE,CAAC;;;;gBA+B9C,CAAC,SAAS,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM;;cAhEtD,CAAC,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;SAAE,KAAK,WAAW,CAAC,CAAC,CAAC;;CA0E/G,CAAC;AAEF,KAAK,aAAa,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,EAAE,GACrF,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,GAC9C,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,oBAAoB,CAAC,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;AAEhH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,WAAW,IAAI;KACvE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GACnC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GACtB;SAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;KAAE;CAC1F,GAAG,EAAE,CAAC;;;;AAEP,qBAAa,0BAA2B,SAAQ,gCAA+C;IAC7F,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;CAC7B,CAAC;CAAG;;;;AAEL,qBAAa,wBAAyB,SAAQ,8BAA6C;IACzF,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;CAC5C,CAAC;CAAG"}

package/dist/client.js

@@ -0,0 +1,61 @@
+import { Atom } from "@effect-atom/atom";
+import * as Cause from "effect/Cause";
+import * as Context from "effect/Context";
+import * as Data from "effect/Data";
+import * as Effect from "effect/Effect";
+import * as Exit from "effect/Exit";
+import * as Match from "effect/Match";
+import * as Predicate from "effect/Predicate";
+import * as Rec from "effect/Record";
+import * as Runtime from "effect/Runtime";
+import * as Schema from "effect/Schema";
+import * as Stream from "effect/Stream";
+import * as Subscribable from "effect/Subscribable";
+import * as SubscriptionRef from "effect/SubscriptionRef";
+import { MutatorArgsSchemaSym, } from "./mutators.js";
+import { deepClone, getDefaultSnapshot, getSnapshot } from "./snapshot.js";
+import { prefixId } from "./utils.js";
+export const makeClient = () => {
+    // TODO: Maybe prefix this / suffix this with a tag passed in to `make`?
+    const ZeroClientTransaction = Context.Tag(prefixId("ZeroClientTransaction"))();
+    const use = (fn) => Effect.flatMap(ZeroClientTransaction, (transaction) => Effect.promise((signal) => fn(transaction, { signal }))).pipe(Effect.tapErrorCause((cause) => Effect.logError(cause)), Effect.sandbox, Effect.annotateLogs({ module: prefixId("ZeroClient.Transaction"), method: "use" }), Effect.mapError((cause) => new ZeroClientTransactionError({ cause })));
+    const unwrapMutators = Effect.fn(function* (mutators) {
+        const runtime = yield* Effect.runtime();
+        function unwrapMutator(mutator) {
+            return async (tx, args) => {
+                const exit = await Schema.decode(mutator[MutatorArgsSchemaSym])(args).pipe(Effect.catchTag("ParseError", (e) => new ZeroClientArgsParseError({ cause: Cause.fail(e) })), Effect.flatMap(mutator), Effect.provideService(ZeroClientTransaction, tx), Runtime.runPromiseExit(runtime));
+                return Exit.getOrElse(exit, (c) => {
+                    // Extract underlying error bypassing FiberFailure
+                    throw Cause.squash(c);
+                });
+            };
+        }
+        return Rec.map(mutators, (v) => Match.value(v).pipe(Match.when(Predicate.isFunction, unwrapMutator), Match.orElse(Rec.map(unwrapMutator))));
+    });
+    const querySub = Effect.fn(function* (query) {
+        const view = yield* Effect.acquireRelease(Effect.sync(() => query.materialize()), (view) => Effect.sync(() => view.destroy()));
+        const subscriptionRef = yield* SubscriptionRef.make(getDefaultSnapshot(query.format.singular));
+        yield* Stream.asyncEffect((emit) => Effect.sync(() => view.addListener((...args) => emit.single(args)))).pipe(Stream.mapEffect(([data, resultType]) => Effect.sync(() => {
+            // logic here borrowed from: https://github.com/rocicorp/mono/blob/288b00ec94f5a9ae6e988513423af25c281dbb2a/packages/zero-react/src/use-query.tsx#L295
+            const cloned = data === undefined ? data : deepClone(data);
+            return getSnapshot(query.format.singular, cloned, resultType);
+        })), Stream.runForEach((snapshot) => SubscriptionRef.set(subscriptionRef, snapshot)), Effect.forkScoped);
+        return subscriptionRef.pipe(Subscribable.map(([data, { type: status }]) => ({
+            data,
+            status,
+        })));
+    });
+    /** Create an Atom for the query */
+    const queryAtom = Atom.family((query) => Atom.subscribable(querySub(query)).pipe(Atom.mapResult((res) => res.data)));
+    return {
+        unwrapMutators,
+        querySub,
+        queryAtom,
+        Transaction: Object.assign(ZeroClientTransaction, { use }),
+    };
+};
+export class ZeroClientTransactionError extends Data.TaggedError("ZeroClientTransactionError") {
+}
+export class ZeroClientArgsParseError extends Data.TaggedError("ZeroClientArgsParseError") {
+}
+//# sourceMappingURL=client.js.map

package/dist/client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.js","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAGzC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,YAAY,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,eAAe,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAIL,oBAAoB,GACrB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAStC,MAAM,CAAC,MAAM,UAAU,GAAG,GAAyB,EAAE;IACnD,wEAAwE;IACxE,MAAM,qBAAqB,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,EAAyC,CAAC;IAEtH,MAAM,GAAG,GAAG,CAAI,EAA8F,EAAE,EAAE,CAChH,MAAM,CAAC,OAAO,CAAC,qBAAqB,EAAE,CAAC,WAAW,EAAE,EAAE,CACpD,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CACxD,CAAC,IAAI,CACJ,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EACvD,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,wBAAwB,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAClF,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,0BAA0B,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CACtE,CAAC;IAEJ,MAAM,cAAc,GAAG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAyB,QAAW;QAC5E,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAkE,CAAC;QAExG,SAAS,aAAa,CAAI,OAAsD;YAC9E,OAAO,KAAK,EAAE,EAAkB,EAAE,IAAa,EAAE,EAAE;gBACjD,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CACxE,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,wBAAwB,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC5F,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EACvB,MAAM,CAAC,cAAc,CAAC,qBAAqB,EAAE,EAAE,CAAC,EAChD,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAChC,CAAC;gBACF,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;oBAChC,kDAAkD;oBAClD,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACxB,CAAC,CAAC,CAAC;YACL,CAAC,CAAC;QACJ,CAAC;QAED,OAAO,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAC7B,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,aAAa,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CACnF,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAA2C,KAAqB;QAClG,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,cAAc,CACvC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EACtC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAC5C,CAAC;QAEF,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAiB,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAE/G,KAAK,CAAC,CAAC,MAAM,CAAC,WAAW,CAA0D,CAAC,IAAI,EAAE,EAAE,CAC1F,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CACpE,CAAC,IAAI,CACJ,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CACtC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,sJAAsJ;YACtJ,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,SAAS,CAAC,IAAyB,CAAsB,CAAC;YACtG,OAAO,WAAW,CAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;QACnE,CAAC,CAAC,CACH,EACD,MAAM,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC,EAC/E,MAAM,CAAC,UAAU,CAClB,CAAC;QAEF,OAAO,eAAe,CAAC,IAAI,CACzB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI;YACJ,MAAM;SACP,CAAC,CAAC,CACJ,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,mCAAmC;IACnC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAA0C,KAAqB,EAAE,EAAE,CAC/F,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC3E,CAAC;IAEF,OAAO;QACL,cAAc;QACd,QAAQ;QACR,SAAS;QACT,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,EAAE,GAAG,EAAE,CAAC;KAC3D,CAAC;AACJ,CAAC,CAAC;AAYF,MAAM,OAAO,0BAA2B,SAAQ,IAAI,CAAC,WAAW,CAAC,4BAA4B,CAE3F;CAAG;AAEL,MAAM,OAAO,wBAAyB,SAAQ,IAAI,CAAC,WAAW,CAAC,0BAA0B,CAEvF;CAAG"}

package/dist/mutators.d.ts

@@ -0,0 +1,35 @@
+import type * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+export type AnyMutatorDef<R = any, TArgs extends any[] = any[]> = (...args: TArgs) => Effect.Effect<any, any, R>;
+export type AnyMutatorDefs<R = any> = {
+    [K: string]: AnyMutatorDef<R> | {
+        [K: string]: AnyMutatorDef<R>;
+    };
+};
+export type AnyMutatorSchemaArgs = Schema.Schema<any, any, never>;
+export type AnyMutatorSchema = Record<string, AnyMutatorSchemaArgs | Record<string, AnyMutatorSchemaArgs>>;
+export type MutatorDefs<TSchema extends AnyMutatorSchema> = {
+    [K in keyof TSchema]: TSchema[K] extends AnyMutatorSchemaArgs ? AnyMutatorDef<unknown, [Schema.Schema.Type<TSchema[K]>]> : TSchema[K] extends infer TSchema extends Record<string, AnyMutatorSchemaArgs> ? {
+        [K in keyof TSchema]: AnyMutatorDef<unknown, [Schema.Schema.Type<TSchema[K]>]>;
+    } : never;
+};
+export declare const MutatorArgsSchemaSym: unique symbol;
+export type Mutator<TFunc extends AnyMutatorDef = AnyMutatorDef, TSchema extends AnyMutatorSchemaArgs = AnyMutatorSchemaArgs> = TFunc & {
+    [MutatorArgsSchemaSym]: TSchema;
+};
+export type Mutators<TSchema extends AnyMutatorSchema, TDefs extends AnyMutatorDefs> = {
+    [K in keyof TDefs & keyof TSchema]: TDefs[K] extends AnyMutatorDef ? TSchema[K] extends AnyMutatorSchemaArgs ? Mutator<TDefs[K], TSchema[K]> : never : TSchema[K] extends infer TSchema extends Record<string, AnyMutatorSchemaArgs> ? TDefs[K] extends infer TDefs extends Record<string, AnyMutatorDef> ? {
+        [K in keyof TDefs & keyof TSchema]: Mutator<TDefs[K], TSchema[K]>;
+    } : never : never;
+} & {};
+export type AnyMutator<R = any, E = any> = Mutator<(...args: any[]) => Effect.Effect<any, E, R>>;
+export type AnyMutators<R = any> = Record<string, AnyMutator<R> | Record<string, AnyMutator<R>>>;
+export type ExtractMutatorsRequirements<T extends AnyMutators> = T extends AnyMutators<infer R> ? R : never;
+export declare class MutatorSchema<T extends AnyMutatorSchema> {
+    schema: T;
+    private constructor();
+    static make<T extends AnyMutatorSchema>(schema: T): MutatorSchema<T>;
+    private makeMutator;
+    makeMutators<TDefs extends MutatorDefs<T>>(mutators: TDefs): Mutators<T, TDefs>;
+}
+//# sourceMappingURL=mutators.d.ts.map

package/dist/mutators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutators.d.ts","sourceRoot":"","sources":["../src/mutators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAK7C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,GAAG,EAAE,KAAK,SAAS,GAAG,EAAE,GAAG,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAGjH,MAAM,MAAM,cAAc,CAAC,CAAC,GAAG,GAAG,IAAI;IACpC,CAAC,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG;QAAE,CAAC,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;KAAE,CAAC;CACnE,CAAC;AAGF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;AAClE,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAE3G,MAAM,MAAM,WAAW,CAAC,OAAO,SAAS,gBAAgB,IAAI;KACzD,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,oBAAoB,GACzD,aAAa,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxD,OAAO,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAC3E;SAAG,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAAE,GAClF,KAAK;CACZ,CAAC;AAEF,eAAO,MAAM,oBAAoB,eAA4C,CAAC;AAE9E,MAAM,MAAM,OAAO,CACjB,KAAK,SAAS,aAAa,GAAG,aAAa,EAC3C,OAAO,SAAS,oBAAoB,GAAG,oBAAoB,IACzD,KAAK,GAAG;IACV,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,QAAQ,CAAC,OAAO,SAAS,gBAAgB,EAAE,KAAK,SAAS,cAAc,IAAI;KACpF,CAAC,IAAI,MAAM,KAAK,GAAG,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,aAAa,GAC9D,OAAO,CAAC,CAAC,CAAC,SAAS,oBAAoB,GACrC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAC7B,KAAK,GACP,OAAO,CAAC,CAAC,CAAC,SAAS,MAAM,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,GAC3E,KAAK,CAAC,CAAC,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,GAChE;SAAG,CAAC,IAAI,MAAM,KAAK,GAAG,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;KAAE,GACrE,KAAK,GACP,KAAK;CACZ,GAAG,EAAE,CAAC;AAGP,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,IAAI,OAAO,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAGjG,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjG,MAAM,MAAM,2BAA2B,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5G,qBAAa,aAAa,CAAC,CAAC,SAAS,gBAAgB;IACxB,MAAM,EAAE,CAAC;IAApC,OAAO;IAEP,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAKjD,OAAO,CAAC,WAAW;IAInB,YAAY,CAAC,KAAK,SAAS,WAAW,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC;CAYhF"}

package/dist/mutators.js

@@ -0,0 +1,26 @@
+import * as Match from "effect/Match";
+import * as Option from "effect/Option";
+import * as Predicate from "effect/Predicate";
+import * as Rec from "effect/Record";
+import * as Schema from "effect/Schema";
+import { prefixId } from "./utils.js";
+export const MutatorArgsSchemaSym = Symbol.for(prefixId("MutatorArgsSchema"));
+export class MutatorSchema {
+    schema;
+    constructor(schema) {
+        this.schema = schema;
+    }
+    static make(schema) {
+        return new MutatorSchema(schema);
+    }
+    // Associates mutator with its args schema
+    makeMutator(argsSchema, fn) {
+        return Object.assign(fn, { [MutatorArgsSchemaSym]: argsSchema });
+    }
+    makeMutators(mutators) {
+        return Rec.map(mutators, (v, name) => {
+            return Match.value([v, this.schema[name]]).pipe(Match.when([Predicate.isFunction, Schema.isSchema], ([mutator, schema]) => this.makeMutator(schema, mutator)), Match.when([Predicate.isRecord, Predicate.isRecord], ([mutator, schema]) => Rec.map(mutator, (mutator, name) => this.makeMutator(Option.getOrThrow(Rec.get(schema, name)), mutator))), Match.orElseAbsurd);
+        });
+    }
+}
+//# sourceMappingURL=mutators.js.map

package/dist/mutators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mutators.js","sourceRoot":"","sources":["../src/mutators.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAC9C,OAAO,KAAK,GAAG,MAAM,eAAe,CAAC;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAsBtC,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC;AA6B9E,MAAM,OAAO,aAAa;IACG;IAA3B,YAA2B,MAAS;QAAT,WAAM,GAAN,MAAM,CAAG;IAAG,CAAC;IAExC,MAAM,CAAC,IAAI,CAA6B,MAAS;QAC/C,OAAO,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,0CAA0C;IAClC,WAAW,CAAC,UAAgC,EAAE,EAAiB;QACrE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;IACnE,CAAC;IAGD,YAAY,CAAC,QAAwB;QACnC,OAAO,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE;YACnC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7C,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC7G,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,CACzE,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CACzG,EACD,KAAK,CAAC,YAAY,CACnB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;CACF"}

package/dist/server.d.ts

@@ -0,0 +1,188 @@
+import type { Database, TransactionProviderHooks, TransactionProviderInput } from "@rocicorp/zero/pg";
+import * as Cause from "effect/Cause";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as SynchronizedRef from "effect/SynchronizedRef";
+import { type AnyMutators, type ExtractMutatorsRequirements } from "./mutators.js";
+export interface ZeroServerTransactionContext {
+    readonly _tag: unique symbol;
+}
+export declare const makeServer: <T, I = never>(options: {
+    database: Database<T>;
+    clientTransaction?: Context.Tag<I, T>;
+}) => {
+    Transaction: Context.TagClass<ZeroServerTransactionContext, "effect-zero/ZeroServerTransactionContext", {
+        transaction: T;
+        transactionHooks: TransactionProviderHooks;
+    }> & {
+        execute: <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect.AsEffect<Effect.Effect<A, ZeroDatabaseError | UpdateClientMutationIDError | MultipleTransactionsError | OutOfOrderMutationError | MutationAlreadyProcessedError | E, ZeroTransactionInput | ZeroServerMutationContext | Exclude<Exclude<R, ZeroServerTransactionContext>, I>>>;
+        use: <A>(fn: (transaction: T, options: {
+            readonly signal: AbortSignal;
+        }) => PromiseLike<A>) => Effect.Effect<A, unknown, ZeroServerTransactionContext>;
+    };
+    processPush: <T_1 extends AnyMutators>(mutators: T_1, params: {
+        readonly schema: string;
+        readonly appID: string;
+    }, request: {
+        readonly timestamp: number;
+        readonly clientGroupID: string;
+        readonly mutations: readonly ({
+            readonly name: "_zero_crud";
+            readonly type: "crud";
+            readonly id: number;
+            readonly clientID: string;
+            readonly args: readonly [{
+                readonly ops: readonly ({
+                    readonly value: {
+                        readonly [x: string]: unknown;
+                    };
+                    readonly primaryKey: readonly string[];
+                    readonly op: "insert";
+                    readonly tableName: string;
+                } | {
+                    readonly value: {
+                        readonly [x: string]: unknown;
+                    };
+                    readonly primaryKey: readonly string[];
+                    readonly op: "upsert";
+                    readonly tableName: string;
+                } | {
+                    readonly value: {
+                        readonly [x: string]: unknown;
+                    };
+                    readonly primaryKey: readonly string[];
+                    readonly op: "update";
+                    readonly tableName: string;
+                } | {
+                    readonly value: {
+                        readonly [x: string]: string | number | boolean;
+                    };
+                    readonly primaryKey: readonly string[];
+                    readonly op: "delete";
+                    readonly tableName: string;
+                })[];
+            }];
+            readonly timestamp: number;
+        } | {
+            readonly name: string;
+            readonly type: "custom";
+            readonly id: number;
+            readonly clientID: string;
+            readonly args: readonly unknown[];
+            readonly timestamp: number;
+        })[];
+        readonly pushVersion: number;
+        readonly schemaVersion?: number | undefined;
+        readonly requestID: string;
+    }) => Effect.Effect<{
+        error: "unsupportedPushVersion";
+        mutations?: undefined;
+    } | {
+        mutations: {
+            readonly id: {
+                readonly id: number;
+                readonly clientID: string;
+            };
+            readonly result: {
+                readonly error: "app";
+                readonly details?: unknown;
+            } | {
+                readonly error: "oooMutation" | "alreadyProcessed";
+                readonly details?: unknown;
+            } | {
+                readonly data?: unknown;
+            };
+        }[];
+        error?: undefined;
+    }, CustomMutationExpectedError, Exclude<Exclude<ExtractMutatorsRequirements<T_1>, ZeroServerMutationContext>, ZeroTransactionInput>>;
+};
+declare const ZeroTransactionInput_base: Context.TagClass<ZeroTransactionInput, "effect-zero/ZeroTransactionInput", TransactionProviderInput>;
+declare class ZeroTransactionInput extends ZeroTransactionInput_base {
+}
+declare const ZeroServerMutationContext_base: Effect.Service.Class<ZeroServerMutationContext, "effect-zero/ZeroServerMutationContext", {
+    readonly effect: Effect.Effect<{
+        wasTransactionExecuted: SynchronizedRef.SynchronizedRef<boolean>;
+    }, never, never>;
+}>;
+declare class ZeroServerMutationContext extends ZeroServerMutationContext_base {
+    static wasTransactionExecuted: Effect.Effect<boolean, never, ZeroServerMutationContext>;
+    static guard: <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E | MultipleTransactionsError, ZeroServerMutationContext | R>;
+}
+declare const ZeroDatabaseError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "ZeroDatabaseError";
+} & Readonly<A>;
+declare class ZeroDatabaseError extends ZeroDatabaseError_base<{
+    cause: Cause.Cause<unknown>;
+}> {
+}
+declare const UpdateClientMutationIDError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "UpdateClientMutationIDError";
+} & Readonly<A>;
+declare class UpdateClientMutationIDError extends UpdateClientMutationIDError_base<{
+    readonly cause: Cause.Cause<unknown>;
+}> {
+}
+declare const CustomMutationExpectedError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "CustomMutationExpectedError";
+} & Readonly<A>;
+declare class CustomMutationExpectedError extends CustomMutationExpectedError_base<object> {
+}
+declare const MultipleTransactionsError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "MultipleTransactionsError";
+} & Readonly<A>;
+export declare class MultipleTransactionsError extends MultipleTransactionsError_base {
+    message: string;
+}
+declare const NoTransactionError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "NoTransactionError";
+} & Readonly<A>;
+export declare class NoTransactionError extends NoTransactionError_base {
+    message: string;
+}
+declare const OutOfOrderMutationErrorTypeId: unique symbol;
+declare const OutOfOrderMutationError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "OutOfOrderMutationError";
+} & Readonly<A>;
+export declare class OutOfOrderMutationError extends OutOfOrderMutationError_base<{
+    readonly clientID: string;
+    readonly receivedMutationID: number;
+    readonly lastMutationID: number | bigint;
+}> {
+    readonly [OutOfOrderMutationErrorTypeId]: symbol;
+    get message(): string;
+    static is(e: unknown): e is OutOfOrderMutationError;
+}
+declare const MutationAlreadyProcessedErrorTypeId: unique symbol;
+declare const MutationAlreadyProcessedError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "MutationAlreadyProcessedError";
+} & Readonly<A>;
+export declare class MutationAlreadyProcessedError extends MutationAlreadyProcessedError_base<{
+    readonly clientID: string;
+    readonly received: number;
+    readonly actual: number | bigint;
+}> {
+    readonly [MutationAlreadyProcessedErrorTypeId]: symbol;
+    get message(): string;
+    static is(e: unknown): e is MutationAlreadyProcessedError;
+}
+declare const ZeroTransactionUserErrorTypeId: unique symbol;
+declare const ZeroTransactionUserError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "ZeroTransactionUserError";
+} & Readonly<A>;
+export declare class ZeroTransactionUserError extends ZeroTransactionUserError_base {
+    readonly [ZeroTransactionUserErrorTypeId]: symbol;
+    static is(e: unknown): e is ZeroTransactionUserError;
+}
+declare const ZeroMutationUserErrorTypeId: unique symbol;
+declare const ZeroMutationUserError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => Cause.YieldableError & {
+    readonly _tag: "ZeroMutationUserError";
+} & Readonly<A>;
+export declare class ZeroMutationUserError extends ZeroMutationUserError_base<{
+    cause: Cause.Cause<unknown>;
+}> {
+    readonly [ZeroMutationUserErrorTypeId]: symbol;
+    static is(e: unknown): e is ZeroMutationUserError;
+    get message(): string;
+}
+export {};
+//# sourceMappingURL=server.d.ts.map

package/dist/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,wBAAwB,EAAE,wBAAwB,EAAE,MAAM,mBAAmB,CAAC;AACtG,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAG1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAYxC,OAAO,KAAK,eAAe,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,2BAA2B,EAAwB,MAAM,eAAe,CAAC;AAezG,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,OAAO,MAAM,CAAC;CAC9B;AAMD,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,SAAS;IAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CAAE;;qBAG/F,CAAC;0BAAoB,wBAAwB;;kBAIzB,CAAC,EAAE,CAAC,EAAE,CAAC;cA2C/B,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;SAAE,KAAK,WAAW,CAAC,CAAC,CAAC;;8BAiC9C,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwI/D,CAAC;;AAEF,cAAM,oBAAqB,SAAQ,yBAGhC;CAAG;;;;;;AAEN,cAAM,yBAA0B,SAAQ,8BAOvC;IACC,MAAM,CAAC,sBAAsB,2DAAkF;IAG/G,MAAM,CAAC,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,oFAYnD;CACL;;;;AAED,cAAM,iBAAkB,SAAQ,uBAAsC;IACpE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;CAC7B,CAAC;CAAG;;;;AAEL,cAAM,2BAA4B,SAAQ,iCAAgD;IACxF,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;CACtC,CAAC;CAAG;;;;AAWL,cAAM,2BAA4B,SAAQ,iCAAgD,MAAM,CAAC;CAAG;;;;AAEpG,qBAAa,yBAA0B,SAAQ,8BAA6C;IACjF,OAAO,SAAoF;CACrG;;;;AAED,qBAAa,kBAAmB,SAAQ,uBAAsC;IACnE,OAAO,SAAuE;CACxF;AAED,QAAA,MAAM,6BAA6B,eAAkD,CAAC;;;;AACtF,qBAAa,uBAAwB,SAAQ,6BAA4C;IACvF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,CAAC;CAC1C,CAAC;IACA,QAAQ,CAAC,CAAC,6BAA6B,CAAC,SAAiC;IACzE,IAAa,OAAO,WAEnB;IACD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,uBAAuB;CAGpD;AAED,QAAA,MAAM,mCAAmC,eAAwD,CAAC;;;;AAClG,qBAAa,6BAA8B,SAAQ,mCAAkD;IACnG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;CAClC,CAAC;IACA,QAAQ,CAAC,CAAC,mCAAmC,CAAC,SAAuC;IACrF,IAAa,OAAO,WAEnB;IACD,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,6BAA6B;CAG1D;AAED,QAAA,MAAM,8BAA8B,eAAmD,CAAC;;;;AACxF,qBAAa,wBAAyB,SAAQ,6BAA4C;IACxF,QAAQ,CAAC,CAAC,8BAA8B,CAAC,SAAkC;IAC3E,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,wBAAwB;CAGrD;AAED,QAAA,MAAM,2BAA2B,eAAgD,CAAC;;;;AAClF,qBAAa,qBAAsB,SAAQ,2BAA0C;IACnF,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;CAC7B,CAAC;IACA,QAAQ,CAAC,CAAC,2BAA2B,CAAC,SAA+B;IACrE,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,qBAAqB;IAIjD,IAAa,OAAO,WAGnB;CACF"}