@typed-sql/postgres 2.0.0 → 2.1.0-rc.1

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

@@ -0,0 +1,45 @@
+/**
+ * Grammar-owned release boundary. Minor targets are refreshed from PostgreSQL's upstream support
+ * table and become release evidence only after the differential matrix records them.
+ */
+export const POSTGRES_SUPPORT_POLICY = Object.freeze({
+    stableMajors: Object.freeze([14, 15, 16, 17, 18]),
+    matrixMinors: Object.freeze({
+        14: "14.24",
+        15: "15.19",
+        16: "16.15",
+        17: "17.11",
+        18: "18.6",
+    }),
+    canary: Object.freeze({ major: 19, version: "19beta3" }),
+    minorCompatibility: "within-major",
+    upstreamPolicy: "all-upstream-supported-majors",
+    deprecation: Object.freeze({
+        noticeBeforeUpstreamEolDays: 90,
+        removal: "first-typed-sql-minor-after-upstream-eol",
+    }),
+});
+export function parsePostgresMajor(value) {
+    const match = /^(\d+)(?:\.\d+)?(?:\D.*)?$/u.exec(value.trim());
+    if (match === null)
+        return undefined;
+    const major = Number(match[1]);
+    return Number.isSafeInteger(major) && major > 0 ? major : undefined;
+}
+export function postgresVersionSupport(value, versionPolicy = "stable") {
+    const major = parsePostgresMajor(value);
+    if (major === undefined)
+        return "unknown";
+    const prerelease = /(?:alpha|beta|rc|devel)/iu.test(value);
+    if (major === POSTGRES_SUPPORT_POLICY.canary.major) {
+        return versionPolicy === "canary" ? "canary" : prerelease ? "prerelease" : "newer-than-tested";
+    }
+    if (prerelease)
+        return "prerelease";
+    if (POSTGRES_SUPPORT_POLICY.stableMajors.includes(major))
+        return "supported";
+    if (major < POSTGRES_SUPPORT_POLICY.stableMajors[0])
+        return "below-supported";
+    return "newer-than-tested";
+}
+//# sourceMappingURL=support.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"support.js","sourceRoot":"","sources":["../../../../src/support.ts"],"names":[],"mappings":"AASA;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;IACnD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAU,CAAC;IAC1D,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC;QAC1B,EAAE,EAAE,OAAO;QACX,EAAE,EAAE,OAAO;QACX,EAAE,EAAE,OAAO;QACX,EAAE,EAAE,OAAO;QACX,EAAE,EAAE,MAAM;KACF,CAAC;IACX,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACxD,kBAAkB,EAAE,cAAc;IAClC,cAAc,EAAE,+BAA+B;IAC/C,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC;QACzB,2BAA2B,EAAE,EAAE;QAC/B,OAAO,EAAE,0CAA0C;KACpD,CAAC;CACM,CAAC,CAAC;AAEZ,MAAM,UAAU,kBAAkB,CAAC,KAAa;IAC9C,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC/D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAAa,EACb,aAAa,GAA0B,QAAQ;IAE/C,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,UAAU,GAAG,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,IAAI,KAAK,KAAK,uBAAuB,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACnD,OAAO,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,mBAAmB,CAAC;IACjG,CAAC;IACD,IAAI,UAAU;QAAE,OAAO,YAAY,CAAC;IACpC,IAAI,uBAAuB,CAAC,YAAY,CAAC,QAAQ,CAAC,KAA+B,CAAC;QAAE,OAAO,WAAW,CAAC;IACvG,IAAI,KAAK,GAAG,uBAAuB,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,iBAAiB,CAAC;IAC9E,OAAO,mBAAmB,CAAC;AAC7B,CAAC"}

