@shivaedev/sql 0.0.0 → 0.22.0

package/dist/versionedRepository.js

@@ -0,0 +1,63 @@
+import { Effect, Option, Schema } from "effect";
+import { versionedStatements } from "#versionedStatements.ts";
+export function makeVersionedWrites(model, sql, options) {
+    const { spanPrefix, changes } = options;
+    const statements = versionedStatements(model, sql, options);
+    const decodeRow = Schema.decodeUnknownEffect(model);
+    function insert(input) {
+        return Effect.gen(function* () {
+            const statement = yield* statements.insert(input);
+            const rows = yield* sql `${statement} returning *`;
+            yield* changes.record(rows);
+            return yield* decodeRow(rows[0]);
+        }).pipe(changes.write, Effect.withSpan(`${spanPrefix}.insert`));
+    }
+    function insertVoid(input) {
+        return Effect.gen(function* () {
+            const statement = yield* statements.insert(input);
+            const rows = yield* sql `${statement} returning ${statements.returningKeys}`;
+            yield* changes.record(rows);
+        }).pipe(changes.write, Effect.withSpan(`${spanPrefix}.insertVoid`));
+    }
+    function insertOrIgnore(input) {
+        return Effect.gen(function* () {
+            const statement = yield* statements.insert(input, true);
+            const rows = yield* sql `${statement} returning *`;
+            yield* changes.record(rows);
+            return rows.length === 0 ? Option.none() : Option.some(yield* decodeRow(rows[0]));
+        }).pipe(changes.write, Effect.withSpan(`${spanPrefix}.insertOrIgnore`));
+    }
+    function update(input) {
+        return Effect.gen(function* () {
+            const { statement, classify } = yield* statements.update(input);
+            const rows = yield* sql `${statement} returning *`;
+            if (rows.length === 0) {
+                return yield* classify();
+            }
+            yield* changes.record(rows);
+            return yield* decodeRow(rows[0]);
+        }).pipe(changes.write, Effect.withSpan(`${spanPrefix}.update`));
+    }
+    function updateVoid(input) {
+        return Effect.gen(function* () {
+            const { statement, classify } = yield* statements.update(input);
+            const rows = yield* sql `${statement} returning ${statements.returningKeys}`;
+            if (rows.length === 0) {
+                return yield* classify();
+            }
+            yield* changes.record(rows);
+        }).pipe(changes.write, Effect.withSpan(`${spanPrefix}.updateVoid`));
+    }
+    function deleteRow(id, expected) {
+        return Effect.gen(function* () {
+            const { statement, classify } = yield* statements.remove(id, expected);
+            const rows = yield* sql `${statement} returning ${statements.returningKeys}`;
+            if (rows.length === 0) {
+                return yield* classify();
+            }
+            yield* changes.record(rows);
+        }).pipe(changes.write, Effect.withSpan(`${spanPrefix}.delete`));
+    }
+    return { delete: deleteRow, insert, insertVoid, update, updateVoid, ...(options.conflictColumns === undefined ? {} : { insertOrIgnore }) };
+}
+//# sourceMappingURL=versionedRepository.js.map

