@antelopejs/postgres 0.0.1-stage → 0.2.1

package/dist/implementations/catalog/index.js

@@ -0,0 +1,60 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Info = Info;
+exports.ListRelations = ListRelations;
+exports.DescribeRelations = DescribeRelations;
+exports.Profile = Profile;
+exports.CheckReference = CheckReference;
+exports.SampleRows = SampleRows;
+const runtime_1 = require("@antelopejs/interface-core/runtime");
+const config_1 = require("../../config");
+const external_discovery_1 = require("../database/external-discovery");
+const external_measures_1 = require("../database/external-measures");
+const external_profile_1 = require("../database/external-profile");
+const external_reference_1 = require("../database/external-reference");
+const external_rows_1 = require("../database/external-rows");
+const OWNED_REFUSAL = "the catalog describes a database an external instance was pointed at; this instance owns its tables";
+const DEVELOPMENT_REFUSAL = "the catalog is a development tool: it answers under ajs project dev or run, or with catalog.enabled";
+async function IsEnabled() {
+    const configured = (0, config_1.GetOptions)().catalog.enabled;
+    return configured ?? (await (0, runtime_1.GetRuntimeInfo)()).dev;
+}
+async function Guard() {
+    if (!(0, config_1.IsExternal)()) {
+        throw new Error(OWNED_REFUSAL);
+    }
+    if (!(await IsEnabled())) {
+        throw new Error(DEVELOPMENT_REFUSAL);
+    }
+}
+async function Info() {
+    await Guard();
+    return (0, external_discovery_1.ReadInfo)();
+}
+async function ListRelations(schemas) {
+    await Guard();
+    return (0, external_measures_1.Sequentially)(await (0, external_discovery_1.ReadRelationRows)(schemas), external_discovery_1.Summarize);
+}
+async function DescribeRelations(relations) {
+    await Guard();
+    const rows = await (0, external_discovery_1.ReadNamedRelationRows)(relations);
+    const found = new Set(rows.map(external_discovery_1.RelationName));
+    const missing = relations.filter((relation) => !found.has(relation));
+    if (missing.length > 0) {
+        throw new Error(`No relation ${missing.join(", ")} that the connected role can see`);
+    }
+    return (0, external_measures_1.Sequentially)(rows, external_discovery_1.DescribeRow);
+}
+async function Profile(request) {
+    await Guard();
+    return (0, external_profile_1.ProfileRelation)(request);
+}
+async function CheckReference(check) {
+    await Guard();
+    return (0, external_reference_1.CheckColumnReference)(check);
+}
+async function SampleRows(request) {
+    await Guard();
+    return (0, external_rows_1.SampleRelationRows)(request);
+}
+//# sourceMappingURL=index.js.map

package/dist/implementations/catalog/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/implementations/catalog/index.ts"],"names":[],"mappings":";;AAgDA,oBAGC;AAED,sCAKC;AAED,8CAaC;AAED,0BAKC;AAED,wCAKC;AAED,gCAGC;AA5FD,gEAAoE;AAcpE,yCAAsD;AACtD,uEAOwC;AACxC,qEAA6D;AAC7D,mEAA+D;AAC/D,uEAAsE;AACtE,6DAA+D;AAE/D,MAAM,aAAa,GACjB,qGAAqG,CAAC;AACxG,MAAM,mBAAmB,GACvB,qGAAqG,CAAC;AAExG,KAAK,UAAU,SAAS;IACtB,MAAM,UAAU,GAAG,IAAA,mBAAU,GAAE,CAAC,OAAO,CAAC,OAAO,CAAC;IAChD,OAAO,UAAU,IAAI,CAAC,MAAM,IAAA,wBAAc,GAAE,CAAC,CAAC,GAAG,CAAC;AACpD,CAAC;AAGD,KAAK,UAAU,KAAK;IAClB,IAAI,CAAC,IAAA,mBAAU,GAAE,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;IACjC,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,SAAS,EAAE,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAEM,KAAK,UAAU,IAAI;IACxB,MAAM,KAAK,EAAE,CAAC;IACd,OAAO,IAAA,6BAAQ,GAAE,CAAC;AACpB,CAAC;AAEM,KAAK,UAAU,aAAa,CACjC,OAAkB;IAElB,MAAM,KAAK,EAAE,CAAC;IACd,OAAO,IAAA,gCAAY,EAAC,MAAM,IAAA,qCAAgB,EAAC,OAAO,CAAC,EAAE,8BAAS,CAAC,CAAC;AAClE,CAAC;AAEM,KAAK,UAAU,iBAAiB,CACrC,SAAmB;IAEnB,MAAM,KAAK,EAAE,CAAC;IACd,MAAM,IAAI,GAAG,MAAM,IAAA,0CAAqB,EAAC,SAAS,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,iCAAY,CAAC,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;IACrE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,eAAe,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,kCAAkC,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,IAAA,gCAAY,EAAC,IAAI,EAAE,gCAAW,CAAC,CAAC;AACzC,CAAC;AAEM,KAAK,UAAU,OAAO,CAC3B,OAAuB;IAEvB,MAAM,KAAK,EAAE,CAAC;IACd,OAAO,IAAA,kCAAe,EAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AAEM,KAAK,UAAU,cAAc,CAClC,KAAqB;IAErB,MAAM,KAAK,EAAE,CAAC;IACd,OAAO,IAAA,yCAAoB,EAAC,KAAK,CAAC,CAAC;AACrC,CAAC;AAEM,KAAK,UAAU,UAAU,CAAC,OAAsB;IACrD,MAAM,KAAK,EAAE,CAAC;IACd,OAAO,IAAA,kCAAkB,EAAC,OAAO,CAAC,CAAC;AACrC,CAAC"}

