@shivaedev/effect-sql 0.0.0 → 0.1.0

package/CHANGELOG.md

@@ -0,0 +1,29 @@
+# Changelog
+
+## 0.1.0 - 2026-09-26
+
+### Added
+
+- Add native Effect model repositories with schema-derived equality filters,
+  selected result decoding, ordering and limits.
+- Treat `undefined` filter values as unconstrained and fail with `SchemaError`
+  for field names outside the model.
+- Add `transact` and `invalidateOnCommit`, built on `@shivaedev/effect-changes`:
+  native transactions with mapped SQL errors and Reactivity invalidation only
+  after the outermost commit.
+- Keep one invalidation set per `SqlClient`: `invalidateOnCommit` marks the set
+  of its own `SqlClient`, a transaction on another database nested inside
+  `transact` announces its own commit, and a `transact` re-entered on a database
+  with an open outer transaction joins it as a savepoint.
+- Die when `invalidateOnCommit` runs after its transaction finished instead of
+  dropping the keys, and when `transact` or `invalidateOnCommit` runs inside a
+  native transaction that `transact` did not begin.
+- Log an invalidation that fails after `COMMIT`, for example a Reactivity
+  subscriber that throws, as an error and return the committed result, so
+  callers do not retry writes that already landed. The same applies to
+  `invalidateOnCommit` outside a transaction.
+- Announce the keys when a caller is interrupted while `COMMIT` is in flight and
+  the database committed.
+- Add `migratePostgres`: run Effect SQL migrations under a transaction-scoped
+  advisory lock with a required `lockTimeout`. An infinite `lockTimeout` becomes
+  PostgreSQL's `lock_timeout = 0` (no timeout).

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,74 @@
 # @shivaedev/effect-sql
 