package/dist/versionedRepository.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"versionedRepository.js","sourceRoot":"","sources":["../src/versionedRepository.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAMhD,OAAO,EAAyB,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAsCrF,MAAM,UAAU,mBAAmB,CAClC,KAAgB,EAChB,GAAwB,EACxB,OAAgG;IAEhG,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IACxC,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACpD,SAAS,MAAM,CAAC,KAAc;QAC7B,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA,GAAG,SAAS,cAAc,CAAC;YAClD,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,SAAS,UAAU,CAAC,KAAc;QACjC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA,GAAG,SAAS,cAAc,UAAU,CAAC,aAAa,EAAE,CAAC;YAC5E,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,aAAa,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,SAAS,cAAc,CAAC,KAAc;QACrC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACxD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA,GAAG,SAAS,cAAc,CAAC;YAClD,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,iBAAiB,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,SAAS,MAAM,CAAC,KAAwC;QACvD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA,GAAG,SAAS,cAAc,CAAC;YAClD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1B,CAAC;YACD,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,KAAK,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,SAAS,UAAU,CAAC,KAAwC;QAC3D,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAChE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA,GAAG,SAAS,cAAc,UAAU,CAAC,aAAa,EAAE,CAAC;YAC5E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1B,CAAC;YACD,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,aAAa,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,SAAS,SAAS,CAAC,EAAW,EAAE,QAAgB;QAC/C,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YACvE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA,GAAG,SAAS,cAAc,UAAU,CAAC,aAAa,EAAE,CAAC;YAC5E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1B,CAAC;YACD,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,UAAU,SAAS,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;AAC5I,CAAC"}

package/dist/versionedStatements.d.ts

@@ -0,0 +1,25 @@
+import { Effect, Schema } from "effect";
+import type { Model } from "effect/schema";
+import type { SqlClient } from "effect/sql";
+import type { OptimisticConcurrencyError } from "#repository.ts";
+export interface VersionedOptions {
+    readonly conflict: (id: unknown, expectedVersion: number, reason: "missing" | "stale") => OptimisticConcurrencyError;
+    readonly conflictColumns?: readonly string[];
+    readonly conflictWhere?: Readonly<Record<string, unknown>>;
+    readonly idColumns: readonly string[];
+    readonly tableName: string;
+    readonly versionColumn: string;
+}
+export declare function versionedStatements(model: Model.Any, sql: SqlClient.SqlClient, options: VersionedOptions): {
+    insert: (input: unknown, ignore?: boolean) => Effect.Effect<import("effect/sql/Statement").Statement<import("effect/sql/SqlConnection").Row>, Schema.SchemaError, unknown>;
+    remove: (id: unknown, expected: number) => Effect.Effect<{
+        classify: () => Effect.Effect<never, OptimisticConcurrencyError | import("effect/sql/SqlError").SqlError, never>;
+        statement: import("effect/sql/Statement").Statement<import("effect/sql/SqlConnection").Row>;
+    }, Schema.SchemaError, unknown>;
+    returningKeys: import("effect/sql/Statement").Fragment;
+    update: (input: Readonly<Record<string, unknown>>) => Effect.Effect<{
+        classify: () => Effect.Effect<never, OptimisticConcurrencyError | import("effect/sql/SqlError").SqlError, never>;
+        statement: import("effect/sql/Statement").Statement<import("effect/sql/SqlConnection").Row>;
+    }, Schema.SchemaError, unknown>;
+};
+//# sourceMappingURL=versionedStatements.d.ts.map

package/dist/versionedStatements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"versionedStatements.d.ts","sourceRoot":"","sources":["../src/versionedStatements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAGjE,MAAM,WAAW,gBAAgB;IAChC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,GAAG,OAAO,KAAK,0BAA0B,CAAC;IACrH,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAC/B;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,SAAS,EAAE,OAAO,EAAE,gBAAgB;oBAuCjF,OAAO;iBAsBV,OAAO,YAAY,MAAM;;;;;oBAftB,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;;;;EA2BxD"}

package/dist/versionedStatements.js

