@shapecraft/core 1.0.0

package/dist/cjs/shape/transforms/sql/dialects/sqlite.js

@@ -0,0 +1,318 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sqliteDialect = void 0;
+const result_1 = require("../../../../common/result");
+const dialect_1 = require("./dialect");
+const INT_RANGES = {
+    int8: { minimum: -128, maximum: 127 },
+    uint8: { minimum: 0, maximum: 255 },
+    int16: { minimum: -32768, maximum: 32767 },
+    uint16: { minimum: 0, maximum: 65535 },
+    int32: { minimum: -2_147_483_648, maximum: 2_147_483_647 },
+    uint32: { minimum: 0, maximum: 4_294_967_295 },
+    uint64: { minimum: 0 },
+};
+const INT_TAGS = new Set([
+    "int",
+    "int8",
+    "uint8",
+    "int16",
+    "uint16",
+    "int32",
+    "uint32",
+    "int64",
+    "uint64",
+]);
+const isIntTag = (tag) => INT_TAGS.has(tag);
+// SQLite's INTEGER affinity stores values up to 8 bytes (signed 64-bit). We
+// model its natural range so the int-tag-range intersection logic only emits
+// CHECKs when the tag's range is tighter than SQLite's.
+const SQLITE_INTEGER_MIN = -9_223_372_036_854_775_808;
+const SQLITE_INTEGER_MAX = 9_223_372_036_854_775_807;
+const formatNumberLit = (n) => {
+    if (!isFinite(n))
+        return (0, dialect_1.quoteLit)(String(n));
+    return String(n);
+};
+const unionEnumValues = (u) => {
+    const variants = Array.from(u.input);
+    if (variants.length === 0)
+        return null;
+    const values = [];
+    for (const v of variants) {
+        if (v.type !== "string" || v.literal !== true)
+            return null;
+        values.push(v.input);
+    }
+    return values;
+};
+const renderType = (name, shape) => {
+    const errors = [];
+    const prelude = [];
+    const checks = [];
+    let sqlType = null;
+    const col = (0, dialect_1.quoteIdent)(name);
+    if (shape.type === "union") {
+        const values = unionEnumValues(shape);
+        if (values !== null) {
+            sqlType = "TEXT";
+            checks.push(`${col} IN (${values.map(dialect_1.quoteLit).join(", ")})`);
+        }
+        else {
+            sqlType = "TEXT";
+            checks.push(`json_valid(${col})`);
+        }
+    }
+    else {
+        switch (shape.type) {
+            case "string": {
+                sqlType = "TEXT";
+                if (shape.literal) {
+                    checks.push(`${col} = ${(0, dialect_1.quoteLit)(shape.input)}`);
+                }
+                else {
+                    if (shape.anno.max !== undefined)
+                        checks.push(`length(${col}) <= ${shape.anno.max}`);
+                    if (shape.anno.min !== undefined)
+                        checks.push(`length(${col}) >= ${shape.anno.min}`);
+                    if (shape.anno.pattern !== undefined) {
+                        const src = shape.anno.pattern instanceof RegExp ?
+                            shape.anno.pattern.source
+                            : shape.anno.pattern;
+                        checks.push(`${col} REGEXP ${(0, dialect_1.quoteLit)(src)}`);
+                    }
+                }
+                break;
+            }
+            case "boolean": {
+                sqlType = "INTEGER";
+                if (shape.literal) {
+                    const v = shape.input;
+                    checks.push(`${col} = ${v ? "1" : "0"}`);
+                }
+                else {
+                    checks.push(`${col} IN (0, 1)`);
+                }
+                break;
+            }
+            case "number": {
+                if (shape.literal) {
+                    sqlType = isIntTag(shape.tag) ? "INTEGER" : "REAL";
+                    checks.push(`${col} = ${formatNumberLit(shape.input)}`);
+                }
+                else if (isIntTag(shape.tag)) {
+                    sqlType = "INTEGER";
+                    const natural = INT_RANGES[shape.tag];
+                    let effMin = natural?.minimum;
+                    let effMax = natural?.maximum;
+                    if (shape.anno.min !== undefined) {
+                        effMin =
+                            effMin === undefined ?
+                                shape.anno.min
+                                : Math.max(effMin, shape.anno.min);
+                    }
+                    if (shape.anno.max !== undefined) {
+                        effMax =
+                            effMax === undefined ?
+                                shape.anno.max
+                                : Math.min(effMax, shape.anno.max);
+                    }
+                    if (effMin !== undefined && effMin > SQLITE_INTEGER_MIN) {
+                        checks.push(`${col} >= ${effMin}`);
+                    }
+                    if (effMax !== undefined && effMax < SQLITE_INTEGER_MAX) {
+                        checks.push(`${col} <= ${effMax}`);
+                    }
+                }
+                else {
+                    sqlType = "REAL";
+                    if (shape.anno.min !== undefined)
+                        checks.push(`${col} >= ${shape.anno.min}`);
+                    if (shape.anno.max !== undefined)
+                        checks.push(`${col} <= ${shape.anno.max}`);
+                }
+                break;
+            }
+            case "date":
+                sqlType = "TEXT";
+                break;
+            case "binary":
+                sqlType = "BLOB";
+                break;
+            case "unknown":
+                sqlType = "TEXT";
+                checks.push(`json_valid(${col})`);
+                break;
+            case "nil":
+                errors.push(`field '${name}': nil cannot be a column`);
+                break;
+            case "undefined":
+                errors.push(`field '${name}': undefined cannot be a column`);
+                break;
+            case "array": {
+                sqlType = "TEXT";
+                checks.push(`json_valid(${col})`);
+                if (shape.anno.min !== undefined)
+                    checks.push(`json_array_length(${col}) >= ${shape.anno.min}`);
+                if (shape.anno.max !== undefined)
+                    checks.push(`json_array_length(${col}) <= ${shape.anno.max}`);
+                if (shape.anno.uniqueItems === true) {
+                    checks.push(`(SELECT COUNT(*) FROM json_each(${col})) = (SELECT COUNT(DISTINCT value) FROM json_each(${col}))`);
+                }
+                break;
+            }
+            case "vector": {
+                sqlType = "BLOB";
+                checks.push(`length(${col}) = ${shape.input.dims * 4}`);
+                break;
+            }
+            case "range": {
+                sqlType = "TEXT";
+                checks.push(`json_valid(${col})`);
+                break;
+            }
+            case "mapping":
+            case "record":
+                sqlType = "TEXT";
+                checks.push(`json_valid(${col})`);
+                break;
+            case "tuple": {
+                sqlType = "TEXT";
+                const len = shape.input.length;
+                checks.push(`json_valid(${col}) AND json_array_length(${col}) = ${len}`);
+                break;
+            }
+        }
+    }
+    if (sqlType === null) {
+        return result_1.R.err(errors);
+    }
+    if (errors.length > 0)
+        return result_1.R.err(errors);
+    return result_1.R.ok({ type: sqlType, checks, prelude });
+};
+const formatDefault = (v, _columnType) => {
+    if (v === null)
+        return { ok: true, expr: "NULL" };
+    if (typeof v === "string")
+        return { ok: true, expr: (0, dialect_1.quoteLit)(v) };
+    if (typeof v === "number")
+        return { ok: true, expr: formatNumberLit(v) };
+    if (typeof v === "boolean")
+        return { ok: true, expr: v ? "1" : "0" };
+    if (v instanceof Date)
+        return { ok: true, expr: (0, dialect_1.quoteLit)(v.toISOString()) };
+    if (typeof v === "object") {
+        try {
+            return { ok: true, expr: (0, dialect_1.quoteLit)(JSON.stringify(v)) };
+        }
+        catch {
+            return { ok: false, reason: "default value could not be JSON-encoded" };
+        }
+    }
+    return {
+        ok: false,
+        reason: `default value of type ${typeof v} is not supported`,
+    };
+};
+const applyAutoIncrement = (name, shape, col) => {
+    if (shape.type !== "number" || !isIntTag(shape.tag)) {
+        return [`field '${name}': autoIncrement requires an integer type`];
+    }
+    if (shape.tag === "uint64") {
+        return [
+            `field '${name}': autoIncrement is not supported on uint64 in sqlite`,
+        ];
+    }
+    // SQLite's AUTOINCREMENT only works with INTEGER PRIMARY KEY. Auto-promote
+    // to primary (per SQLite's INTEGER PRIMARY KEY auto-increment semantics)
+    // and force NOT NULL.
+    col.identity = true;
+    col.primary = true;
+    col.notNull = true;
+    return [];
+};
+const renderColumn = (c) => {
+    const parts = [(0, dialect_1.quoteIdent)(c.name)];
+    if (c.identity && c.primary) {
+        // INTEGER PRIMARY KEY AUTOINCREMENT must appear as a single contiguous
+        // column-level clause in SQLite. NOT NULL is implied; UNIQUE is implied.
+        parts.push("INTEGER", "PRIMARY", "KEY", "AUTOINCREMENT");
+        if (c.defaultExpr !== undefined)
+            parts.push(`DEFAULT ${c.defaultExpr}`);
+        if (c.references !== undefined)
+            parts.push(`REFERENCES ${c.references}`);
+        for (const chk of c.checks)
+            parts.push(`CHECK (${chk})`);
+        return parts.join(" ");
+    }
+    parts.push(c.type);
+    if (c.generated !== undefined) {
+        parts.push(`GENERATED ALWAYS AS (${c.generated.expression}) ${c.generated.stored ? "STORED" : "VIRTUAL"}`);
+        if (c.primary)
+            parts.push("PRIMARY KEY");
+        if (c.unique)
+            parts.push("UNIQUE");
+        if (c.references !== undefined)
+            parts.push(`REFERENCES ${c.references}`);
+        for (const chk of c.checks)
+            parts.push(`CHECK (${chk})`);
+        return parts.join(" ");
+    }
+    if (c.notNull)
+        parts.push("NOT NULL");
+    if (c.primary)
+        parts.push("PRIMARY KEY");
+    if (c.unique)
+        parts.push("UNIQUE");
+    if (c.defaultExpr !== undefined)
+        parts.push(`DEFAULT ${c.defaultExpr}`);
+    if (c.references !== undefined)
+        parts.push(`REFERENCES ${c.references}`);
+    for (const chk of c.checks)
+        parts.push(`CHECK (${chk})`);
+    return parts.join(" ");
+};
+const validateMappingAnno = (anno, title) => {
+    const errors = [];
+    if (anno.schema !== undefined) {
+        errors.push(`table '${title}': sqlite has no schemas; remove anno.schema or use dialect='postgres'`);
+    }
+    return errors;
+};
+const finalizeColumns = (cols) => {
+    const identityCols = cols.filter((c) => c.identity);
+    if (identityCols.length === 0)
+        return [];
+    if (identityCols.length > 1) {
+        return [
+            `multiple autoIncrement columns are not supported in sqlite: ${identityCols
+                .map((c) => `'${c.name}'`)
+                .join(", ")}`,
+        ];
+    }
+    const ai = identityCols[0];
+    const otherPrimaries = cols.filter((c) => c !== ai && c.primary);
+    if (otherPrimaries.length > 0) {
+        return [
+            `autoIncrement column '${ai.name}' must be the sole primary key in sqlite, but also: ${otherPrimaries
+                .map((c) => `'${c.name}'`)
+                .join(", ")}`,
+        ];
+    }
+    return [];
+};
+exports.sqliteDialect = {
+    name: "sqlite",
+    supportsSchema: false,
+    tableTrailer: " STRICT",
+    renderType,
+    applyAutoIncrement,
+    formatDefault,
+    validateMappingAnno,
+    schemaPrelude: () => "",
+    qualifiedTable: (_schema, title) => (0, dialect_1.quoteIdent)(title),
+    renderColumn,
+    finalizeColumns,
+};
+//# sourceMappingURL=sqlite.js.map