-This version only reserves the name. Releases are published from https://github.com/ShivaeDev/platform.
+Small repositories over Effect's SQL client and schema models. The model supplies database codecs, insert/update variants, filter values and selected result types. No separate database interface, result schema or query-builder runtime is required.
+
+```ts
+import { Effect, Schema } from "effect";
+import { Model } from "effect/unstable/schema";
+import { makeRepository } from "@shivaedev/effect-sql";
+
+class Food extends Model.Class<Food>("Food")({
+  id: Model.Field({ select: Schema.Number, update: Schema.Number, json: Schema.Number }),
+  name: Schema.String,
+  calories: Schema.NumberFromString,
+}) {}
+
+const program = Effect.gen(function* () {
+  const foods = yield* makeRepository(Food, {
+    tableName: "food",
+    idColumn: "id",
+    spanPrefix: "Food",
+  });
+  yield* foods.insert({ name: "Apple", calories: 52 });
+  return yield* foods.findMany({
+    where: { calories: 52 },
+    select: ["name", "calories"],
+    orderBy: { field: "name", direction: "asc" },
+    limit: 20,
+  });
+  // Array<{ readonly name: string; readonly calories: number }>
+});
+```
+
+Provide an Effect `SqlClient` Layer to run the program. The sample's database column for calories is text; `NumberFromString` performs both directions of conversion. Schemas must match actual driver representations.
+
+## Supported behavior
+
+`insert`, `insertVoid`, `update`, `updateVoid`, `findById` and `delete` come directly from Effect's `SqlModel.makeRepository`. `findMany` adds conjunctions of equality filters, a nonempty tuple of selected fields, one sort field and a nonnegative integer limit. Omitted selection returns all declared fields. Returned lists contain decoded plain records; native CRUD returns the model class. Null filters compile to `IS NULL`. A filter key that is omitted or set to `undefined` leaves that field unconstrained. Values are bound parameters and identifiers use the native SQL identifier constructor.
+
+Database-generated primary keys must remain in the update variant. The example uses `Model.Field` to express this; `Model.GeneratedByDb` alone omits the update key and therefore cannot be the native repository's id column. Native update expects the model's update shape, not an arbitrary partial patch. Native missing-row update behavior is retained: `update` defects when no row is returned, while `findById` fails with `NoSuchElementError`.
+
+Field encoding, result decoding and SQL failures stay in Effect's error channel. A selected, filtered or sorted name that is not a model field fails with `SchemaError` before any SQL runs. Additional services required by field codecs stay in the effect environment. The repository uses its captured native client, so caller-owned `sql.withTransaction` scope is preserved. It does not introduce pools.
+
+## Transactions and invalidation
+
+`transact` wraps native `sql.withTransaction`, maps every `SqlError` through the caller's mapper, and announces changed Reactivity keys only after the outermost transaction commits:
+
+```ts
+import { invalidateOnCommit, transact } from "@shivaedev/effect-sql";
+
+const save = (meal: Meal) =>
+  Effect.gen(function* () {
+    const saved = yield* meals.update(meal);
+    yield* invalidateOnCommit({ meals: [meal.id] });
+    return saved;
+  }).pipe(transact({ onSqlError: () => new StorageUnavailable() }));
+```
+
+- Keys marked with `invalidateOnCommit` go into a set owned by the innermost `transact` on the same `SqlClient`. After the outermost commit, the set is passed once to `Reactivity.invalidate`. Keys use native Reactivity's form: an array, or a record expanded like `{ meals: [1] }` to `"meals"` and `"meals:1"`.
+- A typed failure, defect or interruption before `COMMIT` rolls back; neither it nor a failed commit invalidates anything. A caller interrupted while `COMMIT` is in flight still invalidates if the database committed, and then sees the interruption. A nested `transact` on the same `SqlClient` uses a savepoint; its keys join the outer set only if it succeeds. A `transact` on a different `SqlClient` is its own top-level transaction with its own set, announced when that database commits, whatever the enclosing transaction does.
+- Sets are kept per `SqlClient`. `invalidateOnCommit` adds its keys to the set of the `SqlClient` in its own context, not to the innermost `transact`: keys follow the database that wrote the rows, so they are announced when that database commits and dropped when it rolls back. Re-entering `transact` on a database whose transaction is still open further out (B inside A inside B) joins that transaction as a savepoint.
+- The set closes when its `transact` finishes. A fiber forked inside the body that calls `invalidateOnCommit` afterwards dies instead of having its keys dropped; mark keys before the body returns.
+- Outside any transaction, `invalidateOnCommit` invalidates immediately. Inside a native `sql.withTransaction` that `transact` does not own, both `transact` and `invalidateOnCommit` die, because the outer commit cannot be observed. Start the outermost transaction with `transact`.
+- An invalidation that fails after `COMMIT`, such as a subscriber that throws, is logged as an error and the committed result is returned; the rows are committed either way.
+- `Reactivity` is an in-process service. It does not deliver changes to other processes or browser clients.
+
+`transact` is a channel from [`@shivaedev/effect-changes`](../effect-changes) over `sql.withTransaction`; see [commit-bound changes](../../docs/framework/changes.md) for the general mechanism.
+
+Native SQLite leaves the connection inside the transaction when `COMMIT` itself fails (for example, a deferred foreign key); a later `BEGIN` on that connection fails. This is native `withTransaction` behavior; `transact` only guarantees that no invalidation is announced.
+
+## Boundaries
+
+The initial implementation is tested with Effect 4.0.0-rc.112, real in-memory SQLite and PostgreSQL. PostgreSQL coverage includes generated identities, field codecs, nullable filters, selected fields, ordering, limits, transaction rollback, and `transact` across savepoints, two pools, a failing deferred `COMMIT` and an interruption during `COMMIT`. Set `PLATFORM_EFFECT_SQL_TEST_DATABASE_URL` to a disposable PostgreSQL database to run its integration tests; without it they are skipped. There is no SQL schema inference, migration generation, joins, relation loading, range predicates, tenant scoping or soft-delete policy. SQL table/column names must match the model fields and client transforms; migration authors remain responsible for that agreement. Use native Effect SQL for queries beyond this small API.
+
+Further executable examples cover [PostgreSQL codecs](../../docs/framework/postgres-codecs.md), [constraint errors](../../docs/framework/constraint-errors.md) and [migration concurrency](../../docs/framework/postgres-migrations.md). These document the tested driver representations and their limits.

package/dist/index.d.ts

