@typed-sql/postgres 2.0.0 → 2.1.0

package/dist/packages/postgres/src/extensions.js

@@ -0,0 +1,311 @@
+import { defineSchemaSnapshotV2, upgradeSchemaSnapshotV1 } from "@typed-sql/schema";
+import { postgresCatalogCast } from "./catalog/index.js";
+export const POSTGRES_EXTENSION_MANIFEST_FORMAT_VERSION = 1;
+export class PostgresExtensionResolutionError extends Error {
+    issues;
+    constructor(issues) {
+        super(issues.map(({ code, message }) => `${code}: ${message}`).join("; "));
+        this.name = "PostgresExtensionResolutionError";
+        this.issues = issues;
+    }
+}
+const extensionNamePattern = /^[a-z][a-z0-9_-]*$/u;
+const versionPattern = /^[A-Za-z0-9][A-Za-z0-9_.+-]*$/u;
+function deepFreeze(value, seen = new Set()) {
+    if ((typeof value !== "object" && typeof value !== "function") || value === null || seen.has(value))
+        return value;
+    seen.add(value);
+    for (const item of Object.values(value))
+        deepFreeze(item, seen);
+    return Object.freeze(value);
+}
+function nonEmpty(value, path) {
+    if (typeof value !== "string" || value.trim().length === 0)
+        throw new TypeError(`${path} must be non-empty`);
+}
+function assertSortedUnique(values, path) {
+    if (values.length === 0)
+        throw new TypeError(`${path} must contain at least one version`);
+    const sorted = [...new Set(values)].sort();
+    if (values.some((value, index) => value !== sorted[index]))
+        throw new TypeError(`${path} must be sorted and unique`);
+    if (values.some((value) => !versionPattern.test(value)))
+        throw new TypeError(`${path} contains an invalid version`);
+}
+function typeKey(type) {
+    return type.schema === undefined || type.schema === "public" ? type.name : `${type.schema}.${type.name}`;
+}
+function routineKey(routine) {
+    return routine.schema === undefined || routine.schema === "public"
+        ? routine.name
+        : `${routine.schema}.${routine.name}`;
+}
+function routineSignature(routine) {
+    return `${routineKey(routine)}(${routine.arguments
+        .filter(({ mode }) => mode !== "out")
+        .map(({ databaseType }) => databaseType.toLowerCase())
+        .join(",")})`;
+}
+function operatorSignature(operator) {
+    return `${operator.name.toUpperCase()}(${operator.argumentTypes.map((type) => type.toLowerCase()).join(",")})`;
+}
+function castSignature(cast) {
+    return `${cast.sourceType.toLowerCase()}>${cast.targetType.toLowerCase()}`;
+}
+export function definePostgresExtensionManifest(manifest) {
+    if (manifest.formatVersion !== POSTGRES_EXTENSION_MANIFEST_FORMAT_VERSION) {
+        throw new TypeError(`PostgreSQL extension manifest formatVersion must be ${POSTGRES_EXTENSION_MANIFEST_FORMAT_VERSION}`);
+    }
+    if (!extensionNamePattern.test(manifest.name))
+        throw new TypeError("PostgreSQL extension manifest name is invalid");
+    assertSortedUnique(manifest.supportedVersions, "PostgreSQL extension manifest supportedVersions");
+    if (!versionPattern.test(manifest.revision))
+        throw new TypeError("PostgreSQL extension manifest revision is invalid");
+    const identities = new Set();
+    for (const type of manifest.types ?? []) {
+        nonEmpty(type.name, "PostgreSQL extension type name");
+        nonEmpty(type.identity, "PostgreSQL extension type identity");
+        const identity = `type:${typeKey(type)}`;
+        if (identities.has(identity))
+            throw new TypeError(`Duplicate PostgreSQL extension declaration ${identity}`);
+        identities.add(identity);
+    }
+    for (const routine of manifest.routines ?? []) {
+        nonEmpty(routine.name, "PostgreSQL extension routine name");
+        const identity = `routine:${routineSignature(routine)}`;
+        if (identities.has(identity))
+            throw new TypeError(`Duplicate PostgreSQL extension declaration ${identity}`);
+        identities.add(identity);
+    }
+    for (const operator of manifest.operators ?? []) {
+        nonEmpty(operator.name, "PostgreSQL extension operator name");
+        if (operator.argumentTypes.length !== 1 && operator.argumentTypes.length !== 2) {
+            throw new TypeError("PostgreSQL extension operators require one or two argument types");
+        }
+        operator.argumentTypes.forEach((type) => {
+            nonEmpty(type, "PostgreSQL extension operator argument type");
+        });
+        nonEmpty(operator.resultType, "PostgreSQL extension operator result type");
+        const identity = `operator:${operatorSignature(operator)}`;
+        if (identities.has(identity))
+            throw new TypeError(`Duplicate PostgreSQL extension declaration ${identity}`);
+        identities.add(identity);
+    }
+    for (const cast of manifest.casts ?? []) {
+        nonEmpty(cast.sourceType, "PostgreSQL extension cast source type");
+        nonEmpty(cast.targetType, "PostgreSQL extension cast target type");
+        const identity = `cast:${castSignature(cast)}`;
+        if (identities.has(identity))
+            throw new TypeError(`Duplicate PostgreSQL extension declaration ${identity}`);
+        identities.add(identity);
+    }
+    for (const codec of manifest.codecs ?? []) {
+        nonEmpty(codec.databaseType, "PostgreSQL extension codec database type");
+        if (typeof codec.decode !== "function")
+            throw new TypeError("PostgreSQL extension codec decode must be a function");
+        const identity = `codec:${codec.databaseType.toLowerCase()}`;
+        if (identities.has(identity))
+            throw new TypeError(`Duplicate PostgreSQL extension declaration ${identity}`);
+        identities.add(identity);
+    }
+    return deepFreeze(manifest);
+}
+function installedExtensions(snapshot) {
+    return new Map((snapshot.server?.features ?? []).flatMap((feature) => {
+        const separator = feature.indexOf(":");
+        return separator < 1 ? [] : [[feature.slice(0, separator), feature.slice(separator + 1)]];
+    }));
+}
+function issue(message, code = "TSQ407") {
+    return { code, message };
+}
+export function resolvePostgresExtensionManifests(source, manifests) {
+    const snapshot = source.formatVersion === 2 ? source : upgradeSchemaSnapshotV1(source);
+    const installed = installedExtensions(snapshot);
+    const active = [];
+    const issues = [];
+    const activeNames = new Set();
+    for (const input of manifests) {
+        const manifest = definePostgresExtensionManifest(input);
+        const installedVersion = installed.get(manifest.name);
+        if (installedVersion === undefined)
+            continue;
+        if (!manifest.supportedVersions.includes(installedVersion)) {
+            issues.push(issue(`PostgreSQL extension ${manifest.name} ${installedVersion} is outside manifest ${manifest.revision}'s supported versions`, "TSQ403"));
+            continue;
+        }
+        if (activeNames.has(manifest.name)) {
+            issues.push(issue(`Multiple PostgreSQL extension manifests match ${manifest.name} ${installedVersion}`));
+            continue;
+        }
+        activeNames.add(manifest.name);
+        active.push({ manifest, installedVersion });
+    }
+    const types = { ...snapshot.types };
+    const routines = Object.fromEntries(Object.entries(snapshot.routines).map(([key, overloads]) => [key, [...overloads]]));
+    const codecs = new Map();
+    const operators = [];
+    const casts = [];
+    const operatorIdentities = new Set(postgresExtensionOperators(snapshot).map(operatorSignature));
+    const castIdentities = new Set(postgresExtensionCasts(snapshot).map(castSignature));
+    const routineIdentities = new Set(Object.values(routines).flat().map(routineSignature));
+    for (const { manifest, installedVersion } of active) {
+        const declarationExtension = (attributes) => ({
+            version: installedVersion,
+            attributes: {
+                ...(attributes ?? {}),
+                manifest: manifest.name,
+                manifestRevision: manifest.revision,
+            },
+        });
+        for (const type of manifest.types ?? []) {
+            const key = typeKey(type);
+            if (types[key] !== undefined) {
+                issues.push(issue(`PostgreSQL extension type ${key} conflicts with existing snapshot evidence`));
+            }
+            else {
+                types[key] = {
+                    ...type,
+                    extension: declarationExtension(type.extension?.attributes),
+                };
+            }
+        }
+        for (const routine of manifest.routines ?? []) {
+            const signature = routineSignature(routine);
+            if (routineIdentities.has(signature)) {
+                issues.push(issue(`PostgreSQL extension routine ${signature} conflicts with an existing overload`));
+                continue;
+            }
+            routineIdentities.add(signature);
+            const key = routineKey(routine);
+            routines[key] = [
+                ...(routines[key] ?? []),
+                {
+                    ...routine,
+                    extension: declarationExtension(routine.extension?.attributes),
+                },
+            ];
+        }
+        for (const operator of manifest.operators ?? []) {
+            const signature = operatorSignature(operator);
+            if (operatorIdentities.has(signature)) {
+                issues.push(issue(`PostgreSQL extension operator ${signature} is ambiguous across active manifests`));
+                continue;
+            }
+            operatorIdentities.add(signature);
+            operators.push(operator);
+        }
+        for (const cast of manifest.casts ?? []) {
+            const signature = castSignature(cast);
+            if (castIdentities.has(signature) ||
+                postgresCatalogCast(cast.sourceType, cast.targetType, snapshot) !== undefined) {
+                issues.push(issue(`PostgreSQL extension cast ${signature} conflicts with existing cast evidence`));
+                continue;
+            }
+            castIdentities.add(signature);
+            casts.push(cast);
+        }
+        for (const codec of manifest.codecs ?? []) {
+            const key = codec.databaseType.toLowerCase();
+            if (codecs.has(key))
+                issues.push(issue(`PostgreSQL extension codec ${key} is ambiguous across active manifests`));
+            else
+                codecs.set(key, codec);
+        }
+    }
+    const attributes = {
+        ...(snapshot.extension?.attributes ?? {}),
+        postgresManifests: active.map(({ manifest, installedVersion }) => ({
+            name: manifest.name,
+            installedVersion,
+            revision: manifest.revision,
+        })),
+        postgresOperators: operators.map(({ name, argumentTypes, resultType }) => ({
+            name,
+            argumentTypes: [...argumentTypes],
+            resultType,
+        })),
+        postgresCasts: casts.map(({ sourceType, targetType, context }) => ({
+            sourceType,
+            targetType,
+            context,
+        })),
+    };
+    const resolved = defineSchemaSnapshotV2({
+        formatVersion: 2,
+        dialect: snapshot.dialect,
+        dialectVersion: snapshot.dialectVersion,
+        server: snapshot.server,
+        namespaces: snapshot.namespaces,
+        types,
+        relations: snapshot.relations,
+        routines,
+        ...(snapshot.metadata === undefined ? {} : { metadata: snapshot.metadata }),
+        extension: { version: snapshot.extension?.version ?? "1", attributes },
+    });
+    return Object.freeze({ snapshot: resolved, active: Object.freeze(active), codecs, issues: Object.freeze(issues) });
+}
+export async function introspectPostgresExtensionManifests(source, manifests, client) {
+    const selected = resolvePostgresExtensionManifests(source, manifests);
+    if (selected.issues.length > 0)
+        throw new PostgresExtensionResolutionError(selected.issues);
+    const enriched = [];
+    for (const { manifest, installedVersion } of selected.active) {
+        const contribution = await manifest.introspect?.(client, installedVersion);
+        try {
+            enriched.push(definePostgresExtensionManifest({
+                ...manifest,
+                ...(contribution?.types === undefined ? {} : { types: [...(manifest.types ?? []), ...contribution.types] }),
+                ...(contribution?.routines === undefined
+                    ? {}
+                    : { routines: [...(manifest.routines ?? []), ...contribution.routines] }),
+            }));
+        }
+        catch (error) {
+            throw new PostgresExtensionResolutionError([
+                issue(`PostgreSQL extension ${manifest.name} introspection returned conflicting evidence: ${error instanceof Error ? error.message : String(error)}`),
+            ]);
+        }
+    }
+    const resolved = resolvePostgresExtensionManifests(source, enriched);
+    if (resolved.issues.length > 0)
+        throw new PostgresExtensionResolutionError(resolved.issues);
+    return resolved;
+}
+function extensionArray(snapshot, key) {
+    if (snapshot.formatVersion !== 2)
+        return [];
+    const value = snapshot.extension?.attributes[key];
+    return Array.isArray(value) ? value : [];
+}
+export function postgresExtensionOperators(snapshot) {
+    if (snapshot === undefined)
+        return [];
+    return extensionArray(snapshot, "postgresOperators").flatMap((value) => {
+        if (typeof value !== "object" || value === null || Array.isArray(value))
+            return [];
+        const record = value;
+        if (typeof record.name !== "string" ||
+            !Array.isArray(record.argumentTypes) ||
+            !record.argumentTypes.every((type) => typeof type === "string") ||
+            (record.argumentTypes.length !== 1 && record.argumentTypes.length !== 2) ||
+            typeof record.resultType !== "string")
+            return [];
+        return [record];
+    });
+}
+export function postgresExtensionCasts(snapshot) {
+    if (snapshot === undefined)
+        return [];
+    return extensionArray(snapshot, "postgresCasts").flatMap((value) => {
+        if (typeof value !== "object" || value === null || Array.isArray(value))
+            return [];
+        const record = value;
+        if (typeof record.sourceType !== "string" ||
+            typeof record.targetType !== "string" ||
+            !["explicit", "assignment", "implicit"].includes(String(record.context)))
+            return [];
+        return [record];
+    });
+}
+//# sourceMappingURL=extensions.js.map