package/dist/implementations/database/changes.d.ts

@@ -0,0 +1,19 @@
+export type ChangeOperation = "added" | "modified" | "removed";
+export declare const CHANGES_STAGE = "changes";
+export declare const LOG: string;
+export declare const REAPED: string;
+export declare const SEQ_COLUMN: string;
+export declare const TXID_COLUMN: string;
+export declare const CREATED_COLUMN: string;
+export declare const SCHEMA_COLUMN: string;
+export declare const TABLE_COLUMN: string;
+export declare const LOG_INSTANCE_COLUMN: string;
+export declare const OP_COLUMN: string;
+export declare const OLD_ROW_COLUMN: string;
+export declare const NEW_ROW_COLUMN: string;
+export declare const SINGLETON_COLUMN: string;
+export declare const HIGH_WATER_COLUMN: string;
+export declare const EPOCH_COLUMN: string;
+export declare const CHANGE_CHANNEL = "antelopejs_changes";
+export declare const CHANGE_LOG_STATEMENTS: readonly string[];
+export declare function TriggerStatements(schemaId: string, tableId: string): readonly string[];

package/dist/implementations/database/changes.js

@@ -0,0 +1,100 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CHANGE_LOG_STATEMENTS = exports.CHANGE_CHANNEL = exports.EPOCH_COLUMN = exports.HIGH_WATER_COLUMN = exports.SINGLETON_COLUMN = exports.NEW_ROW_COLUMN = exports.OLD_ROW_COLUMN = exports.OP_COLUMN = exports.LOG_INSTANCE_COLUMN = exports.TABLE_COLUMN = exports.SCHEMA_COLUMN = exports.CREATED_COLUMN = exports.TXID_COLUMN = exports.SEQ_COLUMN = exports.REAPED = exports.LOG = exports.CHANGES_STAGE = void 0;
+exports.TriggerStatements = TriggerStatements;
+const sql_1 = require("./sql");
+const identifier_1 = require("./identifier");
+const utils_1 = require("./utils");
+exports.CHANGES_STAGE = "changes";
+const ADDED = "added";
+const MODIFIED = "modified";
+const REMOVED = "removed";
+exports.LOG = (0, identifier_1.QualifiedName)(utils_1.REGISTRY_SCHEMA, utils_1.CHANGE_LOG_TABLE);
+exports.REAPED = (0, identifier_1.QualifiedName)(utils_1.REGISTRY_SCHEMA, utils_1.CHANGE_REAPED_TABLE);
+exports.SEQ_COLUMN = (0, sql_1.QuoteIdentifier)("seq");
+exports.TXID_COLUMN = (0, sql_1.QuoteIdentifier)("txid");
+exports.CREATED_COLUMN = (0, sql_1.QuoteIdentifier)("created_at");
+exports.SCHEMA_COLUMN = (0, sql_1.QuoteIdentifier)("schema_id");
+exports.TABLE_COLUMN = (0, sql_1.QuoteIdentifier)("table_id");
+exports.LOG_INSTANCE_COLUMN = (0, sql_1.QuoteIdentifier)("instance");
+exports.OP_COLUMN = (0, sql_1.QuoteIdentifier)("op");
+exports.OLD_ROW_COLUMN = (0, sql_1.QuoteIdentifier)("old_row");
+exports.NEW_ROW_COLUMN = (0, sql_1.QuoteIdentifier)("new_row");
+exports.SINGLETON_COLUMN = (0, sql_1.QuoteIdentifier)("singleton");
+exports.HIGH_WATER_COLUMN = (0, sql_1.QuoteIdentifier)("high_water");
+exports.EPOCH_COLUMN = (0, sql_1.QuoteIdentifier)("postmaster_started_at");
+exports.CHANGE_CHANNEL = "antelopejs_changes";
+const FEED_INDEX = "changes_feed";
+const ADDED_FUNCTION = "changes_added";
+const MODIFIED_FUNCTION = "changes_modified";
+const REMOVED_FUNCTION = "changes_removed";
+const OLD_TABLE_ALIAS = (0, sql_1.QuoteIdentifier)("old_table");
+const NEW_TABLE_ALIAS = (0, sql_1.QuoteIdentifier)("new_table");
+const TRIGGER_PREFIX = "antelopejs_changes_";
+const OLD_ROW = "o";
+const NEW_ROW = "n";
+function WholeRow(alias) {
+    return `to_jsonb(${alias}.*)`;
+}
+const SCHEMA_VARIABLE = "TG_TABLE_SCHEMA";
+const TABLE_VARIABLE = "TG_TABLE_NAME";
+const ID = (0, sql_1.QuoteIdentifier)(utils_1.ID_COLUMN);
+const INSTANCE = (0, sql_1.QuoteIdentifier)(utils_1.INSTANCE_COLUMN);
+const NOTIFY = `PERFORM pg_notify(${(0, sql_1.QuoteLiteral)(exports.CHANGE_CHANNEL)}, ${SCHEMA_VARIABLE} || '.' || ${TABLE_VARIABLE});`;
+function Qualified(functionName) {
+    return (0, identifier_1.QualifiedName)(utils_1.REGISTRY_SCHEMA, functionName);
+}
+function TriggerFunction(functionName, insert) {
+    return `CREATE OR REPLACE FUNCTION ${Qualified(functionName)}() RETURNS trigger LANGUAGE plpgsql AS $fn$
+BEGIN
+${insert}
+${NOTIFY}
+RETURN NULL;
+END
+$fn$`;
+}
+function LogInsert(columns, select) {
+    return `INSERT INTO ${exports.LOG} (${[exports.SCHEMA_COLUMN, exports.TABLE_COLUMN, exports.LOG_INSTANCE_COLUMN, exports.OP_COLUMN, ...columns].join(", ")})
+SELECT ${SCHEMA_VARIABLE}, ${TABLE_VARIABLE}, ${select};`;
+}
+const ADDED_BODY = LogInsert([exports.NEW_ROW_COLUMN], `${NEW_ROW}.${INSTANCE}, ${(0, sql_1.QuoteLiteral)(ADDED)}, ${WholeRow(NEW_ROW)} FROM ${NEW_TABLE_ALIAS} ${NEW_ROW}`);
+const MODIFIED_BODY = LogInsert([exports.OLD_ROW_COLUMN, exports.NEW_ROW_COLUMN], `${NEW_ROW}.${INSTANCE}, ${(0, sql_1.QuoteLiteral)(MODIFIED)}, ${WholeRow(OLD_ROW)}, ${WholeRow(NEW_ROW)}
+FROM ${NEW_TABLE_ALIAS} ${NEW_ROW}
+JOIN ${OLD_TABLE_ALIAS} ${OLD_ROW} ON ${OLD_ROW}.${INSTANCE} = ${NEW_ROW}.${INSTANCE} AND ${OLD_ROW}.${ID} = ${NEW_ROW}.${ID}`);
+const REMOVED_BODY = LogInsert([exports.OLD_ROW_COLUMN], `${OLD_ROW}.${INSTANCE}, ${(0, sql_1.QuoteLiteral)(REMOVED)}, ${WholeRow(OLD_ROW)} FROM ${OLD_TABLE_ALIAS} ${OLD_ROW}`);
+exports.CHANGE_LOG_STATEMENTS = [
+    `CREATE UNLOGGED TABLE IF NOT EXISTS ${exports.LOG} (
+     ${exports.SEQ_COLUMN} bigserial PRIMARY KEY,
+     ${exports.TXID_COLUMN} xid8 NOT NULL DEFAULT pg_current_xact_id(),
+     ${exports.CREATED_COLUMN} timestamptz NOT NULL DEFAULT now(),
+     ${exports.SCHEMA_COLUMN} text NOT NULL,
+     ${exports.TABLE_COLUMN} text NOT NULL,
+     ${exports.LOG_INSTANCE_COLUMN} text NOT NULL,
+     ${exports.OP_COLUMN} text NOT NULL,
+     ${exports.OLD_ROW_COLUMN} jsonb,
+     ${exports.NEW_ROW_COLUMN} jsonb
+   )`,
+    `CREATE INDEX IF NOT EXISTS ${(0, sql_1.QuoteIdentifier)(FEED_INDEX)} ON ${exports.LOG} (${exports.SCHEMA_COLUMN}, ${exports.TABLE_COLUMN}, ${exports.SEQ_COLUMN})`,
+    `CREATE TABLE IF NOT EXISTS ${exports.REAPED} (
+     ${exports.SINGLETON_COLUMN} boolean PRIMARY KEY DEFAULT true CHECK (${exports.SINGLETON_COLUMN}),
+     ${exports.HIGH_WATER_COLUMN} bigint NOT NULL,
+     ${exports.EPOCH_COLUMN} timestamptz NOT NULL
+   )`,
+    TriggerFunction(ADDED_FUNCTION, ADDED_BODY),
+    TriggerFunction(MODIFIED_FUNCTION, MODIFIED_BODY),
+    TriggerFunction(REMOVED_FUNCTION, REMOVED_BODY),
+];
+function TriggerSql(target, operation, referencing, functionName) {
+    return `CREATE OR REPLACE TRIGGER ${(0, sql_1.QuoteIdentifier)(`${TRIGGER_PREFIX}${operation.toLowerCase()}`)} AFTER ${operation} ON ${target}
+REFERENCING ${referencing}
+FOR EACH STATEMENT EXECUTE FUNCTION ${Qualified(functionName)}()`;
+}
+function TriggerStatements(schemaId, tableId) {
+    const target = (0, identifier_1.QualifiedName)((0, identifier_1.SchemaName)(schemaId), (0, identifier_1.TableName)(tableId));
+    return [
+        TriggerSql(target, "INSERT", `NEW TABLE AS ${NEW_TABLE_ALIAS}`, ADDED_FUNCTION),
+        TriggerSql(target, "UPDATE", `OLD TABLE AS ${OLD_TABLE_ALIAS} NEW TABLE AS ${NEW_TABLE_ALIAS}`, MODIFIED_FUNCTION),
+        TriggerSql(target, "DELETE", `OLD TABLE AS ${OLD_TABLE_ALIAS}`, REMOVED_FUNCTION),
+    ];
+}
+//# sourceMappingURL=changes.js.map