@@ -0,0 +1,33 @@
+import { Effect, Schema } from "effect";
+import type { Model } from "effect/unstable/schema";
+import { SqlClient } from "effect/unstable/sql";
+import type { SqlError } from "effect/unstable/sql/SqlError";
+export { migratePostgres, type PostgresMigrationOptions } from "./migrations.ts";
+type Key<S extends Model.Any> = Extract<keyof S["fields"] & keyof Row<S>, string>;
+type Row<S extends Model.Any> = Schema.Struct.Type<S["fields"]>;
+export interface FindMany<S extends Model.Any, K extends Key<S>> {
+    readonly select?: readonly [K, ...K[]];
+    readonly where?: {
+        readonly [F in keyof Row<S>]?: Row<S>[F] | undefined;
+    };
+    readonly orderBy?: {
+        readonly field: Key<S>;
+        readonly direction: "asc" | "desc";
+    };
+    readonly limit?: number;
+}
+export declare const makeRepository: <S extends Model.Any, Id extends keyof S["Type"] & keyof S["update"]["Type"] & keyof S["fields"]>(model: S, options: {
+    readonly tableName: string;
+    readonly idColumn: Id;
+    readonly spanPrefix: string;
+}) => Effect.Effect<{
+    insert: (insert: S["insert"]["Type"]) => Effect.Effect<S["Type"], Schema.SchemaError | SqlError, S["DecodingServices"] | S["insert"]["EncodingServices"]>;
+    insertVoid: (insert: S["insert"]["Type"]) => Effect.Effect<void, Schema.SchemaError | SqlError, S["insert"]["EncodingServices"]>;
+    update: (update: S["update"]["Type"]) => Effect.Effect<S["Type"], Schema.SchemaError | SqlError, S["DecodingServices"] | S["update"]["EncodingServices"]>;
+    updateVoid: (update: S["update"]["Type"]) => Effect.Effect<void, Schema.SchemaError | SqlError, S["update"]["EncodingServices"]>;
+    findById: (id: S["fields"][Id]["Type"]) => Effect.Effect<S["Type"], import("effect/Cause").NoSuchElementError | Schema.SchemaError | SqlError, S["DecodingServices"] | S["fields"][Id]["EncodingServices"]>;
+    delete: (id: S["fields"][Id]["Type"]) => Effect.Effect<void, Schema.SchemaError | SqlError, S["fields"][Id]["EncodingServices"]>;
+    findMany: <K extends Key<S> = Extract<keyof S["fields"] & keyof Schema.Struct.View<S["fields"], "Type", Schema.Struct.TypeOptionalKeys<S["fields"]>, Schema.Struct.TypeMutableKeys<S["fields"]>>, string>>(query?: FindMany<S, K>) => Effect.Effect<Array<Pick<Row<S>, K>>, SqlError | Schema.SchemaError, S["fields"][Key<S>]["EncodingServices"] | S["fields"][K]["DecodingServices"]>;
+}, never, SqlClient.SqlClient>;
+export { type InvalidationKeys, invalidateOnCommit, type TransactOptions, transact } from "./transact.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,MAAM,EAAE,MAAM,EAAe,MAAM,QAAQ,CAAC;AACrD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,SAAS,EAAY,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D,OAAO,EAAE,eAAe,EAAE,KAAK,wBAAwB,EAAE,MAAM,iBAAiB,CAAC;AAEjF,KAAK,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAClF,KAAK,GAAG,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEhE,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS;KAAE,CAAC;IAC1E,QAAQ,CAAC,OAAO,CAAC,EAAE;QAClB,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;KACnC,CAAC;IACF,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACxB;AAID,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,KAAK,CAAC,GAAG,EAAE,EAAE,SAAS,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,QAAQ,CAAC,EAC7H,OAAO,CAAC,EACR,SAAS;IACR,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC5B;;;;;;;eAsBkB,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,wLACzB,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,KACpB,MAAM,CAAC,MAAM,CACf,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EACtB,QAAQ,GAAG,MAAM,CAAC,WAAW,EAC7B,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAC5E;8BAkBA,CAAC;AACJ,OAAO,EAAE,KAAK,gBAAgB,EAAE,kBAAkB,EAAE,KAAK,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -0,0 +1,34 @@
+import { Effect, Schema, SchemaIssue } from "effect";
+import { SqlClient, SqlModel } from "effect/unstable/sql";
+export { migratePostgres } from "./migrations.js";
+const Limit = Schema.Number.check(Schema.isInt(), Schema.isGreaterThanOrEqualTo(0));
+export const makeRepository = (model, options) => Effect.gen(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    const crud = yield* SqlModel.makeRepository(model, options);
+    const fieldAt = (key) => {
+        const field = Object.hasOwn(model.fields, key) ? model.fields[key] : undefined;
+        return field === undefined
+            ? Effect.fail(new Schema.SchemaError(new SchemaIssue.Pointer([key], new SchemaIssue.UnexpectedKey(model.ast, key))))
+            : Effect.succeed(field);
+    };
+    const predicate = (key, value) => Effect.map(Effect.flatMap(fieldAt(key), (field) => Schema.encodeEffect(field)(value)), (encoded) => (encoded === null ? sql `${sql(key)} is null` : sql `${sql(key)} = ${encoded}`));
+    const orderClause = (orderBy) => orderBy === undefined
+        ? Effect.succeed(sql ``)
+        : Effect.as(fieldAt(orderBy.field), sql `order by ${sql(orderBy.field)} ${sql.literal(orderBy.direction === "desc" ? "desc" : "asc")}`);
+    const limitClause = (limit) => limit === undefined ? Effect.succeed(sql ``) : Effect.map(Schema.decodeUnknownEffect(Limit)(limit), (count) => sql `limit ${count}`);
+    // Object.fromEntries erases the selected key-to-schema correspondence, so the typed overload restates it.
+    function findMany(query = {}) {
+        return Effect.gen(function* () {
+            const keys = query.select ?? Object.keys(model.fields);
+            const fields = Object.fromEntries(yield* Effect.forEach(keys, (key) => Effect.map(fieldAt(key), (field) => [key, field])));
+            const predicates = yield* Effect.forEach(Object.entries(query.where ?? {}).filter(([, value]) => value !== undefined), ([key, value]) => predicate(key, value));
+            const order = yield* orderClause(query.orderBy);
+            const limit = yield* limitClause(query.limit);
+            const rows = yield* sql `select ${sql.csv(keys.map((key) => sql `${sql(key)}`))} from ${sql(options.tableName)} where ${sql.and(predicates)} ${order} ${limit}`;
+            return yield* Schema.decodeUnknownEffect(Schema.Array(Schema.Struct(fields)))(rows);
+        }).pipe(Effect.withSpan(`${options.spanPrefix}.findMany`));
+    }
+    return { ...crud, findMany };
+});
+export { invalidateOnCommit, transact } from "./transact.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,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAErD,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAG1D,OAAO,EAAE,eAAe,EAAiC,MAAM,iBAAiB,CAAC;AAejF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC7B,KAAQ,EACR,OAIC,EACA,EAAE,CACH,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACnB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,CAAC,GAAW,EAAE,EAAE;QAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,OAAO,KAAK,KAAK,SAAS;YACzB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,WAAW,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACpH,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,GAAW,EAAE,KAAc,EAAE,EAAE,CACjD,MAAM,CAAC,GAAG,CACT,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAC1E,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAA,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAA,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,OAAO,EAAE,CAAC,CAC1F,CAAC;IACH,MAAM,WAAW,GAAG,CAAC,OAAuC,EAAE,EAAE,CAC/D,OAAO,KAAK,SAAS;QACpB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAA,EAAE,CAAC;QACvB,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,GAAG,CAAA,YAAY,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACzI,MAAM,WAAW,GAAG,CAAC,KAAyB,EAAE,EAAE,CACjD,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAA,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAA,SAAS,KAAK,EAAE,CAAC,CAAC;IAQpI,0GAA0G;IAC1G,SAAS,QAAQ,CAAC,QAA6B,EAAE;QAChD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAU,CAAC,CAAC,CAAC,CAAC;YACpI,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACvC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,EAC5E,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CACvC,CAAC;YACF,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9C,MAAM,IAAI,GACT,KAAK,CAAC,CAAC,GAAG,CAAA,UAAU,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAA,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,SAAS,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,KAAK,EAAE,CAAC;YAClJ,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC,UAAU,WAAW,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC,CAAC,CAAC;AACJ,OAAO,EAAyB,kBAAkB,EAAwB,QAAQ,EAAE,MAAM,eAAe,CAAC"}