package/dist/cjs/shape/transforms/sql/dialects/sqlite.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlite.js","sourceRoot":"","sources":["../../../../../../src/shape/transforms/sql/dialects/sqlite.ts"],"names":[],"mappings":";;;AAAA,sDAA8C;AAG9C,uCAQmB;AAEnB,MAAM,UAAU,GAA2D;IACzE,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;IACrC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE;IACnC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;IAC1C,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE;IACtC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,aAAa,EAAE,OAAO,EAAE,aAAa,EAAE;IAC1D,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE;IAC9C,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE;CACvB,CAAC;AAEF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;IACvB,KAAK;IACL,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,CAAC,GAAc,EAAW,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEhE,4EAA4E;AAC5E,6EAA6E;AAC7E,wDAAwD;AACxD,MAAM,kBAAkB,GAAG,CAAC,yBAAyB,CAAC;AACtD,MAAM,kBAAkB,GAAG,yBAAyB,CAAC;AAErD,MAAM,eAAe,GAAG,CAAC,CAAS,EAAU,EAAE;IAC5C,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,IAAA,kBAAQ,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,CAAoB,EAAmB,EAAE;IAChE,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAmB,CAAC;IACvD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,KAAe,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAAY,EACZ,KAAmB,EACgB,EAAE;IACrC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,OAAO,GAAkB,IAAI,CAAC;IAElC,MAAM,GAAG,GAAG,IAAA,oBAAU,EAAC,IAAI,CAAC,CAAC;IAE7B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,OAAO,GAAG,MAAM,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,QAAQ,MAAM,CAAC,GAAG,CAAC,kBAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChE,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,MAAM,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,OAAO,GAAG,MAAM,CAAC;gBACjB,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBAClB,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,MAAM,IAAA,kBAAQ,EAAC,KAAK,CAAC,KAAe,CAAC,EAAE,CAAC,CAAC;gBAC7D,CAAC;qBAAM,CAAC;oBACN,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;wBAC9B,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;oBACrD,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;wBAC9B,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;oBACrD,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;wBACrC,MAAM,GAAG,GACP,KAAK,CAAC,IAAI,CAAC,OAAO,YAAY,MAAM,CAAC,CAAC;4BACpC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM;4BAC3B,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;wBACvB,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,WAAW,IAAA,kBAAQ,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAChD,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,OAAO,GAAG,SAAS,CAAC;gBACpB,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBAClB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAgB,CAAC;oBACjC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC3C,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,YAAY,CAAC,CAAC;gBAClC,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBAClB,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC;oBACnD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,KAAe,CAAC,EAAE,CAAC,CAAC;gBACpE,CAAC;qBAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC/B,OAAO,GAAG,SAAS,CAAC;oBACpB,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBACtC,IAAI,MAAM,GAAuB,OAAO,EAAE,OAAO,CAAC;oBAClD,IAAI,MAAM,GAAuB,OAAO,EAAE,OAAO,CAAC;oBAClD,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;wBACjC,MAAM;4BACJ,MAAM,KAAK,SAAS,CAAC,CAAC;gCACpB,KAAK,CAAC,IAAI,CAAC,GAAG;gCAChB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACvC,CAAC;oBACD,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;wBACjC,MAAM;4BACJ,MAAM,KAAK,SAAS,CAAC,CAAC;gCACpB,KAAK,CAAC,IAAI,CAAC,GAAG;gCAChB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACvC,CAAC;oBACD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,GAAG,kBAAkB,EAAE,CAAC;wBACxD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,MAAM,EAAE,CAAC,CAAC;oBACrC,CAAC;oBACD,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,GAAG,kBAAkB,EAAE,CAAC;wBACxD,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,MAAM,EAAE,CAAC,CAAC;oBACrC,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,OAAO,GAAG,MAAM,CAAC;oBACjB,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;wBAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;oBAC7C,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;wBAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC/C,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,MAAM;gBACT,OAAO,GAAG,MAAM,CAAC;gBACjB,MAAM;YACR,KAAK,QAAQ;gBACX,OAAO,GAAG,MAAM,CAAC;gBACjB,MAAM;YACR,KAAK,SAAS;gBACZ,OAAO,GAAG,MAAM,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC;gBAClC,MAAM;YACR,KAAK,KAAK;gBACR,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,2BAA2B,CAAC,CAAC;gBACvD,MAAM;YACR,KAAK,WAAW;gBACd,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,iCAAiC,CAAC,CAAC;gBAC7D,MAAM;YACR,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,OAAO,GAAG,MAAM,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC;gBAClC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;oBAC9B,MAAM,CAAC,IAAI,CAAC,qBAAqB,GAAG,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChE,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;oBAC9B,MAAM,CAAC,IAAI,CAAC,qBAAqB,GAAG,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;gBAChE,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;oBACpC,MAAM,CAAC,IAAI,CACT,mCAAmC,GAAG,qDAAqD,GAAG,IAAI,CACnG,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,OAAO,GAAG,MAAM,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC,UAAU,GAAG,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxD,MAAM;YACR,CAAC;YACD,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,OAAO,GAAG,MAAM,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC;gBAClC,MAAM;YACR,CAAC;YACD,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ;gBACX,OAAO,GAAG,MAAM,CAAC;gBACjB,MAAM,CAAC,IAAI,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC;gBAClC,MAAM;YACR,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,OAAO,GAAG,MAAM,CAAC;gBACjB,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;gBAC/B,MAAM,CAAC,IAAI,CACT,cAAc,GAAG,2BAA2B,GAAG,OAAO,GAAG,EAAE,CAC5D,CAAC;gBACF,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,UAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,UAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAE5C,OAAO,UAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AAClD,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,CAAU,EAAE,WAAmB,EAAiB,EAAE;IACvE,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAClD,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAA,kBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC;IAClE,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;IACrE,IAAI,CAAC,YAAY,IAAI;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAA,kBAAQ,EAAC,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;IAC5E,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC;YACH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAA,kBAAQ,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO;QACL,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,yBAAyB,OAAO,CAAC,mBAAmB;KAC7D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,IAAY,EACZ,KAAmB,EACnB,GAAc,EACJ,EAAE;IACZ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,CAAC,UAAU,IAAI,2CAA2C,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO;YACL,UAAU,IAAI,uDAAuD;SACtE,CAAC;IACJ,CAAC;IACD,2EAA2E;IAC3E,yEAAyE;IACzE,sBAAsB;IACtB,GAAG,CAAC,QAAQ,GAAG,IAAI,CAAC;IACpB,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;IACnB,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,CAAY,EAAU,EAAE;IAC5C,MAAM,KAAK,GAAa,CAAC,IAAA,oBAAU,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAE7C,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5B,uEAAuE;QACvE,yEAAyE;QACzE,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC;QACzD,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QACxE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QACzE,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;QACzD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAEnB,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CACR,wBAAwB,CAAC,CAAC,SAAS,CAAC,UAAU,KAAK,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,EAAE,CAC/F,CAAC;QACF,IAAI,CAAC,CAAC,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACzC,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QACzE,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;QACzD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACzC,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnC,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACxE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;IACzE,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;IACzD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,IAA0B,EAC1B,KAAa,EACH,EAAE;IACZ,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,CAAC,IAAI,CACT,UAAU,KAAK,wEAAwE,CACxF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,IAAiB,EAAY,EAAE;IACtD,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACzC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,+DAA+D,YAAY;iBACxE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;iBACzB,IAAI,CAAC,IAAI,CAAC,EAAE;SAChB,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;IAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC;IACjE,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,yBAAyB,EAAE,CAAC,IAAI,uDAAuD,cAAc;iBAClG,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC;iBACzB,IAAI,CAAC,IAAI,CAAC,EAAE;SAChB,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEW,QAAA,aAAa,GAAY;IACpC,IAAI,EAAE,QAAQ;IACd,cAAc,EAAE,KAAK;IACrB,YAAY,EAAE,SAAS;IACvB,UAAU;IACV,kBAAkB;IAClB,aAAa;IACb,mBAAmB;IACnB,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE;IACvB,cAAc,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,IAAA,oBAAU,EAAC,KAAK,CAAC;IACrD,YAAY;IACZ,eAAe;CAChB,CAAC"}