package/dist/implementations/database/changes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"changes.js","sourceRoot":"","sources":["../../../src/implementations/database/changes.ts"],"names":[],"mappings":";;;AA6MA,8CAyBC;AAtOD,+BAAsD;AACtD,6CAAoE;AACpE,mCAMiB;AAmBJ,QAAA,aAAa,GAAG,SAAS,CAAC;AAEvC,MAAM,KAAK,GAAoB,OAAO,CAAC;AACvC,MAAM,QAAQ,GAAoB,UAAU,CAAC;AAC7C,MAAM,OAAO,GAAoB,SAAS,CAAC;AAE9B,QAAA,GAAG,GAAG,IAAA,0BAAa,EAAC,uBAAe,EAAE,wBAAgB,CAAC,CAAC;AACvD,QAAA,MAAM,GAAG,IAAA,0BAAa,EAAC,uBAAe,EAAE,2BAAmB,CAAC,CAAC;AAE7D,QAAA,UAAU,GAAG,IAAA,qBAAe,EAAC,KAAK,CAAC,CAAC;AACpC,QAAA,WAAW,GAAG,IAAA,qBAAe,EAAC,MAAM,CAAC,CAAC;AACtC,QAAA,cAAc,GAAG,IAAA,qBAAe,EAAC,YAAY,CAAC,CAAC;AAC/C,QAAA,aAAa,GAAG,IAAA,qBAAe,EAAC,WAAW,CAAC,CAAC;AAC7C,QAAA,YAAY,GAAG,IAAA,qBAAe,EAAC,UAAU,CAAC,CAAC;AAC3C,QAAA,mBAAmB,GAAG,IAAA,qBAAe,EAAC,UAAU,CAAC,CAAC;AAClD,QAAA,SAAS,GAAG,IAAA,qBAAe,EAAC,IAAI,CAAC,CAAC;AAClC,QAAA,cAAc,GAAG,IAAA,qBAAe,EAAC,SAAS,CAAC,CAAC;AAC5C,QAAA,cAAc,GAAG,IAAA,qBAAe,EAAC,SAAS,CAAC,CAAC;AAE5C,QAAA,gBAAgB,GAAG,IAAA,qBAAe,EAAC,WAAW,CAAC,CAAC;AAChD,QAAA,iBAAiB,GAAG,IAAA,qBAAe,EAAC,YAAY,CAAC,CAAC;AAClD,QAAA,YAAY,GAAG,IAAA,qBAAe,EAAC,uBAAuB,CAAC,CAAC;AAcxD,QAAA,cAAc,GAAG,oBAAoB,CAAC;AAEnD,MAAM,UAAU,GAAG,cAAc,CAAC;AAElC,MAAM,cAAc,GAAG,eAAe,CAAC;AACvC,MAAM,iBAAiB,GAAG,kBAAkB,CAAC;AAC7C,MAAM,gBAAgB,GAAG,iBAAiB,CAAC;AAE3C,MAAM,eAAe,GAAG,IAAA,qBAAe,EAAC,WAAW,CAAC,CAAC;AACrD,MAAM,eAAe,GAAG,IAAA,qBAAe,EAAC,WAAW,CAAC,CAAC;AAErD,MAAM,cAAc,GAAG,qBAAqB,CAAC;AAE7C,MAAM,OAAO,GAAG,GAAG,CAAC;AACpB,MAAM,OAAO,GAAG,GAAG,CAAC;AAMpB,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,YAAY,KAAK,KAAK,CAAC;AAChC,CAAC;AAED,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAC1C,MAAM,cAAc,GAAG,eAAe,CAAC;AAEvC,MAAM,EAAE,GAAG,IAAA,qBAAe,EAAC,iBAAS,CAAC,CAAC;AACtC,MAAM,QAAQ,GAAG,IAAA,qBAAe,EAAC,uBAAe,CAAC,CAAC;AAElD,MAAM,MAAM,GAAG,qBAAqB,IAAA,kBAAY,EAAC,sBAAc,CAAC,KAAK,eAAe,cAAc,cAAc,IAAI,CAAC;AAErH,SAAS,SAAS,CAAC,YAAoB;IACrC,OAAO,IAAA,0BAAa,EAAC,uBAAe,EAAE,YAAY,CAAC,CAAC;AACtD,CAAC;AAGD,SAAS,eAAe,CAAC,YAAoB,EAAE,MAAc;IAC3D,OAAO,8BAA8B,SAAS,CAAC,YAAY,CAAC;;EAE5D,MAAM;EACN,MAAM;;;KAGH,CAAC;AACN,CAAC;AAED,SAAS,SAAS,CAAC,OAA0B,EAAE,MAAc;IAC3D,OAAO,eAAe,WAAG,KAAK,CAAC,qBAAa,EAAE,oBAAY,EAAE,2BAAmB,EAAE,iBAAS,EAAE,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SAC3G,eAAe,KAAK,cAAc,KAAK,MAAM,GAAG,CAAC;AAC1D,CAAC;AAED,MAAM,UAAU,GAAG,SAAS,CAC1B,CAAC,sBAAc,CAAC,EAChB,GAAG,OAAO,IAAI,QAAQ,KAAK,IAAA,kBAAY,EAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,SAAS,eAAe,IAAI,OAAO,EAAE,CAC1G,CAAC;AAMF,MAAM,aAAa,GAAG,SAAS,CAC7B,CAAC,sBAAc,EAAE,sBAAc,CAAC,EAChC,GAAG,OAAO,IAAI,QAAQ,KAAK,IAAA,kBAAY,EAAC,QAAQ,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC;OACxF,eAAe,IAAI,OAAO;OAC1B,eAAe,IAAI,OAAO,OAAO,OAAO,IAAI,QAAQ,MAAM,OAAO,IAAI,QAAQ,QAAQ,OAAO,IAAI,EAAE,MAAM,OAAO,IAAI,EAAE,EAAE,CAC7H,CAAC;AAEF,MAAM,YAAY,GAAG,SAAS,CAC5B,CAAC,sBAAc,CAAC,EAChB,GAAG,OAAO,IAAI,QAAQ,KAAK,IAAA,kBAAY,EAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,SAAS,eAAe,IAAI,OAAO,EAAE,CAC5G,CAAC;AAwBW,QAAA,qBAAqB,GAAsB;IACtD,uCAAuC,WAAG;OACrC,kBAAU;OACV,mBAAW;OACX,sBAAc;OACd,qBAAa;OACb,oBAAY;OACZ,2BAAmB;OACnB,iBAAS;OACT,sBAAc;OACd,sBAAc;KAChB;IACH,8BAA8B,IAAA,qBAAe,EAAC,UAAU,CAAC,OAAO,WAAG,KAAK,qBAAa,KAAK,oBAAY,KAAK,kBAAU,GAAG;IACxH,8BAA8B,cAAM;OAC/B,wBAAgB,4CAA4C,wBAAgB;OAC5E,yBAAiB;OACjB,oBAAY;KACd;IACH,eAAe,CAAC,cAAc,EAAE,UAAU,CAAC;IAC3C,eAAe,CAAC,iBAAiB,EAAE,aAAa,CAAC;IACjD,eAAe,CAAC,gBAAgB,EAAE,YAAY,CAAC;CAChD,CAAC;AAEF,SAAS,UAAU,CACjB,MAAc,EACd,SAAiB,EACjB,WAAmB,EACnB,YAAoB;IAEpB,OAAO,6BAA6B,IAAA,qBAAe,EAAC,GAAG,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC,UAAU,SAAS,OAAO,MAAM;cACtH,WAAW;sCACa,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC;AAClE,CAAC;AAgBD,SAAgB,iBAAiB,CAC/B,QAAgB,EAChB,OAAe;IAEf,MAAM,MAAM,GAAG,IAAA,0BAAa,EAAC,IAAA,uBAAU,EAAC,QAAQ,CAAC,EAAE,IAAA,sBAAS,EAAC,OAAO,CAAC,CAAC,CAAC;IACvE,OAAO;QACL,UAAU,CACR,MAAM,EACN,QAAQ,EACR,gBAAgB,eAAe,EAAE,EACjC,cAAc,CACf;QACD,UAAU,CACR,MAAM,EACN,QAAQ,EACR,gBAAgB,eAAe,iBAAiB,eAAe,EAAE,EACjE,iBAAiB,CAClB;QACD,UAAU,CACR,MAAM,EACN,QAAQ,EACR,gBAAgB,eAAe,EAAE,EACjC,gBAAgB,CACjB;KACF,CAAC;AACJ,CAAC"}