package/dist/migrations.d.ts

@@ -0,0 +1,9 @@
+import { Duration, Effect } from "effect";
+import { Migrator, SqlClient } from "effect/unstable/sql";
+export interface PostgresMigrationOptions<R> {
+    readonly loader: Migrator.Loader<R>;
+    readonly table?: string;
+    readonly lockTimeout: Duration.Input;
+}
+export declare const migratePostgres: <R>(args_0: PostgresMigrationOptions<R>) => Effect.Effect<readonly (readonly [id: number, name: string])[], Migrator.MigrationError | import("effect/unstable/sql/SqlError").SqlError, R | SqlClient.SqlClient>;
+//# sourceMappingURL=migrations.d.ts.map

package/dist/migrations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrations.d.ts","sourceRoot":"","sources":["../src/migrations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAE1D,MAAM,WAAW,wBAAwB,CAAC,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC;CACrC;AAID,eAAO,MAAM,eAAe,GAAqD,CAAC,6MAoBhF,CAAC"}

package/dist/migrations.js

@@ -0,0 +1,19 @@
+import { Duration, Effect } from "effect";
+import { Migrator, SqlClient } from "effect/unstable/sql";
+const migrate = Migrator.make({});
+export const migratePostgres = Effect.fn("EffectSql.migratePostgres")(function* ({ loader, table = "effect_sql_migrations", lockTimeout, }) {
+    const sql = yield* SqlClient.SqlClient;
+    const millis = Duration.toMillis(lockTimeout);
+    const timeout = millis === Number.POSITIVE_INFINITY ? "0" : `${Math.max(1, Math.ceil(millis))}ms`;
+    return yield* sql.withTransaction(Effect.gen(function* () {
+        yield* sql `select set_config('lock_timeout', ${timeout}, true)`;
+        yield* sql `select pg_advisory_xact_lock(hashtextextended(${`effect_sql_migrations:${table}`}, 0))`;
+        yield* sql `create table if not exists ${sql(table)} (
+  migration_id integer primary key,
+  created_at timestamp with time zone not null default now(),
+  name text not null
+)`;
+        return yield* migrate({ table, loader });
+    }));
+});
+//# sourceMappingURL=migrations.js.map