package/dist/packages/postgres/src/extensions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extensions.js","sourceRoot":"","sources":["../../../../src/extensions.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAEzD,MAAM,CAAC,MAAM,0CAA0C,GAAG,CAAU,CAAC;AA+DrE,MAAM,OAAO,gCAAiC,SAAQ,KAAK;IAChD,MAAM,CAAoC;IAEnD,YAAY,MAAyC;QACnD,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,IAAI,CAAC,IAAI,GAAG,kCAAkC,CAAC;QAC/C,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAcD,MAAM,oBAAoB,GAAG,qBAAqB,CAAC;AACnD,MAAM,cAAc,GAAG,gCAAgC,CAAC;AAExD,SAAS,UAAU,CAAQ,KAAY,EAAE,IAAI,GAAG,IAAI,GAAG,EAAU;IAC/D,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClH,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChE,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa,EAAE,IAAY;IAC3C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,oBAAoB,CAAC,CAAC;AAC/G,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAyB,EAAE,IAAY;IACjE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,oCAAoC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,4BAA4B,CAAC,CAAC;IACrH,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,IAAI,8BAA8B,CAAC,CAAC;AACtH,CAAC;AAED,SAAS,OAAO,CAAC,IAAkB;IACjC,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;AAC3G,CAAC;AAED,SAAS,UAAU,CAAC,OAAwB;IAC1C,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;QAChE,CAAC,CAAC,OAAO,CAAC,IAAI;QACd,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,gBAAgB,CAAC,OAAwB;IAChD,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,SAAS;SAC/C,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC;SACpC,GAAG,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC;SACrD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAmC;IAC5D,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACjH,CAAC;AAED,SAAS,aAAa,CAAC,IAA2B;IAChD,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,+BAA+B,CAAC,QAAmC;IACjF,IAAI,QAAQ,CAAC,aAAa,KAAK,0CAA0C,EAAE,CAAC;QAC1E,MAAM,IAAI,SAAS,CACjB,uDAAuD,0CAA0C,EAAE,CACpG,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACpH,kBAAkB,CAAC,QAAQ,CAAC,iBAAiB,EAAE,iDAAiD,CAAC,CAAC;IAClG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;IACtH,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,gCAAgC,CAAC,CAAC;QACtD,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,oCAAoC,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,QAAQ,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,8CAA8C,QAAQ,EAAE,CAAC,CAAC;QAC5G,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC9C,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,WAAW,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;QACxD,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,8CAA8C,QAAQ,EAAE,CAAC,CAAC;QAC5G,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QAChD,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;QAC9D,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/E,MAAM,IAAI,SAAS,CAAC,kEAAkE,CAAC,CAAC;QAC1F,CAAC;QACD,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACtC,QAAQ,CAAC,IAAI,EAAE,6CAA6C,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QACH,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,2CAA2C,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,YAAY,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,8CAA8C,QAAQ,EAAE,CAAC,CAAC;QAC5G,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,uCAAuC,CAAC,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,uCAAuC,CAAC,CAAC;QACnE,MAAM,QAAQ,GAAG,QAAQ,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,8CAA8C,QAAQ,EAAE,CAAC,CAAC;QAC5G,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QAC1C,QAAQ,CAAC,KAAK,CAAC,YAAY,EAAE,0CAA0C,CAAC,CAAC;QACzE,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,UAAU;YAAE,MAAM,IAAI,SAAS,CAAC,sDAAsD,CAAC,CAAC;QACpH,MAAM,QAAQ,GAAG,SAAS,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,CAAC;QAC7D,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,8CAA8C,QAAQ,EAAE,CAAC,CAAC;QAC5G,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAwB;IACnD,OAAO,IAAI,GAAG,CACZ,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QACpD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACvC,OAAO,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAU,CAAC,CAAC;IACrG,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,OAAe,EAAE,IAAI,GAAmC,QAAQ;IAC7E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,iCAAiC,CAC/C,MAAsB,EACtB,SAA+C;IAE/C,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;IACvF,MAAM,SAAS,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,MAAM,GAAwE,EAAE,CAAC;IACvF,MAAM,MAAM,GAA6B,EAAE,CAAC;IAC5C,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAC;QACxD,MAAM,gBAAgB,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,gBAAgB,KAAK,SAAS;YAAE,SAAS;QAC7C,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CACT,KAAK,CACH,wBAAwB,QAAQ,CAAC,IAAI,IAAI,gBAAgB,wBAAwB,QAAQ,CAAC,QAAQ,uBAAuB,EACzH,QAAQ,CACT,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,iDAAiD,QAAQ,CAAC,IAAI,IAAI,gBAAgB,EAAE,CAAC,CAAC,CAAC;YACzG,SAAS;QACX,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC9C,CAAC;IAED,MAAM,KAAK,GAAG,EAAE,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CACjC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CACnF,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkC,CAAC;IACzD,MAAM,SAAS,GAAyB,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,0BAA0B,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAChG,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IACpF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAExF,KAAK,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,IAAI,MAAM,EAAE,CAAC;QACpD,MAAM,oBAAoB,GAAG,CAAC,UAAuE,EAAE,EAAE,CAAC,CAAC;YACzG,OAAO,EAAE,gBAAgB;YACzB,UAAU,EAAE;gBACV,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;gBACrB,QAAQ,EAAE,QAAQ,CAAC,IAAI;gBACvB,gBAAgB,EAAE,QAAQ,CAAC,QAAQ;aACpC;SACF,CAAC,CAAC;QACH,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,GAAG,4CAA4C,CAAC,CAAC,CAAC;YACnG,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,GAAG,CAAC,GAAG;oBACX,GAAG,IAAI;oBACP,SAAS,EAAE,oBAAoB,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC;iBAC5C,CAAC;YACpB,CAAC;QACH,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;YAC9C,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAC5C,IAAI,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,gCAAgC,SAAS,sCAAsC,CAAC,CAAC,CAAC;gBACpG,SAAS;YACX,CAAC;YACD,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACjC,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;YAChC,QAAQ,CAAC,GAAG,CAAC,GAAG;gBACd,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;gBACxB;oBACE,GAAG,OAAO;oBACV,SAAS,EAAE,oBAAoB,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC;iBAC/D;aACF,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YAChD,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAC9C,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,SAAS,uCAAuC,CAAC,CAAC,CAAC;gBACtG,SAAS;YACX,CAAC;YACD,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAClC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;YACtC,IACE,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC;gBAC7B,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,SAAS,EAC7E,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,SAAS,wCAAwC,CAAC,CAAC,CAAC;gBACnG,SAAS;YACX,CAAC;YACD,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC;YAC7C,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,GAAG,uCAAuC,CAAC,CAAC,CAAC;;gBAC7G,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAA0C;QACxD,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,UAAU,IAAI,EAAE,CAAC;QACzC,iBAAiB,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC,CAAC;YACjE,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,gBAAgB;YAChB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;SAC5B,CAAC,CAAC;QACH,iBAAiB,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;YACzE,IAAI;YACJ,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC;YACjC,UAAU;SACX,CAAC,CAA0B;QAC5B,aAAa,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACjE,UAAU;YACV,UAAU;YACV,OAAO;SACR,CAAC,CAA0B;KAC7B,CAAC;IACF,MAAM,QAAQ,GAAG,sBAAsB,CAAC;QACtC,aAAa,EAAE,CAAC;QAChB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,cAAc,EAAE,QAAQ,CAAC,cAAc;QACvC,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,KAAK;QACL,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,QAAQ;QACR,GAAG,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC3E,SAAS,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,IAAI,GAAG,EAAE,UAAU,EAAE;KACvE,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACrH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,MAAsB,EACtB,SAA+C,EAC/C,MAAkC;IAElC,MAAM,QAAQ,GAAG,iCAAiC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtE,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,gCAAgC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5F,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,KAAK,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC7D,MAAM,YAAY,GAAG,MAAM,QAAQ,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;QAC3E,IAAI,CAAC;YACH,QAAQ,CAAC,IAAI,CACX,+BAA+B,CAAC;gBAC9B,GAAG,QAAQ;gBACX,GAAG,CAAC,YAAY,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,GAAG,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC3G,GAAG,CAAC,YAAY,EAAE,QAAQ,KAAK,SAAS;oBACtC,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;aAC5E,CAAC,CACH,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,IAAI,gCAAgC,CAAC;gBACzC,KAAK,CACH,wBAAwB,QAAQ,CAAC,IAAI,iDAAiD,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC/I;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,iCAAiC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACrE,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,gCAAgC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5F,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,QAAwB,EAAE,GAAW;IAC3D,IAAI,QAAQ,CAAC,aAAa,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IAClD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,QAAyB;IAClE,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACtC,OAAO,cAAc,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACrE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACnF,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IACE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC/B,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC;YACpC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;YAC/D,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,CAAC;YACxE,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;YAErC,OAAO,EAAE,CAAC;QACZ,OAAO,CAAC,MAA8C,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAyB;IAC9D,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACtC,OAAO,cAAc,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QACjE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACnF,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IACE,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;YACrC,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;YACrC,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAExE,OAAO,EAAE,CAAC;QACZ,OAAO,CAAC,MAA0C,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/packages/postgres/src/index.d.ts