package/dist/implementations/database/coerce.d.ts

@@ -0,0 +1,15 @@
+import { type Compiled } from "./sql";
+import { type SqlType } from "./types";
+export interface CompiledPair {
+    left: Compiled;
+    right: Compiled;
+    type: SqlType;
+    converted?: boolean;
+}
+export declare function Unify(left: SqlType, right: SqlType): SqlType;
+export declare function Widen(left: SqlType, right: SqlType): SqlType;
+export declare function Cast(value: Compiled, target: SqlType): Compiled;
+export declare function ParsesAs(sql: string, target: SqlType): string;
+export declare function UnifyAll(types: SqlType[]): SqlType;
+export declare function UnifyOperands(left: Compiled, right: Compiled, operator?: string): CompiledPair;
+export declare function WithDefault(value: Compiled, def?: Compiled): Compiled;

package/dist/implementations/database/coerce.js

@@ -0,0 +1,195 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Unify = Unify;
+exports.Widen = Widen;
+exports.Cast = Cast;
+exports.ParsesAs = ParsesAs;
+exports.UnifyAll = UnifyAll;
+exports.UnifyOperands = UnifyOperands;
+exports.WithDefault = WithDefault;
+const sql_1 = require("./sql");
+const types_1 = require("./types");
+function Unify(left, right) {
+    if ((0, types_1.IsOpaque)(left)) {
+        return right;
+    }
+    if ((0, types_1.IsOpaque)(right)) {
+        return left;
+    }
+    if (left.kind === right.kind) {
+        return UnifySameKind(left, right);
+    }
+    return types_1.OPAQUE;
+}
+function UnifySameKind(left, right) {
+    if (left.kind === "array" && right.kind === "array") {
+        return (0, types_1.ArrayOf)(Unify(left.elem, right.elem));
+    }
+    if (left.kind === "json" && right.kind === "json") {
+        return (0, types_1.JsonOf)(UnifyShapes(left.shape, right.shape));
+    }
+    return left;
+}
+function UnifyShapes(left, right) {
+    if (!left || !right) {
+        return undefined;
+    }
+    const shape = {};
+    for (const [name, type] of Object.entries(left)) {
+        if (Object.hasOwn(right, name)) {
+            shape[name] = Unify(type, right[name]);
+        }
+    }
+    return Object.keys(shape).length > 0 ? shape : undefined;
+}
+function Widen(left, right) {
+    const leftShape = (0, types_1.ShapeOf)(left);
+    const rightShape = (0, types_1.ShapeOf)(right);
+    if (!leftShape || !rightShape) {
+        return Unify(left, right);
+    }
+    const shape = { ...leftShape };
+    for (const [name, type] of Object.entries(rightShape)) {
+        shape[name] = Object.hasOwn(leftShape, name)
+            ? Unify(leftShape[name], type)
+            : type;
+    }
+    return (0, types_1.JsonOf)(shape);
+}
+function Cast(value, target) {
+    if (value.type.kind === target.kind) {
+        return { sql: value.sql, type: target };
+    }
+    if ((0, types_1.IsJsonBacked)(value.type) && (0, types_1.IsJsonBacked)(target)) {
+        return { sql: value.sql, type: target };
+    }
+    if ((0, types_1.IsJsonBacked)(target)) {
+        return { sql: `to_jsonb(${value.sql})`, type: types_1.OPAQUE };
+    }
+    if ((0, types_1.IsJsonBacked)(value.type)) {
+        return FromJson(value, target);
+    }
+    return { sql: `((${value.sql})::${(0, types_1.PhysicalType)(target)})`, type: target };
+}
+const JSON_TYPEOF = {
+    float: "number",
+    bool: "boolean",
+    text: "string",
+    timestamp: "string",
+};
+const PARSED_KINDS = {
+    timestamp: true,
+};
+function ParsesAs(sql, target) {
+    return `pg_input_is_valid(${sql}, ${(0, sql_1.QuoteLiteral)((0, types_1.PhysicalType)(target))})`;
+}
+function ProjectedText(value) {
+    return `(${value.sql} #>> '{}')`;
+}
+function Projection(value, target) {
+    const text = ProjectedText(value);
+    if (target.kind === "text") {
+        return text;
+    }
+    return `(${text}::${(0, types_1.PhysicalType)(target)})`;
+}
+function JsonGuards(value, target, expected) {
+    const guards = [`jsonb_typeof(${value.sql}) = '${expected}'`];
+    if (PARSED_KINDS[target.kind]) {
+        guards.push(ParsesAs(ProjectedText(value), target));
+    }
+    return guards.join(" AND ");
+}
+function FromJson(value, target) {
+    const projection = Projection(value, target);
+    const expected = JSON_TYPEOF[target.kind];
+    if (!expected) {
+        return { sql: projection, type: target };
+    }
+    return {
+        sql: `(CASE WHEN ${JsonGuards(value, target, expected)} THEN ${projection} END)`,
+        type: target,
+    };
+}
+function UnifyAll(types) {
+    if (types.length === 0) {
+        return types_1.OPAQUE;
+    }
+    return types.reduce((left, right) => (0, types_1.IsOpaque)(left) || (0, types_1.IsOpaque)(right) ? types_1.OPAQUE : Unify(left, right));
+}
+function UnifyOperands(left, right, operator = EQUALITY) {
+    const type = Unify(left.type, right.type);
+    const pair = { left: Cast(left, type), right: Cast(right, type), type };
+    return NativePair(left, right, pair, operator);
+}
+const EQUALITY = "=";
+const MIRRORED = {
+    ">": "<",
+    "<": ">",
+    ">=": "<=",
+    "<=": ">=",
+};
+function NativeSide(native, type) {
+    return { sql: native.sql, type };
+}
+function NativePair(left, right, pair, operator) {
+    const type = pair.type;
+    if (left.native && right.native) {
+        if (left.native.type !== right.native.type) {
+            return pair;
+        }
+        return {
+            left: NativeSide(left.native, type),
+            right: NativeSide(right.native, type),
+            type,
+        };
+    }
+    if (left.native && type.kind === left.type.kind) {
+        const converted = left.native.bind(pair.right.sql, operator);
+        return {
+            left: NativeSide(left.native, type),
+            right: { sql: converted, type },
+            type,
+            converted: true,
+        };
+    }
+    if (right.native && type.kind === right.type.kind) {
+        const mirrored = MIRRORED[operator] ?? operator;
+        const converted = right.native.bind(pair.left.sql, mirrored);
+        return {
+            left: { sql: converted, type },
+            right: NativeSide(right.native, type),
+            type,
+            converted: true,
+        };
+    }
+    return pair;
+}
+function Absent(pair) {
+    if (!(0, types_1.IsJsonBacked)(pair.type)) {
+        return pair.left.sql;
+    }
+    return `NULLIF(${pair.left.sql}, ${sql_1.JSON_NULL})`;
+}
+function DefaultType(value, def) {
+    if ((0, types_1.IsJsonBacked)(value) && value.kind !== def.kind) {
+        return types_1.OPAQUE;
+    }
+    return Unify(value, def);
+}
+function WithDefault(value, def) {
+    if (!def) {
+        return value;
+    }
+    const type = DefaultType(value.type, def.type);
+    const pair = {
+        left: Cast(value, type),
+        right: Cast(def, type),
+        type,
+    };
+    return {
+        sql: `COALESCE(${Absent(pair)}, ${pair.right.sql})`,
+        type: pair.type,
+    };
+}
+//# sourceMappingURL=coerce.js.map

