durcno 1.0.0-alpha.6 → 1.0.0-alpha.8

package/README.md

@@ -22,8 +22,9 @@
 
 - **🔗 Relation Mapping** — Intuitive `many`, `one`, and `fk` relations with full type inference.
 - **🦾 Robust Migrations** — Auto-generated, reversible, and squashable migrations for production applications.
-- **🚀 Zero Runtime Overhead** — Thin abstraction layer that compiles to efficient SQL.
+- **⚡ Zero Runtime Overhead** — Thin abstraction layer that compiles to efficient SQL.
 - **🔌 Multiple Drivers** — Support for `pg`, `postgres`, `bun`, and `pglite` drivers.
+- **🛡️ Zod Integration** — Built-in Zod validators for schema validation and type inference.
 - **🌍 PostGIS Support** — First-class geographic column types for spatial queries.
 
 ## Setup
@@ -40,7 +41,7 @@ npm exec durcno init
 
 Get started with Durcno by following our comprehensive documentation.
 
-**[Read the Documentation](https://durcno.dev/docs/latest/intro)**
+**[Getting Started | Durcno](https://durcno.dev/docs/latest/getting-started)**
 
 > [!WARNING]
 > Durcno is currently in the alpha stage.

package/dist/bin.cjs

@@ -12086,6 +12086,109 @@ function snapshotExprToSQL(expr) {
   }
   throw new Error("Unknown expression type");
 }
+var opToMethod = {
+  "=": "eq",
+  "<>": "neq",
+  ">": "gt",
+  ">=": "gte",
+  "<": "lt",
+  "<=": "lte",
+  LIKE: "like",
+  "SIMILAR TO": "similarTo",
+  "~": "regex",
+  IN: "in",
+  "NOT IN": "notIn"
+};
+var fnOpToMethod = {
+  "=": "fnEq",
+  "<>": "fnNeq",
+  ">": "fnGt",
+  ">=": "fnGte",
+  "<": "fnLt",
+  "<=": "fnLte"
+};
+var reservedMethodAlias = {
+  in: "inOp"
+};
+function wrapSql(value) {
+  return `sql\`${value.replace(/`/g, "\\`")}\``;
+}
+function collectMethods(expr, names) {
+  if (expr.type === "raw") {
+    names.add("raw");
+    return;
+  }
+  if (expr.type === "comparison") {
+    if (isExprColumnRef(expr.right)) {
+      names.add("raw");
+      return;
+    }
+    if (expr.left.type === "function") {
+      names.add(fnOpToMethod[expr.op] ?? "fnEq");
+      names.add(expr.left.name);
+    } else {
+      names.add(opToMethod[expr.op] ?? "eq");
+    }
+    return;
+  }
+  if (expr.type === "logical") {
+    names.add(expr.op === "AND" ? "and" : "or");
+    for (const e of expr.expressions) {
+      collectMethods(e, names);
+    }
+    return;
+  }
+  if (expr.type === "function") {
+    names.add(expr.name);
+  }
+}
+function buildDestructure(names) {
+  return [...names].sort().map((name) => {
+    const alias = reservedMethodAlias[name];
+    return alias ? `${name}: ${alias}` : name;
+  }).join(", ");
+}
+function callName(method) {
+  return reservedMethodAlias[method] ?? method;
+}
+function renderFunctionExpr(fn) {
+  const args = fn.args.map(
+    (a) => typeof a === "string" ? wrapSql(a) : isExprColumnRef(a) ? JSON.stringify(a.name) : wrapSql(snapshotExprToSQL(a))
+  );
+  return `${fn.name}(${args.join(", ")})`;
+}
+function renderExpr(expr) {
+  if (expr.type === "raw") {
+    return `raw(${JSON.stringify(expr.sql)})`;
+  }
+  if (expr.type === "comparison") {
+    if (isExprColumnRef(expr.right)) {
+      return `raw(${JSON.stringify(snapshotExprToSQL(expr))})`;
+    }
+    if (expr.left.type === "function") {
+      const method2 = fnOpToMethod[expr.op] ?? "fnEq";
+      return `${callName(method2)}(${renderFunctionExpr(expr.left)}, ${wrapSql(expr.right)})`;
+    }
+    const method = opToMethod[expr.op] ?? "eq";
+    return `${callName(method)}(${JSON.stringify(expr.left.name)}, ${wrapSql(expr.right)})`;
+  }
+  if (expr.type === "logical") {
+    const method = expr.op === "AND" ? "and" : "or";
+    const parts = expr.expressions.map((e) => renderExpr(e)).join(", ");
+    return `${method}(${parts})`;
+  }
+  if (expr.type === "function") {
+    return renderFunctionExpr(expr);
+  }
+  throw new Error("Unknown SnapshotCheckExpr type");
+}
+function snapshotExprToCheckBuilderCode(expr) {
+  const names = /* @__PURE__ */ new Set();
+  collectMethods(expr, names);
+  const destructure = buildDestructure(names);
+  const body = renderExpr(expr);
+  return `({ ${destructure} }) => ${body}`;
+}
 
 // src/cli/utils.ts
 function getOrderedDependencies(items, dependencyMap) {
@@ -12479,7 +12582,9 @@ function generateMigration(prev, curr, direction, renamedTables = {}, renamedCol
         );
       }
       for (const chk of Object.values(currTable.checkConstraints)) {
-        tableBuilder.push(`.check("${chk.name}", ${JSON.stringify(chk.expr)})`);
+        tableBuilder.push(
+          `.check("${chk.name}", ${snapshotExprToCheckBuilderCode(chk.expr)})`
+        );
       }
       for (const uc of Object.values(currTable.uniqueConstraints ?? {})) {
         const cols = uc.columns.map((c) => `"${c}"`).join(", ");
@@ -12514,9 +12619,9 @@ function generateMigration(prev, curr, direction, renamedTables = {}, renamedCol
     }
   }
   if (statements.length === 0) return null;