package/dist/migrations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrations.js","sourceRoot":"","sources":["../src/migrations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAQ1D,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAElC,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,EAAE,CAAC,2BAA2B,CAAC,CAAC,QAAQ,CAAC,EAAK,EACnF,MAAM,EACN,KAAK,GAAG,uBAAuB,EAC/B,WAAW,GACkB;IAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,KAAK,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC;IAClG,OAAO,KAAK,CAAC,CAAC,GAAG,CAAC,eAAe,CAChC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACnB,KAAK,CAAC,CAAC,GAAG,CAAA,qCAAqC,OAAO,SAAS,CAAC;QAChE,KAAK,CAAC,CAAC,GAAG,CAAA,iDAAiD,yBAAyB,KAAK,EAAE,OAAO,CAAC;QACnG,KAAK,CAAC,CAAC,GAAG,CAAA,8BAA8B,GAAG,CAAC,KAAK,CAAC;;;;EAInD,CAAC;QACA,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CACF,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/transact.d.ts

@@ -0,0 +1,15 @@
+import { Effect } from "effect";
+import type { ReadonlyRecord } from "effect/Record";
+import * as Reactivity from "effect/unstable/reactivity/Reactivity";
+import { SqlClient } from "effect/unstable/sql";
+import { type SqlError } from "effect/unstable/sql/SqlError";
+export type InvalidationKeys = ReadonlyArray<unknown> | ReadonlyRecord<string, ReadonlyArray<unknown>>;
+export declare const invalidateOnCommit: (keys: InvalidationKeys) => Effect.Effect<void, never, Reactivity.Reactivity | SqlClient.SqlClient>;
+export interface TransactOptions<E2> {
+    readonly onSqlError: (error: SqlError) => E2;
+}
+export declare const transact: {
+    <E2>(options: TransactOptions<E2>): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, Exclude<E, SqlError> | E2, R | SqlClient.SqlClient | Reactivity.Reactivity>;
+    <A, E, R, E2>(effect: Effect.Effect<A, E, R>, options: TransactOptions<E2>): Effect.Effect<A, Exclude<E, SqlError> | E2, R | SqlClient.SqlClient | Reactivity.Reactivity>;
+};
+//# sourceMappingURL=transact.d.ts.map

package/dist/transact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transact.d.ts","sourceRoot":"","sources":["../src/transact.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAQ,MAAM,QAAQ,CAAC;AAEtC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,UAAU,MAAM,uCAAuC,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAc,KAAK,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAEzE,MAAM,MAAM,gBAAgB,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;AA6BvG,eAAO,MAAM,kBAAkB,qGAE7B,CAAC;AAEH,MAAM,WAAW,eAAe,CAAC,EAAE;IAClC,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,EAAE,CAAC;CAC7C;AASD,eAAO,MAAM,QAAQ,EAAE;IACtB,CAAC,EAAE,EACF,OAAO,EAAE,eAAe,CAAC,EAAE,CAAC,GAC1B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;IAC7I,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EACX,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC9B,OAAO,EAAE,eAAe,CAAC,EAAE,CAAC,GAC1B,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,SAAS,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;CACjF,CAAC"}

package/dist/transact.js