@@ -0,0 +1,75 @@
+import { Effect, Schema } from "effect";
+import { makeConflictClause } from "#makeConflictClause.ts";
+const Version = Schema.Number.check(Schema.isInt(), Schema.isGreaterThanOrEqualTo(0));
+export function versionedStatements(model, sql, options) {
+    const { tableName, idColumns, versionColumn, conflict } = options;
+    const fields = Object.fromEntries(idColumns.map((column) => {
+        const field = model.fields[column];
+        if (field === undefined) {
+            throw new Error(`Unknown ID column: ${column}`);
+        }
+        return [column, field];
+    }));
+    const encodeKey = Schema.encodeEffect(Schema.Struct(fields));
+    const versionSchema = model.fields[versionColumn];
+    if (versionSchema === undefined) {
+        throw new Error(`Unknown version column: ${versionColumn}`);
+    }
+    const encodeVersion = Schema.encodeEffect(versionSchema);
+    const encodeInsert = Schema.encodeEffect(model.insert);
+    const encodeUpdate = Schema.encodeEffect(model.update);
+    const record = Schema.decodeUnknownEffect(Schema.Record(Schema.String, Schema.Unknown));
+    const validateVersion = Schema.decodeUnknownEffect(Version);
+    const clause = options.conflictColumns === undefined ? undefined : makeConflictClause(model, sql, { ...options, conflictColumns: options.conflictColumns });
+    const returningKeys = sql.csv(idColumns.map((column) => sql `${sql(column)}`));
+    function key(input) {
+        return idColumns.length === 1 ? { [idColumns[0] ?? ""]: input } : input;
+    }
+    function inputKey(input) {
+        return idColumns.length === 1 ? input[idColumns[0] ?? ""] : Object.fromEntries(idColumns.map((column) => [column, input[column]]));
+    }
+    function predicate(encoded) {
+        return sql.and(idColumns.map((column) => sql `${sql(column)} = ${encoded[column]}`));
+    }
+    function classify(id, encoded, expected) {
+        return Effect.gen(function* () {
+            const rows = yield* sql `select 1 from ${sql(tableName)} where ${predicate(encoded)}`;
+            return yield* Effect.fail(conflict(id, expected, rows.length === 0 ? "missing" : "stale"));
+        });
+    }
+    function insert(input, ignore = false) {
+        return Effect.gen(function* () {
+            const encoded = { ...(yield* record(yield* encodeInsert(input))), [versionColumn]: 0 };
+            const suffix = ignore && clause !== undefined ? yield* clause(encoded) : sql ``;
+            return sql `insert into ${sql(tableName)} ${sql.insert(encoded)} ${suffix}`;
+        });
+    }
+    function update(input) {
+        return Effect.gen(function* () {
+            const encoded = yield* record(yield* encodeUpdate(input));
+            const expectedVersion = yield* validateVersion(encoded[versionColumn]);
+            const assignments = Object.entries(encoded).filter(([column]) => !idColumns.includes(column) && column !== versionColumn);
+            const set = sql.csv([
+                ...assignments.map(([column, value]) => sql `${sql(column)} = ${value}`),
+                sql `${sql(versionColumn)} = ${sql(versionColumn)} + 1`,
+            ]);
+            return {
+                classify: () => classify(inputKey(input), encoded, expectedVersion),
+                statement: sql `update ${sql(tableName)} set ${set} where ${predicate(encoded)} and ${sql(versionColumn)} = ${expectedVersion}`,
+            };
+        });
+    }
+    function remove(id, expected) {
+        return Effect.gen(function* () {
+            const expectedVersion = yield* validateVersion(yield* encodeVersion(expected));
+            const yieldedKey = yield* record(key(id));
+            const encoded = yield* record(yield* encodeKey(yieldedKey));
+            return {
+                classify: () => classify(inputKey(yieldedKey), encoded, expectedVersion),
+                statement: sql `delete from ${sql(tableName)} where ${predicate(encoded)} and ${sql(versionColumn)} = ${expectedVersion}`,
+            };
+        });
+    }
+    return { insert, remove, returningKeys, update };
+}
+//# sourceMappingURL=versionedStatements.js.map