@@ -1,23 +1,36 @@
 import { type DialectPlugin } from "@typed-sql/core";
 import { type SchemaSnapshot } from "@typed-sql/schema";
+import { type PostgresExtensionManifest } from "./extensions.js";
 import { type PostgresTypePolicy } from "./type-policy.js";
 export type { PostgresCopyCapability, PostgresCopyFromOptions, PostgresCopyProgress, PostgresCopyResult, PostgresCopyToOptions, } from "./bulk.js";
 export { postgresCopy } from "./bulk.js";
+export type { PostgresCoreCatalog } from "./catalog/index.js";
+export { POSTGRES_CORE_CATALOG_FORMAT_VERSION, postgresCoreCatalog } from "./catalog/index.js";
+export type { PostgresExtensionCast, PostgresExtensionCodec, PostgresExtensionContribution, PostgresExtensionIssue, PostgresExtensionManifest, PostgresExtensionOperator, PostgresExtensionQueryable, ResolvedPostgresExtensions, } from "./extensions.js";
+export { definePostgresExtensionManifest, introspectPostgresExtensionManifests, POSTGRES_EXTENSION_MANIFEST_FORMAT_VERSION, PostgresExtensionResolutionError, resolvePostgresExtensionManifests, } from "./extensions.js";
+export type { PostgresRuntimeCompatibilityReason } from "./runtime-compatibility.js";
+export { PostgresRuntimeCompatibilityError, parsePostgresRuntimeSnapshot, validatePostgresRuntimeCompatibility, } from "./runtime-compatibility.js";
 export { POSTGRES_DIALECT_VERSION } from "./version.js";
 export type PostgresSchemaSnapshot = SchemaSnapshot & {
     readonly dialect: "postgres";
 };
 export interface PostgresDialectOptions {
     readonly typePolicy?: PostgresTypePolicy;
+    readonly versionPolicy?: import("./capabilities.js").PostgresVersionPolicy;
+    readonly extensions?: readonly PostgresExtensionManifest[];
 }
 export declare function postgres(options?: PostgresDialectOptions): DialectPlugin<PostgresSchemaSnapshot, PostgresTypePolicy>;
 export { sql } from "@typed-sql/core";
 export type { SchemaSnapshot } from "@typed-sql/schema";
 export { parseSchemaSnapshot } from "@typed-sql/schema";