package/dist/cjs/shape/transforms/sql/from-sql.d.ts

@@ -0,0 +1,5 @@
+import { R } from "../../../common/result";
+import { shapes } from "../../shape";
+import { SQLOptions } from "./options";
+export declare const fromSQL: (sql: string, opts?: SQLOptions) => R.Result<shapes.Shape, string[]>;
+//# sourceMappingURL=from-sql.d.ts.map

package/dist/cjs/shape/transforms/sql/from-sql.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"from-sql.d.ts","sourceRoot":"","sources":["../../../../../src/shape/transforms/sql/from-sql.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,wBAAwB,CAAC;AAC3C,OAAO,EAAY,MAAM,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAkB,UAAU,EAAE,MAAM,WAAW,CAAC;AA8HvD,eAAO,MAAM,OAAO,GAClB,KAAK,MAAM,EACX,OAAO,UAAU,KAChB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,CAuEjC,CAAC"}

package/dist/cjs/shape/transforms/sql/from-sql.js

@@ -0,0 +1,201 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fromSQL = void 0;
+const result_1 = require("../../../common/result");
+const shape_1 = require("../../shape");
+const options_1 = require("./options");
+const check_decoder_1 = require("./parser/check-decoder");
+const create_domain_1 = require("./parser/create-domain");
+const create_table_1 = require("./parser/create-table");
+const create_type_1 = require("./parser/create-type");
+const default_decoder_1 = require("./parser/default-decoder");
+const lexer_1 = require("./parser/lexer");
+const pg_types_1 = require("./parser/pg-types");
+const statements_1 = require("./parser/statements");
+const cursor_1 = require("./parser/cursor");
+const newRegistries = () => ({
+    enums: new Map(),
+    composites: new Map(),
+    domains: new Map(),
+});
+const registerDomain = (registries, raw) => {
+    const baseSpec = (0, pg_types_1.parsePgType)(raw.baseTypeTokens);
+    const resolved = (0, pg_types_1.resolvePgType)(baseSpec, registries);
+    let shape = resolved.shape;
+    for (const chkTokens of raw.checks) {
+        const dec = (0, check_decoder_1.decodeCheck)(chkTokens, {
+            columnName: "value",
+            isInteger: shape.type === "number",
+            isString: shape.type === "string",
+            isArray: shape.type === "array",
+        });
+        if (dec.fullyDecoded) {
+            const u = dec.updates;
+            if (u.min !== undefined)
+                shape = shape_1.annotate.as(shape, { min: u.min });
+            if (u.max !== undefined)
+                shape = shape_1.annotate.as(shape, { max: u.max });
+            if (u.pattern !== undefined)
+                shape = shape_1.annotate.as(shape, { pattern: u.pattern });
+        }
+        // undecoded domain checks are dropped — they tend to reference VALUE
+        // rather than a specific column, so the column-oriented check-decoder
+        // wouldn't be able to round-trip them onto a column anyway.
+    }
+    // Add domain-name format hint
+    const qualified = raw.schema !== undefined ? `${raw.schema}.${raw.name}` : raw.name;
+    shape = shape_1.annotate.as(shape, { format: `pgtype:${qualified}` });
+    if (raw.defaultTokens !== undefined) {
+        const dec = (0, default_decoder_1.decodeDefault)(raw.defaultTokens, null);
+        if (dec.kind === "literal") {
+            shape = shape_1.annotate.as(shape, { default: dec.value });
+        }
+        else if (dec.sql.length > 0) {
+            shape = shape_1.annotate.as(shape, { defaultExpr: dec.sql });
+        }
+    }
+    if (raw.notNull) {
+        // domain says NOT NULL; column nullability is still column-level
+        // (the column's NOT NULL applies). We leave the domain's shape alone.
+    }
+    const def = { name: raw.name, shape };
+    if (raw.schema !== undefined)
+        def.schema = raw.schema;
+    registries.domains.set(qualified, def);
+    registries.domains.set(raw.name, def);
+};
+const assemble = (parsedTables) => {
+    if (parsedTables.length === 0) {
+        return result_1.R.err(["no CREATE TABLE statements found"]);
+    }
+    // For a single table return the mapping directly
+    if (parsedTables.length === 1) {
+        const t = parsedTables[0];
+        return result_1.R.ok(makeMapping(t));
+    }
+    // For multiple tables, build a module
+    const tables = {};
+    const usedKeys = new Set();
+    for (const t of parsedTables) {
+        let key = t.name;
+        if (usedKeys.has(key)) {
+            key = t.schema !== undefined ? `${t.schema}_${t.name}` : `${t.name}_2`;
+            // ensure uniqueness even with the prefix
+            let suffix = 2;
+            let cand = key;
+            while (usedKeys.has(cand)) {
+                cand = `${key}_${suffix}`;
+                suffix += 1;
+            }
+            key = cand;
+        }
+        usedKeys.add(key);
+        tables[key] = makeMapping(t);
+    }
+    return result_1.R.ok(shape_1.shapes.module(tables));
+};
+const makeMapping = (t) => {
+    const rec = {};
+    for (const c of t.columns)
+        rec[c.key] = c.shape;
+    let m = shape_1.shapes.mapping(rec);
+    m = shape_1.annotate.titled(m, t.mappingAnno.title);
+    if (t.mappingAnno.schema !== undefined) {
+        m = shape_1.annotate.as(m, { schema: t.mappingAnno.schema });
+    }
+    if (t.mappingAnno.check !== undefined) {
+        m = shape_1.annotate.as(m, { check: t.mappingAnno.check });
+    }
+    if (t.mappingAnno.description !== undefined) {
+        m = shape_1.annotate.described(m, t.mappingAnno.description);
+    }
+    if (t.uniqueConstraints !== undefined && t.uniqueConstraints.length > 0) {
+        m = shape_1.annotate.as(m, {
+            uniqueConstraints: t.uniqueConstraints,
+        });
+    }
+    return m;
+};
+const fromSQL = (sql, opts) => {
+    const dialect = (0, options_1.resolveDialect)(opts);
+    let tokens;
+    try {
+        tokens = (0, lexer_1.tokenize)(sql);
+    }
+    catch (e) {
+        if (e instanceof lexer_1.LexError)
+            return result_1.R.err([`lex error: ${e.message}`]);
+        return result_1.R.err([`lex error: ${String(e)}`]);
+    }
+    const stmts = (0, statements_1.splitStatements)(tokens).map(statements_1.classifyStatement);
+    const registries = newRegistries();
+    const tableStmts = [];
+    const errors = [];
+    // First pass: types and domains
+    for (const s of stmts) {
+        if (s.kind === "createType") {
+            try {
+                const parsed = (0, create_type_1.parseCreateType)(s.tokens);
+                if (parsed === null)
+                    continue;
+                if (parsed.kind === "enum") {
+                    const def = parsed.def;
+                    const qualified = def.schema !== undefined ? `${def.schema}.${def.name}` : def.name;
+                    registries.enums.set(qualified, def);
+                    registries.enums.set(def.name, def);
+                }
+                else {
+                    const def = parsed.def;
+                    const qualified = def.schema !== undefined ? `${def.schema}.${def.name}` : def.name;
+                    registries.composites.set(qualified, def);
+                    registries.composites.set(def.name, def);
+                }
+            }
+            catch (e) {
+                errors.push(formatParserError(e, "CREATE TYPE"));
+            }
+            continue;
+        }
+        if (s.kind === "createDomain") {
+            try {
+                const parsed = (0, create_domain_1.parseCreateDomain)(s.tokens);
+                registerDomain(registries, parsed);
+            }
+            catch (e) {
+                errors.push(formatParserError(e, "CREATE DOMAIN"));
+            }
+            continue;
+        }
+        if (s.kind === "createTable") {
+            tableStmts.push(s);
+            continue;
+        }
+        // createTablePartitionOf and skip — ignored
+    }
+    // Second pass: tables
+    const parsedTables = [];
+    for (const s of tableStmts) {
+        try {
+            const parsed = (0, create_table_1.parseCreateTable)(s.tokens, { registries, dialect });
+            parsedTables.push(parsed);
+        }
+        catch (e) {
+            errors.push(formatParserError(e, "CREATE TABLE"));
+        }
+    }
+    if (errors.length > 0 && parsedTables.length === 0) {
+        return result_1.R.err(errors);
+    }
+    return assemble(parsedTables);
+};
+exports.fromSQL = fromSQL;
+const formatParserError = (e, ctx) => {
+    if (e instanceof cursor_1.ParseError)
+        return `${ctx}: ${e.message}`;
+    if (e instanceof lexer_1.LexError)
+        return `${ctx}: ${e.message}`;
+    if (e instanceof Error)
+        return `${ctx}: ${e.message}`;
+    return `${ctx}: ${String(e)}`;
+};
+//# sourceMappingURL=from-sql.js.map

