effect-zero 0.0.0-alpha.0 → 0.1.0

package/dist/types.js

@@ -0,0 +1,151 @@
+import * as Schema from "effect/Schema";
+// The code below was converted to Effect Schema from:
+// https://github.com/rocicorp/mono/blob/30f209f2946b4cf2cd2dee459849351498f11308/packages/zero-protocol/src/push.ts
+/** TODO: Defined as unknown for now */
+const JsonSchema = Schema.Unknown;
+const ZeroPrimaryKey = Schema.Array(Schema.String);
+const ZeroPrimaryKeyValue = Schema.Union(Schema.String, Schema.Number, Schema.Boolean);
+const ZeroPrimaryKeyValueRecord = Schema.Record({ key: Schema.String, value: ZeroPrimaryKeyValue });
+const ZeroValue = Schema.Union(JsonSchema, Schema.Undefined);
+const ZeroRow = Schema.Record({ key: Schema.String, value: ZeroValue });
+const CRUD_MUTATION_NAME = "_zero_crud";
+/**
+ * Inserts if entity with id does not already exist.
+ */
+const ZeroInsertOp = Schema.Struct({
+    op: Schema.Literal("insert"),
+    tableName: Schema.String,
+    primaryKey: ZeroPrimaryKey,
+    value: ZeroRow,
+});
+/**
+ * Upsert semantics. Inserts if entity with id does not already exist,
+ * otherwise updates existing entity with id.
+ */
+const ZeroUpsertOp = Schema.Struct({
+    op: Schema.Literal("upsert"),
+    tableName: Schema.String,
+    primaryKey: ZeroPrimaryKey,
+    value: ZeroRow,
+});
+/**
+ * Updates if entity with id exists, otherwise does nothing.
+ */
+const ZeroUpdateOp = Schema.Struct({
+    op: Schema.Literal("update"),
+    tableName: Schema.String,
+    primaryKey: ZeroPrimaryKey,
+    // Partial value with at least the primary key fields
+    value: ZeroRow,
+});
+/**
+ * Deletes entity with id if it exists, otherwise does nothing.
+ */
+const ZeroDeleteOp = Schema.Struct({
+    op: Schema.Literal("delete"),
+    tableName: Schema.String,
+    primaryKey: ZeroPrimaryKey,
+    // Partial value representing the primary key
+    value: ZeroPrimaryKeyValueRecord,
+});
+const ZeroCrudOp = Schema.Union(ZeroInsertOp, ZeroUpsertOp, ZeroUpdateOp, ZeroDeleteOp);
+const ZeroCrudArg = Schema.Struct({
+    ops: Schema.Array(ZeroCrudOp),
+});
+const ZeroCrudArgs = Schema.Tuple(ZeroCrudArg);
+const ZeroCrudMutation = Schema.Struct({
+    type: Schema.Literal("crud"),
+    id: Schema.Number,
+    clientID: Schema.String,
+    name: Schema.Literal(CRUD_MUTATION_NAME),
+    args: ZeroCrudArgs,
+    timestamp: Schema.Number,
+});
+const ZeroCustomMutation = Schema.Struct({
+    type: Schema.Literal("custom"),
+    id: Schema.Number,
+    clientID: Schema.String,
+    name: Schema.String,
+    args: Schema.Array(JsonSchema),
+    timestamp: Schema.Number,
+});
+export const ZeroMutation = Schema.Union(ZeroCrudMutation, ZeroCustomMutation);
+export const ZeroPushBody = Schema.Struct({
+    clientGroupID: Schema.String,
+    mutations: Schema.Array(ZeroMutation),
+    pushVersion: Schema.Number,
+    // For legacy (CRUD) mutations, the schema is tied to the client group /
+    // sync connection. For custom mutations, schema versioning is delegated
+    // to the custom protocol / api-server.
+    schemaVersion: Schema.optional(Schema.Number),
+    timestamp: Schema.Number,
+    requestID: Schema.String,
+});
+// biome-ignore lint/correctness/noUnusedVariables: borrowed code
+const ZeroPushMessage = Schema.Tuple(Schema.Literal("push"), ZeroPushBody);
+const ZeroMutationId = Schema.Struct({
+    id: Schema.Number,
+    clientID: Schema.String,
+});
+export const ZeroAppError = Schema.Struct({
+    error: Schema.Literal("app"),
+    // The user can return any additional data here
+    details: Schema.optional(JsonSchema),
+});
+export const ZeroError = Schema.Struct({
+    error: Schema.Union(Schema.Literal("oooMutation"), Schema.Literal("alreadyProcessed")),
+    details: Schema.optional(JsonSchema),
+});
+const ZeroMutationOk = Schema.Struct({
+    // The user can return any additional data here
+    data: Schema.optional(JsonSchema),
+});
+const ZeroMutationError = Schema.Union(ZeroAppError, ZeroError);
+// We flip the original order here as otherwise values of type ZeroMutationError would get parsed as ZeroMutationOk with empty `data`
+export const ZeroMutationResult = Schema.Union(ZeroMutationError, ZeroMutationOk);
+export const ZeroMutationResponse = Schema.Struct({
+    id: ZeroMutationId,
+    result: ZeroMutationResult,
+});
+const ZeroPushOk = Schema.Struct({
+    mutations: Schema.Array(ZeroMutationResponse),
+});
+const ZeroUnsupportedPushVersion = Schema.Struct({
+    error: Schema.Literal("unsupportedPushVersion"),
+    // optional for backwards compatibility
+    // This field is included so the client knows which mutations
+    // were not processed by the server.
+    mutationIDs: Schema.optional(Schema.Array(ZeroMutationId)),
+});
+const ZeroUnsupportedSchemaVersion = Schema.Struct({
+    error: Schema.Literal("unsupportedSchemaVersion"),
+    // optional for backwards compatibility
+    // This field is included so the client knows which mutations
+    // were not processed by the server.
+    mutationIDs: Schema.optional(Schema.Array(ZeroMutationId)),
+});
+const ZeroHttpError = Schema.Struct({
+    error: Schema.Literal("http"),
+    status: Schema.Number,
+    details: Schema.String,
+    mutationIDs: Schema.optional(Schema.Array(ZeroMutationId)),
+});
+const ZeroPusherError = Schema.Struct({
+    error: Schema.Literal("zeroPusher"),
+    details: Schema.String,
+    mutationIDs: Schema.optional(Schema.Array(ZeroMutationId)),
+});
+const ZeroPushError = Schema.Union(ZeroUnsupportedPushVersion, ZeroUnsupportedSchemaVersion, ZeroHttpError, ZeroPusherError);
+export const ZeroPushResponse = Schema.Union(ZeroPushOk, ZeroPushError);
+// biome-ignore lint/correctness/noUnusedVariables: borrowed code
+const ZeroPushResponseMessage = Schema.Tuple(Schema.Literal("pushResponse"), ZeroPushResponse);
+// biome-ignore lint/correctness/noUnusedVariables: borrowed code
+const ZeroAckMutationResponsesMessage = Schema.Tuple(Schema.Literal("ackMutationResponses"), ZeroMutationId);
+/**
+ * The schema for the querystring parameters of the custom push endpoint.
+ */
+export const ZeroPushParams = Schema.Struct({
+    schema: Schema.String,
+    appID: Schema.String,
+});
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,sDAAsD;AACtD,oHAAoH;AAEpH,uCAAuC;AACvC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC;AAElC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAEnD,MAAM,mBAAmB,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAEvF,MAAM,yBAAyB,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,CAAC;AAEpG,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;AAC7D,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;AAExE,MAAM,kBAAkB,GAAG,YAAY,CAAC;AAExC;;GAEG;AACH,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,UAAU,EAAE,cAAc;IAC1B,KAAK,EAAE,OAAO;CACf,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,UAAU,EAAE,cAAc;IAC1B,KAAK,EAAE,OAAO;CACf,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,UAAU,EAAE,cAAc;IAC1B,qDAAqD;IACrD,KAAK,EAAE,OAAO;CACf,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,UAAU,EAAE,cAAc;IAC1B,6CAA6C;IAC7C,KAAK,EAAE,yBAAyB;CACjC,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;AAExF,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;CAC9B,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;AAE/C,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;IAC5B,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACxC,IAAI,EAAE,YAAY;IAClB,SAAS,EAAE,MAAM,CAAC,MAAM;CACzB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,MAAM,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9B,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC,MAAM;CACzB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;AAG/E,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,aAAa,EAAE,MAAM,CAAC,MAAM;IAC5B,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,wEAAwE;IACxE,wEAAwE;IACxE,uCAAuC;IACvC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,SAAS,EAAE,MAAM,CAAC,MAAM;CACzB,CAAC,CAAC;AAGH,iEAAiE;AACjE,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;AAE3E,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,QAAQ,EAAE,MAAM,CAAC,MAAM;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;IAC5B,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACrC,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACtF,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CACrC,CAAC,CAAC;AAIH,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC;CAClC,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;AAEhE,qIAAqI;AACrI,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,KAAK,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;AAGlF,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,CAAC;IAChD,EAAE,EAAE,cAAc;IAClB,MAAM,EAAE,kBAAkB;CAC3B,CAAC,CAAC;AAGH,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC;CAC9C,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,wBAAwB,CAAC;IAC/C,uCAAuC;IACvC,6DAA6D;IAC7D,oCAAoC;IACpC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;CAC3D,CAAC,CAAC;AAEH,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACjD,uCAAuC;IACvC,6DAA6D;IAC7D,oCAAoC;IACpC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;CAC3D,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;CAC3D,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;IACnC,OAAO,EAAE,MAAM,CAAC,MAAM;IACtB,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;CAC3D,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAChC,0BAA0B,EAC1B,4BAA4B,EAC5B,aAAa,EACb,eAAe,CAChB,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;AAGxE,iEAAiE;AACjE,MAAM,uBAAuB,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,gBAAgB,CAAC,CAAC;AAE/F,iEAAiE;AACjE,MAAM,+BAA+B,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,sBAAsB,CAAC,EAAE,cAAc,CAAC,CAAC;AAE7G;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,KAAK,EAAE,MAAM,CAAC,MAAM;CACrB,CAAC,CAAC"}