@@ -0,0 +1,35 @@
+import { makeChannel } from "@shivaedev/effect-changes";
+import { Effect, Hash } from "effect";
+import { dual } from "effect/Function";
+import * as Reactivity from "effect/unstable/reactivity/Reactivity";
+import { SqlClient } from "effect/unstable/sql";
+import { isSqlError } from "effect/unstable/sql/SqlError";
+const hashOf = (value) => typeof value === "string" || typeof value === "number" || typeof value === "bigint" || typeof value === "boolean"
+    ? String(value)
+    : Hash.hash(value);
+const isList = (keys) => Array.isArray(keys);
+const flatten = (keys) => isList(keys) ? keys : Object.entries(keys).flatMap(([name, ids]) => [name, ...ids.map((id) => `${name}:${hashOf(id)}`)]);
+const nativeTransactionWithoutTransact = Effect.fn("Transact.guard")(function* () {
+    const sql = yield* SqlClient.SqlClient;
+    const native = yield* Effect.serviceOption(sql.transactionService);
+    if (native._tag === "Some") {
+        return yield* Effect.die(new Error("transact cannot announce changes after a transaction it does not own; begin the outer transaction with transact"));
+    }
+});
+const invalidations = makeChannel({
+    name: "@shivaedev/effect-sql/transact",
+    owner: Effect.map(SqlClient.SqlClient, (sql) => sql.transactionService),
+    publish: (keys) => Reactivity.invalidate(keys),
+    unowned: nativeTransactionWithoutTransact(),
+});
+export const invalidateOnCommit = Effect.fn("Transact.invalidateOnCommit")(function* (keys) {
+    yield* invalidations.record(flatten(keys));
+});
+const run = Effect.fn("Transact.transact")(function* (effect, options) {
+    const sql = yield* SqlClient.SqlClient;
+    return yield* invalidations
+        .within(sql.withTransaction)(effect)
+        .pipe(Effect.catchIf(isSqlError, (error) => Effect.fail(options.onSqlError(error))));
+});
+export const transact = dual(2, run);
+//# sourceMappingURL=transact.js.map

package/dist/transact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transact.js","sourceRoot":"","sources":["../src/transact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAEvC,OAAO,KAAK,UAAU,MAAM,uCAAuC,CAAC;AACpE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAiB,MAAM,8BAA8B,CAAC;AAIzE,MAAM,MAAM,GAAG,CAAC,KAAc,EAAW,EAAE,CAC1C,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;IAChH,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;IACf,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAErB,MAAM,MAAM,GAAG,CAAC,IAAsB,EAAkC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAE/F,MAAM,OAAO,GAAG,CAAC,IAAsB,EAA0B,EAAE,CAClE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAE1H,MAAM,gCAAgC,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC;IAC7E,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;IACvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IACnE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACvB,IAAI,KAAK,CAAC,iHAAiH,CAAC,CAC5H,CAAC;IACH,CAAC;AACF,CAAC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,WAAW,CAAuD;IACvF,IAAI,EAAE,gCAAgC;IACtC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC;IACvE,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;IAC9C,OAAO,EAAE,gCAAgC,EAAE;CAC3C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,EAAE,CAAC,6BAA6B,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAsB;IAC3G,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;AAC5C,CAAC,CAAC,CAAC;AAMH,MAAM,GAAG,GAAG,MAAM,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC,QAAQ,CAAC,EAAe,MAA8B,EAAE,OAA4B;IAC9H,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;IACvC,OAAO,KAAK,CAAC,CAAC,aAAa;SACzB,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC;SACnC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACvF,CAAC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAQjB,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC"}

package/package.json

@@ -1,14 +1,63 @@
 {
   "name": "@shivaedev/effect-sql",
-  "version": "0.0.0",
-  "description": "Name reservation. The first release is published from https://github.com/ShivaeDev/platform.",
+  "version": "0.1.0",
+  "description": "Schema-derived repositories over native Effect SQL",
+  "type": "module",
   "license": "MIT",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/ShivaeDev/platform.git",
     "directory": "packages/effect-sql"
   },
+  "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/effect-sql#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": {
+    "effect": "4.0.0-rc.112"
+  },
+  "devDependencies": {
+    "@types/node": "24.10.1",
+    "@typescript/native": "npm:typescript@7.0.2",
+    "effect": "4.0.0-rc.112",
+    "typescript": "npm:@typescript/typescript6@6.0.2",
+    "vitest": "4.1.9",
+    "@effect/sql-sqlite-node": "4.0.0-rc.112",
+    "@effect/sql-pg": "4.0.0-rc.112"
+  },
+  "scripts": {
+    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc6 --project tsconfig.build.json",
+    "check": "biome check .",
+    "test": "vitest run",
+    "test:package": "node scripts/test-package.mjs",
+    "typecheck": "tsc --noEmit",
+    "typecheck:compat": "tsc6 --noEmit",
+    "ready": "pnpm check && pnpm typecheck && pnpm typecheck:compat && pnpm test && pnpm build && pnpm test:package"
   }
-}
+}

package/src/index.ts