package/dist/cjs/shape/transforms/sql/from-sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"from-sql.js","sourceRoot":"","sources":["../../../../../src/shape/transforms/sql/from-sql.ts"],"names":[],"mappings":";;;AAAA,mDAA2C;AAC3C,uCAA+C;AAC/C,uCAAuD;AACvD,0DAAqD;AACrD,0DAA2D;AAC3D,wDAAsE;AACtE,sDAAuD;AACvD,8DAAyD;AACzD,0CAAoD;AACpD,gDAK2B;AAC3B,oDAAyE;AACzE,4CAA6C;AAE7C,MAAM,aAAa,GAAG,GAAe,EAAE,CAAC,CAAC;IACvC,KAAK,EAAE,IAAI,GAAG,EAAE;IAChB,UAAU,EAAE,IAAI,GAAG,EAAE;IACrB,OAAO,EAAE,IAAI,GAAG,EAAE;CACnB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,CACrB,UAAsB,EACtB,GAAyC,EACnC,EAAE;IACR,MAAM,QAAQ,GAAG,IAAA,sBAAW,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAA,wBAAa,EAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACrD,IAAI,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,IAAA,2BAAW,EAAC,SAAS,EAAE;YACjC,UAAU,EAAE,OAAO;YACnB,SAAS,EAAE,KAAK,CAAC,IAAI,KAAK,QAAQ;YAClC,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,QAAQ;YACjC,OAAO,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO;SAChC,CAAC,CAAC;QACH,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;YACtB,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;gBAAE,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACpE,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;gBAAE,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACpE,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBACzB,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,qEAAqE;QACrE,sEAAsE;QACtE,4DAA4D;IAC9D,CAAC;IACD,8BAA8B;IAC9B,MAAM,SAAS,GACb,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;IACpE,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,UAAU,SAAS,EAAE,EAAE,CAAC,CAAC;IAC9D,IAAI,GAAG,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,IAAA,+BAAa,EAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QACnD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QACrD,CAAC;aAAM,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,GAAG,gBAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,WAAW,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,iEAAiE;QACjE,sEAAsE;IACxE,CAAC;IACD,MAAM,GAAG,GAAmB,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;IACtD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS;QAAE,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IACtD,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;IACvC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,YAA2B,EACO,EAAE;IACpC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,UAAC,CAAC,GAAG,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC;IACrD,CAAC;IAED,iDAAiD;IACjD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAE,CAAC;QAC3B,OAAO,UAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IAED,sCAAsC;IACtC,MAAM,MAAM,GAAwC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;QACjB,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,GAAG,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;YACvE,yCAAyC;YACzC,IAAI,MAAM,GAAG,CAAC,CAAC;YACf,IAAI,IAAI,GAAG,GAAG,CAAC;YACf,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,IAAI,GAAG,GAAG,GAAG,IAAI,MAAM,EAAE,CAAC;gBAC1B,MAAM,IAAI,CAAC,CAAC;YACd,CAAC;YACD,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,UAAC,CAAC,EAAE,CAAC,cAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AACrC,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,CAAc,EAAuB,EAAE;IAC1D,MAAM,GAAG,GAAiC,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,GAAwB,cAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,GAAG,gBAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,KAAK,CAAwB,CAAC;IACnE,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACvC,CAAC,GAAG,gBAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAwB,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACtC,CAAC,GAAG,gBAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,CAAwB,CAAC;IAC5E,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAC5C,CAAC,GAAG,gBAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,WAAW,CAAwB,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,CAAC,iBAAiB,KAAK,SAAS,IAAI,CAAC,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxE,CAAC,GAAG,gBAAQ,CAAC,EAAE,CAAC,CAAC,EAAE;YACjB,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;SACvC,CAAwB,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEK,MAAM,OAAO,GAAG,CACrB,GAAW,EACX,IAAiB,EACiB,EAAE;IACpC,MAAM,OAAO,GAAG,IAAA,wBAAc,EAAC,IAAI,CAAC,CAAC;IACrC,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,IAAA,gBAAQ,EAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,gBAAQ;YAAE,OAAO,UAAC,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QACrE,OAAO,UAAC,CAAC,GAAG,CAAC,CAAC,cAAc,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,KAAK,GAAG,IAAA,4BAAe,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,8BAAiB,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,aAAa,EAAE,CAAC;IACnC,MAAM,UAAU,GAAiB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,gCAAgC;IAChC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAA,6BAAe,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBACzC,IAAI,MAAM,KAAK,IAAI;oBAAE,SAAS;gBAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;oBACvB,MAAM,SAAS,GACb,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;oBACpE,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;oBACrC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBACtC,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;oBACvB,MAAM,SAAS,GACb,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;oBACpE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;oBAC1C,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;gBAC3C,CAAC;YACH,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC;YACnD,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YAC9B,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC3C,cAAc,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YACrC,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC;YACrD,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC7B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,SAAS;QACX,CAAC;QACD,4CAA4C;IAC9C,CAAC;IAED,sBAAsB;IACtB,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAA,+BAAgB,EAAC,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;YACnE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,OAAO,UAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IAED,OAAO,QAAQ,CAAC,YAAY,CAAC,CAAC;AAChC,CAAC,CAAC;AA1EW,QAAA,OAAO,WA0ElB;AAEF,MAAM,iBAAiB,GAAG,CAAC,CAAU,EAAE,GAAW,EAAU,EAAE;IAC5D,IAAI,CAAC,YAAY,mBAAU;QAAE,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,IAAI,CAAC,YAAY,gBAAQ;QAAE,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;IACzD,IAAI,CAAC,YAAY,KAAK;QAAE,OAAO,GAAG,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;IACtD,OAAO,GAAG,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;AAChC,CAAC,CAAC"}

