@shivaedev/effect-changes-prisma 0.0.0 → 0.1.0

package/CHANGELOG.md

@@ -0,0 +1,28 @@
+# Changelog
+
+## 0.1.0 - 2026-09-26
+
+### Added
+
+- Add `makePrismaChanges`: bind a `@shivaedev/effect-changes` channel to a
+  Prisma Classic client with interactive `$transaction`, with the base client
+  as the channel's owner.
+- Run `transaction(body)` inside `$transaction` with the frame opened through
+  `open` and settled from `$transaction`'s outcome: changes publish once after
+  `COMMIT`, a failing body or a failed or timed-out commit discards them, and a
+  nested `transaction` becomes a savepoint that merges on release. A caller
+  interrupted during the body rolls back; one interrupted while `COMMIT` is in
+  flight still publishes when the commit lands.
+- Record writes automatically through `use(query)` from a typed model map,
+  `ChangeMap`, that turns each returned row into any number of changes and can
+  be made exhaustive over the client's models with `satisfies`. Writes outside a
+  transaction publish when they autocommit.
+- Report count-only `createMany`, `updateMany` and `deleteMany` writes on mapped
+  models, and writes whose `select` or `omit` dropped a field the map reads, to
+  the `Unnamed` test seam instead of recording them.
+- Add `recordWrite` for applications that already wrap Prisma in their own
+  Effect client.
+- Add the coverage check: `writtenTables` reads `pg_stat_xact_user_tables` on a
+  test transaction, `tablesOf` maps tables to models from Prisma schema text,
+  and `checkCoverage` returns the tables written without a covering recorded
+  change and every unnamed write.

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 ShivaeDev
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,134 @@
 # @shivaedev/effect-changes-prisma
 
-This version only reserves the name. Releases are published from https://github.com/ShivaeDev/platform.
+Commit-bound change channels for Prisma Classic (`@prisma/client` with interactive `$transaction`). Writes to mapped models record their changes automatically; the changes publish once, deduplicated, after the transaction commits, and never for a rollback. A test-time coverage check reports writes that no recorded change accounts for.
+
+It binds a [`@shivaedev/effect-changes`](../effect-changes) channel to Prisma: the channel semantics (owners, savepoint merge and discard, batches, sink failures, test seams) are the same, see [commit-bound changes](../../docs/framework/changes.md).
+
+```ts
+import { type ChangeMap, makePrismaChanges } from "@shivaedev/effect-changes-prisma";
+import { Effect } from "effect";
+import { PrismaClient } from "./generated/client.ts";
+
+interface Change {
+  readonly subject: string;
+  readonly domain: string;
+}
+declare const prisma: PrismaClient;
+declare const bus: { readonly emit: (change: Change) => void };
+
+const models = {
+  Order: (order) => [{ subject: order.ownerId, domain: "orders" }],
+  Membership: (membership) => [
+    { subject: membership.ownerId, domain: "memberships" },
+    { subject: membership.memberId, domain: "memberships" },
+  ],
+  Invoice: (invoice) => [{ subject: invoice.ownerId, domain: "invoices" }],
+  AuditNote: null,
+} satisfies ChangeMap<PrismaClient, Change>;
+
+const changes = makePrismaChanges({
+  name: "LiveChanges",
+  client: prisma,
+  models,
+  key: (change) => `${change.subject}:${change.domain}`,
+  publish: (batch: ReadonlyArray<Change>) => Effect.sync(() => batch.forEach((change) => bus.emit(change))),
+});
+
+const addMember = (id: string, ownerId: string, memberId: string) =>
+  changes.use((db) => db.membership.create({ data: { id, ownerId, memberId } })).pipe(changes.transaction);
+```
+
+## API
+
+```ts
+makePrismaChanges<Tx extends Transactional<Tx>, A, R = never>(options: PrismaChangesOptions<Tx, A, R>): PrismaChanges<Tx, A, R>
+
+interface PrismaChangesOptions<Tx, A, R> extends Omit<ChannelOptions<A, R>, "owner" | "unowned"> {
+  readonly client: Tx & Transactional<Tx>;
+  readonly models: Partial<ChangeMap<Tx, A>>;
+}
+
+interface PrismaChanges<Tx, A, R> {
+  readonly channel: Channel<A, R>;
+  readonly Client: Context.Reference<Tx>;
+  readonly use: <X>(query: (client: Tx) => PromiseLike<X>) => Effect<X, PrismaError, R>;
+  readonly transaction: <X, E, R2>(body: Effect<X, E, R2>, options?: TransactionOptions) => Effect<X, E | PrismaError, R | R2>;
+  readonly recordWrite: (write: Write) => Effect<void, never, R>;
+  readonly Unnamed: Context.Reference<(write: UnnamedWrite) => Effect<void>>;
+}
+
+type ChangeMap<Client, A> = { readonly [Model in ModelName<Client>]: ((row: ModelRow<Client, Model>, operation: RowOperation) => Iterable<A>) | null };
+type RowOperation = "create" | "update" | "upsert" | "delete" | "createManyAndReturn" | "updateManyAndReturn";
+type UnnamedWrite =
+  | { readonly model: string; readonly operation: string; readonly reason: "countOnly" }
+  | { readonly model: string; readonly operation: string; readonly reason: "narrowed"; readonly field: string };
+class PrismaError { readonly _tag: "PrismaError"; readonly cause: unknown }
+
+tablesOf(schema: string): ReadonlyMap<string, string>
+writtenTables(client: RawQueryClient): Effect<ReadonlyArray<string>, PrismaError>
+checkCoverage<A>(coverage: Coverage<A>): ReadonlyArray<CoverageViolation>
+```
+
+- `client` is the base client, usually a `PrismaClient`, or one you extended. `Tx` is inferred as the client its `$transaction` callback receives. The channel's owner is this client, so frames are kept per database.
+- `Client` holds the client for the current scope: the base client, or the transaction client inside `transaction`. Resolve it here if your own code calls Prisma, and provide it to run code against a transaction you opened yourself.
+- `use(query)` runs `query` against the current client and records every successful write it made to a mapped model, in the calling fiber: into the enclosing transaction's frame, into a `channel.batch`, or published at once when there is neither, because the write autocommitted. It waits for Prisma's promise, which cannot be cancelled, so a write is recorded if and only if it ran. A rejection fails with `PrismaError`.
+- `transaction(body)` runs `body` inside `$transaction` on the current client. Inside another `transaction`, Prisma makes it a savepoint and its changes merge into the parent when it is released.
+- `recordWrite` applies the map to a write you observed yourself, for applications that already wrap Prisma in their own Effect client.
+- `models` maps each model name to the changes one row names, or to `null` for models whose writes publish nothing. `satisfies ChangeMap<PrismaClient, A>` makes a model added to the schema a type error until it is classified; a `Partial` map is accepted when you do not want that.
+
+## Transactions
+
+`transaction` opens a frame with `channel.open` in the caller's fiber, runs the body with `Effect.runPromiseExitWith` inside the `$transaction` callback, and settles the frame from the outcome of `$transaction`'s promise, not from the body:
+
+| Situation | Result |
+| --- | --- |
+| The body succeeds and `$transaction` resolves | Publish once, before `transaction` returns; a savepoint merges into its parent |
+| The body fails, dies or is interrupted | Prisma rolls back; discard; the body's failure is returned unchanged |
+| The body succeeds but `COMMIT` fails or the transaction times out | Discard; fail with `PrismaError` |
+| The caller is interrupted while the body runs | The body is interrupted, Prisma rolls back, nothing publishes |
+| The caller is interrupted while `COMMIT` is in flight | Keep waiting; publish if the database committed; the caller still sees the interruption |
+
+A frame is a root when there is no frame for the client further out, not when the current client is the base client. A test harness can therefore run each test inside a Prisma transaction that always rolls back, provide its transaction client as `Client` without opening a frame, and the application's first `transaction` inside it publishes when its savepoint is released.
+
+## Recording
+
+- Row-returning writes (`create`, `update`, `upsert`, `delete`, `createManyAndReturn`, `updateManyAndReturn`) pass each returned row to the model's mapping. One row may name any number of changes, for example one per subject.
+- `createMany`, `updateMany` and `deleteMany` return only a count, so they cannot name their subjects. They record nothing and are reported to `Unnamed` as `countOnly`; the coverage check turns them into violations. Use a single-row or `*AndReturn` write on mapped models. Rows are never read back.
+- A mapping that reads a field the write did not return, because `select` or `omit` narrowed the result, records nothing for that write; it is reported to `Unnamed` as `narrowed` with the field's name.
+- Reads, raw queries and models mapped to `null` or absent from the map record nothing.
+
+## Coverage check
+
+The check runs in tests. Read the tables the test transaction wrote from `pg_stat_xact_user_tables` just before it rolls back, then compare them with the changes the channel observed:
+
+```ts
+const tables = tablesOf(await readFile("prisma/schema.prisma", "utf8"));
+const observations: Array<Observation<Change>> = [];
+const unnamed: Array<UnnamedWrite> = [];
+// run the test with changes.channel.Observer and changes.Unnamed pushing into those arrays,
+// and changes.Client set to the test's transaction client; then, before rolling back:
+const written = yield* writtenTables(testTransaction);
+const violations = checkCoverage({
+  written,
+  tables,
+  models,
+  observations,
+  unnamed,
+  covers: (model, change) => domains[model] === change.domain,
+});
+```
+
+- `tablesOf` reads the table of every model from Prisma schema text, honouring `@@map`; a model without it uses its name. Pass an explicit `Map` instead if your tables come from elsewhere.
+- `writtenTables(client)` must run on the test's own transaction: PostgreSQL counts inserted, updated and deleted rows per transaction, including rows written in savepoints that rolled back.
+- `checkCoverage` is a pure function and throws only if `covers` throws. It reports each written table whose model is not mapped to `null` and for which no `Recorded` observation satisfies `covers`, as `Unrecorded` (with `model: undefined` when no model owns the table), and each distinct unnamed write as `Unnamed`. `Recorded` includes changes whose frame was later discarded, matching the statistics.
+- Raw SQL, relation writes nested in `data`, cascades and triggers write tables that nothing records; the check is how they surface. Filter the result if a table is written legitimately without a change.
+
+## Limits
+
+- The client handed to `use` wraps write methods of mapped models, so their results are plain promises: pass them to `transaction`, not to the array form of `$transaction`, and do not chain fluent relation calls on them. Calling `$transaction` on that client runs outside the binding; use `transaction`.
+- A relation write nested in `data` records only the top-level model.
+- Prisma's interactive transaction timeout (5 seconds by default) still applies; pass `{ timeout }` to `transaction`.
+- `checkCoverage` matches tables by name, not by schema.
+- Delivery is in-process, as for every effect-changes channel.
+
+Tested with Prisma `7.9.1` and `@prisma/adapter-pg` on PostgreSQL 18, and Effect `4.0.0-rc.112`.