+export type { PostgresVersionPolicy } from "./capabilities.js";
+export { parsePostgresMajor, postgresServerEvidence, resolvePostgresCapabilities } from "./capabilities.js";
 export type { PostgresDriverImporter, PostgresDriverModule, PostgresIntrospectionClient, PostgresIntrospectionPool, PostgresQueryable, PostgresQueryResult, PostgresSchemaProviderOptions, } from "./provider.js";
 export { introspectPostgres, loadPostgresDriver, PostgresSchemaProvider, postgresCatalogQueries } from "./provider.js";
 export type { PostgresQuerySemanticResolverOptions, PostgresRoutedDatabaseOptions } from "./routing.js";
 export { createPostgresQuerySemanticResolver, createPostgresRoutedDatabase, isPostgresRetryableTransactionError, } from "./routing.js";
+export type { PostgresVersionSupport } from "./support.js";
+export { POSTGRES_SUPPORT_POLICY, postgresVersionSupport } from "./support.js";
 export type { PostgresTypePolicy } from "./type-policy.js";
 export { defaultPostgresTypePolicy, defaultPostgresTypePolicy as typePolicy, isKnownPostgresType, mapPostgresType, } from "./type-policy.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/packages/postgres/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAA4B,KAAK,aAAa,EAAyB,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAuB,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAG7E,OAAO,EAA6B,KAAK,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAGtF,YAAY,EACV,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAExD,MAAM,MAAM,sBAAsB,GAAG,cAAc,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;CAAE,CAAC;AACvF,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;CAC1C;AA0BD,wBAAgB,QAAQ,CACtB,OAAO,GAAE,sBAA2B,GACnC,aAAa,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CAsC3D;AAED,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,YAAY,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,YAAY,EACV,sBAAsB,EACtB,oBAAoB,EACpB,2BAA2B,EAC3B,yBAAyB,EACzB,iBAAiB,EACjB,mBAAmB,EACnB,6BAA6B,GAC9B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvH,YAAY,EAAE,oCAAoC,EAAE,6BAA6B,EAAE,MAAM,cAAc,CAAC;AACxG,OAAO,EACL,mCAAmC,EACnC,4BAA4B,EAC5B,mCAAmC,GACpC,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EACL,yBAAyB,EACzB,yBAAyB,IAAI,UAAU,EACvC,mBAAmB,EACnB,eAAe,GAChB,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,aAAa,EAEnB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAuB,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAE7E,OAAO,EAAE,KAAK,yBAAyB,EAAqC,MAAM,iBAAiB,CAAC;AAIpG,OAAO,EAA6B,KAAK,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAGtF,YAAY,EACV,sBAAsB,EACtB,uBAAuB,EACvB,oBAAoB,EACpB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,YAAY,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,oCAAoC,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC/F,YAAY,EACV,qBAAqB,EACrB,sBAAsB,EACtB,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,yBAAyB,EACzB,0BAA0B,EAC1B,0BAA0B,GAC3B,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,0CAA0C,EAC1C,gCAAgC,EAChC,iCAAiC,GAClC,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,kCAAkC,EAAE,MAAM,4BAA4B,CAAC;AACrF,OAAO,EACL,iCAAiC,EACjC,4BAA4B,EAC5B,oCAAoC,GACrC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAExD,MAAM,MAAM,sBAAsB,GAAG,cAAc,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;CAAE,CAAC;AACvF,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,mBAAmB,EAAE,qBAAqB,CAAC;IAC3E,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,yBAAyB,EAAE,CAAC;CAC5D;AAmBD,wBAAgB,QAAQ,CACtB,OAAO,GAAE,sBAA2B,GACnC,aAAa,CAAC,sBAAsB,EAAE,kBAAkB,CAAC,CAsE3D;AAED,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AACtC,YAAY,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,YAAY,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAC5G,YAAY,EACV,sBAAsB,EACtB,oBAAoB,EACpB,2BAA2B,EAC3B,yBAAyB,EACzB,iBAAiB,EACjB,mBAAmB,EACnB,6BAA6B,GAC9B,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvH,YAAY,EAAE,oCAAoC,EAAE,6BAA6B,EAAE,MAAM,cAAc,CAAC;AACxG,OAAO,EACL,mCAAmC,EACnC,4BAA4B,EAC5B,mCAAmC,GACpC,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAC/E,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EACL,yBAAyB,EACzB,yBAAyB,IAAI,UAAU,EACvC,mBAAmB,EACnB,eAAe,GAChB,MAAM,kBAAkB,CAAC"}