package/dist/implementations/database/coerce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coerce.js","sourceRoot":"","sources":["../../../src/implementations/database/coerce.ts"],"names":[],"mappings":";;AAqCA,sBAWC;AAuCD,sBAaC;AAqBD,oBAcC;AAoBD,4BAEC;AA4CD,4BAOC;AAWD,sCAQC;AA6ED,kCAcC;AA9TD,+BAKe;AACf,mCAUiB;AAqBjB,SAAgB,KAAK,CAAC,IAAa,EAAE,KAAc;IACjD,IAAI,IAAA,gBAAQ,EAAC,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAA,gBAAQ,EAAC,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,OAAO,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,cAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,IAAa,EAAE,KAAc;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpD,OAAO,IAAA,eAAO,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClD,OAAO,IAAA,cAAM,EAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,WAAW,CAAC,IAAe,EAAE,KAAgB;IACpD,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3D,CAAC;AAgBD,SAAgB,KAAK,CAAC,IAAa,EAAE,KAAc;IACjD,MAAM,SAAS,GAAG,IAAA,eAAO,EAAC,IAAI,CAAC,CAAC;IAChC,MAAM,UAAU,GAAG,IAAA,eAAO,EAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,SAAS,IAAI,CAAC,UAAU,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC;IACD,MAAM,KAAK,GAA4B,EAAE,GAAG,SAAS,EAAE,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC;YAC1C,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;YAC9B,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IACD,OAAO,IAAA,cAAM,EAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAqBD,SAAgB,IAAI,CAAC,KAAe,EAAE,MAAe;IACnD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;QACpC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC;IACD,IAAI,IAAA,oBAAY,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,IAAA,oBAAY,EAAC,MAAM,CAAC,EAAE,CAAC;QACrD,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC;IACD,IAAI,IAAA,oBAAY,EAAC,MAAM,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,GAAG,EAAE,YAAY,KAAK,CAAC,GAAG,GAAG,EAAE,IAAI,EAAE,cAAM,EAAE,CAAC;IACzD,CAAC;IACD,IAAI,IAAA,oBAAY,EAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC,GAAG,MAAM,IAAA,oBAAY,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,WAAW,GAA6C;IAC5D,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,QAAQ;CACpB,CAAC;AAEF,MAAM,YAAY,GAA2C;IAC3D,SAAS,EAAE,IAAI;CAChB,CAAC;AASF,SAAgB,QAAQ,CAAC,GAAW,EAAE,MAAe;IACnD,OAAO,qBAAqB,GAAG,KAAK,IAAA,kBAAY,EAAC,IAAA,oBAAY,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC;AAC5E,CAAC;AAED,SAAS,aAAa,CAAC,KAAe;IACpC,OAAO,IAAI,KAAK,CAAC,GAAG,YAAY,CAAC;AACnC,CAAC;AAED,SAAS,UAAU,CAAC,KAAe,EAAE,MAAe;IAClD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,IAAI,KAAK,IAAA,oBAAY,EAAC,MAAM,CAAC,GAAG,CAAC;AAC9C,CAAC;AAED,SAAS,UAAU,CACjB,KAAe,EACf,MAAe,EACf,QAAgB;IAEhB,MAAM,MAAM,GAAG,CAAC,gBAAgB,KAAK,CAAC,GAAG,QAAQ,QAAQ,GAAG,CAAC,CAAC;IAC9D,IAAI,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe,EAAE,MAAe;IAChD,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,GAAG,EAAE,cAAc,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,SAAS,UAAU,OAAO;QAChF,IAAI,EAAE,MAAM;KACb,CAAC;AACJ,CAAC;AAQD,SAAgB,QAAQ,CAAC,KAAgB;IACvC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,cAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAClC,IAAA,gBAAQ,EAAC,IAAI,CAAC,IAAI,IAAA,gBAAQ,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,cAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAChE,CAAC;AACJ,CAAC;AAWD,SAAgB,aAAa,CAC3B,IAAc,EACd,KAAe,EACf,QAAQ,GAAG,QAAQ;IAEnB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC;IACxE,OAAO,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,QAAQ,GAAG,GAAG,CAAC;AAGrB,MAAM,QAAQ,GAA2B;IACvC,GAAG,EAAE,GAAG;IACR,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,SAAS,UAAU,CAAC,MAAqB,EAAE,IAAa;IACtD,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,UAAU,CACjB,IAAc,EACd,KAAe,EACf,IAAkB,EAClB,QAAgB;IAEhB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC3C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YACnC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC;YACrC,IAAI;SACL,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC7D,OAAO;YACL,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YACnC,KAAK,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE;YAC/B,IAAI;YACJ,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;QAChD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC7D,OAAO;YACL,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE;YAC9B,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC;YACrC,IAAI;YACJ,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAMD,SAAS,MAAM,CAAC,IAAkB;IAChC,IAAI,CAAC,IAAA,oBAAY,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACvB,CAAC;IACD,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,eAAS,GAAG,CAAC;AAClD,CAAC;AAMD,SAAS,WAAW,CAAC,KAAc,EAAE,GAAY;IAC/C,IAAI,IAAA,oBAAY,EAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;QACnD,OAAO,cAAM,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,SAAgB,WAAW,CAAC,KAAe,EAAE,GAAc;IACzD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAiB;QACzB,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;QACvB,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC;QACtB,IAAI;KACL,CAAC;IACF,OAAO;QACL,GAAG,EAAE,YAAY,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG;QACnD,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC;AACJ,CAAC"}