package/dist/utils.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Prefix a string with the package name.
+ */
+export declare const prefixId: <S extends string>(name: S) => `effect-zero/${S}`;
+//# sourceMappingURL=utils.d.ts.map

package/dist/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,uBAAmC,CAAC"}

package/dist/utils.js

@@ -0,0 +1,5 @@
+/**
+ * Prefix a string with the package name.
+ */
+export const prefixId = (name) => `effect-zero/${name}`;
+//# sourceMappingURL=utils.js.map

package/dist/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAmB,IAAO,EAAE,EAAE,CAAC,eAAe,IAAI,EAAW,CAAC"}

package/package.json

@@ -1,21 +1,70 @@
 {
   "name": "effect-zero",
-  "version": "0.0.0-alpha.0",
-  "description": "",
-  "main": "index.js",
+  "type": "module",
+  "version": "0.1.0",
+  "repository": {
+    "url": "https://github.com/realms-labs/effect-zero"
+  },
   "scripts": {
-    "test": "echo \"Error: no test specified\" && exit 1"
+    "typecheck": "tsc --noEmit --incremental",
+    "lint": "biome check --error-on-warnings",
+    "lint:fix": "biome check --write --unsafe",
+    "build": "bun scripts/build.ts"
   },
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/realms-labs/effect-zero.git"
+  "devDependencies": {
+    "@arethetypeswrong/cli": "^0.18.2",
+    "@types/bun": "latest",
+    "@types/fs-extra": "^11.0.4",
+    "fs-extra": "^11.3.2",
+    "typescript": "5.9.2",
+    "@effect-atom/atom": "^0.3.3",
+    "@rocicorp/zero": "^0.24.2025101500",
+    "effect": "^3.18.4",
+    "ts-patch": "^3.3.0",
+    "@biomejs/biome": "^2.2.6",
+    "@effect/language-service": "^0.45.1"
   },
-  "keywords": [],
-  "author": "",
-  "license": "ISC",
-  "type": "commonjs",
-  "bugs": {
-    "url": "https://github.com/realms-labs/effect-zero/issues"
+  "peerDependencies": {
+    "@effect-atom/atom": "*",
+    "@rocicorp/zero": "*",
+    "effect": "3"
   },
-  "homepage": "https://github.com/realms-labs/effect-zero#readme"
-}
+  "exports": {
+    "./utils": {
+      "import": {
+        "types": "./dist/utils.d.ts",
+        "default": "./dist/utils.js"
+      }
+    },
+    "./server": {
+      "import": {
+        "types": "./dist/server.d.ts",
+        "default": "./dist/server.js"
+      }
+    },
+    "./mutators": {
+      "import": {
+        "types": "./dist/mutators.d.ts",
+        "default": "./dist/mutators.js"
+      }
+    },
+    "./client": {
+      "import": {
+        "types": "./dist/client.d.ts",
+        "default": "./dist/client.js"
+      }
+    },
+    "./types": {
+      "import": {
+        "types": "./dist/types.d.ts",
+        "default": "./dist/types.js"
+      }
+    },
+    "./snapshot": {
+      "import": {
+        "types": "./dist/snapshot.d.ts",
+        "default": "./dist/snapshot.js"
+      }
+    }
+  }
+}