package/dist/changes.d.ts

@@ -0,0 +1,20 @@
+import { type Channel, type ChannelOptions } from "@shivaedev/effect-changes";
+import { Context, Effect } from "effect";
+import { PrismaError } from "./error.ts";
+import type { ChangeMap, Transactional, TransactionOptions } from "./model.ts";
+import { type UnnamedWrite, type Write } from "./write.ts";
+export type UnnamedObserver = (write: UnnamedWrite) => Effect.Effect<void>;
+export interface PrismaChangesOptions<Tx, A, R> extends Omit<ChannelOptions<A, R>, "owner" | "unowned"> {
+    readonly client: Tx & Transactional<Tx>;
+    readonly models: Partial<ChangeMap<Tx, A>>;
+}
+export interface PrismaChanges<Tx, A, R> {
+    readonly channel: Channel<A, R>;
+    readonly Client: Context.Reference<Tx>;
+    readonly use: <X>(query: (client: Tx) => PromiseLike<X>) => Effect.Effect<X, PrismaError, R>;
+    readonly transaction: <X, E, R2>(body: Effect.Effect<X, E, R2>, options?: TransactionOptions) => Effect.Effect<X, E | PrismaError, R | R2>;
+    readonly recordWrite: (write: Write) => Effect.Effect<void, never, R>;
+    readonly Unnamed: Context.Reference<UnnamedObserver>;
+}
+export declare const makePrismaChanges: <Tx extends Transactional<Tx>, A, R = never>(options: PrismaChangesOptions<Tx, A, R>) => PrismaChanges<Tx, A, R>;
+//# sourceMappingURL=changes.d.ts.map

package/dist/changes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"changes.d.ts","sourceRoot":"","sources":["../src/changes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,OAAO,EAAE,KAAK,cAAc,EAAe,MAAM,2BAA2B,CAAC;AAC3F,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAG/E,OAAO,EAA4B,KAAK,YAAY,EAAE,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAErF,MAAM,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,YAAY,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAE3E,MAAM,WAAW,oBAAoB,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACtG,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;CAC3C;AAED,MAAM,WAAW,aAAa,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACvC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,EAAE,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAC7F,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,kBAAkB,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;IAC3I,QAAQ,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;CACrD;AAMD,eAAO,MAAM,iBAAiB,GAAI,EAAE,SAAS,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,SAAS,oBAAoB,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,aAAa,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAmC7I,CAAC"}

package/dist/changes.js

@@ -0,0 +1,40 @@
+import { makeChannel } from "@shivaedev/effect-changes";
+import { Context, Effect } from "effect";
+import { PrismaError } from "./error.js";
+import { delegatesOf, recordingClient } from "./recording.js";
+import { runTransaction } from "./transaction.js";
+import { interpret } from "./write.js";
+let bindings = 0;
+const ignoreUnnamed = () => Effect.void;
+export const makePrismaChanges = (options) => {
+    const { client, models: typed, ...channelOptions } = options;
+    const models = typed;
+    const prefix = `@shivaedev/effect-changes-prisma/${options.name}/${bindings++}`;
+    const channel = makeChannel({ ...channelOptions, owner: Effect.succeed(client) });
+    const Client = Context.Reference(`${prefix}/Client`, { defaultValue: () => client });
+    const Unnamed = Context.Reference(`${prefix}/Unnamed`, { defaultValue: () => ignoreUnnamed });
+    const delegates = delegatesOf(models);
+    const recordWrite = Effect.fn("PrismaChanges.recordWrite")(function* (write) {
+        const { changes, unnamed } = interpret(models, write);
+        if (unnamed !== undefined)
+            yield* Effect.flatMap(Effect.service(Unnamed), (observe) => observe(unnamed));
+        if (changes.length > 0)
+            yield* channel.record(changes);
+    });
+    const use = Effect.fn("PrismaChanges.use")(function* (query) {
+        const current = yield* Client;
+        const writes = [];
+        const recording = recordingClient(current, delegates, (write) => writes.push(write));
+        const exit = yield* Effect.exit(Effect.tryPromise({ try: () => query(recording), catch: (cause) => new PrismaError({ cause }) }));
+        yield* Effect.forEach(writes, recordWrite, { discard: true });
+        return yield* exit;
+    }, Effect.uninterruptible);
+    const transaction = (body, transactionOptions) => Effect.flatMap(Effect.service(Client), (current) => runTransaction({
+        client: current,
+        open: channel.open,
+        body: (tx) => Effect.provideService(body, Client, tx),
+        transaction: transactionOptions,
+    })).pipe(Effect.withSpan("PrismaChanges.transaction"));
+    return { channel, Client, use, transaction, recordWrite, Unnamed };
+};
+//# sourceMappingURL=changes.js.map