package/dist/versionedStatements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"versionedStatements.js","sourceRoot":"","sources":["../src/versionedStatements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAG5D,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;AAUtF,MAAM,UAAU,mBAAmB,CAAC,KAAgB,EAAE,GAAwB,EAAE,OAAyB;IACxG,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAClE,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAChC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACxB,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,EAAE,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACxB,CAAC,CAAC,CACF,CAAC;IACF,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7D,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAClD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,2BAA2B,aAAa,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACxF,MAAM,eAAe,GAAG,MAAM,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,MAAM,GACX,OAAO,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAC9I,MAAM,aAAa,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAA,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,SAAS,GAAG,CAAC,KAAc;QAC1B,OAAO,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACzE,CAAC;IACD,SAAS,QAAQ,CAAC,KAAwC;QACzD,OAAO,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACpI,CAAC;IACD,SAAS,SAAS,CAAC,OAA0C;QAC5D,OAAO,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAA,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC;IACD,SAAS,QAAQ,CAAC,EAAW,EAAE,OAA0C,EAAE,QAAgB;QAC1F,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAA,iBAAiB,GAAG,CAAC,SAAS,CAAC,UAAU,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YACrF,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;IACJ,CAAC;IACD,SAAS,MAAM,CAAC,KAAc,EAAE,MAAM,GAAG,KAAK;QAC7C,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,OAAO,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;YACvF,MAAM,MAAM,GAAG,MAAM,IAAI,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA,EAAE,CAAC;YAC/E,OAAO,GAAG,CAAA,eAAe,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,EAAE,CAAC;QAC5E,CAAC,CAAC,CAAC;IACJ,CAAC;IACD,SAAS,MAAM,CAAC,KAAwC;QACvD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1D,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;YACvE,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,KAAK,aAAa,CAAC,CAAC;YAC1H,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC;gBACnB,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,CAAA,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,EAAE,CAAC;gBACvE,GAAG,CAAA,GAAG,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,aAAa,CAAC,MAAM;aACtD,CAAC,CAAC;YACH,OAAO;gBACN,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,eAAe,CAAC;gBACnE,SAAS,EAAE,GAAG,CAAA,UAAU,GAAG,CAAC,SAAS,CAAC,QAAQ,GAAG,UAAU,SAAS,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,aAAa,CAAC,MAAM,eAAe,EAAE;aAC9H,CAAC;QACH,CAAC,CAAC,CAAC;IACJ,CAAC;IACD,SAAS,MAAM,CAAC,EAAW,EAAE,QAAgB;QAC5C,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAC1B,MAAM,eAAe,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/E,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;YAC5D,OAAO;gBACN,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,eAAe,CAAC;gBACxE,SAAS,EAAE,GAAG,CAAA,eAAe,GAAG,CAAC,SAAS,CAAC,UAAU,SAAS,CAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,aAAa,CAAC,MAAM,eAAe,EAAE;aACxH,CAAC;QACH,CAAC,CAAC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC;AAClD,CAAC"}

package/package.json