-  return `import { type DDLStatement, ddl, type MigrationOptions } from "durcno/migration";
+  return `import { type DDLStatement, ddl, sql, type MigrationOptions } from "durcno/migration";
 
-export const options: MigrationOptions = ${stringifyMigrationOpts(defaultOptions ?? { transaction: true })};
+export const options: MigrationOptions = ${stringifyMigrationOpts(defaultOptions ?? {})};
 
 export const statements: DDLStatement[] = [
   ${statements.join(",\n  ")},
@@ -12526,7 +12631,7 @@ export const statements: DDLStatement[] = [
 function generateNoOpMigration(defaultOptions) {
   return `import { type DDLStatement, ddl, type MigrationOptions } from "durcno/migration";
 
-export const options: MigrationOptions = ${stringifyMigrationOpts(defaultOptions ?? { transaction: true })};
+export const options: MigrationOptions = ${stringifyMigrationOpts(defaultOptions ?? {})};
 
 export const statements: DDLStatement[] = [];
 `;
@@ -12636,14 +12741,14 @@ function generateAlterTableStmts(prevTable, currTable, tableName, curr, statemen
     const prevChk = prevTable.checkConstraints[chkName];
     if (!prevChk) {
       alterStatements.push(
-        `.addCheck("${chkName}", ${JSON.stringify(currChk.expr)})`
+        `.addCheck("${chkName}", ${snapshotExprToCheckBuilderCode(currChk.expr)})`
       );
     } else {
       const prevSql = snapshotExprToSQL(prevChk.expr);
       const currSql = snapshotExprToSQL(currChk.expr);
       if (prevSql !== currSql) {
         alterStatements.push(
-          `.addCheck("${chkName}", ${JSON.stringify(currChk.expr)})`
+          `.addCheck("${chkName}", ${snapshotExprToCheckBuilderCode(currChk.expr)})`
         );
       }
     }
@@ -13498,7 +13603,7 @@ async function status(options) {
 }
 
 // src/cli/index.ts
-program.version("1.0.0-alpha.5");
+program.version("1.0.0-alpha.7");
 var Options = {
   config: ["--config <path>", "Path to the config file"]
 };

package/dist/src/columns/bigint.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/bigint.d.ts

package/dist/src/columns/bigserial.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/bigserial.d.ts

package/dist/src/columns/boolean.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/boolean.d.ts

package/dist/src/columns/bytea.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/bytea.d.ts

package/dist/src/columns/char.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/char.d.ts

package/dist/src/columns/cidr.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/cidr.d.ts

package/dist/src/columns/common.d.mts

@@ -1,8 +1,8 @@
-import { Key } from "../types.mjs";
-import { Sql } from "../sql.mjs";
 import { entityType } from "../symbols.mjs";
-import { Arg } from "../query-builders/pre.mjs";
+import { Key } from "../types.mjs";
 import { StdTableColumn, TableColumn } from "../table.mjs";
+import { Arg } from "../query-builders/pre.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/common.d.ts

package/dist/src/columns/date.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/date.d.ts

package/dist/src/columns/enum.d.mts

@@ -1,6 +1,6 @@
-import { Sql } from "../sql.mjs";
-import { Enum } from "../enumtype.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Enum } from "../enumtype.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/enum.d.ts

package/dist/src/columns/inet.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/inet.d.ts

package/dist/src/columns/integer.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/integer.d.ts

package/dist/src/columns/json.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/json.d.ts

package/dist/src/columns/jsonb.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/jsonb.d.ts

package/dist/src/columns/macaddr.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/macaddr.d.ts

package/dist/src/columns/numeric.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/numeric.d.ts

package/dist/src/columns/postgis/geography/linestring.d.mts

@@ -1,6 +1,6 @@
 import { SelfOrReadonly } from "../../../types.mjs";
-import { Sql } from "../../../sql.mjs";
 import { Column, ColumnConfig } from "../../common.mjs";
+import { Sql } from "../../../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/postgis/geography/linestring.d.ts

package/dist/src/columns/postgis/geography/multilinestring.d.mts

@@ -1,6 +1,6 @@
 import { SelfOrReadonly } from "../../../types.mjs";
-import { Sql } from "../../../sql.mjs";
 import { Column, ColumnConfig } from "../../common.mjs";
+import { Sql } from "../../../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/postgis/geography/multilinestring.d.ts

package/dist/src/columns/postgis/geography/multipoint.d.mts

@@ -1,6 +1,6 @@
 import { SelfOrReadonly } from "../../../types.mjs";
-import { Sql } from "../../../sql.mjs";
 import { Column, ColumnConfig } from "../../common.mjs";
+import { Sql } from "../../../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/postgis/geography/multipoint.d.ts

package/dist/src/columns/postgis/geography/multipolygon.d.mts

@@ -1,6 +1,6 @@
 import { SelfOrReadonly } from "../../../types.mjs";
-import { Sql } from "../../../sql.mjs";
 import { Column, ColumnConfig } from "../../common.mjs";
+import { Sql } from "../../../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/postgis/geography/multipolygon.d.ts

package/dist/src/columns/postgis/geography/point.d.mts

@@ -1,6 +1,6 @@
 import { SelfOrReadonly } from "../../../types.mjs";
-import { Sql } from "../../../sql.mjs";
 import { Column, ColumnConfig } from "../../common.mjs";
+import { Sql } from "../../../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/postgis/geography/point.d.ts

package/dist/src/columns/postgis/geography/polygon.d.mts

@@ -1,6 +1,6 @@
 import { SelfOrReadonly } from "../../../types.mjs";
-import { Sql } from "../../../sql.mjs";
 import { Column, ColumnConfig } from "../../common.mjs";
+import { Sql } from "../../../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/postgis/geography/polygon.d.ts

package/dist/src/columns/serial.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/serial.d.ts

package/dist/src/columns/smallint.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/smallint.d.ts

package/dist/src/columns/smallserial.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/smallserial.d.ts

package/dist/src/columns/text.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/text.d.ts

package/dist/src/columns/time.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/time.d.ts

package/dist/src/columns/timestamp.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/timestamp.d.ts

package/dist/src/columns/uuid.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/uuid.d.ts

package/dist/src/columns/varchar.d.mts

@@ -1,5 +1,5 @@
-import { Sql } from "../sql.mjs";
 import { Column, ColumnConfig } from "./common.mjs";
+import { Sql } from "../sql.mjs";
 import * as z from "zod";
 
 //#region src/columns/varchar.d.ts

package/dist/src/connectors/common.d.mts

@@ -1,4 +1,4 @@
-import { DurcnoLogger } from "../logger.mjs";
+import { QueryLogger } from "../logger.mjs";
 import { Query } from "../query-builders/query.mjs";
 import { MigrationOptions } from "../migration/index.mjs";
 import { ConnectionOptions } from "node:tls";
@@ -43,7 +43,7 @@ type ConnectorOptions = {
    * When set, all executed queries will be logged at the `info` level with
    * structured `{ sql, arguments }` metadata.
    */
-  logger?: DurcnoLogger;
+  logger?: QueryLogger;
 };
 /**
  * Abstract base class for all database connectors.
@@ -83,7 +83,7 @@ declare abstract class Connector {
   /** Connection pool size override (can be mutated by CLI commands before `getPool()` is called). */
   pool?: ConnectorOptions["pool"];
   /** Optional logger instance for query logging. */
-  logger?: DurcnoLogger;
+  logger?: QueryLogger;
   constructor(options: ConnectorOptions);
   /**
    * Creates a single-connection client.
@@ -116,7 +116,7 @@ declare abstract class $QueryExecutor {
   /** The connector options used to create this executor. */
   options: ConnectorOptions;
   /** Optional logger instance for query logging. */
-  logger?: DurcnoLogger;
+  logger?: QueryLogger;
   constructor(options: ConnectorOptions);
   /**
    * Executes a SQL query with optional parameterized arguments.

package/dist/src/constraints/check.d.mts

@@ -1,5 +1,5 @@
-import { Key } from "../types.mjs";
-import { AnyColumn, TableColumn } from "../table.mjs";
+import { StdTableColumn } from "../table.mjs";
+import { Sql } from "../sql.mjs";
 
 //#region src/constraints/check.d.ts
 type ComparisonOp = "=" | "<>" | "<" | ">" | "<=" | ">=" | "IN" | "NOT IN";
@@ -7,7 +7,7 @@ type PatternOp = "LIKE" | "SIMILAR TO" | "~";
 type LogicalOp = "AND" | "OR";
 interface ComparisonExpr {
   type: "comparison";
-  left: TableColumn<string, string, Key, AnyColumn> | FunctionExpr;
+  left: StdTableColumn | FunctionExpr;
   op: ComparisonOp | PatternOp;
   right: unknown;
 }
@@ -19,7 +19,7 @@ interface LogicalExpr {
 interface FunctionExpr {
   type: "function";
   name: string;
-  args: (TableColumn<string, string, Key, AnyColumn> | unknown)[];
+  args: (StdTableColumn | unknown)[];
 }
 interface RawExpr {
   type: "raw";
@@ -62,24 +62,24 @@ interface SnapshotRawExpr {
 }
 type SnapshotCheckExpr = SnapshotComparisonExpr | SnapshotLogicalExpr | SnapshotFunctionExpr | SnapshotRawExpr;
 declare class CheckBuilder {
-  eq<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
-  neq<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
-  gt<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
-  gte<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
-  lt<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
-  lte<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
-  like<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, pattern: string): ComparisonExpr;
-  similarTo<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, pattern: string): ComparisonExpr;
-  regex<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, pattern: string): ComparisonExpr;
-  in<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, values: TCol["ValType"][]): ComparisonExpr;
-  notIn<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, values: TCol["ValType"][]): ComparisonExpr;
+  eq<TCol extends StdTableColumn>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
+  neq<TCol extends StdTableColumn>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
+  gt<TCol extends StdTableColumn>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
+  gte<TCol extends StdTableColumn>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
+  lt<TCol extends StdTableColumn>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
+  lte<TCol extends StdTableColumn>(col: TCol, value: TCol["ValType"]): ComparisonExpr;
+  like<TCol extends StdTableColumn>(col: TCol, pattern: string): ComparisonExpr;
+  similarTo<TCol extends StdTableColumn>(col: TCol, pattern: string): ComparisonExpr;
+  regex<TCol extends StdTableColumn>(col: TCol, pattern: string): ComparisonExpr;
+  in<TCol extends StdTableColumn>(col: TCol, values: TCol["ValType"][]): ComparisonExpr;
+  notIn<TCol extends StdTableColumn>(col: TCol, values: TCol["ValType"][]): ComparisonExpr;
   and(...expressions: CheckExpr[]): LogicalExpr;
   or(...expressions: CheckExpr[]): LogicalExpr;
-  length<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol): FunctionExpr;
-  lower<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol): FunctionExpr;
-  upper<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol): FunctionExpr;
-  trim<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol): FunctionExpr;
-  coalesce<TCol extends TableColumn<string, string, Key, AnyColumn>>(col: TCol, defaultValue: TCol["ValType"]): FunctionExpr;
+  length<TCol extends StdTableColumn>(col: TCol): FunctionExpr;
+  lower<TCol extends StdTableColumn>(col: TCol): FunctionExpr;
+  upper<TCol extends StdTableColumn>(col: TCol): FunctionExpr;
+  trim<TCol extends StdTableColumn>(col: TCol): FunctionExpr;
+  coalesce<TCol extends StdTableColumn>(col: TCol, defaultValue: TCol["ValType"]): FunctionExpr;
   fnEq(fn: FunctionExpr, value: unknown): ComparisonExpr;
   fnNeq(fn: FunctionExpr, value: unknown): ComparisonExpr;
   fnGt(fn: FunctionExpr, value: number): ComparisonExpr;
@@ -96,5 +96,87 @@ declare class Check {
   getExpression(): string;
   toSnapshotExpr(): SnapshotCheckExpr;
 }
+/**
+ * Callback type for check expressions in migration DDL builders.
+ * Receives a {@link MigrationCheckBuilder} and returns a {@link SnapshotCheckExpr}.
+ */
+type MigrationCheckExprCallback = (builder: MigrationCheckBuilder) => SnapshotCheckExpr;
+/**
+ * A check-expression builder for use inside migration files.
+ *
+ * Unlike {@link CheckBuilder}, which works with live {@link TableColumn} objects,
+ * this builder accepts column names as strings and values as {@link Sql} instances.
+ * It returns {@link SnapshotCheckExpr} objects directly, which are stored by
+ * {@link CreateTableBuilder} / {@link AlterTableBuilder} and rendered to SQL
+ * via {@link snapshotExprToSQL}.
+ *
+ * Because all methods are stateless, destructuring is safe:
+ * ```typescript
+ * .check("positive_price", ({ gt }) => gt("price", sql`0`))
+ * ```
+ */
+declare class MigrationCheckBuilder {
+  #private;
+  /** `col = value` */
+  eq: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `col <> value` */
+  neq: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `col > value` */
+  gt: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `col >= value` */
+  gte: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `col < value` */
+  lt: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `col <= value` */
+  lte: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `col LIKE pattern` */
+  like: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `col SIMILAR TO pattern` */
+  similarTo: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `col ~ pattern` */
+  regex: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /**
+   * `col IN (...)` — pass the full tuple as a single sql literal:
+   * ```typescript
+   * in("status", sql`('active', 'pending')`)
+   * ```
+   */
+  in: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /**
+   * `col NOT IN (...)` — pass the full tuple as a single sql literal:
+   * ```typescript
+   * notIn("status", sql`('archived', 'deleted')`)
+   * ```
+   */
+  notIn: (col: string, value: Sql) => SnapshotComparisonExpr;
+  /** `(expr1 AND expr2 ...)` */
+  and: (...expressions: SnapshotCheckExpr[]) => SnapshotLogicalExpr;
+  /** `(expr1 OR expr2 ...)` */
+  or: (...expressions: SnapshotCheckExpr[]) => SnapshotLogicalExpr;
+  /** `length(col)` */
+  length: (col: string) => SnapshotFunctionExpr;
+  /** `lower(col)` */
+  lower: (col: string) => SnapshotFunctionExpr;
+  /** `upper(col)` */
+  upper: (col: string) => SnapshotFunctionExpr;
+  /** `trim(col)` */
+  trim: (col: string) => SnapshotFunctionExpr;
+  /** `coalesce(col, default)` */
+  coalesce: (col: string, value: Sql) => SnapshotFunctionExpr;
+  /** `fn(col) = value` */
+  fnEq: (fn: SnapshotFunctionExpr, value: Sql) => SnapshotComparisonExpr;
+  /** `fn(col) <> value` */
+  fnNeq: (fn: SnapshotFunctionExpr, value: Sql) => SnapshotComparisonExpr;
+  /** `fn(col) > value` */
+  fnGt: (fn: SnapshotFunctionExpr, value: Sql) => SnapshotComparisonExpr;
+  /** `fn(col) >= value` */
+  fnGte: (fn: SnapshotFunctionExpr, value: Sql) => SnapshotComparisonExpr;
+  /** `fn(col) < value` */
+  fnLt: (fn: SnapshotFunctionExpr, value: Sql) => SnapshotComparisonExpr;
+  /** `fn(col) <= value` */
+  fnLte: (fn: SnapshotFunctionExpr, value: Sql) => SnapshotComparisonExpr;
+  /** Emit a raw SQL expression verbatim. */
+  raw: (sql: string) => SnapshotRawExpr;
+}
 //#endregion
-export { Check, CheckBuilder, CheckExpr, SnapshotCheckExpr };
+export { Check, CheckBuilder, CheckExpr, MigrationCheckBuilder, MigrationCheckExprCallback, SnapshotCheckExpr };