package/dist/cjs/shape/transforms/sql/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./transform";
+export * from "./from-sql";
+export * from "./options";
+//# sourceMappingURL=index.d.ts.map

package/dist/cjs/shape/transforms/sql/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/shape/transforms/sql/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC"}

package/dist/cjs/shape/transforms/sql/index.js

@@ -0,0 +1,20 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./transform"), exports);
+__exportStar(require("./from-sql"), exports);
+__exportStar(require("./options"), exports);
+//# sourceMappingURL=index.js.map

package/dist/cjs/shape/transforms/sql/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../../src/shape/transforms/sql/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,8CAA4B;AAC5B,6CAA2B;AAC3B,4CAA0B"}

package/dist/cjs/shape/transforms/sql/options.d.ts

@@ -0,0 +1,6 @@
+export type SQLDialect = "postgres" | "sqlite";
+export type SQLOptions = {
+    dialect?: SQLDialect;
+};
+export declare const resolveDialect: (opts?: SQLOptions) => SQLDialect;
+//# sourceMappingURL=options.d.ts.map

package/dist/cjs/shape/transforms/sql/options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"options.d.ts","sourceRoot":"","sources":["../../../../../src/shape/transforms/sql/options.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,QAAQ,CAAC;AAE/C,MAAM,MAAM,UAAU,GAAG;IAAE,OAAO,CAAC,EAAE,UAAU,CAAA;CAAE,CAAC;AAElD,eAAO,MAAM,cAAc,GAAI,OAAO,UAAU,KAAG,UACtB,CAAC"}