package/dist/packages/postgres/src/index.js

@@ -1,22 +1,17 @@
-import { parseStatement, SqlParseError } from "@typed-sql/ast";
-import { DIALECT_CONTRACT_VERSION, unknownQuerySemantics } from "@typed-sql/core";
+import { applyDialectCapabilityStates, DIALECT_CONTRACT_VERSION, unknownQuerySemantics, } from "@typed-sql/core";
 import { parseSchemaSnapshot } from "@typed-sql/schema";
+import { assertPostgresServerEvidence, POSTGRES_CAPABILITIES, resolvePostgresCapabilities } from "./capabilities.js";
+import { resolvePostgresExtensionManifests } from "./extensions.js";
+import { parseStatement, SqlParseError } from "./parser/index.js";
 import { resolveStatement } from "./resolver.js";
 import { analyzePostgresSemantics } from "./semantics.js";
 import { defaultPostgresTypePolicy } from "./type-policy.js";
 import { POSTGRES_DIALECT_VERSION } from "./version.js";
 export { postgresCopy } from "./bulk.js";
+export { POSTGRES_CORE_CATALOG_FORMAT_VERSION, postgresCoreCatalog } from "./catalog/index.js";
+export { definePostgresExtensionManifest, introspectPostgresExtensionManifests, POSTGRES_EXTENSION_MANIFEST_FORMAT_VERSION, PostgresExtensionResolutionError, resolvePostgresExtensionManifests, } from "./extensions.js";
+export { PostgresRuntimeCompatibilityError, parsePostgresRuntimeSnapshot, validatePostgresRuntimeCompatibility, } from "./runtime-compatibility.js";
 export { POSTGRES_DIALECT_VERSION } from "./version.js";