@@ -0,0 +1,76 @@
+import { Effect, Schema, SchemaIssue } from "effect";
+import type { Model } from "effect/unstable/schema";
+import { SqlClient, SqlModel } from "effect/unstable/sql";
+import type { SqlError } from "effect/unstable/sql/SqlError";
+
+export { migratePostgres, type PostgresMigrationOptions } from "./migrations.ts";
+
+type Key<S extends Model.Any> = Extract<keyof S["fields"] & keyof Row<S>, string>;
+type Row<S extends Model.Any> = Schema.Struct.Type<S["fields"]>;
+
+export interface FindMany<S extends Model.Any, K extends Key<S>> {
+	readonly select?: readonly [K, ...K[]];
+	readonly where?: { readonly [F in keyof Row<S>]?: Row<S>[F] | undefined };
+	readonly orderBy?: {
+		readonly field: Key<S>;
+		readonly direction: "asc" | "desc";
+	};
+	readonly limit?: number;
+}
+
+const Limit = Schema.Number.check(Schema.isInt(), Schema.isGreaterThanOrEqualTo(0));
+
+export const makeRepository = <S extends Model.Any, Id extends keyof S["Type"] & keyof S["update"]["Type"] & keyof S["fields"]>(
+	model: S,
+	options: {
+		readonly tableName: string;
+		readonly idColumn: Id;
+		readonly spanPrefix: string;
+	},
+) =>
+	Effect.gen(function* () {
+		const sql = yield* SqlClient.SqlClient;
+		const crud = yield* SqlModel.makeRepository(model, options);
+		const fieldAt = (key: string) => {
+			const field = Object.hasOwn(model.fields, key) ? model.fields[key] : undefined;
+			return field === undefined
+				? Effect.fail(new Schema.SchemaError(new SchemaIssue.Pointer([key], new SchemaIssue.UnexpectedKey(model.ast, key))))
+				: Effect.succeed(field);
+		};
+		const predicate = (key: string, value: unknown) =>
+			Effect.map(
+				Effect.flatMap(fieldAt(key), (field) => Schema.encodeEffect(field)(value)),
+				(encoded) => (encoded === null ? sql`${sql(key)} is null` : sql`${sql(key)} = ${encoded}`),
+			);
+		const orderClause = (orderBy: FindMany<S, Key<S>>["orderBy"]) =>
+			orderBy === undefined
+				? Effect.succeed(sql``)
+				: Effect.as(fieldAt(orderBy.field), sql`order by ${sql(orderBy.field)} ${sql.literal(orderBy.direction === "desc" ? "desc" : "asc")}`);
+		const limitClause = (limit: number | undefined) =>
+			limit === undefined ? Effect.succeed(sql``) : Effect.map(Schema.decodeUnknownEffect(Limit)(limit), (count) => sql`limit ${count}`);
+		function findMany<K extends Key<S> = Key<S>>(
+			query?: FindMany<S, K>,
+		): Effect.Effect<
+			Array<Pick<Row<S>, K>>,
+			SqlError | Schema.SchemaError,
+			S["fields"][Key<S>]["EncodingServices"] | S["fields"][K]["DecodingServices"]
+		>;
+		// Object.fromEntries erases the selected key-to-schema correspondence, so the typed overload restates it.
+		function findMany(query: FindMany<S, Key<S>> = {}): Effect.Effect<unknown, SqlError | Schema.SchemaError, unknown> {
+			return Effect.gen(function* () {
+				const keys = query.select ?? Object.keys(model.fields);
+				const fields = Object.fromEntries(yield* Effect.forEach(keys, (key) => Effect.map(fieldAt(key), (field) => [key, field] as const)));
+				const predicates = yield* Effect.forEach(
+					Object.entries(query.where ?? {}).filter(([, value]) => value !== undefined),
+					([key, value]) => predicate(key, value),
+				);
+				const order = yield* orderClause(query.orderBy);
+				const limit = yield* limitClause(query.limit);
+				const rows =
+					yield* sql`select ${sql.csv(keys.map((key) => sql`${sql(key)}`))} from ${sql(options.tableName)} where ${sql.and(predicates)} ${order} ${limit}`;
+				return yield* Schema.decodeUnknownEffect(Schema.Array(Schema.Struct(fields)))(rows);
+			}).pipe(Effect.withSpan(`${options.spanPrefix}.findMany`));
+		}
+		return { ...crud, findMany };
+	});
+export { type InvalidationKeys, invalidateOnCommit, type TransactOptions, transact } from "./transact.ts";

package/src/migrations.ts