package/dist/changes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"changes.js","sourceRoot":"","sources":["../src/changes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqC,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC3F,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAgD,MAAM,YAAY,CAAC;AAkBrF,IAAI,QAAQ,GAAG,CAAC,CAAC;AAEjB,MAAM,aAAa,GAAoB,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;AAEzD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAA6C,OAAuC,EAA2B,EAAE;IACjJ,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,cAAc,EAAE,GAAG,OAAO,CAAC;IAC7D,MAAM,MAAM,GAAgB,KAAK,CAAC;IAClC,MAAM,MAAM,GAAG,oCAAoC,OAAO,CAAC,IAAI,IAAI,QAAQ,EAAE,EAAE,CAAC;IAChF,MAAM,OAAO,GAAG,WAAW,CAAO,EAAE,GAAG,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAK,GAAG,MAAM,SAAS,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IACzF,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAkB,GAAG,MAAM,UAAU,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,aAAa,EAAE,CAAC,CAAC;IAC/G,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAEtC,MAAM,WAAW,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAY;QACjF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,OAAO,KAAK,SAAS;YAAE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACzG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAAK,KAAqC;QAC7F,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC;QAC9B,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACrF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClI,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC;IACpB,CAAC,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;IAE3B,MAAM,WAAW,GAAG,CAAW,IAA6B,EAAE,kBAAuC,EAAE,EAAE,CACxG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAClD,cAAc,CAAC;QACd,MAAM,EAAE,OAAO;QACf,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,CAAC,EAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;QACzD,WAAW,EAAE,kBAAkB;KAC/B,CAAC,CACF,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC,CAAC;IAEtD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AACpE,CAAC,CAAC"}

package/dist/coverage.d.ts

@@ -0,0 +1,20 @@
+import type { Observation } from "@shivaedev/effect-changes";
+import type { UnnamedWrite } from "./write.ts";
+export type CoverageViolation = {
+    readonly _tag: "Unrecorded";
+    readonly table: string;
+    readonly model: string | undefined;
+} | {
+    readonly _tag: "Unnamed";
+    readonly write: UnnamedWrite;
+};
+export interface Coverage<A> {
+    readonly written: Iterable<string>;
+    readonly tables: ReadonlyMap<string, string>;
+    readonly models: Readonly<Record<string, unknown>>;
+    readonly observations: Iterable<Observation<A>>;
+    readonly unnamed: Iterable<UnnamedWrite>;
+    readonly covers: (model: string, change: A) => boolean;
+}
+export declare const checkCoverage: <A>(coverage: Coverage<A>) => ReadonlyArray<CoverageViolation>;
+//# sourceMappingURL=coverage.d.ts.map

package/dist/coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../src/coverage.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,MAAM,MAAM,iBAAiB,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAC3F;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;CAAE,CAAC;AAE9D,MAAM,WAAW,QAAQ,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,KAAK,OAAO,CAAC;CACvD;AAQD,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,UAAU,QAAQ,CAAC,CAAC,CAAC,KAAG,aAAa,CAAC,iBAAiB,CAUvF,CAAC"}

package/dist/coverage.js

@@ -0,0 +1,16 @@
+const recordedIn = (observations) => [...observations].flatMap((observation) => (observation._tag === "Recorded" ? observation.changes : []));
+const identify = (write) => write.reason === "narrowed" ? `${write.model}.${write.operation}.${write.field}` : `${write.model}.${write.operation}`;
+export const checkCoverage = (coverage) => {
+    const recorded = recordedIn(coverage.observations);
+    const unrecorded = [...new Set(coverage.written)].flatMap((table) => {
+        const model = coverage.tables.get(table);
+        if (model !== undefined && coverage.models[model] === null)
+            return [];
+        if (model !== undefined && recorded.some((change) => coverage.covers(model, change)))
+            return [];
+        return [{ _tag: "Unrecorded", table, model }];
+    });
+    const unnamed = new Map([...coverage.unnamed].map((write) => [identify(write), write]));
+    return [...unrecorded, ...[...unnamed.values()].map((write) => ({ _tag: "Unnamed", write }))];
+};
+//# sourceMappingURL=coverage.js.map

package/dist/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../src/coverage.ts"],"names":[],"mappings":"AAgBA,MAAM,UAAU,GAAG,CAAI,YAAsC,EAAoB,EAAE,CAClF,CAAC,GAAG,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE1G,MAAM,QAAQ,GAAG,CAAC,KAAmB,EAAU,EAAE,CAChD,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;AAExH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAI,QAAqB,EAAoC,EAAE;IAC3F,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAoC,EAAE;QACrG,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QACtE,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QAChG,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC;IACjG,OAAO,CAAC,GAAG,UAAU,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AAClH,CAAC,CAAC"}

package/dist/error.d.ts

@@ -0,0 +1,9 @@
+declare const PrismaError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "PrismaError";
+} & Readonly<A>;
+export declare class PrismaError extends PrismaError_base<{
+    readonly cause: unknown;
+}> {
+}
+export {};
+//# sourceMappingURL=error.d.ts.map

package/dist/error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error.d.ts","sourceRoot":"","sources":["../src/error.ts"],"names":[],"mappings":";;;AAEA,qBAAa,WAAY,SAAQ,iBAAgC;IAChE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACxB,CAAC;CAAG"}

package/dist/error.js

@@ -0,0 +1,4 @@
+import { Data } from "effect";
+export class PrismaError extends Data.TaggedError("PrismaError") {
+}
+//# sourceMappingURL=error.js.map

package/dist/error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error.js","sourceRoot":"","sources":["../src/error.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAE9B,MAAM,OAAO,WAAY,SAAQ,IAAI,CAAC,WAAW,CAAC,aAAa,CAE7D;CAAG"}

package/dist/index.d.ts

@@ -0,0 +1,7 @@
+export { makePrismaChanges, type PrismaChanges, type PrismaChangesOptions, type UnnamedObserver } from "./changes.ts";
+export { type Coverage, type CoverageViolation, checkCoverage } from "./coverage.ts";
+export { PrismaError } from "./error.ts";
+export type { ChangeMap, CountOperation, ModelChanges, ModelName, ModelRow, RowOperation, Transactional, TransactionOptions, } from "./model.ts";
+export { type RawQueryClient, tablesOf, writtenTables } from "./tables.ts";
+export type { UnnamedWrite, Write } from "./write.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,KAAK,aAAa,EAAE,KAAK,oBAAoB,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AACtH,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,iBAAiB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,YAAY,EACX,SAAS,EACT,cAAc,EACd,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,kBAAkB,GAClB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,KAAK,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC3E,YAAY,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,5 @@
+export { makePrismaChanges } from "./changes.js";
+export { checkCoverage } from "./coverage.js";
+export { PrismaError } from "./error.js";
+export { tablesOf, writtenTables } from "./tables.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAuE,MAAM,cAAc,CAAC;AACtH,OAAO,EAAyC,aAAa,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAWzC,OAAO,EAAuB,QAAQ,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/model.d.ts