package/dist/cjs/shape/transforms/sql/options.js

@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveDialect = void 0;
+const resolveDialect = (opts) => opts?.dialect ?? "postgres";
+exports.resolveDialect = resolveDialect;
+//# sourceMappingURL=options.js.map

package/dist/cjs/shape/transforms/sql/options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"options.js","sourceRoot":"","sources":["../../../../../src/shape/transforms/sql/options.ts"],"names":[],"mappings":";;;AAIO,MAAM,cAAc,GAAG,CAAC,IAAiB,EAAc,EAAE,CAC9D,IAAI,EAAE,OAAO,IAAI,UAAU,CAAC;AADjB,QAAA,cAAc,kBACG"}

package/dist/cjs/shape/transforms/sql/parser/check-decoder.d.ts

@@ -0,0 +1,25 @@
+import { Token } from "./lexer";
+export type CheckUpdate = {
+    min?: number;
+    max?: number;
+    pattern?: string;
+    uniqueItems?: boolean;
+    unionLiterals?: string[];
+    isBooleanInt?: boolean;
+    isJsonValid?: boolean;
+    tupleLength?: number;
+};
+export type DecodedCheck = {
+    updates: CheckUpdate;
+    fullyDecoded: boolean;
+};
+export declare const checkExprToSql: (tokens: Token[]) => string;
+type CheckCtx = {
+    columnName: string;
+    isInteger: boolean;
+    isString: boolean;
+    isArray: boolean;
+};
+export declare const decodeCheck: (rawTokens: Token[], ctx: CheckCtx) => DecodedCheck;
+export {};
+//# sourceMappingURL=check-decoder.d.ts.map

package/dist/cjs/shape/transforms/sql/parser/check-decoder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-decoder.d.ts","sourceRoot":"","sources":["../../../../../../src/shape/transforms/sql/parser/check-decoder.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAEhC,MAAM,MAAM,WAAW,GAAG;IACxB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IAEzB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,WAAW,CAAC;IAGrB,YAAY,EAAE,OAAO,CAAC;CACvB,CAAC;AAIF,eAAO,MAAM,cAAc,GAAI,QAAQ,KAAK,EAAE,KAAG,MAoBhD,CAAC;AAqEF,KAAK,QAAQ,GAAG;IACd,UAAU,EAAE,MAAM,CAAC;IAEnB,SAAS,EAAE,OAAO,CAAC;IAEnB,QAAQ,EAAE,OAAO,CAAC;IAElB,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC;AAmUF,eAAO,MAAM,WAAW,GACtB,WAAW,KAAK,EAAE,EAClB,KAAK,QAAQ,KACZ,YAUF,CAAC"}