package/dist/implementations/database/context.d.ts

@@ -0,0 +1,32 @@
+import type { QueryStage } from "@antelopejs/interface-database/common";
+import type { Relation } from "./relation";
+import type { RowSource } from "./row-source";
+import type { OriginResolver } from "./selection";
+import { type Compiled, ParamCollector } from "./sql";
+export type SubqueryProvider = (stages: QueryStage[]) => Compiled;
+export type ArgumentBinding = RowSource | SubqueryProvider | Compiled;
+type ExpressionCompiler = (stages: QueryStage[], context: DecodingContext, source?: RowSource) => Compiled;
+export type SubqueryCompiler = (stages: QueryStage[], context: DecodingContext) => Compiled;
+type RelationCompiler = (stages: QueryStage[], context: DecodingContext) => Relation;
+export interface Compilers {
+    expression: ExpressionCompiler;
+    subquery: SubqueryCompiler;
+    relation: RelationCompiler;
+}
+export declare class DecodingContext {
+    private readonly compilers;
+    readonly resolveOrigin?: OriginResolver | undefined;
+    readonly params: ParamCollector;
+    private readonly bindings;
+    private aliasCounter;
+    constructor(compilers: Compilers, resolveOrigin?: OriginResolver | undefined);
+    sibling(): DecodingContext;
+    nextAlias(): string;
+    bind(id: number, binding: ArgumentBinding): void;
+    unbind(id: number): void;
+    arg(id: number): ArgumentBinding;
+    expression(stages: QueryStage[], source?: RowSource): Compiled;
+    subquery(stages: QueryStage[]): Compiled;
+    relation(stages: QueryStage[]): Relation;
+}
+export {};