@@ -0,0 +1,38 @@
+export interface TransactionOptions {
+    readonly maxWait?: number;
+    readonly timeout?: number;
+    readonly isolationLevel?: string;
+}
+export interface Transactional<Tx> {
+    $transaction<X>(run: (tx: Tx) => Promise<X>, options?: TransactionOptions): PromiseLike<X>;
+}
+type PayloadOf<Delegate> = Delegate extends {
+    readonly [key: symbol]: {
+        readonly types: {
+            readonly payload: infer Payload;
+        };
+    };
+} ? Payload : never;
+type Delegates<Client> = Exclude<keyof Client & string, `$${string}`>;
+export type ModelName<Client> = {
+    [Key in Delegates<Client>]: PayloadOf<Client[Key]> extends {
+        readonly name: infer Name extends string;
+    } ? Name : never;
+}[Delegates<Client>];
+export type ModelRow<Client, Model extends string> = Extract<{
+    [Key in Delegates<Client>]: PayloadOf<Client[Key]> extends {
+        readonly name: Model;
+        readonly scalars: infer Row;
+    } ? Row : never;
+}[Delegates<Client>], object>;
+export type RowOperation = "create" | "update" | "upsert" | "delete" | "createManyAndReturn" | "updateManyAndReturn";
+export type CountOperation = "createMany" | "updateMany" | "deleteMany";
+export type ModelChanges<Row, A> = (row: Row, operation: RowOperation) => Iterable<A>;
+export type ChangeMap<Client, A> = {
+    readonly [Model in ModelName<Client>]: ModelChanges<ModelRow<Client, Model>, A> | null;
+};
+export declare const rowOperations: ReadonlySet<string>;
+export declare const countOperations: ReadonlySet<string>;
+export declare const delegateOf: (model: string) => string;
+export {};
+//# sourceMappingURL=model.d.ts.map

package/dist/model.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,kBAAkB;IAClC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,MAAM,WAAW,aAAa,CAAC,EAAE;IAChC,YAAY,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,kBAAkB,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;CAC3F;AAED,KAAK,SAAS,CAAC,QAAQ,IAAI,QAAQ,SAAS;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE;YAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAA;SAAE,CAAA;KAAE,CAAA;CAAE,GAAG,OAAO,GAAG,KAAK,CAAC;AAElJ,KAAK,SAAS,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,MAAM,GAAG,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC,CAAC;AAEtE,MAAM,MAAM,SAAS,CAAC,MAAM,IAAI;KAC9B,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;KAAE,GAAG,IAAI,GAAG,KAAK;CACtH,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;AAErB,MAAM,MAAM,QAAQ,CAAC,MAAM,EAAE,KAAK,SAAS,MAAM,IAAI,OAAO,CAC3D;KACE,GAAG,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,CAAA;KAAE,GAAG,GAAG,GAAG,KAAK;CAC9H,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EACpB,MAAM,CACN,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,qBAAqB,GAAG,qBAAqB,CAAC;AAErH,MAAM,MAAM,cAAc,GAAG,YAAY,GAAG,YAAY,GAAG,YAAY,CAAC;AAExE,MAAM,MAAM,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEtF,MAAM,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC,IAAI;IAClC,QAAQ,EAAE,KAAK,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI;CACtF,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,WAAW,CAAC,MAAM,CAO5C,CAAC;AAEH,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,MAAM,CAAuE,CAAC;AAExH,eAAO,MAAM,UAAU,GAAI,OAAO,MAAM,KAAG,MAA6D,CAAC"}

package/dist/model.js

@@ -0,0 +1,11 @@
+export const rowOperations = new Set([
+    "create",
+    "update",
+    "upsert",
+    "delete",
+    "createManyAndReturn",
+    "updateManyAndReturn",
+]);
+export const countOperations = new Set(["createMany", "updateMany", "deleteMany"]);
+export const delegateOf = (model) => `${model.charAt(0).toLowerCase()}${model.slice(1)}`;
+//# sourceMappingURL=model.js.map

package/dist/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAmCA,MAAM,CAAC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAe;IACvE,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,qBAAqB;IACrB,qBAAqB;CACrB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAiB,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;AAExH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC"}

package/dist/recording.d.ts

@@ -0,0 +1,5 @@
+import type { LooseMap, Write } from "./write.ts";
+export declare const isWriteOperation: (operation: string) => boolean;
+export declare const delegatesOf: <A>(models: LooseMap<A>) => ReadonlyMap<string, string>;
+export declare const recordingClient: <Client extends object>(client: Client, delegates: ReadonlyMap<string, string>, collect: (write: Write) => void) => Client;
+//# sourceMappingURL=recording.d.ts.map

package/dist/recording.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recording.d.ts","sourceRoot":"","sources":["../src/recording.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAElD,eAAO,MAAM,gBAAgB,GAAI,WAAW,MAAM,KAAG,OAAyE,CAAC;AAE/H,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,QAAQ,QAAQ,CAAC,CAAC,CAAC,KAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAK7E,CAAC;AAiBH,eAAO,MAAM,eAAe,GAAI,MAAM,SAAS,MAAM,EACpD,QAAQ,MAAM,EACd,WAAW,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EACtC,SAAS,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,KAC7B,MAQA,CAAC"}

package/dist/recording.js

@@ -0,0 +1,25 @@
+import { countOperations, delegateOf, rowOperations } from "./model.js";
+export const isWriteOperation = (operation) => rowOperations.has(operation) || countOperations.has(operation);
+export const delegatesOf = (models) => new Map(Object.entries(models).flatMap(([model, changesOf]) => changesOf === undefined || changesOf === null ? [] : [[delegateOf(model), model]]));
+const bound = (value, target) => (typeof value === "function" ? value.bind(target) : value);
+const recordingDelegate = (delegate, model, collect) => new Proxy(delegate, {
+    get: (target, key) => {
+        const value = Reflect.get(target, key);
+        if (typeof key !== "string" || typeof value !== "function" || !isWriteOperation(key))
+            return bound(value, target);
+        return (...args) => Promise.resolve(Reflect.apply(value, target, args)).then((result) => {
+            collect({ model, operation: key, result });
+            return result;
+        });
+    },
+});
+export const recordingClient = (client, delegates, collect) => new Proxy(client, {
+    get: (target, key) => {
+        const value = Reflect.get(target, key);
+        const model = typeof key === "string" ? delegates.get(key) : undefined;
+        if (model !== undefined && typeof value === "object" && value !== null)
+            return recordingDelegate(value, model, collect);
+        return bound(value, target);
+    },
+});
+//# sourceMappingURL=recording.js.map

package/dist/recording.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recording.js","sourceRoot":"","sources":["../src/recording.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGxE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,SAAiB,EAAW,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAE/H,MAAM,CAAC,MAAM,WAAW,GAAG,CAAI,MAAmB,EAA+B,EAAE,CAClF,IAAI,GAAG,CACN,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,CACrD,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,CAAU,CAAC,CAC1F,CACD,CAAC;AAEH,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,MAAc,EAAW,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAEtH,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAE,KAAa,EAAE,OAA+B,EAAU,EAAE,CACtG,IAAI,KAAK,CAAC,QAAQ,EAAE;IACnB,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QACpB,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAClH,OAAO,CAAC,GAAG,IAA4B,EAAE,EAAE,CAC1C,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAe,EAAE,EAAE;YAC5E,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3C,OAAO,MAAM,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;CACD,CAAC,CAAC;AAEJ,MAAM,CAAC,MAAM,eAAe,GAAG,CAC9B,MAAc,EACd,SAAsC,EACtC,OAA+B,EACtB,EAAE,CACX,IAAI,KAAK,CAAC,MAAM,EAAE;IACjB,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QACpB,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvE,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;QACxH,OAAO,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;CACD,CAAC,CAAC"}

package/dist/tables.d.ts