package/src/client.ts

@@ -0,0 +1,130 @@
+import { Atom } from "@effect-atom/atom";
+import type { HumanReadable, Query, ReadonlyJSONValue, Transaction, Schema as ZeroSchema } from "@rocicorp/zero";
+import type { QueryResult } from "@rocicorp/zero/react";
+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 type * as ParseResult from "effect/ParseResult";
+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 {
+  type AnyMutator,
+  type AnyMutators,
+  type ExtractMutatorsRequirements,
+  MutatorArgsSchemaSym,
+} from "./mutators.js";
+import { deepClone, getDefaultSnapshot, getSnapshot } from "./snapshot.js";
+import { prefixId } from "./utils.js";
+
+// Updated to: https://github.com/rocicorp/mono/blob/2e18f2e1d084c530ebd9bd7fef9bb848e607cc19/packages/zero-pg/src/push-processor.ts
+
+// Necessary workaround for TS declaration generation
+export interface ZeroClientTransaction {
+  readonly _tag: unique symbol;
+}
+
+export const makeClient = <S extends ZeroSchema>() => {
+  // TODO: Maybe prefix this / suffix this with a tag passed in to `make`?
+  const ZeroClientTransaction = Context.Tag(prefixId("ZeroClientTransaction"))<ZeroClientTransaction, Transaction<S>>();
+
+  const use = <A>(fn: (transaction: Transaction<S>, options: { readonly signal: AbortSignal }) => PromiseLike<A>) =>
+    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* <T extends AnyMutators>(mutators: T) {
+    const runtime = yield* Effect.runtime<Exclude<ExtractMutatorsRequirements<T>, ZeroClientTransaction>>();
+
+    function unwrapMutator<E>(mutator: AnyMutator<ExtractMutatorsRequirements<T>, E>) {
+      return async (tx: Transaction<S>, args: unknown) => {
+        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))),
+    ) as UnwrapMutators<S, T>;
+  });
+
+  const querySub = Effect.fn(function* <T extends keyof S["tables"] & string, R>(query: Query<S, T, R>) {
+    const view = yield* Effect.acquireRelease(
+      Effect.sync(() => query.materialize()),
+      (view) => Effect.sync(() => view.destroy()),
+    );
+
+    const subscriptionRef = yield* SubscriptionRef.make<QueryResult<R>>(getDefaultSnapshot(query.format.singular));
+
+    yield* Stream.asyncEffect<Parameters<Parameters<(typeof view)["addListener"]>[0]>>((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 as ReadonlyJSONValue) as HumanReadable<R>);
+          return getSnapshot<R>(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(<T extends keyof S["tables"] & string, R>(query: Query<S, T, R>) =>
+    Atom.subscribable(querySub(query)).pipe(Atom.mapResult((res) => res.data)),
+  );
+
+  return {
+    unwrapMutators,
+    querySub,
+    queryAtom,
+    Transaction: Object.assign(ZeroClientTransaction, { use }),
+  };
+};
+
+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 };
+} & {};
+
+export class ZeroClientTransactionError extends Data.TaggedError("ZeroClientTransactionError")<{
+  cause: Cause.Cause<unknown>;
+}> {}
+
+export class ZeroClientArgsParseError extends Data.TaggedError("ZeroClientArgsParseError")<{
+  cause: Cause.Cause<ParseResult.ParseError>;
+}> {}

