sumak 0.0.2 → 0.0.4

package/dist/index.d.mts

@@ -1,8 +1,9 @@
-import { A as RawNode, B as createSelectNode, C as IsNullNode, D as OnConflictNode, E as LiteralNode, F as UnaryOpNode, G as JoinType, H as tableRef, I as UpdateNode, J as SQLDialect, K as OrderDirection, L as WindowFunctionNode, M as StarNode, N as SubqueryNode, O as OrderByNode, P as TableRefNode, R as createDeleteNode, S as InsertNode, T as JsonAccessNode, U as CompiledQuery, V as createUpdateNode, W as DialectConfig, Y as SetOperator, _ as FrameBound, a as PrinterOptions, b as FunctionCallNode, c as BetweenNode, d as CaseNode, f as CastNode, g as ExpressionNode, h as ExistsNode, i as Printer, j as SelectNode, k as ParamNode, l as BinaryOpNode, m as DeleteNode, n as BasePrinter, o as ASTNode, p as ColumnRefNode, q as Primitive, r as PrintMode, s as ArrayExprNode, t as Dialect, u as CTENode, v as FrameKind, w as JoinNode, x as InNode, y as FrameSpec, z as createInsertNode } from "./_chunks/types.mjs";
+import { $ as JoinType, A as MergeNode, B as TableRefNode, C as FunctionCallNode, D as JoinNode, E as IsNullNode, F as ParamNode, G as createDeleteNode, H as UnaryOpNode, I as RawNode, J as createSelectNode, K as createInsertNode, L as SelectNode, M as MergeWhenNotMatched, N as OnConflictNode, O as JsonAccessNode, P as OrderByNode, Q as DialectConfig, R as StarNode, S as FullTextSearchNode, T as InsertNode, U as UpdateNode, V as TemporalClause, W as WindowFunctionNode, X as tableRef, Y as createUpdateNode, Z as CompiledQuery, _ as ExpressionNode, a as PrinterOptions, b as FrameSpec, c as ArrayExprNode, d as CTENode, et as OrderDirection, f as CaseNode, g as ExistsNode, h as DeleteNode, i as Printer, j as MergeWhenMatched, k as LiteralNode, l as BetweenNode, m as ColumnRefNode, n as BasePrinter, nt as SQLDialect, o as ASTNode, p as CastNode, q as createMergeNode, r as PrintMode, rt as SetOperator, s as AliasedExprNode, t as Dialect, tt as Primitive, u as BinaryOpNode, v as FrameBound, w as InNode, x as FullTextSearchMode, y as FrameKind, z as SubqueryNode } from "./_chunks/types.mjs";
 import { n as PgPrinter, t as pgDialect } from "./_chunks/pg.mjs";
+import { n as MssqlPrinter, t as mssqlDialect } from "./_chunks/mssql.mjs";
 import { n as MysqlPrinter, t as mysqlDialect } from "./_chunks/mysql.mjs";
 import { n as SqlitePrinter, t as sqliteDialect } from "./_chunks/sqlite.mjs";
-import { A as GeneratedAlways, C as time, D as varchar, E as uuid, F as Selectable, I as UpdateType, L as Updateable, M as Insertable, N as Nullable$1, O as ColumnType, P as SelectType, S as text$1, T as timestamptz, _ as jsonb, a as ColumnBuilder, b as serial, c as bigserial, d as char, f as date, g as json, h as integer, i as defineTable, j as InsertType, k as Generated, l as boolean, m as enumType, n as InferTable, o as ColumnDef, p as doublePrecision, r as TableDefinition, s as bigint, t as Nullable, u as bytea, v as numeric, w as timestamp, x as smallint, y as real } from "./_chunks/index.mjs";
+import { A as InsertType, C as timestamp, D as ColumnType, E as varchar, F as Selectable, I as UpdateType, L as Updateable, M as Nullable, N as SelectRow, O as Generated, P as SelectType, S as time, T as uuid, _ as numeric, a as ColumnDef, b as smallint, c as boolean, d as date, f as doublePrecision, g as jsonb, h as json, i as ColumnBuilder, j as Insertable, k as GeneratedAlways, l as bytea, m as integer, n as TableDefinition, o as bigint, p as enumType, r as defineTable, s as bigserial, t as InferTable, u as char, v as real, w as timestamptz, x as text$1, y as serial } from "./_chunks/index.mjs";
 declare function col(column: string, table?: string): ColumnRefNode;
 declare function colAs(column: string, alias: string, table?: string): ColumnRefNode;
 declare function lit(value: string | number | boolean | null): LiteralNode;
@@ -23,15 +24,13 @@ declare function like(expr: ExpressionNode, pattern: ExpressionNode): BinaryOpNo
 declare function between(expr: ExpressionNode, low: ExpressionNode, high: ExpressionNode, negated?: boolean): BetweenNode;
 declare function inList(expr: ExpressionNode, values: ExpressionNode[] | SelectNode, negated?: boolean): InNode;
 declare function isNull(expr: ExpressionNode, negated?: boolean): IsNullNode;