@@ -0,0 +1,8 @@
+import { Effect } from "effect";
+import { PrismaError } from "./error.ts";
+export declare const tablesOf: (schema: string) => ReadonlyMap<string, string>;
+export interface RawQueryClient {
+    $queryRawUnsafe(query: string): PromiseLike<unknown>;
+}
+export declare const writtenTables: (client: RawQueryClient) => Effect.Effect<string[], PrismaError, never>;
+//# sourceMappingURL=tables.d.ts.map

package/dist/tables.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tables.d.ts","sourceRoot":"","sources":["../src/tables.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAMzC,eAAO,MAAM,QAAQ,GAAI,QAAQ,MAAM,KAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAC4E,CAAC;AAEjJ,MAAM,WAAW,cAAc;IAC9B,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;CACrD;AAMD,eAAO,MAAM,aAAa,yEAIxB,CAAC"}

package/dist/tables.js

@@ -0,0 +1,14 @@
+import { Effect, Schema } from "effect";
+import { PrismaError } from "./error.js";
+const MODEL = /^[ \t]*model[ \t]+(\w+)[ \t]*\{([\s\S]*?)^[ \t]*\}/gm;
+const MAPPED = /@@map\(\s*(?:name\s*:\s*)?"([^"]+)"/;
+const COMMENT = /\/\/.*$/gm;
+export const tablesOf = (schema) => new Map([...schema.replace(COMMENT, "").matchAll(MODEL)].map(([, model = "", body = ""]) => [MAPPED.exec(body)?.[1] ?? model, model]));
+const Written = Schema.Array(Schema.Struct({ relname: Schema.String }));
+const WRITTEN = "select relname from pg_stat_xact_user_tables where n_tup_ins + n_tup_upd + n_tup_del > 0 order by relname";
+export const writtenTables = Effect.fn("PrismaChanges.writtenTables")(function* (client) {
+    const rows = yield* Effect.tryPromise({ try: () => client.$queryRawUnsafe(WRITTEN), catch: (cause) => new PrismaError({ cause }) });
+    const decoded = yield* Effect.mapError(Schema.decodeUnknownEffect(Written)(rows), (cause) => new PrismaError({ cause }));
+    return decoded.map((row) => row.relname);
+});
+//# sourceMappingURL=tables.js.map

package/dist/tables.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tables.js","sourceRoot":"","sources":["../src/tables.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEzC,MAAM,KAAK,GAAG,sDAAsD,CAAC;AACrE,MAAM,MAAM,GAAG,qCAAqC,CAAC;AACrD,MAAM,OAAO,GAAG,WAAW,CAAC;AAE5B,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAc,EAA+B,EAAE,CACvE,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC;AAMjJ,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAExE,MAAM,OAAO,GAAG,2GAA2G,CAAC;AAE5H,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,EAAE,CAAC,6BAA6B,CAAC,CAAC,QAAQ,CAAC,EAAE,MAAsB;IACtG,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACpI,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACzH,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC"}

package/dist/transaction.d.ts

@@ -0,0 +1,11 @@
+import type { Frame } from "@shivaedev/effect-changes";
+import { Effect } from "effect";
+import { PrismaError } from "./error.ts";
+import type { Transactional, TransactionOptions } from "./model.ts";
+export declare const runTransaction: <Tx extends Transactional<Tx>, X, E, R, RO>(options: {
+    readonly client: Tx;
+    readonly open: Effect.Effect<Frame, never, RO>;
+    readonly body: (tx: Tx) => Effect.Effect<X, E, R>;
+    readonly transaction: TransactionOptions | undefined;
+}) => Effect.Effect<X, E | PrismaError, R | RO>;
+//# sourceMappingURL=transaction.d.ts.map

package/dist/transaction.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction.d.ts","sourceRoot":"","sources":["../src/transaction.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAgB,MAAM,EAAQ,MAAM,QAAQ,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AA6BpE,eAAO,MAAM,cAAc,GAAI,EAAE,SAAS,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,SAAS;IAClF,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,kBAAkB,GAAG,SAAS,CAAC;CACrD,KAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,GAAG,EAAE,CAsB1C,CAAC"}

package/dist/transaction.js

@@ -0,0 +1,26 @@
+import { Effect, Exit } from "effect";
+import { PrismaError } from "./error.js";
+class BodyFailed {
+}
+const commit = (client, options, body, context, signal) => {
+    let failed;
+    const run = async (tx) => {
+        const exit = await Effect.runPromiseExitWith(context)(body(tx), { signal });
+        if (Exit.isSuccess(exit))
+            return exit.value;
+        failed = exit;
+        throw new BodyFailed();
+    };
+    return Promise.resolve(client.$transaction(run, options)).then((value) => ({ committed: true, exit: Exit.succeed(value) }), (cause) => ({ committed: false, exit: failed ?? Exit.fail(new PrismaError({ cause })) }));
+};
+export const runTransaction = (options) => Effect.uninterruptibleMask((restore) => Effect.gen(function* () {
+    const { client, body } = options;
+    const frame = yield* options.open;
+    const context = yield* Effect.context();
+    const abort = new AbortController();
+    const outcome = commit(client, options.transaction, (tx) => frame.provide(body(tx)), context, abort.signal);
+    const settle = (settled) => Effect.as(frame.settle(settled.committed ? "committed" : "rolledBack"), settled.exit);
+    const settled = yield* restore(Effect.promise(() => outcome)).pipe(Effect.onInterrupt(() => Effect.andThen(Effect.sync(() => abort.abort()), Effect.flatMap(Effect.promise(() => outcome), settle))));
+    return yield* Effect.flatten(settle(settled));
+}));
+//# sourceMappingURL=transaction.js.map

package/dist/transaction.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transaction.js","sourceRoot":"","sources":["../src/transaction.ts"],"names":[],"mappings":"AACA,OAAO,EAAgB,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAQzC,MAAM,UAAU;CAAG;AAEnB,MAAM,MAAM,GAAG,CACd,MAAU,EACV,OAAuC,EACvC,IAAwC,EACxC,OAA2B,EAC3B,MAAmB,EACM,EAAE;IAC3B,IAAI,MAAmC,CAAC;IACxC,MAAM,GAAG,GAAG,KAAK,EAAE,EAAM,EAAE,EAAE;QAC5B,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5E,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QAC5C,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,IAAI,UAAU,EAAE,CAAC;IACxB,CAAC,CAAC;IACF,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAC7D,CAAC,KAAK,EAAiB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,EAC1E,CAAC,KAAc,EAAiB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAChH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAA4C,OAKzE,EAA6C,EAAE,CAC/C,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE,CACtC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACjC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,EAAK,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,eAAe,EAAE,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5G,MAAM,MAAM,GAAG,CAAC,OAAsB,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACjI,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CACjE,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,CACvB,MAAM,CAAC,OAAO,CACb,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAChC,MAAM,CAAC,OAAO,CACb,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,EAC7B,MAAM,CACN,CACD,CACD,CACD,CAAC;IACF,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAC/C,CAAC,CAAC,CACF,CAAC"}

package/dist/write.d.ts

@@ -0,0 +1,26 @@
+import { type RowOperation } from "./model.ts";
+export interface Write {
+    readonly model: string;
+    readonly operation: string;
+    readonly result: unknown;
+}
+export type UnnamedWrite = {
+    readonly model: string;
+    readonly operation: string;
+    readonly reason: "countOnly";
+} | {
+    readonly model: string;
+    readonly operation: string;
+    readonly reason: "narrowed";
+    readonly field: string;
+};
+export type LooseChanges<A> = {
+    bivariant(row: object, operation: RowOperation): Iterable<A>;
+}["bivariant"];
+export type LooseMap<A> = Readonly<Record<string, LooseChanges<A> | null | undefined>>;
+export interface Interpreted<A> {
+    readonly changes: ReadonlyArray<A>;
+    readonly unnamed: UnnamedWrite | undefined;
+}
+export declare const interpret: <A>(models: LooseMap<A>, write: Write) => Interpreted<A>;
+//# sourceMappingURL=write.d.ts.map