package/dist/packages/postgres/src/type-policy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-policy.d.ts","sourceRoot":"","sources":["../../../../src/type-policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,cAAc,GAAG,QAAQ,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,OAAO,CAAC;CACvC;AAED,eAAO,MAAM,yBAAyB,EAAE,kBAOtC,CAAC;AAKH,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,OAAO,CAoC1F;AAED,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAyBjH"}
+{"version":3,"file":"type-policy.d.ts","sourceRoot":"","sources":["../../../../src/type-policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAGxD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,cAAc,GAAG,QAAQ,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,OAAO,CAAC;CACvC;AAED,eAAO,MAAM,yBAAyB,EAAE,kBAOtC,CAAC;AAsBH,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,OAAO,CAK1F;AAED,wBAAgB,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAsBjH"}

package/dist/packages/postgres/src/type-policy.js

@@ -1,3 +1,4 @@
+import { postgresCatalogTypeMapping } from "./catalog/index.js";
 export const defaultPostgresTypePolicy = Object.freeze({
     bigint: "bigint",
     numeric: "string",
@@ -8,63 +9,53 @@ export const defaultPostgresTypePolicy = Object.freeze({
 });
 const normalized = (databaseType) => databaseType.trim().toLowerCase().replace(/\s+/g, " ");
 const withoutModifiers = (databaseType) => databaseType.replace(/\(\d+(?:,\s*\d+)?\)/g, "");
+function arrayType(databaseType) {
+    let end = databaseType.length;
+    while (end >= 2 && databaseType[end - 2] === "[" && databaseType[end - 1] === "]")
+        end -= 2;
+    return { base: databaseType.slice(0, end), dimensions: (databaseType.length - end) / 2 };
+}
+function snapshotType(databaseType, schema) {
+    if (schema?.formatVersion !== 2)
+        return undefined;
+    const target = withoutModifiers(normalized(databaseType));
+    return Object.values(schema.types).find((type) => {
+        const qualified = type.schema === undefined ? type.name : `${type.schema}.${type.name}`;
+        return [type.databaseType, type.identity, qualified].some((identity) => withoutModifiers(normalized(identity)) === target);
+    });
+}
 export function isKnownPostgresType(databaseType, schema) {
-    const type = withoutModifiers(normalized(databaseType).replace(/\[\]$/, ""));
-    if ([
-        "smallint",
-        "int2",
-        "integer",
-        "int",
-        "int4",
-        "bigint",
-        "int8",
-        "numeric",
-        "decimal",
-        "real",
-        "float4",
-        "double precision",
-        "float8",
-        "boolean",
-        "bool",
-        "text",
-        "varchar",
-        "character varying",
-        "char",
-        "uuid",
-        "date",
-        "timestamp",
-        "timestamp without time zone",
-        "timestamptz",
-        "timestamp with time zone",
-        "json",
-        "jsonb",
-        "bytea",
-    ].includes(type))
+    const type = withoutModifiers(arrayType(normalized(databaseType)).base);
+    if (postgresCatalogTypeMapping(type, schema) !== undefined)
+        return true;
+    if (snapshotType(type, schema) !== undefined)
         return true;
     return schema?.enums?.[type] !== undefined || schema?.domains?.[type] !== undefined;
 }
 export function mapPostgresType(databaseType, policy, schema) {
-    const normalizedType = normalized(databaseType);
-    const array = normalizedType.endsWith("[]");
-    const unmodifiedType = normalizedType.replace(/\[\]$/, "");
+    const { base: unmodifiedType, dimensions } = arrayType(normalized(databaseType));
     const type = withoutModifiers(unmodifiedType);
+    const catalogMapping = postgresCatalogTypeMapping(type, schema);
+    const snapshotMapping = snapshotType(unmodifiedType, schema);
     let mapped;
-    if (["smallint", "int2", "integer", "int", "int4", "real", "float4", "double precision", "float8"].includes(type))
+    if (catalogMapping === "number")
         mapped = "number";
-    else if (["bigint", "int8"].includes(type))
+    else if (catalogMapping === "bigint")
         mapped = policy.bigint;
-    else if (["numeric", "decimal"].includes(type))
+    else if (catalogMapping === "numeric")
         mapped = policy.numeric;
-    else if (["boolean", "bool"].includes(type))
+    else if (catalogMapping === "boolean")
         mapped = "boolean";
-    else if (["text", "varchar", "character varying", "char", "uuid"].includes(type))
+    else if (catalogMapping === "string")
         mapped = "string";
-    else if (["date", "timestamp", "timestamp without time zone", "timestamptz", "timestamp with time zone"].includes(type))
+    else if (catalogMapping === "date")
         mapped = policy.date;
-    else if (["json", "jsonb"].includes(type))
+    else if (catalogMapping === "json")
         mapped = policy.json;
-    else if (type === "bytea")
+    else if (catalogMapping === "bytes")
         mapped = "Uint8Array";
+    else if (snapshotMapping !== undefined)
+        mapped = snapshotMapping.tsType;
     else if (schema?.domains?.[unmodifiedType] !== undefined || schema?.domains?.[type] !== undefined)
         mapped = (schema.domains[unmodifiedType] ?? schema.domains[type]).tsType;
     else if (schema?.enums?.[unmodifiedType] !== undefined || schema?.enums?.[type] !== undefined) {
@@ -73,6 +64,6 @@ export function mapPostgresType(databaseType, policy, schema) {
     }
     else
         mapped = policy.unknown;
-    return array ? `readonly (${mapped})[]` : mapped;
+    return dimensions === 0 ? mapped : `${"readonly (".repeat(dimensions)}${mapped}${")[]".repeat(dimensions)}`;
 }
 //# sourceMappingURL=type-policy.js.map

package/dist/packages/postgres/src/type-policy.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-policy.js","sourceRoot":"","sources":["../../../../src/type-policy.ts"],"names":[],"mappings":"AAWA,MAAM,CAAC,MAAM,yBAAyB,GAAuB,MAAM,CAAC,MAAM,CAAC;IACzE,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,QAAQ;IACjB,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,cAAc;IACrB,OAAO,EAAE,SAAS;CACnB,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CAAC,YAAoB,EAAU,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC5G,MAAM,gBAAgB,GAAG,CAAC,YAAoB,EAAU,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;AAE5G,MAAM,UAAU,mBAAmB,CAAC,YAAoB,EAAE,MAAuB;IAC/E,MAAM,IAAI,GAAG,gBAAgB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7E,IACE;QACE,UAAU;QACV,MAAM;QACN,SAAS;QACT,KAAK;QACL,MAAM;QACN,QAAQ;QACR,MAAM;QACN,SAAS;QACT,SAAS;QACT,MAAM;QACN,QAAQ;QACR,kBAAkB;QAClB,QAAQ;QACR,SAAS;QACT,MAAM;QACN,MAAM;QACN,SAAS;QACT,mBAAmB;QACnB,MAAM;QACN,MAAM;QACN,MAAM;QACN,WAAW;QACX,6BAA6B;QAC7B,aAAa;QACb,0BAA0B;QAC1B,MAAM;QACN,OAAO;QACP,OAAO;KACR,CAAC,QAAQ,CAAC,IAAI,CAAC;QAEhB,OAAO,IAAI,CAAC;IACd,OAAO,MAAM,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,YAAoB,EAAE,MAA0B,EAAE,MAAuB;IACvG,MAAM,cAAc,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,cAAc,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAC;IAC9C,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAC/G,MAAM,GAAG,QAAQ,CAAC;SACf,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;SAC9D,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC;SACnE,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,GAAG,SAAS,CAAC;SAC3D,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,GAAG,QAAQ,CAAC;SAC/F,IACH,CAAC,MAAM,EAAE,WAAW,EAAE,6BAA6B,EAAE,aAAa,EAAE,0BAA0B,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAE9G,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;SAClB,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;SAC3D,IAAI,IAAI,KAAK,OAAO;QAAE,MAAM,GAAG,YAAY,CAAC;SAC5C,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC,cAAc,CAAC,KAAK,SAAS,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS;QAC/F,MAAM,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,CAAC,MAAM,CAAC;SACvE,IAAI,MAAM,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,KAAK,SAAS,IAAI,MAAM,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QAC9F,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC;QACnE,MAAM,GAAG,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3G,CAAC;;QAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,OAAO,KAAK,CAAC,CAAC,CAAC,aAAa,MAAM,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;AACnD,CAAC"}
+{"version":3,"file":"type-policy.js","sourceRoot":"","sources":["../../../../src/type-policy.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAWhE,MAAM,CAAC,MAAM,yBAAyB,GAAuB,MAAM,CAAC,MAAM,CAAC;IACzE,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,QAAQ;IACjB,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,cAAc;IACrB,OAAO,EAAE,SAAS;CACnB,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,CAAC,YAAoB,EAAU,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAC5G,MAAM,gBAAgB,GAAG,CAAC,YAAoB,EAAU,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,sBAAsB,EAAE,EAAE,CAAC,CAAC;AAE5G,SAAS,SAAS,CAAC,YAAoB;IACrC,IAAI,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC;IAC9B,OAAO,GAAG,IAAI,CAAC,IAAI,YAAY,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,YAAY,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG;QAAE,GAAG,IAAI,CAAC,CAAC;IAC5F,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;AAC3F,CAAC;AAED,SAAS,YAAY,CAAC,YAAoB,EAAE,MAAuB;IACjE,IAAI,MAAM,EAAE,aAAa,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAClD,MAAM,MAAM,GAAG,gBAAgB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACxF,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,IAAI,CACvD,CAAC,QAAQ,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,KAAK,MAAM,CAChE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,YAAoB,EAAE,MAAuB;IAC/E,MAAM,IAAI,GAAG,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxE,IAAI,0BAA0B,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxE,IAAI,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC1D,OAAO,MAAM,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,YAAoB,EAAE,MAA0B,EAAE,MAAuB;IACvG,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;IACjF,MAAM,IAAI,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAC;IAC9C,MAAM,cAAc,GAAG,0BAA0B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,eAAe,GAAG,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,MAAc,CAAC;IACnB,IAAI,cAAc,KAAK,QAAQ;QAAE,MAAM,GAAG,QAAQ,CAAC;SAC9C,IAAI,cAAc,KAAK,QAAQ;QAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;SACxD,IAAI,cAAc,KAAK,SAAS;QAAE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC;SAC1D,IAAI,cAAc,KAAK,SAAS;QAAE,MAAM,GAAG,SAAS,CAAC;SACrD,IAAI,cAAc,KAAK,QAAQ;QAAE,MAAM,GAAG,QAAQ,CAAC;SACnD,IAAI,cAAc,KAAK,MAAM;QAAE,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;SACpD,IAAI,cAAc,KAAK,MAAM;QAAE,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;SACpD,IAAI,cAAc,KAAK,OAAO;QAAE,MAAM,GAAG,YAAY,CAAC;SACtD,IAAI,eAAe,KAAK,SAAS;QAAE,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC;SACnE,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC,cAAc,CAAC,KAAK,SAAS,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS;QAC/F,MAAM,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAE,CAAC,CAAC,MAAM,CAAC;SACvE,IAAI,MAAM,EAAE,KAAK,EAAE,CAAC,cAAc,CAAC,KAAK,SAAS,IAAI,MAAM,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QAC9F,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC;QACnE,MAAM,GAAG,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3G,CAAC;;QAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;AAC9G,CAAC"}

package/dist/packages/postgres/src/type-resolution.d.ts

@@ -0,0 +1,33 @@
+import { type SchemaSnapshot } from "@typed-sql/schema";
+import { type PostgresCastContext, type PostgresTypeCategory } from "./catalog/index.js";
+export interface PostgresCandidate<Value> {
+    readonly value: Value;
+    readonly argumentTypes: readonly string[];
+    readonly resultType: string;
+}
+export interface PostgresCandidateMatch<Value> {
+    readonly kind: "selected";
+    readonly candidate: Value;
+    readonly argumentTypes: readonly string[];
+    readonly resultType: string;
+}
+export type PostgresCandidateResolution<Value> = PostgresCandidateMatch<Value> | {
+    readonly kind: "ambiguous" | "none";
+};
+export type PostgresOperatorResolution = PostgresCandidateResolution<string>;
+/** Canonical PostgreSQL type identity for overload and coercion decisions. */
+export declare function postgresCanonicalType(databaseType: string, schema?: SchemaSnapshot): string;
+/** PostgreSQL type category after aliases and domains are resolved. */
+export declare function postgresTypeCategory(databaseType: string, schema?: SchemaSnapshot): PostgresTypeCategory | undefined;
+/** Returns the element identity for a PostgreSQL array or snapshot collection type. */
+export declare function postgresElementType(databaseType: string, schema?: SchemaSnapshot): string | undefined;
+/** PostgreSQL common-type selection used by compatible polymorphic inputs. */
+export declare function postgresCommonType(databaseTypes: readonly (string | undefined)[], schema?: SchemaSnapshot): string | undefined;
+export declare function postgresCanCoerce(source: string, target: string, context: PostgresCastContext, schema?: SchemaSnapshot): boolean;
+/** Selects a PostgreSQL overload using exact, implicit-cast, preferred-type, and unknown-category evidence. */
+export declare function resolvePostgresCandidates<Value>(candidates: readonly PostgresCandidate<Value>[], actualTypes: readonly (string | undefined)[], schema?: SchemaSnapshot): PostgresCandidateResolution<Value>;
+/** Resolves PostgreSQL prefix operators through grammar-owned operator candidates. */
+export declare function resolvePostgresUnaryOperator(operator: string, operand: string | undefined, schema?: SchemaSnapshot): PostgresOperatorResolution;
+/** Resolves built-in binary operators through the same candidate machinery as routine calls. */
+export declare function resolvePostgresOperator(operator: string, left: string | undefined, right: string | undefined, schema?: SchemaSnapshot): PostgresOperatorResolution;
+//# sourceMappingURL=type-resolution.d.ts.map

package/dist/packages/postgres/src/type-resolution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-resolution.d.ts","sourceRoot":"","sources":["../../../../src/type-resolution.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,cAAc,EAIpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EAK1B,MAAM,oBAAoB,CAAC;AAmD5B,MAAM,WAAW,iBAAiB,CAAC,KAAK;IACtC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB,CAAC,KAAK;IAC3C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,MAAM,2BAA2B,CAAC,KAAK,IACzC,sBAAsB,CAAC,KAAK,CAAC,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAAA;CAAE,CAAC;AAE5C,MAAM,MAAM,0BAA0B,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;AAsD7E,8EAA8E;AAC9E,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,CAM3F;AAsBD,uEAAuE;AACvE,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,oBAAoB,GAAG,SAAS,CAEpH;AAeD,uFAAuF;AACvF,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,cAAc,GAAG,MAAM,GAAG,SAAS,CAErG;AASD,8EAA8E;AAC9E,wBAAgB,kBAAkB,CAChC,aAAa,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC9C,MAAM,CAAC,EAAE,cAAc,GACtB,MAAM,GAAG,SAAS,CAkBpB;AAED,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,mBAAmB,EAC5B,MAAM,CAAC,EAAE,cAAc,GACtB,OAAO,CA2BT;AA2HD,+GAA+G;AAC/G,wBAAgB,yBAAyB,CAAC,KAAK,EAC7C,UAAU,EAAE,SAAS,iBAAiB,CAAC,KAAK,CAAC,EAAE,EAC/C,WAAW,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EAC5C,MAAM,CAAC,EAAE,cAAc,GACtB,2BAA2B,CAAC,KAAK,CAAC,CAsCpC;AA6ZD,sFAAsF;AACtF,wBAAgB,4BAA4B,CAC1C,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,MAAM,CAAC,EAAE,cAAc,GACtB,0BAA0B,CAwE5B;AAED,gGAAgG;AAChG,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,MAAM,CAAC,EAAE,cAAc,GACtB,0BAA0B,CAyB5B"}