-const capabilities = Object.freeze({
-    aggregateFilter: true,
-    arrays: true,
-    distinctOn: true,
-    fullJoins: true,
-    lockingReads: true,
-    recursiveCtes: false,
-    returning: true,
-    setOperations: false,
-});
 function validatePostgresSnapshot(value) {
     const snapshot = parseSchemaSnapshot(value);
     if (snapshot.dialect !== "postgres") {
@@ -25,16 +20,33 @@ function validatePostgresSnapshot(value) {
     if (snapshot.dialectVersion !== undefined && snapshot.dialectVersion !== POSTGRES_DIALECT_VERSION) {
         throw new TypeError(`@typed-sql/postgres grammar ${POSTGRES_DIALECT_VERSION} cannot use snapshot dialectVersion ${snapshot.dialectVersion}`);
     }
+    if (snapshot.server !== undefined && snapshot.server.product !== "postgres") {
+        throw new TypeError(`@typed-sql/postgres cannot use ${snapshot.server.product} server evidence`);
+    }
+    if (snapshot.server !== undefined)
+        assertPostgresServerEvidence(snapshot.server);
     return snapshot;
 }
 export function postgres(options = {}) {
     const defaultTypePolicy = options.typePolicy ?? defaultPostgresTypePolicy;
+    const versionPolicy = options.versionPolicy ?? "stable";
+    const capabilityCache = new WeakMap();
+    const extensionCache = new WeakMap();
+    const capabilitiesFor = (snapshot) => {
+        const cached = capabilityCache.get(snapshot);
+        if (cached !== undefined)
+            return cached;
+        const resolved = resolvePostgresCapabilities(snapshot, versionPolicy);
+        capabilityCache.set(snapshot, resolved);
+        return resolved;
+    };
     return Object.freeze({
         contractVersion: DIALECT_CONTRACT_VERSION,
         id: "postgres",
         grammarVersion: POSTGRES_DIALECT_VERSION,
         sqlModule: "@typed-sql/postgres",
-        capabilities,
+        capabilities: POSTGRES_CAPABILITIES,
+        resolveCapabilities: capabilitiesFor,
         defaultTypePolicy,
         placeholder(index) {
             if (!Number.isInteger(index) || index < 1)
@@ -47,13 +59,33 @@ export function postgres(options = {}) {
         analyze(sql, snapshot, policy = defaultTypePolicy) {
             try {
                 const statement = parseStatement(sql);
-                const resolved = resolveStatement(statement, snapshot, { typePolicy: policy });
-                return {
+                let extensions;
+                if ((options.extensions?.length ?? 0) > 0) {
+                    extensions = extensionCache.get(snapshot);
+                    if (extensions === undefined) {
+                        extensions = resolvePostgresExtensionManifests(snapshot, options.extensions ?? []);
+                        extensionCache.set(snapshot, extensions);
+                    }
+                }
+                const analysisSnapshot = extensions?.snapshot ?? snapshot;
+                const extensionIssues = extensions?.issues ?? [];
+                const resolved = resolveStatement(statement, analysisSnapshot, { typePolicy: policy });
+                const analysis = {
                     ...resolved,
-                    semantics: resolved.diagnostics.some(({ severity }) => severity === "error")
+                    diagnostics: [
+                        ...resolved.diagnostics,
+                        ...extensionIssues.map(({ code, message }) => ({
+                            code,
+                            message,
+                            severity: "error",
+                            range: statement.range,
+                        })),
+                    ],
+                    semantics: resolved.diagnostics.some(({ severity }) => severity === "error") || extensionIssues.length > 0
                         ? unknownQuerySemantics(statement.range, "PostgreSQL semantic analysis reported an error.")
-                        : analyzePostgresSemantics(statement, snapshot),
+                        : analyzePostgresSemantics(statement, analysisSnapshot),
                 };
+                return applyDialectCapabilityStates(analysis, capabilitiesFor(snapshot), statement.range);
             }
             catch (error) {
                 if (!(error instanceof SqlParseError))
@@ -71,7 +103,9 @@ export function postgres(options = {}) {
 }
 export { sql } from "@typed-sql/core";
 export { parseSchemaSnapshot } from "@typed-sql/schema";
+export { parsePostgresMajor, postgresServerEvidence, resolvePostgresCapabilities } from "./capabilities.js";
 export { introspectPostgres, loadPostgresDriver, PostgresSchemaProvider, postgresCatalogQueries } from "./provider.js";
 export { createPostgresQuerySemanticResolver, createPostgresRoutedDatabase, isPostgresRetryableTransactionError, } from "./routing.js";
+export { POSTGRES_SUPPORT_POLICY, postgresVersionSupport } from "./support.js";
 export { defaultPostgresTypePolicy, defaultPostgresTypePolicy as typePolicy, isKnownPostgresType, mapPostgresType, } from "./type-policy.js";
 //# sourceMappingURL=index.js.map

package/dist/packages/postgres/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EAAE,wBAAwB,EAAsB,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAE,mBAAmB,EAAuB,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAA2B,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AASxD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AAOxD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC;IACjC,eAAe,EAAE,IAAI;IACrB,MAAM,EAAE,IAAI;IACZ,UAAU,EAAE,IAAI;IAChB,SAAS,EAAE,IAAI;IACf,YAAY,EAAE,IAAI;IAClB,aAAa,EAAE,KAAK;IACpB,SAAS,EAAE,IAAI;IACf,aAAa,EAAE,KAAK;CACrB,CAAC,CAAC;AAEH,SAAS,wBAAwB,CAAC,KAAc;IAC9C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,IAAI,SAAS,CAAC,oCAAoC,QAAQ,CAAC,OAAO,kBAAkB,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,IAAI,QAAQ,CAAC,cAAc,KAAK,wBAAwB,EAAE,CAAC;QAClG,MAAM,IAAI,SAAS,CACjB,+BAA+B,wBAAwB,uCAAuC,QAAQ,CAAC,cAAc,EAAE,CACxH,CAAC;IACJ,CAAC;IACD,OAAO,QAAkC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,OAAO,GAA2B,EAAE;IAEpC,MAAM,iBAAiB,GAAG,OAAO,CAAC,UAAU,IAAI,yBAAyB,CAAC;IAC1E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe,EAAE,wBAAwB;QACzC,EAAE,EAAE,UAAU;QACd,cAAc,EAAE,wBAAwB;QACxC,SAAS,EAAE,qBAAqB;QAChC,YAAY;QACZ,iBAAiB;QACjB,WAAW,CAAC,KAAa;YACvB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,yCAAyC,CAAC,CAAC;YAC3G,OAAO,IAAI,KAAK,EAAE,CAAC;QACrB,CAAC;QACD,eAAe,CAAC,UAAkB;YAChC,OAAO,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;QACjD,CAAC;QACD,OAAO,CAAC,GAAW,EAAE,QAAgC,EAAE,MAAM,GAAG,iBAAiB;YAC/E,IAAI,CAAC;gBACH,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;gBACtC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC/E,OAAO;oBACL,GAAG,QAAQ;oBACX,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC;wBAC1E,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,EAAE,iDAAiD,CAAC;wBAC3F,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,QAAQ,CAAC;iBAClD,CAAC;YACJ,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,CAAC,KAAK,YAAY,aAAa,CAAC;oBAAE,MAAM,KAAK,CAAC;gBACnD,OAAO;oBACL,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,EAAE;oBACd,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;oBAC3G,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,KAAK,EAAE,wDAAwD,CAAC;iBACxG,CAAC;YACJ,CAAC;QACH,CAAC;QACD,gBAAgB,EAAE,wBAAwB;KAC3C,CAAC,CAAC;AACL,CAAC;AAED,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AAEtC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAUxD,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAEvH,OAAO,EACL,mCAAmC,EACnC,4BAA4B,EAC5B,mCAAmC,GACpC,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,yBAAyB,EACzB,yBAAyB,IAAI,UAAU,EACvC,mBAAmB,EACnB,eAAe,GAChB,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,4BAA4B,EAC5B,wBAAwB,EAExB,qBAAqB,GACtB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,mBAAmB,EAAuB,MAAM,mBAAmB,CAAC;AAC7E,OAAO,EAAE,4BAA4B,EAAE,qBAAqB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AACrH,OAAO,EAAkC,iCAAiC,EAAE,MAAM,iBAAiB,CAAC;AACpG,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAA2B,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AASxD,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAEzC,OAAO,EAAE,oCAAoC,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAW/F,OAAO,EACL,+BAA+B,EAC/B,oCAAoC,EACpC,0CAA0C,EAC1C,gCAAgC,EAChC,iCAAiC,GAClC,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,iCAAiC,EACjC,4BAA4B,EAC5B,oCAAoC,GACrC,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC;AASxD,SAAS,wBAAwB,CAAC,KAAc;IAC9C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,IAAI,SAAS,CAAC,oCAAoC,QAAQ,CAAC,OAAO,kBAAkB,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,IAAI,QAAQ,CAAC,cAAc,KAAK,wBAAwB,EAAE,CAAC;QAClG,MAAM,IAAI,SAAS,CACjB,+BAA+B,wBAAwB,uCAAuC,QAAQ,CAAC,cAAc,EAAE,CACxH,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC5E,MAAM,IAAI,SAAS,CAAC,kCAAkC,QAAQ,CAAC,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,4BAA4B,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjF,OAAO,QAAkC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,OAAO,GAA2B,EAAE;IAEpC,MAAM,iBAAiB,GAAG,OAAO,CAAC,UAAU,IAAI,yBAAyB,CAAC;IAC1E,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,QAAQ,CAAC;IACxD,MAAM,eAAe,GAAG,IAAI,OAAO,EAA0E,CAAC;IAC9G,MAAM,cAAc,GAAG,IAAI,OAAO,EAAgF,CAAC;IACnH,MAAM,eAAe,GAAG,CAAC,QAAgC,EAAkD,EAAE;QAC3G,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,QAAQ,GAAG,2BAA2B,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QACtE,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACxC,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe,EAAE,wBAAwB;QACzC,EAAE,EAAE,UAAU;QACd,cAAc,EAAE,wBAAwB;QACxC,SAAS,EAAE,qBAAqB;QAChC,YAAY,EAAE,qBAAqB;QACnC,mBAAmB,EAAE,eAAe;QACpC,iBAAiB;QACjB,WAAW,CAAC,KAAa;YACvB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;gBAAE,MAAM,IAAI,UAAU,CAAC,yCAAyC,CAAC,CAAC;YAC3G,OAAO,IAAI,KAAK,EAAE,CAAC;QACrB,CAAC;QACD,eAAe,CAAC,UAAkB;YAChC,OAAO,IAAI,UAAU,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;QACjD,CAAC;QACD,OAAO,CAAC,GAAW,EAAE,QAAgC,EAAE,MAAM,GAAG,iBAAiB;YAC/E,IAAI,CAAC;gBACH,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;gBACtC,IAAI,UAA4E,CAAC;gBACjF,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC1C,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAC1C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;wBAC7B,UAAU,GAAG,iCAAiC,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;wBACnF,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;oBAC3C,CAAC;gBACH,CAAC;gBACD,MAAM,gBAAgB,GAAG,UAAU,EAAE,QAAQ,IAAI,QAAQ,CAAC;gBAC1D,MAAM,eAAe,GAAG,UAAU,EAAE,MAAM,IAAI,EAAE,CAAC;gBACjD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,SAAS,EAAE,gBAAgB,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;gBACvF,MAAM,QAAQ,GAAG;oBACf,GAAG,QAAQ;oBACX,WAAW,EAAE;wBACX,GAAG,QAAQ,CAAC,WAAW;wBACvB,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;4BAC7C,IAAI;4BACJ,OAAO;4BACP,QAAQ,EAAE,OAAgB;4BAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;yBACvB,CAAC,CAAC;qBACJ;oBACD,SAAS,EACP,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC;wBAC7F,CAAC,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,EAAE,iDAAiD,CAAC;wBAC3F,CAAC,CAAC,wBAAwB,CAAC,SAAS,EAAE,gBAAgB,CAAC;iBAC5D,CAAC;gBACF,OAAO,4BAA4B,CAAC,QAAQ,EAAE,eAAe,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;YAC5F,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,CAAC,KAAK,YAAY,aAAa,CAAC;oBAAE,MAAM,KAAK,CAAC;gBACnD,OAAO;oBACL,OAAO,EAAE,EAAE;oBACX,UAAU,EAAE,EAAE;oBACd,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;oBAC3G,SAAS,EAAE,qBAAqB,CAAC,KAAK,CAAC,KAAK,EAAE,wDAAwD,CAAC;iBACxG,CAAC;YACJ,CAAC;QACH,CAAC;QACD,gBAAgB,EAAE,wBAAwB;KAC3C,CAAC,CAAC;AACL,CAAC;AAED,OAAO,EAAE,GAAG,EAAE,MAAM,iBAAiB,CAAC;AAEtC,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD,OAAO,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AAU5G,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAEvH,OAAO,EACL,mCAAmC,EACnC,4BAA4B,EAC5B,mCAAmC,GACpC,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAE/E,OAAO,EACL,yBAAyB,EACzB,yBAAyB,IAAI,UAAU,EACvC,mBAAmB,EACnB,eAAe,GAChB,MAAM,kBAAkB,CAAC"}

package/dist/packages/postgres/src/parser/index.d.ts

@@ -0,0 +1,8 @@
+export type { ParseOptions } from "./parser.js";
+export { DEFAULT_MAX_PARSE_DEPTH, parseSelect, parseStatement, SqlParseError } from "./parser.js";
+export type { TokenizeOptions } from "./tokenizer.js";
+export { DEFAULT_MAX_SQL_LENGTH, DEFAULT_MAX_TOKENS, SqlTokenizeError, tokenize } from "./tokenizer.js";
+export type { ArrayExpression, AtTimeZoneExpression, BetweenExpression, BinaryExpression, CallExpression, CaseBranch, CaseExpression, CastExpression, CollateExpression, ColumnExpression, CommonTableExpression, CompoundSelect, CurrentOfClause, DefaultValuesClause, DeleteStatement, ExistsExpression, Expression, FetchClause, FieldAccessExpression, FunctionTableReference, GroupingElement, Identifier, InExpression, InsertConflictAction, InsertConflictClause, InsertConflictElement, InsertConflictTarget, InsertStatement, JoinClause, JoinKind, JsonArrayAggregateExpression, JsonArrayExpression, JsonBehavior, JsonExistsExpression, JsonFormat, JsonIsExpression, JsonObjectAggregateExpression, JsonObjectEntry, JsonObjectExpression, JsonParseExpression, JsonPassingArgument, JsonQueryExpression, JsonReturning, JsonScalarExpression, JsonSerializeExpression, JsonTableColumn, JsonTableExistsColumn, JsonTableNestedColumn, JsonTableOrdinalityColumn, JsonTableReference, JsonTableValueColumn, JsonValueExpression, JsonValueQueryExpression, LiteralExpression, MergeAction, MergeInsertAction, MergeStatement, MergeUpdateAction, MergeValuesReference, MergeWhenClause, NamedTableReference, NamedWindow, OrderByItem, ParameterExpression, QualifiedIdentifier, QuantifiedComparisonExpression, ReturningAliases, RowExpression, SelectItem, SelectLockingClause, SelectStatement, SourceRange, SqlDiagnostic, StarExpression, Statement, SubqueryExpression, SubqueryTableReference, SubscriptExpression, TableFunctionColumn, TableFunctionItem, TableReference, TableSampleClause, Token, TokenKind, TypeName, UnaryExpression, UpdateAssignment, UpdateStatement, ValuesClause, WindowFrame, WindowFrameBound, WindowFrameExclusion, WindowFrameUnit, WindowSpecification, WithClause, } from "./types.js";
+export type { SqlAstContext, SqlAstVisitor } from "./walk.js";
+export { walkStatement } from "./walk.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/packages/postgres/src/parser/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/parser/index.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAClG,YAAY,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACtD,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AACxG,YAAY,EACV,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,UAAU,EACV,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,gBAAgB,EAChB,UAAU,EACV,WAAW,EACX,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,UAAU,EACV,YAAY,EACZ,oBAAoB,EACpB,oBAAoB,EACpB,qBAAqB,EACrB,oBAAoB,EACpB,eAAe,EACf,UAAU,EACV,QAAQ,EACR,4BAA4B,EAC5B,mBAAmB,EACnB,YAAY,EACZ,oBAAoB,EACpB,UAAU,EACV,gBAAgB,EAChB,6BAA6B,EAC7B,eAAe,EACf,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,aAAa,EACb,oBAAoB,EACpB,uBAAuB,EACvB,eAAe,EACf,qBAAqB,EACrB,qBAAqB,EACrB,yBAAyB,EACzB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,wBAAwB,EACxB,iBAAiB,EACjB,WAAW,EACX,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,eAAe,EACf,mBAAmB,EACnB,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,mBAAmB,EACnB,8BAA8B,EAC9B,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,mBAAmB,EACnB,eAAe,EACf,WAAW,EACX,aAAa,EACb,cAAc,EACd,SAAS,EACT,kBAAkB,EAClB,sBAAsB,EACtB,mBAAmB,EACnB,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,KAAK,EACL,SAAS,EACT,QAAQ,EACR,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,mBAAmB,EACnB,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC"}

package/dist/packages/postgres/src/parser/index.js

@@ -0,0 +1,4 @@
+export { DEFAULT_MAX_PARSE_DEPTH, parseSelect, parseStatement, SqlParseError } from "./parser.js";
+export { DEFAULT_MAX_SQL_LENGTH, DEFAULT_MAX_TOKENS, SqlTokenizeError, tokenize } from "./tokenizer.js";
+export { walkStatement } from "./walk.js";
+//# sourceMappingURL=index.js.map

package/dist/packages/postgres/src/parser/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/parser/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,uBAAuB,EAAE,WAAW,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAElG,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAmGxG,OAAO,EAAE,aAAa,EAAE,MAAM,WAAW,CAAC"}

package/dist/packages/postgres/src/parser/parser.d.ts

@@ -0,0 +1,14 @@
+import { type TokenizeOptions } from "./tokenizer.js";
+import { type SelectStatement, type SourceRange, type Statement } from "./types.js";
+export declare const DEFAULT_MAX_PARSE_DEPTH = 128;
+export interface ParseOptions extends TokenizeOptions {
+    readonly maxDepth?: number;
+}
+export declare class SqlParseError extends Error {
+    readonly code: string;
+    readonly range: SourceRange;
+    constructor(message: string, range: SourceRange, code?: string);
+}
+export declare function parseStatement(source: string, options?: ParseOptions): Statement;
+export declare function parseSelect(source: string, options?: ParseOptions): SelectStatement;
+//# sourceMappingURL=parser.d.ts.map

package/dist/packages/postgres/src/parser/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../../../src/parser/parser.ts"],"names":[],"mappings":"AACA,OAAO,EAAoB,KAAK,eAAe,EAAY,MAAM,gBAAgB,CAAC;AAClF,OAAO,EAgCL,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,SAAS,EAYf,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAE3C,MAAM,WAAW,YAAa,SAAQ,eAAe;IACnD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,qBAAa,aAAc,SAAQ,KAAK;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAE5B,YAAY,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,SAAW,EAK/D;CACF;AAijFD,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB,GAAG,SAAS,CAEpF;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB,GAAG,eAAe,CAKvF"}