package/dist/write.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"write.d.ts","sourceRoot":"","sources":["../src/write.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,YAAY,EAAiB,MAAM,YAAY,CAAC;AAE/E,MAAM,WAAW,KAAK;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CACzB;AAED,MAAM,MAAM,YAAY,GACrB;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GACpF;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/G,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAAE,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,WAAW,CAAC,CAAC;AAE5G,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC;AAEvF,MAAM,WAAW,WAAW,CAAC,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,SAAS,CAAC;CAC3C;AAqBD,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,QAAQ,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,KAAG,WAAW,CAAC,CAAC,CAc7E,CAAC"}

package/dist/write.js

@@ -0,0 +1,39 @@
+import { countOperations, rowOperations } from "./model.js";
+class MissingField {
+    field;
+    constructor(field) {
+        this.field = field;
+    }
+}
+const guarded = (row) => new Proxy(row, {
+    get: (target, key, receiver) => {
+        if (typeof key === "string" && !(key in target))
+            throw new MissingField(key);
+        return Reflect.get(target, key, receiver);
+    },
+});
+const isRowOperation = (operation) => rowOperations.has(operation);
+const rowsOf = (result) => (Array.isArray(result) ? result : [result]).filter((row) => typeof row === "object" && row !== null);
+const nothing = { changes: [], unnamed: undefined };
+export const interpret = (models, write) => {
+    const { model, operation } = write;
+    const changesOf = models[model];
+    if (changesOf === undefined || changesOf === null)
+        return nothing;
+    if (countOperations.has(operation))
+        return { changes: [], unnamed: { model, operation, reason: "countOnly" } };
+    if (!isRowOperation(operation))
+        return nothing;
+    const changes = [];
+    try {
+        for (const row of rowsOf(write.result))
+            changes.push(...changesOf(guarded(row), operation));
+    }
+    catch (error) {
+        if (error instanceof MissingField)
+            return { changes: [], unnamed: { model, operation, reason: "narrowed", field: error.field } };
+        throw error;
+    }
+    return { changes, unnamed: undefined };
+};
+//# sourceMappingURL=write.js.map

package/dist/write.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"write.js","sourceRoot":"","sources":["../src/write.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAqB,aAAa,EAAE,MAAM,YAAY,CAAC;AAqB/E,MAAM,YAAY;IACI;IAArB,YAAqB,KAAa;QAAb,UAAK,GAAL,KAAK,CAAQ;IAAG,CAAC;CACtC;AAED,MAAM,OAAO,GAAG,CAAC,GAAW,EAAU,EAAE,CACvC,IAAI,KAAK,CAAC,GAAG,EAAE;IACd,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC;QAC7E,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IAC3C,CAAC;CACD,CAAC,CAAC;AAEJ,MAAM,cAAc,GAAG,CAAC,SAAiB,EAA6B,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AAEtG,MAAM,MAAM,GAAG,CAAC,MAAe,EAAyB,EAAE,CACzD,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAiB,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC;AAErH,MAAM,OAAO,GAAuB,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAExE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,MAAmB,EAAE,KAAY,EAAkB,EAAE;IACjF,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IAClE,IAAI,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC;IAC/G,IAAI,CAAC,cAAc,CAAC,SAAS,CAAC;QAAE,OAAO,OAAO,CAAC;IAC/C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,CAAC;QACJ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IAC7F,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,IAAI,KAAK,YAAY,YAAY;YAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC;QACjI,MAAM,KAAK,CAAC;IACb,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACxC,CAAC,CAAC"}

package/package.json

@@ -1,14 +1,65 @@
 {
   "name": "@shivaedev/effect-changes-prisma",
-  "version": "0.0.0",
-  "description": "Name reservation. The first release is published from https://github.com/ShivaeDev/platform.",
+  "version": "0.1.0",
+  "description": "Commit-bound change channels for Prisma Classic: automatic change recording, publish after $transaction commits, and a test-time coverage check",
+  "type": "module",
   "license": "MIT",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/ShivaeDev/platform.git",
     "directory": "packages/effect-changes-prisma"
   },
+  "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-changes-prisma#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"
+    },
+    "./package.json": "./package.json"
+  },
   "publishConfig": {
-    "access": "public"
+    "access": "public",
+    "provenance": true
+  },
+  "dependencies": {
+    "@shivaedev/effect-changes": "0.1.0"
+  },
+  "peerDependencies": {
+    "@prisma/client": "^7.9.1",
+    "effect": "4.0.0-rc.112"
+  },
+  "devDependencies": {
+    "@prisma/adapter-pg": "7.9.1",
+    "@prisma/client": "7.9.1",
+    "@types/node": "24.10.1",
+    "@typescript/native": "npm:typescript@7.0.2",
+    "effect": "4.0.0-rc.112",
+    "prisma": "7.9.1",
+    "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": "prisma generate --config test/prisma.config.ts --no-hints && vitest run",
+    "test:package": "node scripts/test-package.mjs",
+    "typecheck": "prisma generate --config test/prisma.config.ts --no-hints && tsc --noEmit",
+    "typecheck:compat": "prisma generate --config test/prisma.config.ts --no-hints && tsc6 --noEmit",
+    "ready": "pnpm check && pnpm typecheck && pnpm typecheck:compat && pnpm test && pnpm build && pnpm test:package"
   }
 }

package/src/changes.ts

@@ -0,0 +1,64 @@
+import { type Channel, type ChannelOptions, makeChannel } from "@shivaedev/effect-changes";
+import { Context, Effect } from "effect";
+import { PrismaError } from "./error.ts";
+import type { ChangeMap, Transactional, TransactionOptions } from "./model.ts";
+import { delegatesOf, recordingClient } from "./recording.ts";
+import { runTransaction } from "./transaction.ts";
+import { interpret, type LooseMap, type UnnamedWrite, type Write } from "./write.ts";
+
+export type UnnamedObserver = (write: UnnamedWrite) => Effect.Effect<void>;
+
+export interface PrismaChangesOptions<Tx, A, R> extends Omit<ChannelOptions<A, R>, "owner" | "unowned"> {
+	readonly client: Tx & Transactional<Tx>;
+	readonly models: Partial<ChangeMap<Tx, A>>;
+}
+
+export interface PrismaChanges<Tx, A, R> {
+	readonly channel: Channel<A, R>;
+	readonly Client: Context.Reference<Tx>;
+	readonly use: <X>(query: (client: Tx) => PromiseLike<X>) => Effect.Effect<X, PrismaError, R>;
+	readonly transaction: <X, E, R2>(body: Effect.Effect<X, E, R2>, options?: TransactionOptions) => Effect.Effect<X, E | PrismaError, R | R2>;
+	readonly recordWrite: (write: Write) => Effect.Effect<void, never, R>;
+	readonly Unnamed: Context.Reference<UnnamedObserver>;
+}
+
+let bindings = 0;
+
+const ignoreUnnamed: UnnamedObserver = () => Effect.void;
+
+export const makePrismaChanges = <Tx extends Transactional<Tx>, A, R = never>(options: PrismaChangesOptions<Tx, A, R>): PrismaChanges<Tx, A, R> => {
+	const { client, models: typed, ...channelOptions } = options;
+	const models: LooseMap<A> = typed;
+	const prefix = `@shivaedev/effect-changes-prisma/${options.name}/${bindings++}`;
+	const channel = makeChannel<A, R>({ ...channelOptions, owner: Effect.succeed(client) });
+	const Client = Context.Reference<Tx>(`${prefix}/Client`, { defaultValue: () => client });
+	const Unnamed = Context.Reference<UnnamedObserver>(`${prefix}/Unnamed`, { defaultValue: () => ignoreUnnamed });
+	const delegates = delegatesOf(models);
+
+	const recordWrite = Effect.fn("PrismaChanges.recordWrite")(function* (write: Write) {
+		const { changes, unnamed } = interpret(models, write);
+		if (unnamed !== undefined) yield* Effect.flatMap(Effect.service(Unnamed), (observe) => observe(unnamed));
+		if (changes.length > 0) yield* channel.record(changes);
+	});
+
+	const use = Effect.fn("PrismaChanges.use")(function* <X>(query: (client: Tx) => PromiseLike<X>) {
+		const current = yield* Client;
+		const writes: Array<Write> = [];
+		const recording = recordingClient(current, delegates, (write) => writes.push(write));
+		const exit = yield* Effect.exit(Effect.tryPromise({ try: () => query(recording), catch: (cause) => new PrismaError({ cause }) }));
+		yield* Effect.forEach(writes, recordWrite, { discard: true });
+		return yield* exit;
+	}, Effect.uninterruptible);
+
+	const transaction = <X, E, R2>(body: Effect.Effect<X, E, R2>, transactionOptions?: TransactionOptions) =>
+		Effect.flatMap(Effect.service(Client), (current) =>
+			runTransaction({
+				client: current,
+				open: channel.open,
+				body: (tx: Tx) => Effect.provideService(body, Client, tx),
+				transaction: transactionOptions,
+			}),
+		).pipe(Effect.withSpan("PrismaChanges.transaction"));
+
+	return { channel, Client, use, transaction, recordWrite, Unnamed };
+};