-declare function cast(expr: ExpressionNode, dataType: string): CastNode;
-declare function exists(query: SelectNode, negated?: boolean): ExistsNode;
-declare function not(operand: ExpressionNode): UnaryOpNode;
 declare class ASTTransformer {
   transform(node: ASTNode): ASTNode;
   transformSelect(node: SelectNode): SelectNode;
   transformInsert(node: InsertNode): InsertNode;
   transformUpdate(node: UpdateNode): UpdateNode;
   transformDelete(node: DeleteNode): DeleteNode;
+  transformMerge(node: MergeNode): MergeNode;
   transformExpression(node: ExpressionNode): ExpressionNode;
 }
 interface ASTVisitor<R = void> {
@@ -39,6 +38,7 @@ interface ASTVisitor<R = void> {
   visitInsert(node: InsertNode): R;
   visitUpdate(node: UpdateNode): R;
   visitDelete(node: DeleteNode): R;
+  visitMerge(node: MergeNode): R;
   visitExpression(node: ExpressionNode): R;
   visitJoin(node: JoinNode): R;
   visitOrderBy(node: OrderByNode): R;
@@ -55,6 +55,25 @@ interface Expression<T> {
   readonly __type: T;
   readonly node: ExpressionNode;
 }
+declare class MergeBuilder {
+  private node;
+  private paramIndex;
+  constructor(node?: MergeNode, paramIndex?: number);
+  into(table: string | TableRefNode): MergeBuilder;
+  using(source: string | TableRefNode | SubqueryNode, alias: string): MergeBuilder;
+  on(expr: ExpressionNode): MergeBuilder;
+  whenMatched(action: MergeWhenMatched): MergeBuilder;
+  whenNotMatched(action: MergeWhenNotMatched): MergeBuilder;
+  whenMatchedUpdate(set: {
+    column: string;
+    value: ExpressionNode;
+  }[], condition?: ExpressionNode): MergeBuilder;
+  whenMatchedDelete(condition?: ExpressionNode): MergeBuilder;
+  whenNotMatchedInsert(columns: string[], values: ExpressionNode[], condition?: ExpressionNode): MergeBuilder;
+  with(name: string, query: SelectNode, recursive?: boolean): MergeBuilder;
+  build(): MergeNode;
+}
+declare function merge(target: string | TableRefNode): MergeBuilder;
 declare class SelectBuilder {
   private node;
   constructor(node?: SelectNode);
@@ -72,6 +91,7 @@ declare class SelectBuilder {
   orderBy(expr: string | ExpressionNode, direction?: OrderDirection, nulls?: "FIRST" | "LAST"): SelectBuilder;
   limit(expr: ExpressionNode): SelectBuilder;
   offset(expr: ExpressionNode): SelectBuilder;
+  forSystemTime(clause: TemporalClause): SelectBuilder;
   forUpdate(): SelectBuilder;
   with(name: string, query: SelectNode, recursive?: boolean): SelectBuilder;
   union(query: SelectNode): SelectBuilder;
@@ -182,7 +202,7 @@ declare function formatParam(index: number, dialect: SQLDialect): string;
  * // users.name.like("%ali%") → ("name" LIKE '%ali%')
  * ```
  */
-declare class Col$1<T> {
+declare class Col<T> {
   /** @internal */
   readonly _node: ExpressionNode;
   readonly _type: T;
@@ -200,7 +220,7 @@ declare class Col$1<T> {
   /** <= */
   lte(value: T): Expression<boolean>;
   /** LIKE (string columns only) */
-  like(this: Col$1<string>, pattern: string): Expression<boolean>;
+  like(this: Col<string>, pattern: string): Expression<boolean>;
   /** IN (value1, value2, ...) */
   in(values: T[]): Expression<boolean>;
   /** NOT IN */
@@ -212,7 +232,7 @@ declare class Col$1<T> {
   /** BETWEEN low AND high */
   between(low: T, high: T): Expression<boolean>;
   /** Compare with another column: col1.eqCol(col2) */
-  eqCol(other: Col$1<T>): Expression<boolean>;
+  eqCol(other: Col<T>): Expression<boolean>;
   /** As raw Expression<T> for advanced use */
   toExpr(): Expression<T>;
 }
@@ -222,7 +242,7 @@ declare function resetParams(): void;
  *
  * Type: { id: Col<number>, name: Col<string>, ... }
  */
-type ColumnProxies<DB, TB extends keyof DB> = { [K in keyof DB[TB] & string]: Col$1<SelectType<DB[TB][K]>> };
+type ColumnProxies<DB, TB extends keyof DB> = { [K in keyof DB[TB] & string]: Col<SelectType<DB[TB][K]>> };
 /**
  * Expression builder callback type.
  *
@@ -241,6 +261,176 @@ declare function val<T extends string | number | boolean | null>(value: T): Expr
 declare function sqlFn(name: string, ...args: Expression<any>[]): Expression<any>;
 /** COUNT(*) */
 declare function count(): Expression<number>;
+/** SUM(expr) */
+declare function sum(expr: Expression<number>): Expression<number>;
+/** AVG(expr) */
+declare function avg(expr: Expression<number>): Expression<number>;
+/** MIN(expr) */
+declare function min<T>(expr: Expression<T>): Expression<T>;
+/** MAX(expr) */
+declare function max<T>(expr: Expression<T>): Expression<T>;
+/** COALESCE(expr, fallback) */
+declare function coalesce<T>(expr: Expression<T | null>, fallback: Expression<T>): Expression<T>;
+/** NOT expr */
+declare function not(expr: Expression<boolean>): Expression<boolean>;
+/** EXISTS (subquery) */
+declare function exists(query: SelectNode): Expression<boolean>;
+/** NOT EXISTS (subquery) */
+declare function notExists(query: SelectNode): Expression<boolean>;
+/** CAST(expr AS type) */
+declare function cast<T>(expr: Expression<any>, dataType: string): Expression<T>;
+/**
+ * JSON access operator: expr->path, expr->>path, etc.
+ *
+ * ```ts
+ * jsonRef(cols.data, "name", "->>")  // data->>'name'
+ * ```
+ */
+declare function jsonRef<T = unknown>(expr: Expression<any>, path: string, operator?: "->" | "->>" | "#>" | "#>>"): Expression<T>;
+/**
+ * Full-text search expression.
+ *
+ * Dialect-aware: PG uses tsvector/tsquery, MySQL uses MATCH/AGAINST,
+ * SQLite uses FTS5 MATCH, MSSQL uses CONTAINS/FREETEXT.
+ *
+ * ```ts
+ * // PostgreSQL: to_tsvector("name") @@ to_tsquery($1)
+ * .where(() => textSearch([cols.name], val("alice")))
+ *
+ * // MySQL: MATCH(`name`) AGAINST(? IN BOOLEAN MODE)
+ * .where(() => textSearch([cols.name], val("alice"), { mode: "boolean" }))
+ * ```
+ */
+declare function textSearch(columns: Expression<any>[], query: Expression<any>, options?: {
+  mode?: FullTextSearchMode;
+  language?: string;
+}): Expression<boolean>;
+/**
+ * CASE expression builder.
+ *
+ * ```ts
+ * case_()
+ *   .when(cols.status.eq("active"), val(1))
+ *   .when(cols.status.eq("inactive"), val(0))
+ *   .else_(val(-1))
+ *   .end()
+ * ```
+ */
+declare function case_(operand?: Expression<any>): CaseBuilder<never>;
+declare class CaseBuilder<T> {
+  /** @internal */
+  private _operand;
+  /** @internal */
+  private _whens;
+  /** @internal */
+  private _else;
+  /** @internal */
+  constructor(operand: ExpressionNode | undefined, whens: {
+    condition: ExpressionNode;
+    result: ExpressionNode;
+  }[], else_?: ExpressionNode);
+  when<R>(condition: Expression<boolean>, result: Expression<R>): CaseBuilder<T | R>;
+  else_<R>(result: Expression<R>): CaseBuilder<T | R>;
+  end(): Expression<T>;
+}
+/**
+ * Type-safe DELETE query builder.
+ */
+declare class TypedDeleteBuilder<DB, TB extends keyof DB> {
+  /** @internal */
+  readonly _builder: DeleteBuilder;
+  constructor(table: TB & string);
+  /** @internal */
+  private _with;
+  /**
+   * WHERE — callback or raw Expression.
+   */
+  where(exprOrCallback: Expression<boolean> | WhereCallback<DB, TB>): TypedDeleteBuilder<DB, TB>;
+  /**
+   * RETURNING specific columns.
+   */
+  returning<K extends keyof DB[TB] & string>(...cols: K[]): TypedDeleteReturningBuilder<DB, TB, Pick<SelectRow<DB, TB>, K>>;
+  /**
+   * RETURNING all columns.
+   */
+  returningAll(): TypedDeleteReturningBuilder<DB, TB, SelectRow<DB, TB>>;
+  /** WITH (CTE) */
+  with(name: string, query: SelectNode, recursive?: boolean): TypedDeleteBuilder<DB, TB>;
+  build(): DeleteNode;
+  compile(printer: Printer): CompiledQuery;
+}
+declare class TypedDeleteReturningBuilder<DB, _TB extends keyof DB, _R> {
+  /** @internal */
+  readonly _builder: DeleteBuilder;
+  constructor(builder: DeleteBuilder);
+  build(): DeleteNode;
+  compile(printer: Printer): CompiledQuery;
+}
+/**
+ * Type-safe INSERT query builder.
+ */
+declare class TypedInsertBuilder<DB, TB extends keyof DB> {
+  /** @internal */
+  readonly _builder: InsertBuilder;
+  private _paramIdx;
+  constructor(table: TB & string, paramIdx?: number);
+  /** @internal */
+  private _withBuilder;
+  /**
+   * Insert a single row. Columns/values inferred from Insertable<DB[TB]>.
+   */
+  values(row: Insertable<DB[TB]>): TypedInsertBuilder<DB, TB>;
+  /**
+   * RETURNING specific columns.
+   */
+  returning<K extends keyof DB[TB] & string>(...cols: K[]): TypedInsertReturningBuilder<DB, TB, Pick<SelectRow<DB, TB>, K>>;
+  /**
+   * RETURNING all columns.
+   */
+  returningAll(): TypedInsertReturningBuilder<DB, TB, SelectRow<DB, TB>>;
+  /**
+   * ON CONFLICT DO NOTHING.
+   */
+  onConflictDoNothing(...columns: (keyof DB[TB] & string)[]): TypedInsertBuilder<DB, TB>;
+  /**
+   * ON CONFLICT DO UPDATE.
+   */
+  onConflictDoUpdate(columns: (keyof DB[TB] & string)[], set: {
+    column: keyof DB[TB] & string;
+    value: Expression<any>;
+  }[]): TypedInsertBuilder<DB, TB>;
+  /** WITH (CTE) */
+  with(name: string, query: SelectNode, recursive?: boolean): TypedInsertBuilder<DB, TB>;
+  build(): InsertNode;
+  compile(printer: Printer): CompiledQuery;
+}
+declare class TypedInsertReturningBuilder<DB, _TB extends keyof DB, _R> {
+  /** @internal */
+  readonly _builder: InsertBuilder;
+  constructor(builder: InsertBuilder);
+  build(): InsertNode;
+  compile(printer: Printer): CompiledQuery;
+}
+type MergeProxies<DB, Target extends keyof DB, Source extends keyof DB> = {
+  target: { [K in keyof DB[Target] & string]: Col<any> };
+  source: { [K in keyof DB[Source] & string]: Col<any> };
+};
+declare class TypedMergeBuilder<DB, Target extends keyof DB, Source extends keyof DB> {
+  /** @internal */
+  readonly _builder: MergeBuilder;
+  private _targetTable;
+  private _sourceAlias;
+  private _paramIdx;
+  constructor(targetTable: Target & string, sourceTable: Source & string, sourceAlias: string, on: Expression<boolean>, paramIdx?: number);
+  /** @internal */
+  private _with;
+  whenMatchedThenUpdate(values: Updateable<DB[Target]>, condition?: (proxies: MergeProxies<DB, Target, Source>) => Expression<boolean>): TypedMergeBuilder<DB, Target, Source>;
+  whenMatchedThenDelete(condition?: (proxies: MergeProxies<DB, Target, Source>) => Expression<boolean>): TypedMergeBuilder<DB, Target, Source>;
+  whenNotMatchedThenInsert(row: Insertable<DB[Target]>, condition?: (proxies: MergeProxies<DB, Target, Source>) => Expression<boolean>): TypedMergeBuilder<DB, Target, Source>;
+  with(name: string, query: SelectNode, recursive?: boolean): TypedMergeBuilder<DB, Target, Source>;
+  build(): MergeNode;
+  compile(printer: Printer): CompiledQuery;
+}
 /**
  * Type-safe SELECT query builder.
  *
@@ -281,13 +471,13 @@ declare class TypedSelectBuilder<DB, TB extends keyof DB, O> {
    * .innerJoin("posts", ({ users, posts }) => users.id.eqCol(posts.userId))
    * ```
    */
-  innerJoin<T extends keyof DB & string>(table: T, onOrCallback: Expression<boolean> | ((cols: JoinProxies<DB, TB, T>) => Expression<boolean>)): TypedSelectBuilder<DB, TB | T, O & { [K in keyof DB[T]]: SelectType<DB[T][K]> }>;
+  innerJoin<T extends keyof DB & string>(table: T, onOrCallback: Expression<boolean> | ((cols: JoinProxies<DB, TB, T>) => Expression<boolean>)): TypedSelectBuilder<DB, TB | T, O & SelectRow<DB, T>>;
   /**
    * LEFT JOIN — joined columns become nullable.
    */
-  leftJoin<T extends keyof DB & string>(table: T, onOrCallback: Expression<boolean> | ((cols: JoinProxies<DB, TB, T>) => Expression<boolean>)): TypedSelectBuilder<DB, TB | T, O & Nullable$1<{ [K in keyof DB[T]]: SelectType<DB[T][K]> }>>;
+  leftJoin<T extends keyof DB & string>(table: T, onOrCallback: Expression<boolean> | ((cols: JoinProxies<DB, TB, T>) => Expression<boolean>)): TypedSelectBuilder<DB, TB | T, O & Nullable<SelectRow<DB, T>>>;
   /** RIGHT JOIN */
-  rightJoin<T extends keyof DB & string>(table: T, onOrCallback: Expression<boolean> | ((cols: JoinProxies<DB, TB, T>) => Expression<boolean>)): TypedSelectBuilder<DB, TB | T, Nullable$1<O> & { [K in keyof DB[T]]: SelectType<DB[T][K]> }>;
+  rightJoin<T extends keyof DB & string>(table: T, onOrCallback: Expression<boolean> | ((cols: JoinProxies<DB, TB, T>) => Expression<boolean>)): TypedSelectBuilder<DB, TB | T, Nullable<O> & SelectRow<DB, T>>;
   /** GROUP BY */
   groupBy(...cols: (keyof O & string)[]): TypedSelectBuilder<DB, TB, O>;
   /** HAVING */
@@ -298,6 +488,8 @@ declare class TypedSelectBuilder<DB, TB extends keyof DB, O> {
   limit(n: number): TypedSelectBuilder<DB, TB, O>;
   /** OFFSET */
   offset(n: number): TypedSelectBuilder<DB, TB, O>;
+  /** FOR SYSTEM_TIME (SQL:2011 temporal query) */
+  forSystemTime(clause: TemporalClause): TypedSelectBuilder<DB, TB, O>;
   /** FOR UPDATE */
   forUpdate(): TypedSelectBuilder<DB, TB, O>;
   /** WITH (CTE) */
@@ -306,55 +498,20 @@ declare class TypedSelectBuilder<DB, TB extends keyof DB, O> {
   union(query: TypedSelectBuilder<DB, any, O>): TypedSelectBuilder<DB, TB, O>;
   /** UNION ALL */
   unionAll(query: TypedSelectBuilder<DB, any, O>): TypedSelectBuilder<DB, TB, O>;
+  /** INTERSECT */
+  intersect(query: TypedSelectBuilder<DB, any, O>): TypedSelectBuilder<DB, TB, O>;
+  /** EXCEPT */
+  except(query: TypedSelectBuilder<DB, any, O>): TypedSelectBuilder<DB, TB, O>;
+  /** FULL JOIN — both sides become nullable. */
+  fullJoin<T extends keyof DB & string>(table: T, onOrCallback: Expression<boolean> | ((cols: JoinProxies<DB, TB, T>) => Expression<boolean>)): TypedSelectBuilder<DB, TB | T, Nullable<O> & Nullable<SelectRow<DB, T>>>;
+  /** CROSS JOIN — cartesian product. */
+  crossJoin<T extends keyof DB & string>(table: T): TypedSelectBuilder<DB, TB | T, O & SelectRow<DB, T>>;
   /** Build the AST node. */
   build(): SelectNode;
   /** Compile to SQL. */
   compile(printer: Printer): CompiledQuery;
 }
-type JoinProxies<DB, TB extends keyof DB, T extends keyof DB> = { [Table in (TB | T) & string]: ColumnProxies<DB, Table & keyof DB> };
-/**
- * Type-safe INSERT query builder.
- */
-declare class TypedInsertBuilder<DB, TB extends keyof DB> {
-  /** @internal */
-  readonly _builder: InsertBuilder;
-  private _paramIdx;
-  constructor(table: TB & string, paramIdx?: number);
-  /** @internal */
-  private _withBuilder;
-  /**
-   * Insert a single row. Columns/values inferred from Insertable<DB[TB]>.
-   */
-  values(row: Insertable<DB[TB]>): TypedInsertBuilder<DB, TB>;
-  /**
-   * RETURNING specific columns.
-   */
-  returning<K extends keyof DB[TB] & string>(...cols: K[]): TypedInsertReturningBuilder<DB, TB, Pick<{ [C in keyof DB[TB]]: SelectType<DB[TB][C]> }, K>>;
-  /**
-   * RETURNING all columns.
-   */
-  returningAll(): TypedInsertReturningBuilder<DB, TB, { [K in keyof DB[TB]]: SelectType<DB[TB][K]> }>;
-  /**
-   * ON CONFLICT DO NOTHING.
-   */
-  onConflictDoNothing(...columns: (keyof DB[TB] & string)[]): TypedInsertBuilder<DB, TB>;
-  /**
-   * ON CONFLICT DO UPDATE.
-   */
-  onConflictDoUpdate(columns: (keyof DB[TB] & string)[], set: {
-    column: keyof DB[TB] & string;
-    value: Expression<any>;
-  }[]): TypedInsertBuilder<DB, TB>;
-  build(): InsertNode;
-  compile(printer: Printer): CompiledQuery;
-}
-declare class TypedInsertReturningBuilder<DB, _TB extends keyof DB, _R> {
-  /** @internal */
-  readonly _builder: InsertBuilder;
-  constructor(builder: InsertBuilder);
-  build(): InsertNode;
-  compile(printer: Printer): CompiledQuery;
-}
+type JoinProxies<DB, TB extends keyof DB, T extends keyof DB> = { [Table in (TB | T) & string]: ColumnProxies<DB, Table> };
 /**
  * Type-safe UPDATE query builder.
  */
@@ -381,11 +538,15 @@ declare class TypedUpdateBuilder<DB, TB extends keyof DB> {
   /**
    * RETURNING specific columns.
    */
-  returning<K extends keyof DB[TB] & string>(...cols: K[]): TypedUpdateReturningBuilder<DB, TB, Pick<{ [C in keyof DB[TB]]: SelectType<DB[TB][C]> }, K>>;
+  returning<K extends keyof DB[TB] & string>(...cols: K[]): TypedUpdateReturningBuilder<DB, TB, Pick<SelectRow<DB, TB>, K>>;
   /**
    * RETURNING all columns.
    */
-  returningAll(): TypedUpdateReturningBuilder<DB, TB, { [K in keyof DB[TB]]: SelectType<DB[TB][K]> }>;
+  returningAll(): TypedUpdateReturningBuilder<DB, TB, SelectRow<DB, TB>>;
+  /** FROM clause (for UPDATE ... FROM ... WHERE joins). */
+  from<T extends keyof DB & string>(table: T): TypedUpdateBuilder<DB, TB>;
+  /** WITH (CTE) */
+  with(name: string, query: SelectNode, recursive?: boolean): TypedUpdateBuilder<DB, TB>;
   build(): UpdateNode;
   compile(printer: Printer): CompiledQuery;
 }
@@ -396,54 +557,6 @@ declare class TypedUpdateReturningBuilder<DB, _TB extends keyof DB, _R> {
   build(): UpdateNode;
   compile(printer: Printer): CompiledQuery;
 }
-/**
- * Type-safe DELETE query builder.
- */
-declare class TypedDeleteBuilder<DB, TB extends keyof DB> {
-  /** @internal */
-  readonly _builder: DeleteBuilder;
-  constructor(table: TB & string);
-  /** @internal */
-  private _with;
-  /**
-   * WHERE — callback or raw Expression.
-   */
-  where(exprOrCallback: Expression<boolean> | WhereCallback<DB, TB>): TypedDeleteBuilder<DB, TB>;
-  /**
-   * RETURNING specific columns.
-   */
-  returning<K extends keyof DB[TB] & string>(...cols: K[]): TypedDeleteReturningBuilder<DB, TB, Pick<{ [C in keyof DB[TB]]: SelectType<DB[TB][C]> }, K>>;
-  /**
-   * RETURNING all columns.
-   */
-  returningAll(): TypedDeleteReturningBuilder<DB, TB, { [K in keyof DB[TB]]: SelectType<DB[TB][K]> }>;
-  build(): DeleteNode;
-  compile(printer: Printer): CompiledQuery;
-}
-declare class TypedDeleteReturningBuilder<DB, _TB extends keyof DB, _R> {
-  /** @internal */
-  readonly _builder: DeleteBuilder;
-  constructor(builder: DeleteBuilder);
-  build(): DeleteNode;
-  compile(printer: Printer): CompiledQuery;
-}
-/**
- * Plugin interface for sumak.
- *
- * Plugins can intercept at three points:
- * 1. transformNode — modify the AST before compilation
- * 2. transformQuery — modify the compiled SQL after generation
- * 3. transformResult — modify result rows after execution
- */
-interface SumakPlugin {
-  readonly name: string;
-  /** Transform AST before compilation. Return a new node (never mutate). */
-  transformNode?(node: ASTNode): ASTNode;
-  /** Transform compiled query after SQL generation. */
-  transformQuery?(query: CompiledQuery): CompiledQuery;
-  /** Transform result rows after execution. */
-  transformResult?(rows: Record<string, unknown>[]): Record<string, unknown>[];
-}
 /**
  * Hook context passed to hook handlers.
  */
@@ -515,16 +628,39 @@ declare class Hookable {
   removeAllHooks(): void;
 }
 /**
- * Extract the DB type from a tables config object.
+ * Plugin interface for sumak.
+ *
+ * Plugins can intercept at three points:
+ * 1. transformNode — modify the AST before compilation
+ * 2. transformQuery — modify the compiled SQL after generation
+ * 3. transformResult — modify result rows after execution
  */
-type InferDB<T extends Record<string, Record<string, ColumnBuilder<any, any, any>>>> = { [Table in keyof T]: { [Col in keyof T[Table]]: T[Table][Col] extends ColumnBuilder<infer S, infer I, infer U> ? ColumnType<S, I, U> : never } };
-interface SumakConfig<T extends Record<string, Record<string, ColumnBuilder<any, any, any>>>> {
+interface SumakPlugin {
+  readonly name: string;
+  /** Transform AST before compilation. Return a new node (never mutate). */
+  transformNode?(node: ASTNode): ASTNode;
+  /** Transform compiled query after SQL generation. */
+  transformQuery?(query: CompiledQuery): CompiledQuery;
+  /** Transform result rows after execution. */
+  transformResult?(rows: Record<string, unknown>[]): Record<string, unknown>[];
+}
+/**
+ * Tables config constraint.
+ * Each table = Record of ColumnBuilder instances.
+ */
+type TablesConfig = Record<string, Record<string, ColumnBuilder<any, any, any>>>;
+interface SumakConfig<T extends TablesConfig> {
   dialect: Dialect;
   tables: T;
   plugins?: SumakPlugin[];
 }
 /**
- * Create a fully typed sumak instance. DB type is inferred automatically.
+ * Create a fully typed sumak instance.
+ *
+ * DB type = typeof tables directly. No `InferDB` mapped type.
+ * ColumnBuilder carries __select/__insert/__update phantom fields,
+ * so SelectType/InsertType/UpdateType resolve via O(1) indexed access
+ * instead of conditional type evaluation.
  *
  * ```ts
  * const db = sumak({
@@ -534,15 +670,10 @@ interface SumakConfig<T extends Record<string, Record<string, ColumnBuilder<any,
  *   },
  * });
  *
- * // Hook into the query lifecycle
- * db.hook("select:before", (ctx) => {
- *   console.log("Selecting from:", ctx.table);
- * });
- *
  * db.selectFrom("users").select("id", "name")...
  * ```
  */
-declare function sumak<T extends Record<string, Record<string, ColumnBuilder<any, any, any>>>>(config: SumakConfig<T>): Lale<InferDB<T>>;
+declare function sumak<T extends TablesConfig>(config: SumakConfig<T>): Sumak<T>;
 /**
  * Core sumak instance with hook system.
  */
@@ -560,10 +691,26 @@ declare class Sumak<DB> {
    * ```
    */
   hook<K extends HookName>(name: K, handler: SumakHooks[K]): () => void;
-  selectFrom<T extends keyof DB & string>(table: T, alias?: string): TypedSelectBuilder<DB, T, { [K in keyof DB[T]]: SelectType<DB[T][K]> }>;
+  selectFrom<T extends keyof DB & string>(table: T, alias?: string): TypedSelectBuilder<DB, T, SelectRow<DB, T>>;
   insertInto<T extends keyof DB & string>(table: T): TypedInsertBuilder<DB, T>;
   update<T extends keyof DB & string>(table: T): TypedUpdateBuilder<DB, T>;
   deleteFrom<T extends keyof DB & string>(table: T): TypedDeleteBuilder<DB, T>;
+  /**
+   * MERGE INTO target USING source ON condition.
+   *
+   * ```ts
+   * db.mergeInto("users", "staging", "s", ({ target, source }) =>
+   *   target.id.eqCol(source.id),
+   * )
+   * .whenMatchedThenUpdate({ name: "updated" })
+   * .whenNotMatchedThenInsert({ name: "new", email: "e@x.com" })
+   * .compile(db.printer())
+   * ```
+   */
+  mergeInto<T extends keyof DB & string, S extends keyof DB & string>(target: T, source: S, sourceAlias: string, on: (proxies: {
+    target: { [K in keyof DB[T] & string]: Col<any> };
+    source: { [K in keyof DB[S] & string]: Col<any> };
+  }) => Expression<boolean>): TypedMergeBuilder<DB, T, S>;
   /**
    * Compile an AST node through the full pipeline:
    * plugins.transformNode → type-specific hooks → printer → plugins.transformQuery → query hooks
@@ -656,4 +803,4 @@ declare class UnsupportedDialectFeatureError extends SumakError {
 declare class EmptyQueryError extends SumakError {
   constructor(queryType: string);
 }
-export { type ASTNode, ASTTransformer, type ASTVisitor, type ArrayExprNode, BasePrinter, type BetweenNode, type BinaryOpNode, type CTENode, CamelCasePlugin, type CaseNode, type CastNode, Col$1 as Col, ColumnBuilder, type ColumnDef, type ColumnProxies, type ColumnRefNode, type ColumnType, type CompiledQuery, DeleteBuilder, type DeleteNode, type Dialect, type DialectConfig, type Doc, EmptyQueryError, type ExistsNode, type Expression, type ExpressionNode, type FormatOptions, type FrameBound, type FrameKind, type FrameSpec, type FunctionCallNode, type Generated, type GeneratedAlways, type HookContext, type HookName, Hookable, type InNode, type InferTable, InsertBuilder, type InsertNode, type InsertType, type Insertable, InvalidExpressionError, type IsNullNode, type JoinNode, type JoinType, type JsonAccessNode, type LiteralNode, MysqlPrinter, type Nullable, type OnConflictNode, type OrderByNode, type OrderDirection, type ParamNode, PgPrinter, PluginManager, type Primitive, type PrintMode, type Printer, type PrinterOptions, type RawNode, type SQLDialect, SelectBuilder, type SelectNode, type SelectType, type Selectable, type SetOperator, SoftDeletePlugin, SqlitePrinter, type StarNode, type SubqueryNode, Sumak, type SumakConfig, SumakError, type SumakHooks, type SumakPlugin, type TableDefinition, type TableRefNode, TypedDeleteBuilder, TypedDeleteReturningBuilder, TypedInsertBuilder, TypedInsertReturningBuilder, TypedSelectBuilder, TypedUpdateBuilder, TypedUpdateReturningBuilder, type UnaryOpNode, UnsupportedDialectFeatureError, UpdateBuilder, type UpdateNode, type UpdateType, type Updateable, type WhereCallback, type WindowFunctionNode, WithSchemaPlugin, and, between, bigint, bigserial, binOp, boolean, bytea, cast, char, col, colAs, count, createDeleteNode, createInsertNode, createSelectNode, createUpdateNode, date, defineTable, deleteFrom, concat as docConcat, empty as docEmpty, group as docGroup, join as docJoin, line as docLine, nest as docNest, render as docRender, text as docText, textLine as docTextLine, doublePrecision, enumType, eq, exists, fn, formatParam, formatSQL, gt, gte, inList, insert, integer, isNull, json, jsonb, like, lit, lt, lte, mysqlDialect, neq, not, numeric, or, param, pgDialect, quoteIdentifier, quoteTableRef, raw, real, resetParams, select, serial, smallint, sqlFn, sqliteDialect, star, subquery, sumak, tableRef, text$1 as text, time, timestamp, timestamptz, unaryOp, update, uuid, val, varchar, visitNode };
+export { type ASTNode, ASTTransformer, type ASTVisitor, type AliasedExprNode, type ArrayExprNode, BasePrinter, type BetweenNode, type BinaryOpNode, type CTENode, CamelCasePlugin, CaseBuilder, type CaseNode, type CastNode, Col, ColumnBuilder, type ColumnDef, type ColumnProxies, type ColumnRefNode, type ColumnType, type CompiledQuery, DeleteBuilder, type DeleteNode, type Dialect, type DialectConfig, type Doc, EmptyQueryError, type ExistsNode, type Expression, type ExpressionNode, type FormatOptions, type FrameBound, type FrameKind, type FrameSpec, type FullTextSearchMode, type FullTextSearchNode, type FunctionCallNode, type Generated, type GeneratedAlways, type HookContext, type HookName, Hookable, type InNode, type InferTable, InsertBuilder, type InsertNode, type InsertType, type Insertable, InvalidExpressionError, type IsNullNode, type JoinNode, type JoinType, type JsonAccessNode, type LiteralNode, MergeBuilder, type MergeNode, type MergeWhenMatched, type MergeWhenNotMatched, MssqlPrinter, MysqlPrinter, type Nullable, type OnConflictNode, type OrderByNode, type OrderDirection, type ParamNode, PgPrinter, PluginManager, type Primitive, type PrintMode, type Printer, type PrinterOptions, type RawNode, type SQLDialect, SelectBuilder, type SelectNode, type SelectRow, type SelectType, type Selectable, type SetOperator, SoftDeletePlugin, SqlitePrinter, type StarNode, type SubqueryNode, Sumak, type SumakConfig, SumakError, type SumakHooks, type SumakPlugin, type TableDefinition, type TableRefNode, type TemporalClause, TypedDeleteBuilder, TypedDeleteReturningBuilder, TypedInsertBuilder, TypedInsertReturningBuilder, TypedMergeBuilder, TypedSelectBuilder, TypedUpdateBuilder, TypedUpdateReturningBuilder, type UnaryOpNode, UnsupportedDialectFeatureError, UpdateBuilder, type UpdateNode, type UpdateType, type Updateable, type WhereCallback, type WindowFunctionNode, WithSchemaPlugin, and, avg, between, bigint, bigserial, binOp, boolean, bytea, case_, cast, char, coalesce, col, colAs, count, createDeleteNode, createInsertNode, createMergeNode, createSelectNode, createUpdateNode, date, defineTable, deleteFrom, concat as docConcat, empty as docEmpty, group as docGroup, join as docJoin, line as docLine, nest as docNest, render as docRender, text as docText, textLine as docTextLine, doublePrecision, enumType, eq, exists, fn, formatParam, formatSQL, gt, gte, inList, insert, integer, isNull, json, jsonRef, jsonb, like, lit, lt, lte, max, merge, min, mssqlDialect, mysqlDialect, neq, not, notExists, numeric, or, param, pgDialect, quoteIdentifier, quoteTableRef, raw, real, resetParams, select, serial, smallint, sqlFn, sqliteDialect, star, subquery, sum, sumak, tableRef, text$1 as text, textSearch, time, timestamp, timestamptz, unaryOp, update, uuid, val, varchar, visitNode };