package/src/mutators.ts

@@ -0,0 +1,82 @@
+import type * as Effect from "effect/Effect";
+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";
+
+// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
+export type AnyMutatorDef<R = any, TArgs extends any[] = any[]> = (...args: TArgs) => Effect.Effect<any, any, R>;
+
+// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
+export type AnyMutatorDefs<R = any> = {
+  [K: string]: AnyMutatorDef<R> | { [K: string]: AnyMutatorDef<R> };
+};
+
+// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
+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 const MutatorArgsSchemaSym = Symbol.for(prefixId("MutatorArgsSchema"));
+
+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;
+} & {};
+
+// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
+export type AnyMutator<R = any, E = any> = Mutator<(...args: any[]) => Effect.Effect<any, E, R>>;
+
+// biome-ignore lint/suspicious/noExplicitAny: upper bound to allow everything
+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 class MutatorSchema<T extends AnyMutatorSchema> {
+  private constructor(public schema: T) {}
+
+  static make<T extends AnyMutatorSchema>(schema: T) {
+    return new MutatorSchema(schema);
+  }
+
+  // Associates mutator with its args schema
+  private makeMutator(argsSchema: AnyMutatorSchemaArgs, fn: AnyMutatorDef): AnyMutator {
+    return Object.assign(fn, { [MutatorArgsSchemaSym]: argsSchema });
+  }
+
+  makeMutators<TDefs extends MutatorDefs<T>>(mutators: TDefs): Mutators<T, TDefs>;
+  makeMutators(mutators: AnyMutatorDefs): AnyMutators {
+    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,
+      );
+    });
+  }
+}