@@ -0,0 +1,32 @@
+import { Duration, Effect } from "effect";
+import { Migrator, SqlClient } from "effect/unstable/sql";
+
+export interface PostgresMigrationOptions<R> {
+	readonly loader: Migrator.Loader<R>;
+	readonly table?: string;
+	readonly lockTimeout: Duration.Input;
+}
+
+const migrate = Migrator.make({});
+
+export const migratePostgres = Effect.fn("EffectSql.migratePostgres")(function* <R>({
+	loader,
+	table = "effect_sql_migrations",
+	lockTimeout,
+}: PostgresMigrationOptions<R>) {
+	const sql = yield* SqlClient.SqlClient;
+	const millis = Duration.toMillis(lockTimeout);
+	const timeout = millis === Number.POSITIVE_INFINITY ? "0" : `${Math.max(1, Math.ceil(millis))}ms`;
+	return yield* sql.withTransaction(
+		Effect.gen(function* () {
+			yield* sql`select set_config('lock_timeout', ${timeout}, true)`;
+			yield* sql`select pg_advisory_xact_lock(hashtextextended(${`effect_sql_migrations:${table}`}, 0))`;
+			yield* sql`create table if not exists ${sql(table)} (
+  migration_id integer primary key,
+  created_at timestamp with time zone not null default now(),
+  name text not null
+)`;
+			return yield* migrate({ table, loader });
+		}),
+	);
+});

package/src/transact.ts

@@ -0,0 +1,61 @@
+import { makeChannel } from "@shivaedev/effect-changes";
+import { Effect, Hash } from "effect";
+import { dual } from "effect/Function";
+import type { ReadonlyRecord } from "effect/Record";
+import * as Reactivity from "effect/unstable/reactivity/Reactivity";
+import { SqlClient } from "effect/unstable/sql";
+import { isSqlError, type SqlError } from "effect/unstable/sql/SqlError";
+
+export type InvalidationKeys = ReadonlyArray<unknown> | ReadonlyRecord<string, ReadonlyArray<unknown>>;
+
+const hashOf = (value: unknown): unknown =>
+	typeof value === "string" || typeof value === "number" || typeof value === "bigint" || typeof value === "boolean"
+		? String(value)
+		: Hash.hash(value);
+
+const isList = (keys: InvalidationKeys): keys is ReadonlyArray<unknown> => Array.isArray(keys);
+
+const flatten = (keys: InvalidationKeys): ReadonlyArray<unknown> =>
+	isList(keys) ? keys : Object.entries(keys).flatMap(([name, ids]) => [name, ...ids.map((id) => `${name}:${hashOf(id)}`)]);
+
+const nativeTransactionWithoutTransact = Effect.fn("Transact.guard")(function* () {
+	const sql = yield* SqlClient.SqlClient;
+	const native = yield* Effect.serviceOption(sql.transactionService);
+	if (native._tag === "Some") {
+		return yield* Effect.die(
+			new Error("transact cannot announce changes after a transaction it does not own; begin the outer transaction with transact"),
+		);
+	}
+});
+
+const invalidations = makeChannel<unknown, SqlClient.SqlClient | Reactivity.Reactivity>({
+	name: "@shivaedev/effect-sql/transact",
+	owner: Effect.map(SqlClient.SqlClient, (sql) => sql.transactionService),
+	publish: (keys) => Reactivity.invalidate(keys),
+	unowned: nativeTransactionWithoutTransact(),
+});
+
+export const invalidateOnCommit = Effect.fn("Transact.invalidateOnCommit")(function* (keys: InvalidationKeys) {
+	yield* invalidations.record(flatten(keys));
+});
+
+export interface TransactOptions<E2> {
+	readonly onSqlError: (error: SqlError) => E2;
+}
+
+const run = Effect.fn("Transact.transact")(function* <A, E, R, E2>(effect: Effect.Effect<A, E, R>, options: TransactOptions<E2>) {
+	const sql = yield* SqlClient.SqlClient;
+	return yield* invalidations
+		.within(sql.withTransaction)(effect)
+		.pipe(Effect.catchIf(isSqlError, (error) => Effect.fail(options.onSqlError(error))));
+});
+
+export const transact: {
+	<E2>(
+		options: TransactOptions<E2>,
+	): <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, Exclude<E, SqlError> | E2, R | SqlClient.SqlClient | Reactivity.Reactivity>;
+	<A, E, R, E2>(
+		effect: Effect.Effect<A, E, R>,
+		options: TransactOptions<E2>,
+	): Effect.Effect<A, Exclude<E, SqlError> | E2, R | SqlClient.SqlClient | Reactivity.Reactivity>;
+} = dual(2, run);