package/src/coverage.ts

@@ -0,0 +1,33 @@
+import type { Observation } from "@shivaedev/effect-changes";
+import type { UnnamedWrite } from "./write.ts";
+
+export type CoverageViolation =
+	| { readonly _tag: "Unrecorded"; readonly table: string; readonly model: string | undefined }
+	| { readonly _tag: "Unnamed"; readonly write: UnnamedWrite };
+
+export interface Coverage<A> {
+	readonly written: Iterable<string>;
+	readonly tables: ReadonlyMap<string, string>;
+	readonly models: Readonly<Record<string, unknown>>;
+	readonly observations: Iterable<Observation<A>>;
+	readonly unnamed: Iterable<UnnamedWrite>;
+	readonly covers: (model: string, change: A) => boolean;
+}
+
+const recordedIn = <A>(observations: Iterable<Observation<A>>): ReadonlyArray<A> =>
+	[...observations].flatMap((observation) => (observation._tag === "Recorded" ? observation.changes : []));
+
+const identify = (write: UnnamedWrite): string =>
+	write.reason === "narrowed" ? `${write.model}.${write.operation}.${write.field}` : `${write.model}.${write.operation}`;
+
+export const checkCoverage = <A>(coverage: Coverage<A>): ReadonlyArray<CoverageViolation> => {
+	const recorded = recordedIn(coverage.observations);
+	const unrecorded = [...new Set(coverage.written)].flatMap((table): ReadonlyArray<CoverageViolation> => {
+		const model = coverage.tables.get(table);
+		if (model !== undefined && coverage.models[model] === null) return [];
+		if (model !== undefined && recorded.some((change) => coverage.covers(model, change))) return [];
+		return [{ _tag: "Unrecorded", table, model }];
+	});
+	const unnamed = new Map([...coverage.unnamed].map((write) => [identify(write), write] as const));
+	return [...unrecorded, ...[...unnamed.values()].map((write): CoverageViolation => ({ _tag: "Unnamed", write }))];
+};

package/src/error.ts

@@ -0,0 +1,5 @@
+import { Data } from "effect";
+
+export class PrismaError extends Data.TaggedError("PrismaError")<{
+	readonly cause: unknown;
+}> {}

package/src/index.ts

@@ -0,0 +1,15 @@
+export { makePrismaChanges, type PrismaChanges, type PrismaChangesOptions, type UnnamedObserver } from "./changes.ts";
+export { type Coverage, type CoverageViolation, checkCoverage } from "./coverage.ts";
+export { PrismaError } from "./error.ts";
+export type {
+	ChangeMap,
+	CountOperation,
+	ModelChanges,
+	ModelName,
+	ModelRow,
+	RowOperation,
+	Transactional,
+	TransactionOptions,
+} from "./model.ts";
+export { type RawQueryClient, tablesOf, writtenTables } from "./tables.ts";
+export type { UnnamedWrite, Write } from "./write.ts";

package/src/model.ts

@@ -0,0 +1,47 @@
+export interface TransactionOptions {
+	readonly maxWait?: number;
+	readonly timeout?: number;
+	readonly isolationLevel?: string;
+}
+
+export interface Transactional<Tx> {
+	$transaction<X>(run: (tx: Tx) => Promise<X>, options?: TransactionOptions): PromiseLike<X>;
+}
+
+type PayloadOf<Delegate> = Delegate extends { readonly [key: symbol]: { readonly types: { readonly payload: infer Payload } } } ? Payload : never;
+
+type Delegates<Client> = Exclude<keyof Client & string, `$${string}`>;
+
+export type ModelName<Client> = {
+	[Key in Delegates<Client>]: PayloadOf<Client[Key]> extends { readonly name: infer Name extends string } ? Name : never;
+}[Delegates<Client>];
+
+export type ModelRow<Client, Model extends string> = Extract<
+	{
+		[Key in Delegates<Client>]: PayloadOf<Client[Key]> extends { readonly name: Model; readonly scalars: infer Row } ? Row : never;
+	}[Delegates<Client>],
+	object
+>;
+
+export type RowOperation = "create" | "update" | "upsert" | "delete" | "createManyAndReturn" | "updateManyAndReturn";
+
+export type CountOperation = "createMany" | "updateMany" | "deleteMany";
+
+export type ModelChanges<Row, A> = (row: Row, operation: RowOperation) => Iterable<A>;
+
+export type ChangeMap<Client, A> = {
+	readonly [Model in ModelName<Client>]: ModelChanges<ModelRow<Client, Model>, A> | null;
+};
+
+export const rowOperations: ReadonlySet<string> = new Set<RowOperation>([
+	"create",
+	"update",
+	"upsert",
+	"delete",
+	"createManyAndReturn",
+	"updateManyAndReturn",
+]);
+
+export const countOperations: ReadonlySet<string> = new Set<CountOperation>(["createMany", "updateMany", "deleteMany"]);
+
+export const delegateOf = (model: string): string => `${model.charAt(0).toLowerCase()}${model.slice(1)}`;

package/src/recording.ts