package/dist/implementations/database/context.js

@@ -0,0 +1,50 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DecodingContext = void 0;
+const node_assert_1 = __importDefault(require("node:assert"));
+const sql_1 = require("./sql");
+const ALIAS_PREFIX = "t";
+class DecodingContext {
+    compilers;
+    resolveOrigin;
+    params = new sql_1.ParamCollector();
+    bindings = {};
+    aliasCounter = 0;
+    constructor(compilers, resolveOrigin) {
+        this.compilers = compilers;
+        this.resolveOrigin = resolveOrigin;
+    }
+    sibling() {
+        return new DecodingContext(this.compilers, this.resolveOrigin);
+    }
+    nextAlias() {
+        return `${ALIAS_PREFIX}${this.aliasCounter++}`;
+    }
+    bind(id, binding) {
+        this.bindings[id] = binding;
+    }
+    unbind(id) {
+        delete this.bindings[id];
+    }
+    arg(id) {
+        const binding = Object.hasOwn(this.bindings, id)
+            ? this.bindings[id]
+            : undefined;
+        (0, node_assert_1.default)(binding, `Unbound lambda parameter ${id}`);
+        return binding;
+    }
+    expression(stages, source) {
+        return this.compilers.expression(stages, this, source);
+    }
+    subquery(stages) {
+        return this.compilers.subquery(stages, this);
+    }
+    relation(stages) {
+        return this.compilers.relation(stages, this);
+    }
+}
+exports.DecodingContext = DecodingContext;
+//# sourceMappingURL=context.js.map