@@ -1,10 +1,77 @@
 {
   "name": "@shivaedev/sql",
-  "version": "0.0.0",
-  "description": "Placeholder for the ShivaeDev sql package.",
-  "license": "MIT",
+  "version": "0.22.0",
+  "description": "Schema-derived repositories over native Effect SQL",
+  "keywords": [
+    "effect"
+  ],
+  "homepage": "https://github.com/ShivaeDev/platform/tree/main/packages/sql#readme",
+  "bugs": {
+    "url": "https://github.com/ShivaeDev/platform/issues"
+  },
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/ShivaeDev/platform.git"
+    "url": "git+https://github.com/ShivaeDev/platform.git",
+    "directory": "packages/sql"
+  },
+  "license": "MIT",
+  "sideEffects": false,
+  "type": "module",
+  "imports": {
+    "#test/*": "./src/test-support/*",
+    "#*.ts": {
+      "source": "./src/*.ts",
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    }
+  },
+  "exports": {
+    "./*.ts": {
+      "source": "./src/*.ts",
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "files": [
+    "dist",
+    "src",
+    "!src/**/*.test.ts",
+    "!src/**/*.spec.ts",
+    "!src/**/test-support",
+    "CHANGELOG.md",
+    "README.md"
+  ],
+  "dependencies": {
+    "@shivaedev/changes": "0.4.0"
+  },
+  "devDependencies": {
+    "@effect/platform-node": "4.0.5",
+    "@effect/sql-pg": "4.0.5",
+    "@effect/sql-sqlite-node": "4.0.5",
+    "@shivaedev/quality": "0.42.0",
+    "@shivaedev/service": "0.5.0",
+    "@shivaedev/test": "0.10.0",
+    "@shivaedev/test-story": "0.21.0",
+    "@types/node": "24.19.2",
+    "effect": "4.0.5",
+    "typescript": "7.0.2",
+    "vitest": "5.0.5"
+  },
+  "peerDependencies": {
+    "effect": "4.0.5"
+  },
+  "engines": {
+    "node": ">=24"
+  },
+  "publishConfig": {
+    "access": "public",
+    "provenance": true
+  },
+  "scripts": {
+    "build": "node --eval \"import('node:fs').then(({ rmSync }) => rmSync('dist', { force: true, recursive: true }))\" && tsc --project tsconfig.build.json",
+    "ready": "pnpm typecheck && pnpm test && pnpm build",
+    "test": "vitest run",
+    "typecheck": "tsc --noEmit"
   }
 }

package/src/SchemaComponent.ts

@@ -0,0 +1,12 @@
+import { Effect } from "effect";
+import { Migrator, type SqlClient } from "effect/sql";
+
+export interface SchemaComponent<R = never> {
+	readonly apply: Effect.Effect<unknown, unknown, R | SqlClient.SqlClient>;
+	readonly name: string;
+	readonly pending: Effect.Effect<string | undefined, unknown, R | SqlClient.SqlClient>;
+}
+
+export function runSchemaComponent<A, R>(name: string, effect: Effect.Effect<A, unknown, R>) {
+	return effect.pipe(Effect.mapError((cause) => new Migrator.MigrationError({ cause, kind: "Failed", message: `Schema component ${name} failed.` })));
+}

package/src/WorkerRelease.ts

@@ -0,0 +1,38 @@
+import { Context, Effect, type Scope, Semaphore } from "effect";
+
+export class WorkerRelease extends Context.Service<
+	WorkerRelease,
+	{
+		readonly register: <E>(control: (active: boolean) => Effect.Effect<void, E>) => Effect.Effect<void, E, Scope.Scope>;
+	}
+>()("@shivaedev/sql/WorkerRelease") {}
+
+export const makeWorkerRelease = Effect.fn("EffectSql.makeWorkerRelease")(function* () {
+	const mutex = Semaphore.makeUnsafe(1);
+	const controls = new Set<(active: boolean) => Effect.Effect<void, unknown>>();
+	let active = false;
+	const locked = mutex.withPermits(1);
+	function register<E>(control: (active: boolean) => Effect.Effect<void, E>) {
+		const attach = Effect.gen(function* () {
+			controls.add(control);
+			yield* control(active);
+		});
+		const detach = Effect.sync(() => {
+			controls.delete(control);
+		});
+		return Effect.acquireRelease(locked(attach), () => locked(detach));
+	}
+	return {
+		service: WorkerRelease.of({ register }),
+		setActive: (next: boolean) =>
+			locked(
+				Effect.gen(function* () {
+					if (next === active) {
+						return;
+					}
+					active = next;
+					yield* Effect.forEach(controls, (control) => control(active), { concurrency: "unbounded", discard: true });
+				}),
+			).pipe(Effect.uninterruptible),
+	};
+});

package/src/advisoryXactLock.ts

@@ -0,0 +1,17 @@
+import { Data, Effect, Option } from "effect";
+import { SqlClient } from "effect/sql";
+
+export class AdvisoryLockOutsideTransaction extends Data.TaggedError("AdvisoryLockOutsideTransaction") {}
+
+export const advisoryXactLock = Effect.fn("EffectSql.advisoryXactLock")(function* (key: bigint | string) {
+	const sql = yield* SqlClient.SqlClient;
+	const transaction = yield* Effect.serviceOption(sql.transactionService);
+	if (Option.isNone(transaction)) {
+		return yield* new AdvisoryLockOutsideTransaction();
+	}
+	if (typeof key === "string") {
+		yield* sql`select pg_advisory_xact_lock(hashtextextended(${key}, 0))`;
+	} else {
+		yield* sql`select pg_advisory_xact_lock(${String(key)}::bigint)`;
+	}
+});

package/src/aggregateColumn.ts

@@ -0,0 +1,49 @@
+import { Effect, Schema, SchemaAST } from "effect";
+import type { SqlClient } from "effect/sql";
+
+const Expression = Schema.Tuple([Schema.Tuple([Schema.Literals(["count", "sum", "avg", "min", "max", "boolOr", "boolAnd"]), Schema.String])]);
+const functions = { avg: "avg", boolAnd: "bool_and", boolOr: "bool_or", count: "count", max: "max", min: "min", sum: "sum" };
+type Operation = keyof typeof functions;
+
+function isNumber(ast: SchemaAST.AST): boolean {
+	if (ast._tag === "Union") {
+		return ast.types.some(isNumber);
+	}
+	if (ast._tag === "Suspend") {
+		return isNumber(ast.thunk());
+	}
+	return ast._tag === "Number" || (ast._tag === "Literal" && typeof ast.literal === "number");
+}
+
+function resultSchema(operation: Operation, field: Schema.Constraint): Schema.Constraint {
+	switch (operation) {
+		case "count":
+			return Schema.NumberFromString;
+		case "sum":
+		case "avg":
+			return isNumber(SchemaAST.toType(field.ast)) ? Schema.NumberFromString : Schema.BigDecimalFromString;
+		case "boolOr":
+		case "boolAnd":
+			return Schema.Boolean;
+		case "min":
+		case "max":
+			return field;
+	}
+}
+
+export function aggregateColumn(sql: SqlClient.SqlClient, fieldAt: (key: string) => Effect.Effect<Schema.Constraint, Schema.SchemaError>) {
+	return Effect.fnUntraced(function* (name: string, expression: object) {
+		const [[operation, key]] = yield* Schema.decodeUnknownEffect(Expression)(Object.entries(expression));
+		const countRows = operation === "count" && key === "*";
+		const field = countRows ? Schema.Number : yield* fieldAt(key);
+		const operand = countRows ? sql`*` : sql`${sql(key)}`;
+		const aggregate = sql`${sql.literal(functions[operation])}(${operand})`;
+		const text = operation === "count" || operation === "sum" || operation === "avg";
+		const Result = resultSchema(operation, field);
+		return {
+			column: sql`${text ? sql`cast(${aggregate} as text)` : aggregate} as ${sql(name)}`,
+			order: aggregate,
+			schema: operation === "count" ? Result : Schema.NullOr(Result),
+		};
+	});
+}

package/src/aggregateQuery.ts

@@ -0,0 +1,57 @@
+import type { BigDecimal, Effect, Schema } from "effect";
+import type { Model } from "effect/schema";
+import type { SqlError } from "effect/sql/SqlError";
+import type { FindManyFilter, OrderedValue } from "#repositoryFilter.ts";
+
+type Row<T extends Model.Any> = Schema.Struct.Type<T["fields"]>;
+type Key<T extends Model.Any> = Extract<keyof T["fields"] & keyof Row<T>, string>;
+type FieldsOfType<T extends Model.Any, TValue> = {
+	[TKey in Key<T>]: [NonNullable<Row<T>[TKey]>] extends [TValue] ? TKey : never;
+}[Key<T>];
+interface Operands<T extends Model.Any> {
+	avg: FieldsOfType<T, number | BigDecimal.BigDecimal>;
+	boolAnd: FieldsOfType<T, boolean>;
+	boolOr: FieldsOfType<T, boolean>;
+	count: "*" | Key<T>;
+	max: FieldsOfType<T, OrderedValue>;
+	min: FieldsOfType<T, OrderedValue>;
+	sum: FieldsOfType<T, number | BigDecimal.BigDecimal>;
+}
+export type AggregateExpression<T extends Model.Any> = {
+	[TOperation in keyof Operands<T>]: { readonly [TKey in TOperation]: Operands<T>[TKey] } & {
+		readonly [TKey in Exclude<keyof Operands<T>, TOperation>]?: never;
+	};
+}[keyof Operands<T>];
+
+type AggregateValue<T extends Model.Any, TExpression> = TExpression extends { readonly count: unknown }
+	? number
+	: TExpression extends { readonly boolOr: unknown } | { readonly boolAnd: unknown }
+		? boolean | null
+		: TExpression extends { readonly [TKey in infer TOperation]: infer TField }
+			? TOperation extends "sum" | "avg" | "min" | "max"
+				? TField extends Key<T>
+					? Row<T>[TField] | null
+					: never
+				: never
+			: never;
+
+export interface AggregateQuery<T extends Model.Any, TGroup extends readonly Key<T>[], TAggregates> {
+	readonly aggregates: TAggregates & { readonly [TKey in TGroup[number]]?: never };
+	readonly groupBy: TGroup;
+	readonly limit?: number;
+	readonly orderBy?: readonly { readonly field: TGroup[number] | Extract<keyof TAggregates, string>; readonly direction: "asc" | "desc" }[];
+	readonly where?: FindManyFilter<T>;
+}
+
+export type Aggregate<T extends Model.Any> = <
+	const TGroup extends readonly [Key<T>, ...Key<T>[]],
+	const TAggregates extends Readonly<Record<string, AggregateExpression<T>>>,
+>(
+	query: AggregateQuery<T, TGroup, TAggregates>,
+) => Effect.Effect<
+	Array<{
+		readonly [TName in TGroup[number] | keyof TAggregates]: TName extends TGroup[number] ? Row<T>[TName] : AggregateValue<T, TAggregates[TName]>;
+	}>,
+	SqlError | Schema.SchemaError,
+	T["fields"][Key<T>]["EncodingServices"] | T["fields"][Key<T>]["DecodingServices"]
+>;

package/src/assertPostgresMigrations.ts

@@ -0,0 +1,24 @@
+import { Effect } from "effect";
+import { Migrator } from "effect/sql";
+import type { PostgresMigrationOptions } from "./migrations.ts";
+import { type PendingPostgresMigrations, pendingPostgresMigrations } from "./pendingPostgresMigrations.ts";
+
+export const assertPostgresMigrations = Effect.fn("EffectSql.assertPostgresMigrations")(function* <R>(
+	options: Pick<PostgresMigrationOptions<R>, "loader" | "table" | "components" | "release">,
+) {
+	const pending = yield* pendingPostgresMigrations(options);
+	if (pending.migrations.length > 0 || pending.components.length > 0) {
+		return yield* Effect.fail(postgresMigrationError(pending));
+	}
+});
+
+export function postgresMigrationError(pending: PendingPostgresMigrations) {
+	const details = [
+		...pending.migrations.map(({ id, name }) => `migration ${id} (${name})`),
+		...pending.components.map(({ name, detail }) => `component ${name}: ${detail}`),
+	];
+	return new Migrator.MigrationError({
+		kind: "BadState",
+		message: `Database migrations are not current: ${details.join("; ")}. Run the deployment migration command.`,
+	});
+}

package/src/batchWrites.ts

@@ -0,0 +1,69 @@
+import { Effect, Schema } from "effect";
+import type { Model } from "effect/schema";
+import type { SqlClient } from "effect/sql";
+import type { SqlError } from "effect/sql/SqlError";
+import type { Fragment } from "effect/sql/Statement";
+import type { RepositoryChanges } from "./repositoryChanges.ts";
+
+export type InsertMany<TModel extends Model.Any, TServices = never> = (
+	inputs: readonly TModel["insert"]["Type"][],
+) => Effect.Effect<TModel["Type"][], SqlError | Schema.SchemaError, TModel["insert"]["EncodingServices"] | TModel["DecodingServices"] | TServices>;
+
+export interface BatchWrites<TModel extends Model.Any> {
+	readonly insertMany: InsertMany<TModel>;
+}
+
+export function makeInsertMany<TServices = never>(
+	model: Model.Any,
+	sql: SqlClient.SqlClient,
+	options: { readonly tableName: string; readonly spanPrefix: string; readonly changes: RepositoryChanges },
+	operation: string,
+	prepare: (row: Readonly<Record<string, unknown>>) => Effect.Effect<Fragment, Schema.SchemaError, TServices> = () => Effect.succeed(sql``),
+) {
+	const encode = Schema.encodeEffect(model.insert);
+	const record = Schema.decodeUnknownEffect(Schema.Record(Schema.String, Schema.Unknown));
+	const decode = Schema.decodeUnknownEffect(Schema.Array(model));
+	return (inputs: readonly unknown[]) =>
+		Effect.gen(function* () {
+			if (inputs.length === 0) {
+				return [];
+			}
+			const rows = yield* Effect.forEach(inputs, (input) => Effect.flatMap(encode(input), record));
+			const columns = [...new Set(rows.flatMap(Object.keys))];
+			if (columns.length === 0) {
+				columns.push(...Object.keys(model.fields).slice(0, 1));
+			}
+			const names = sql.csv(columns.map((column) => sql`${sql(column)}`));
+			const chunkSize = Math.max(1, Math.min(1000, Math.floor(10_000 / columns.length)));
+			const results: unknown[] = [];
+			const changedRows: Readonly<Record<string, unknown>>[] = [];
+			let chunk: Fragment[] = [];
+			let parameters = 0;
+			let suffix: Fragment = sql``;
+			const flush = Effect.gen(function* () {
+				const returned = yield* sql`insert into ${sql(options.tableName)} (${names}) values ${sql.csv(chunk)} ${suffix} returning *`;
+				changedRows.push(...returned);
+				for (const row of yield* decode(returned)) {
+					results.push(row);
+				}
+				chunk = [];
+				parameters = 0;
+			});
+			for (const row of rows) {
+				const value = sql`(${sql.csv(columns.map((column) => (Object.hasOwn(row, column) ? sql`${row[column]}` : sql`default`)))})`;
+				const size = value.compile()[1].length;
+				const prepared = yield* prepare(row);
+				const suffixSize = sql`${prepared}`.compile()[1].length;
+				// Bound native fragment size as well as PostgreSQL's 65,535 bind parameters.
+				if (chunk.length > 0 && (chunk.length === chunkSize || parameters + size + suffixSize > 10_000)) {
+					yield* flush;
+				}
+				suffix = prepared;
+				chunk.push(value);
+				parameters += size;
+			}
+			yield* flush;
+			yield* options.changes.record(changedRows);
+			return results;
+		}).pipe(options.changes.write, Effect.withSpan(`${options.spanPrefix}.${operation}`));
+}

package/src/clientOptions.ts

@@ -0,0 +1,16 @@
+import { camelToSnake, snakeToCamel } from "effect/String";
+
+export interface SqlNameTransforms {
+	readonly transformQueryNames?: ((name: string) => string) | undefined;
+	readonly transformResultNames?: ((name: string) => string) | undefined;
+}
+
+export function clientOptions<TOptions extends object>(
+	options: TOptions,
+	{ snakeCase = true }: { readonly snakeCase?: boolean } = {},
+): TOptions & SqlNameTransforms {
+	return {
+		...(snakeCase ? { transformQueryNames: camelToSnake, transformResultNames: snakeToCamel } : {}),
+		...options,
+	};
+}