@@ -0,0 +1,40 @@
+import { countOperations, delegateOf, rowOperations } from "./model.ts";
+import type { LooseMap, Write } from "./write.ts";
+
+export const isWriteOperation = (operation: string): boolean => rowOperations.has(operation) || countOperations.has(operation);
+
+export const delegatesOf = <A>(models: LooseMap<A>): ReadonlyMap<string, string> =>
+	new Map(
+		Object.entries(models).flatMap(([model, changesOf]) =>
+			changesOf === undefined || changesOf === null ? [] : [[delegateOf(model), model] as const],
+		),
+	);
+
+const bound = (value: unknown, target: object): unknown => (typeof value === "function" ? value.bind(target) : value);
+
+const recordingDelegate = (delegate: object, model: string, collect: (write: Write) => void): object =>
+	new Proxy(delegate, {
+		get: (target, key) => {
+			const value: unknown = Reflect.get(target, key);
+			if (typeof key !== "string" || typeof value !== "function" || !isWriteOperation(key)) return bound(value, target);
+			return (...args: ReadonlyArray<unknown>) =>
+				Promise.resolve(Reflect.apply(value, target, args)).then((result: unknown) => {
+					collect({ model, operation: key, result });
+					return result;
+				});
+		},
+	});
+
+export const recordingClient = <Client extends object>(
+	client: Client,
+	delegates: ReadonlyMap<string, string>,
+	collect: (write: Write) => void,
+): Client =>
+	new Proxy(client, {
+		get: (target, key) => {
+			const value: unknown = Reflect.get(target, key);
+			const model = typeof key === "string" ? delegates.get(key) : undefined;
+			if (model !== undefined && typeof value === "object" && value !== null) return recordingDelegate(value, model, collect);
+			return bound(value, target);
+		},
+	});

package/src/tables.ts

@@ -0,0 +1,23 @@
+import { Effect, Schema } from "effect";
+import { PrismaError } from "./error.ts";
+
+const MODEL = /^[ \t]*model[ \t]+(\w+)[ \t]*\{([\s\S]*?)^[ \t]*\}/gm;
+const MAPPED = /@@map\(\s*(?:name\s*:\s*)?"([^"]+)"/;
+const COMMENT = /\/\/.*$/gm;
+
+export const tablesOf = (schema: string): ReadonlyMap<string, string> =>
+	new Map([...schema.replace(COMMENT, "").matchAll(MODEL)].map(([, model = "", body = ""]) => [MAPPED.exec(body)?.[1] ?? model, model] as const));
+
+export interface RawQueryClient {
+	$queryRawUnsafe(query: string): PromiseLike<unknown>;
+}
+
+const Written = Schema.Array(Schema.Struct({ relname: Schema.String }));
+
+const WRITTEN = "select relname from pg_stat_xact_user_tables where n_tup_ins + n_tup_upd + n_tup_del > 0 order by relname";
+
+export const writtenTables = Effect.fn("PrismaChanges.writtenTables")(function* (client: RawQueryClient) {
+	const rows = yield* Effect.tryPromise({ try: () => client.$queryRawUnsafe(WRITTEN), catch: (cause) => new PrismaError({ cause }) });
+	const decoded = yield* Effect.mapError(Schema.decodeUnknownEffect(Written)(rows), (cause) => new PrismaError({ cause }));
+	return decoded.map((row) => row.relname);
+});

package/src/transaction.ts

@@ -0,0 +1,60 @@
+import type { Frame } from "@shivaedev/effect-changes";
+import { type Context, Effect, Exit } from "effect";
+import { PrismaError } from "./error.ts";
+import type { Transactional, TransactionOptions } from "./model.ts";
+
+interface Settled<X, E> {
+	readonly committed: boolean;
+	readonly exit: Exit.Exit<X, E | PrismaError>;
+}
+
+class BodyFailed {}
+
+const commit = <Tx extends Transactional<Tx>, X, E, R>(
+	client: Tx,
+	options: TransactionOptions | undefined,
+	body: (tx: Tx) => Effect.Effect<X, E, R>,
+	context: Context.Context<R>,
+	signal: AbortSignal,
+): Promise<Settled<X, E>> => {
+	let failed: Exit.Exit<X, E> | undefined;
+	const run = async (tx: Tx) => {
+		const exit = await Effect.runPromiseExitWith(context)(body(tx), { signal });
+		if (Exit.isSuccess(exit)) return exit.value;
+		failed = exit;
+		throw new BodyFailed();
+	};
+	return Promise.resolve(client.$transaction(run, options)).then(
+		(value): Settled<X, E> => ({ committed: true, exit: Exit.succeed(value) }),
+		(cause: unknown): Settled<X, E> => ({ committed: false, exit: failed ?? Exit.fail(new PrismaError({ cause })) }),
+	);
+};
+
+export const runTransaction = <Tx extends Transactional<Tx>, X, E, R, RO>(options: {
+	readonly client: Tx;
+	readonly open: Effect.Effect<Frame, never, RO>;
+	readonly body: (tx: Tx) => Effect.Effect<X, E, R>;
+	readonly transaction: TransactionOptions | undefined;
+}): Effect.Effect<X, E | PrismaError, R | RO> =>
+	Effect.uninterruptibleMask((restore) =>
+		Effect.gen(function* () {
+			const { client, body } = options;
+			const frame = yield* options.open;
+			const context = yield* Effect.context<R>();
+			const abort = new AbortController();
+			const outcome = commit(client, options.transaction, (tx) => frame.provide(body(tx)), context, abort.signal);
+			const settle = (settled: Settled<X, E>) => Effect.as(frame.settle(settled.committed ? "committed" : "rolledBack"), settled.exit);
+			const settled = yield* restore(Effect.promise(() => outcome)).pipe(
+				Effect.onInterrupt(() =>
+					Effect.andThen(
+						Effect.sync(() => abort.abort()),
+						Effect.flatMap(
+							Effect.promise(() => outcome),
+							settle,
+						),
+					),
+				),
+			);
+			return yield* Effect.flatten(settle(settled));
+		}),
+	);

package/src/write.ts

@@ -0,0 +1,55 @@
+import { countOperations, type RowOperation, rowOperations } from "./model.ts";
+
+export interface Write {
+	readonly model: string;
+	readonly operation: string;
+	readonly result: unknown;
+}
+
+export type UnnamedWrite =
+	| { readonly model: string; readonly operation: string; readonly reason: "countOnly" }
+	| { readonly model: string; readonly operation: string; readonly reason: "narrowed"; readonly field: string };
+
+export type LooseChanges<A> = { bivariant(row: object, operation: RowOperation): Iterable<A> }["bivariant"];
+
+export type LooseMap<A> = Readonly<Record<string, LooseChanges<A> | null | undefined>>;
+
+export interface Interpreted<A> {
+	readonly changes: ReadonlyArray<A>;
+	readonly unnamed: UnnamedWrite | undefined;
+}
+
+class MissingField {
+	constructor(readonly field: string) {}
+}
+
+const guarded = (row: object): object =>
+	new Proxy(row, {
+		get: (target, key, receiver) => {
+			if (typeof key === "string" && !(key in target)) throw new MissingField(key);
+			return Reflect.get(target, key, receiver);
+		},
+	});
+
+const isRowOperation = (operation: string): operation is RowOperation => rowOperations.has(operation);
+
+const rowsOf = (result: unknown): ReadonlyArray<object> =>
+	(Array.isArray(result) ? result : [result]).filter((row): row is object => typeof row === "object" && row !== null);
+
+const nothing: Interpreted<never> = { changes: [], unnamed: undefined };
+
+export const interpret = <A>(models: LooseMap<A>, write: Write): Interpreted<A> => {
+	const { model, operation } = write;
+	const changesOf = models[model];
+	if (changesOf === undefined || changesOf === null) return nothing;
+	if (countOperations.has(operation)) return { changes: [], unnamed: { model, operation, reason: "countOnly" } };
+	if (!isRowOperation(operation)) return nothing;
+	const changes: Array<A> = [];
+	try {
+		for (const row of rowsOf(write.result)) changes.push(...changesOf(guarded(row), operation));
+	} catch (error) {
+		if (error instanceof MissingField) return { changes: [], unnamed: { model, operation, reason: "narrowed", field: error.field } };
+		throw error;
+	}
+	return { changes, unnamed: undefined };
+};