package/dist/implementations/database/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/implementations/database/context.ts"],"names":[],"mappings":";;;;;;AAAA,8DAAiC;AAMjC,+BAAsD;AAwCtD,MAAM,YAAY,GAAG,GAAG,CAAC;AAQzB,MAAa,eAAe;IAkBP;IACD;IAlBF,MAAM,GAAG,IAAI,oBAAc,EAAE,CAAC;IAE7B,QAAQ,GAAoC,EAAE,CAAC;IACxD,YAAY,GAAG,CAAC,CAAC;IAazB,YACmB,SAAoB,EACrB,aAA8B;QAD7B,cAAS,GAAT,SAAS,CAAW;QACrB,kBAAa,GAAb,aAAa,CAAiB;IAC7C,CAAC;IAGG,OAAO;QACZ,OAAO,IAAI,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IACjE,CAAC;IAEM,SAAS;QACd,OAAO,GAAG,YAAY,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;IACjD,CAAC;IAEM,IAAI,CAAC,EAAU,EAAE,OAAwB;QAC9C,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC;IAC9B,CAAC;IAEM,MAAM,CAAC,EAAU;QACtB,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAEM,GAAG,CAAC,EAAU;QACnB,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;YAC9C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnB,CAAC,CAAC,SAAS,CAAC;QACd,IAAA,qBAAM,EAAC,OAAO,EAAE,4BAA4B,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEM,UAAU,CAAC,MAAoB,EAAE,MAAkB;QACxD,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;IAEM,QAAQ,CAAC,MAAoB;QAClC,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC;IAGM,QAAQ,CAAC,MAAoB;QAClC,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC;CACF;AA3DD,0CA2DC"}

package/dist/implementations/database/cursors.d.ts

@@ -0,0 +1,16 @@
+import type { PoolClient } from "pg";
+import type { ResultRow } from "./query";
+type RowDecoder = (rows: ResultRow[]) => unknown[];
+type ClientSource = () => Promise<PoolClient>;
+export interface CursorRequest {
+    readonly sql: string;
+    readonly params: unknown[];
+    readonly decode: RowDecoder;
+    readonly acquire?: ClientSource;
+}
+export type CursorOpener = () => Promise<CursorRequest>;
+export declare function ReadCursorRow(reqId: number, open: CursorOpener): Promise<IteratorResult<unknown, void>>;
+export declare function CloseOneCursor(reqId: number): Promise<void>;
+export declare function CloseAllCursors(): Promise<void>;
+export declare function CountOpenCursors(): number;
+export {};