@prisma-next/sql-relational-core 0.3.0-dev.12 → 0.3.0-dev.123

package/dist/types-I6Hsg-GU.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-I6Hsg-GU.mjs","names":["refs: ColumnRef[]","refs: ParamRef[]","queryAstKinds: ReadonlySet<string>","whereExprKinds: ReadonlySet<string>"],"sources":["../src/ast/types.ts"],"sourcesContent":["import type { PlanRefs } from '@prisma-next/contract/types';\nimport type { ReturnSpec } from '@prisma-next/operations';\nimport type { SqlLoweringSpec } from '@prisma-next/sql-operations';\n\nexport type Direction = 'asc' | 'desc';\n\nexport type BinaryOp =\n  | 'eq'\n  | 'neq'\n  | 'gt'\n  | 'lt'\n  | 'gte'\n  | 'lte'\n  | 'like'\n  | 'ilike'\n  | 'in'\n  | 'notIn';\n\nexport type AggregateCountFn = 'count';\nexport type AggregateOpFn = 'sum' | 'avg' | 'min' | 'max';\nexport type AggregateFn = AggregateCountFn | AggregateOpFn;\n\nexport interface ExpressionSource {\n  toExpr(): AnyExpression;\n}\n\nexport interface ExpressionRewriter {\n  columnRef?(expr: ColumnRef): AnyExpression;\n  identifierRef?(expr: IdentifierRef): AnyExpression;\n  paramRef?(expr: ParamRef): ParamRef | LiteralExpr;\n  literal?(expr: LiteralExpr): LiteralExpr;\n  list?(expr: ListExpression): ListExpression | LiteralExpr;\n  select?(ast: SelectAst): SelectAst;\n}\n\nexport interface AstRewriter extends ExpressionRewriter {\n  tableSource?(source: TableSource): TableSource;\n  eqColJoinOn?(on: EqColJoinOn): EqColJoinOn | AnyExpression;\n}\n\nexport interface ExprVisitor<R> {\n  columnRef(expr: ColumnRef): R;\n  identifierRef(expr: IdentifierRef): R;\n  subquery(expr: SubqueryExpr): R;\n  operation(expr: OperationExpr): R;\n  aggregate(expr: AggregateExpr): R;\n  jsonObject(expr: JsonObjectExpr): R;\n  jsonArrayAgg(expr: JsonArrayAggExpr): R;\n  binary(expr: BinaryExpr): R;\n  and(expr: AndExpr): R;\n  or(expr: OrExpr): R;\n  exists(expr: ExistsExpr): R;\n  nullCheck(expr: NullCheckExpr): R;\n  not(expr: NotExpr): R;\n  literal(expr: LiteralExpr): R;\n  param(expr: ParamRef): R;\n  list(expr: ListExpression): R;\n}\n\nexport interface ExpressionFolder<T> {\n  empty: T;\n  combine(a: T, b: T): T;\n  isAbsorbing?(value: T): boolean;\n  columnRef?(expr: ColumnRef): T;\n  identifierRef?(expr: IdentifierRef): T;\n  paramRef?(expr: ParamRef): T;\n  literal?(expr: LiteralExpr): T;\n  list?(expr: ListExpression): T;\n  select?(ast: SelectAst): T;\n}\n\nexport type ProjectionExpr = AnyExpression;\nexport type InsertValue = ColumnRef | ParamRef | DefaultValueExpr;\nexport type JoinOnExpr = EqColJoinOn | AnyExpression;\nexport type WhereArg = AnyExpression | ToWhereExpr;\nexport type JsonObjectEntry = {\n  readonly key: string;\n  readonly value: ProjectionExpr;\n};\n\nfunction frozenArrayCopy<T>(values: readonly T[]): ReadonlyArray<T> {\n  return Object.freeze([...values]);\n}\n\nfunction frozenOptionalRecordCopy<T extends Record<string, unknown>>(\n  value: T | undefined,\n): Readonly<T> | undefined {\n  return value === undefined ? undefined : Object.freeze({ ...value });\n}\n\nfunction frozenRecordCopy<T>(record: Readonly<Record<string, T>>): Readonly<Record<string, T>> {\n  return Object.freeze({ ...record });\n}\n\nfunction freezeRows(\n  rows: ReadonlyArray<Record<string, InsertValue>>,\n): ReadonlyArray<Readonly<Record<string, InsertValue>>> {\n  return Object.freeze(rows.map((row) => Object.freeze({ ...row })));\n}\n\nfunction combineAll<T>(folder: ExpressionFolder<T>, thunks: Array<() => T>): T {\n  let result = folder.empty;\n  for (const thunk of thunks) {\n    if (folder.isAbsorbing?.(result)) {\n      return result;\n    }\n    result = folder.combine(result, thunk());\n  }\n  return result;\n}\n\nfunction rewriteComparable(value: AnyExpression, rewriter: ExpressionRewriter): AnyExpression {\n  switch (value.kind) {\n    case 'param-ref':\n      return rewriter.paramRef ? rewriter.paramRef(value) : value;\n    case 'literal':\n      return rewriter.literal ? rewriter.literal(value) : value;\n    case 'list':\n      if (rewriter.list) {\n        return rewriter.list(value);\n      }\n      return value.rewrite(rewriter);\n    default:\n      return value.rewrite(rewriter);\n  }\n}\n\nfunction foldComparable<T>(value: AnyExpression, folder: ExpressionFolder<T>): T {\n  switch (value.kind) {\n    case 'param-ref':\n      return folder.paramRef ? folder.paramRef(value) : folder.empty;\n    case 'literal':\n      return folder.literal ? folder.literal(value) : folder.empty;\n    case 'list':\n      return value.fold(folder);\n    default:\n      return value.fold(folder);\n  }\n}\n\nfunction collectColumnRefsWith<TNode extends Expression>(node: TNode): ColumnRef[] {\n  return node.fold<ColumnRef[]>({\n    empty: [],\n    combine: (a, b) => [...a, ...b],\n    columnRef: (columnRef) => [columnRef],\n    select: (ast) => ast.collectColumnRefs(),\n  });\n}\n\nfunction collectParamRefsWith<TNode extends Expression>(node: TNode): ParamRef[] {\n  return node.fold<ParamRef[]>({\n    empty: [],\n    combine: (a, b) => [...a, ...b],\n    paramRef: (paramRef) => [paramRef],\n    select: (ast) => ast.collectParamRefs(),\n  });\n}\n\nfunction sortRefs(\n  tables: ReadonlySet<string>,\n  columns: ReadonlyMap<string, { table: string; column: string }>,\n): PlanRefs {\n  const sortedTables = [...tables].sort((a, b) => a.localeCompare(b));\n  const sortedColumns = [...columns.values()].sort((a, b) => {\n    const tableCompare = a.table.localeCompare(b.table);\n    if (tableCompare !== 0) {\n      return tableCompare;\n    }\n    return a.column.localeCompare(b.column);\n  });\n\n  return {\n    tables: sortedTables,\n    columns: sortedColumns,\n  };\n}\n\nfunction addColumnRefToRefSets(\n  columnRef: ColumnRef,\n  tables: Set<string>,\n  columns: Map<string, { table: string; column: string }>,\n): void {\n  if (columnRef.table === 'excluded') {\n    return;\n  }\n  tables.add(columnRef.table);\n  const key = `${columnRef.table}.${columnRef.column}`;\n  if (!columns.has(key)) {\n    columns.set(key, {\n      table: columnRef.table,\n      column: columnRef.column,\n    });\n  }\n}\n\nfunction mergeRefsInto(\n  refs: PlanRefs,\n  tables: Set<string>,\n  columns: Map<string, { table: string; column: string }>,\n): void {\n  for (const table of refs.tables ?? []) {\n    tables.add(table);\n  }\n  for (const column of refs.columns ?? []) {\n    addColumnRefToRefSets(new ColumnRef(column.table, column.column), tables, columns);\n  }\n}\n\nabstract class AstNode {\n  abstract readonly kind: string;\n\n  protected freeze(): void {\n    Object.freeze(this);\n  }\n}\n\nabstract class QueryAst extends AstNode {\n  abstract collectRefs(): PlanRefs;\n  abstract collectParamRefs(): ParamRef[];\n  abstract toQueryAst(): AnyQueryAst;\n\n  collectColumnRefs(): ColumnRef[] {\n    const refs = this.collectRefs().columns ?? [];\n    return refs.map((ref) => new ColumnRef(ref.table, ref.column));\n  }\n}\n\nabstract class FromSource extends AstNode {\n  abstract collectRefs(): PlanRefs;\n  abstract rewrite(rewriter: AstRewriter): AnyFromSource;\n  abstract toFromSource(): AnyFromSource;\n}\n\nabstract class Expression extends AstNode implements ExpressionSource {\n  abstract accept<R>(visitor: ExprVisitor<R>): R;\n  abstract rewrite(rewriter: ExpressionRewriter): AnyExpression;\n  abstract fold<T>(folder: ExpressionFolder<T>): T;\n\n  collectColumnRefs(): ColumnRef[] {\n    return collectColumnRefsWith(this);\n  }\n\n  collectParamRefs(): ParamRef[] {\n    return collectParamRefsWith(this);\n  }\n\n  baseColumnRef(): ColumnRef {\n    throw new Error(`${this.constructor.name} does not expose a base column reference`);\n  }\n\n  toExpr(): AnyExpression {\n    return this as unknown as AnyExpression;\n  }\n\n  not(): NotExpr {\n    return new NotExpr(this as unknown as AnyExpression);\n  }\n}\n\nexport class TableSource extends FromSource {\n  readonly kind = 'table-source' as const;\n  readonly name: string;\n  readonly alias: string | undefined;\n\n  constructor(name: string, alias?: string) {\n    super();\n    this.name = name;\n    this.alias = alias;\n    this.freeze();\n  }\n\n  static named(name: string, alias?: string): TableSource {\n    return new TableSource(name, alias);\n  }\n\n  override rewrite(rewriter: AstRewriter): AnyFromSource {\n    return rewriter.tableSource ? rewriter.tableSource(this) : this;\n  }\n\n  override toFromSource(): AnyFromSource {\n    return this;\n  }\n\n  override collectRefs(): PlanRefs {\n    return {\n      tables: [this.name],\n      columns: [],\n    };\n  }\n}\n\nexport interface TableRef {\n  readonly name: string;\n  readonly alias?: string;\n}\n\nexport class DerivedTableSource extends FromSource {\n  readonly kind = 'derived-table-source' as const;\n  readonly alias: string;\n  readonly query: SelectAst;\n\n  constructor(alias: string, query: SelectAst) {\n    super();\n    this.alias = alias;\n    this.query = query;\n    this.freeze();\n  }\n\n  static as(alias: string, query: SelectAst): DerivedTableSource {\n    return new DerivedTableSource(alias, query);\n  }\n\n  // Intentionally does not call rewriter.tableSource — derived tables are rewritten\n  // via their inner query, not intercepted at the FromSource level. A future\n  // fromSource?(source: AnyFromSource) callback would be needed for that.\n  override rewrite(rewriter: AstRewriter): AnyFromSource {\n    return new DerivedTableSource(this.alias, this.query.rewrite(rewriter));\n  }\n\n  override toFromSource(): AnyFromSource {\n    return this;\n  }\n\n  override collectRefs(): PlanRefs {\n    return this.query.collectRefs();\n  }\n}\n\nexport class ColumnRef extends Expression {\n  readonly kind = 'column-ref' as const;\n  readonly table: string;\n  readonly column: string;\n\n  constructor(table: string, column: string) {\n    super();\n    this.table = table;\n    this.column = column;\n    this.freeze();\n  }\n\n  static of(table: string, column: string): ColumnRef {\n    return new ColumnRef(table, column);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.columnRef(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return rewriter.columnRef ? rewriter.columnRef(this) : this;\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return folder.columnRef ? folder.columnRef(this) : folder.empty;\n  }\n\n  override baseColumnRef(): ColumnRef {\n    return this;\n  }\n}\n\nexport class IdentifierRef extends Expression {\n  readonly kind = 'identifier-ref' as const;\n  readonly name: string;\n\n  constructor(name: string) {\n    super();\n    this.name = name;\n    this.freeze();\n  }\n\n  static of(name: string): IdentifierRef {\n    return new IdentifierRef(name);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.identifierRef(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return rewriter.identifierRef ? rewriter.identifierRef(this) : this;\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return folder.identifierRef ? folder.identifierRef(this) : folder.empty;\n  }\n}\n\nexport class ParamRef extends Expression {\n  readonly kind = 'param-ref' as const;\n  readonly value: unknown;\n  readonly name: string | undefined;\n  readonly codecId: string | undefined;\n\n  constructor(\n    value: unknown,\n    options?: {\n      name?: string;\n      codecId?: string;\n    },\n  ) {\n    super();\n    this.value = value;\n    this.name = options?.name;\n    this.codecId = options?.codecId;\n    this.freeze();\n  }\n\n  static of(\n    value: unknown,\n    options?: {\n      name?: string;\n      codecId?: string;\n    },\n  ): ParamRef {\n    return new ParamRef(value, options);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.param(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return rewriter.paramRef ? rewriter.paramRef(this) : this;\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return folder.paramRef ? folder.paramRef(this) : folder.empty;\n  }\n}\n\nexport class DefaultValueExpr extends AstNode {\n  readonly kind = 'default-value' as const;\n\n  constructor() {\n    super();\n    this.freeze();\n  }\n}\n\nexport class LiteralExpr extends Expression {\n  readonly kind = 'literal' as const;\n  readonly value: unknown;\n\n  constructor(value: unknown) {\n    super();\n    this.value = value;\n    this.freeze();\n  }\n\n  static of(value: unknown): LiteralExpr {\n    return new LiteralExpr(value);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.literal(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return rewriter.literal ? rewriter.literal(this) : this;\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return folder.literal ? folder.literal(this) : folder.empty;\n  }\n}\n\nexport class SubqueryExpr extends Expression {\n  readonly kind = 'subquery' as const;\n  readonly query: SelectAst;\n\n  constructor(query: SelectAst) {\n    super();\n    this.query = query;\n    this.freeze();\n  }\n\n  static of(query: SelectAst): SubqueryExpr {\n    return new SubqueryExpr(query);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.subquery(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    const query = this.query.rewrite(rewriter);\n    return new SubqueryExpr(query);\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return folder.select ? folder.select(this.query) : folder.empty;\n  }\n}\n\nexport class OperationExpr extends Expression {\n  readonly kind = 'operation' as const;\n  readonly method: string;\n  readonly forTypeId: string;\n  readonly self: AnyExpression;\n  readonly args: ReadonlyArray<AnyExpression | ParamRef | LiteralExpr>;\n  readonly returns: ReturnSpec;\n  readonly lowering: SqlLoweringSpec;\n\n  constructor(options: {\n    readonly method: string;\n    readonly forTypeId: string;\n    readonly self: AnyExpression;\n    readonly args: ReadonlyArray<AnyExpression | ParamRef | LiteralExpr> | undefined;\n    readonly returns: ReturnSpec;\n    readonly lowering: SqlLoweringSpec;\n  }) {\n    super();\n    this.method = options.method;\n    this.forTypeId = options.forTypeId;\n    this.self = options.self;\n    this.args = frozenArrayCopy(options.args ?? []);\n    this.returns = options.returns;\n    this.lowering = options.lowering;\n    this.freeze();\n  }\n\n  static function(options: {\n    readonly method: string;\n    readonly forTypeId: string;\n    readonly self: AnyExpression;\n    readonly args: ReadonlyArray<AnyExpression | ParamRef | LiteralExpr> | undefined;\n    readonly returns: ReturnSpec;\n    readonly template: string;\n  }): OperationExpr {\n    return new OperationExpr({\n      method: options.method,\n      forTypeId: options.forTypeId,\n      self: options.self,\n      args: options.args,\n      returns: options.returns,\n      lowering: {\n        targetFamily: 'sql',\n        strategy: 'function',\n        template: options.template,\n      },\n    });\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.operation(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new OperationExpr({\n      method: this.method,\n      forTypeId: this.forTypeId,\n      self: this.self.rewrite(rewriter),\n      args: this.args.map((arg) => rewriteComparable(arg, rewriter)) as ReadonlyArray<\n        AnyExpression | ParamRef | LiteralExpr\n      >,\n      returns: this.returns,\n      lowering: this.lowering,\n    });\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return combineAll(folder, [\n      () => this.self.fold(folder),\n      ...this.args.map((arg) => () => foldComparable(arg, folder)),\n    ]);\n  }\n\n  override baseColumnRef(): ColumnRef {\n    return this.self.baseColumnRef();\n  }\n}\n\nexport class AggregateExpr extends Expression {\n  readonly kind = 'aggregate' as const;\n  readonly fn: AggregateFn;\n  readonly expr: AnyExpression | undefined;\n\n  constructor(fn: AggregateFn, expr?: AnyExpression) {\n    super();\n    if (fn !== 'count' && expr === undefined) {\n      throw new Error(`Aggregate function \"${fn}\" requires an expression`);\n    }\n    this.fn = fn;\n    this.expr = expr;\n    this.freeze();\n  }\n\n  static count(expr?: AnyExpression): AggregateExpr {\n    return new AggregateExpr('count', expr);\n  }\n\n  static sum(expr: AnyExpression): AggregateExpr {\n    return new AggregateExpr('sum', expr);\n  }\n\n  static avg(expr: AnyExpression): AggregateExpr {\n    return new AggregateExpr('avg', expr);\n  }\n\n  static min(expr: AnyExpression): AggregateExpr {\n    return new AggregateExpr('min', expr);\n  }\n\n  static max(expr: AnyExpression): AggregateExpr {\n    return new AggregateExpr('max', expr);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.aggregate(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return this.expr === undefined ? this : new AggregateExpr(this.fn, this.expr.rewrite(rewriter));\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return this.expr ? this.expr.fold(folder) : folder.empty;\n  }\n}\n\nexport class JsonObjectExpr extends Expression {\n  readonly kind = 'json-object' as const;\n  readonly entries: ReadonlyArray<JsonObjectEntry>;\n\n  constructor(entries: ReadonlyArray<JsonObjectEntry>) {\n    super();\n    this.entries = frozenArrayCopy(entries.map((entry) => Object.freeze({ ...entry })));\n    this.freeze();\n  }\n\n  static entry(key: string, value: ProjectionExpr): JsonObjectEntry {\n    return {\n      key,\n      value,\n    };\n  }\n\n  static fromEntries(entries: ReadonlyArray<JsonObjectEntry>): JsonObjectExpr {\n    return new JsonObjectExpr(entries);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.jsonObject(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new JsonObjectExpr(\n      this.entries.map((entry) => ({\n        key: entry.key,\n        value:\n          entry.value.kind === 'literal'\n            ? rewriter.literal\n              ? rewriter.literal(entry.value)\n              : entry.value\n            : entry.value.rewrite(rewriter),\n      })),\n    );\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return combineAll(\n      folder,\n      this.entries.map(\n        (entry) => () =>\n          entry.value.kind === 'literal'\n            ? folder.literal\n              ? folder.literal(entry.value)\n              : folder.empty\n            : entry.value.fold(folder),\n      ),\n    );\n  }\n}\n\nexport class OrderByItem extends AstNode {\n  readonly kind = 'order-by-item' as const;\n  readonly expr: AnyExpression;\n  readonly dir: Direction;\n\n  constructor(expr: AnyExpression, dir: Direction) {\n    super();\n    this.expr = expr;\n    this.dir = dir;\n    this.freeze();\n  }\n\n  static asc(expr: AnyExpression): OrderByItem {\n    return new OrderByItem(expr, 'asc');\n  }\n\n  static desc(expr: AnyExpression): OrderByItem {\n    return new OrderByItem(expr, 'desc');\n  }\n\n  rewrite(rewriter: ExpressionRewriter): OrderByItem {\n    return new OrderByItem(this.expr.rewrite(rewriter), this.dir);\n  }\n}\n\nexport class JsonArrayAggExpr extends Expression {\n  readonly kind = 'json-array-agg' as const;\n  readonly expr: AnyExpression;\n  readonly onEmpty: 'null' | 'emptyArray';\n  readonly orderBy: ReadonlyArray<OrderByItem> | undefined;\n\n  constructor(\n    expr: AnyExpression,\n    onEmpty: 'null' | 'emptyArray' = 'null',\n    orderBy?: ReadonlyArray<OrderByItem>,\n  ) {\n    super();\n    this.expr = expr;\n    this.onEmpty = onEmpty;\n    this.orderBy = orderBy && orderBy.length > 0 ? frozenArrayCopy(orderBy) : undefined;\n    this.freeze();\n  }\n\n  static of(\n    expr: AnyExpression,\n    onEmpty: 'null' | 'emptyArray' = 'null',\n    orderBy?: ReadonlyArray<OrderByItem>,\n  ): JsonArrayAggExpr {\n    return new JsonArrayAggExpr(expr, onEmpty, orderBy);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.jsonArrayAgg(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new JsonArrayAggExpr(\n      this.expr.rewrite(rewriter),\n      this.onEmpty,\n      this.orderBy?.map((orderItem) => orderItem.rewrite(rewriter)),\n    );\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return combineAll(folder, [\n      () => this.expr.fold(folder),\n      ...(this.orderBy ?? []).map((orderItem) => () => orderItem.expr.fold(folder)),\n    ]);\n  }\n}\n\nexport class ListExpression extends Expression {\n  readonly kind = 'list' as const;\n  readonly values: ReadonlyArray<AnyExpression>;\n\n  constructor(values: ReadonlyArray<AnyExpression>) {\n    super();\n    this.values = frozenArrayCopy(values);\n    this.freeze();\n  }\n\n  static of(values: ReadonlyArray<AnyExpression>): ListExpression {\n    return new ListExpression(values);\n  }\n\n  static fromValues(values: ReadonlyArray<unknown>): ListExpression {\n    return new ListExpression(values.map((value) => new LiteralExpr(value)));\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.list(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    if (rewriter.list) {\n      return rewriter.list(this);\n    }\n\n    return new ListExpression(this.values.map((value) => value.rewrite(rewriter)));\n  }\n\n  fold<T>(folder: ExpressionFolder<T>): T {\n    if (folder.list) {\n      return folder.list(this);\n    }\n    return combineAll(\n      folder,\n      this.values.map((value) => () => value.fold(folder)),\n    );\n  }\n}\n\nexport class BinaryExpr extends Expression {\n  readonly kind = 'binary' as const;\n  readonly op: BinaryOp;\n  readonly left: AnyExpression;\n  readonly right: AnyExpression;\n\n  constructor(op: BinaryOp, left: AnyExpression, right: AnyExpression) {\n    super();\n    this.op = op;\n    this.left = left;\n    this.right = right;\n    this.freeze();\n  }\n\n  static eq(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('eq', left, right);\n  }\n\n  static neq(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('neq', left, right);\n  }\n\n  static gt(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('gt', left, right);\n  }\n\n  static lt(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('lt', left, right);\n  }\n\n  static gte(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('gte', left, right);\n  }\n\n  static lte(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('lte', left, right);\n  }\n\n  static like(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('like', left, right);\n  }\n\n  static ilike(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('ilike', left, right);\n  }\n\n  static in(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('in', left, right);\n  }\n\n  static notIn(left: AnyExpression, right: AnyExpression): BinaryExpr {\n    return new BinaryExpr('notIn', left, right);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.binary(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new BinaryExpr(\n      this.op,\n      rewriteComparable(this.left, rewriter),\n      rewriteComparable(this.right, rewriter),\n    );\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return combineAll(folder, [\n      () => foldComparable(this.left, folder),\n      () => foldComparable(this.right, folder),\n    ]);\n  }\n}\n\nexport class AndExpr extends Expression {\n  readonly kind = 'and' as const;\n  readonly exprs: ReadonlyArray<AnyExpression>;\n\n  constructor(exprs: ReadonlyArray<AnyExpression>) {\n    super();\n    this.exprs = frozenArrayCopy(exprs);\n    this.freeze();\n  }\n\n  static of(exprs: ReadonlyArray<AnyExpression>): AndExpr {\n    return new AndExpr(exprs);\n  }\n\n  static true(): AndExpr {\n    return new AndExpr([]);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.and(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new AndExpr(this.exprs.map((expr) => expr.rewrite(rewriter)));\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return combineAll(\n      folder,\n      this.exprs.map((expr) => () => expr.fold(folder)),\n    );\n  }\n}\n\nexport class OrExpr extends Expression {\n  readonly kind = 'or' as const;\n  readonly exprs: ReadonlyArray<AnyExpression>;\n\n  constructor(exprs: ReadonlyArray<AnyExpression>) {\n    super();\n    this.exprs = frozenArrayCopy(exprs);\n    this.freeze();\n  }\n\n  static of(exprs: ReadonlyArray<AnyExpression>): OrExpr {\n    return new OrExpr(exprs);\n  }\n\n  static false(): OrExpr {\n    return new OrExpr([]);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.or(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new OrExpr(this.exprs.map((expr) => expr.rewrite(rewriter)));\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return combineAll(\n      folder,\n      this.exprs.map((expr) => () => expr.fold(folder)),\n    );\n  }\n}\n\nexport class ExistsExpr extends Expression {\n  readonly kind = 'exists' as const;\n  readonly notExists: boolean;\n  readonly subquery: SelectAst;\n\n  constructor(subquery: SelectAst, notExists = false) {\n    super();\n    this.notExists = notExists;\n    this.subquery = subquery;\n    this.freeze();\n  }\n\n  static exists(subquery: SelectAst): ExistsExpr {\n    return new ExistsExpr(subquery, false);\n  }\n\n  static notExists(subquery: SelectAst): ExistsExpr {\n    return new ExistsExpr(subquery, true);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.exists(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new ExistsExpr(this.subquery.rewrite(rewriter), this.notExists);\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return folder.select ? folder.select(this.subquery) : folder.empty;\n  }\n}\n\nexport class NullCheckExpr extends Expression {\n  readonly kind = 'null-check' as const;\n  readonly expr: AnyExpression;\n  readonly isNull: boolean;\n\n  constructor(expr: AnyExpression, isNull: boolean) {\n    super();\n    this.expr = expr;\n    this.isNull = isNull;\n    this.freeze();\n  }\n\n  static isNull(expr: AnyExpression): NullCheckExpr {\n    return new NullCheckExpr(expr, true);\n  }\n\n  static isNotNull(expr: AnyExpression): NullCheckExpr {\n    return new NullCheckExpr(expr, false);\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.nullCheck(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new NullCheckExpr(this.expr.rewrite(rewriter), this.isNull);\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return this.expr.fold(folder);\n  }\n}\n\nexport class NotExpr extends Expression {\n  readonly kind = 'not' as const;\n  readonly expr: AnyExpression;\n\n  constructor(expr: AnyExpression) {\n    super();\n    this.expr = expr;\n    this.freeze();\n  }\n\n  toWhereExpr(): AnyExpression {\n    return this;\n  }\n\n  override accept<R>(visitor: ExprVisitor<R>): R {\n    return visitor.not(this);\n  }\n\n  override rewrite(rewriter: ExpressionRewriter): AnyExpression {\n    return new NotExpr(this.expr.rewrite(rewriter));\n  }\n\n  override fold<T>(folder: ExpressionFolder<T>): T {\n    return this.expr.fold(folder);\n  }\n}\n\nexport class EqColJoinOn extends AstNode {\n  readonly kind = 'eq-col-join-on' as const;\n  readonly left: ColumnRef;\n  readonly right: ColumnRef;\n\n  constructor(left: ColumnRef, right: ColumnRef) {\n    super();\n    this.left = left;\n    this.right = right;\n    this.freeze();\n  }\n\n  static of(left: ColumnRef, right: ColumnRef): EqColJoinOn {\n    return new EqColJoinOn(left, right);\n  }\n\n  rewrite(rewriter: AstRewriter): EqColJoinOn | AnyExpression {\n    return rewriter.eqColJoinOn ? rewriter.eqColJoinOn(this) : this;\n  }\n}\n\nexport class JoinAst extends AstNode {\n  readonly kind = 'join' as const;\n  readonly joinType: 'inner' | 'left' | 'right' | 'full';\n  readonly source: AnyFromSource;\n  readonly lateral: boolean;\n  readonly on: JoinOnExpr;\n\n  constructor(\n    joinType: 'inner' | 'left' | 'right' | 'full',\n    source: AnyFromSource,\n    on: JoinOnExpr,\n    lateral = false,\n  ) {\n    super();\n    this.joinType = joinType;\n    this.source = source;\n    this.lateral = lateral;\n    this.on = on;\n    this.freeze();\n  }\n\n  static inner(source: AnyFromSource, on: JoinOnExpr, lateral = false): JoinAst {\n    return new JoinAst('inner', source, on, lateral);\n  }\n\n  static left(source: AnyFromSource, on: JoinOnExpr, lateral = false): JoinAst {\n    return new JoinAst('left', source, on, lateral);\n  }\n\n  static right(source: AnyFromSource, on: JoinOnExpr, lateral = false): JoinAst {\n    return new JoinAst('right', source, on, lateral);\n  }\n\n  static full(source: AnyFromSource, on: JoinOnExpr, lateral = false): JoinAst {\n    return new JoinAst('full', source, on, lateral);\n  }\n\n  rewrite(rewriter: AstRewriter): JoinAst {\n    return new JoinAst(\n      this.joinType,\n      this.source.rewrite(rewriter),\n      this.on.kind === 'eq-col-join-on' ? this.on.rewrite(rewriter) : this.on.rewrite(rewriter),\n      this.lateral,\n    );\n  }\n}\n\nexport class ProjectionItem extends AstNode {\n  readonly kind = 'projection-item' as const;\n  readonly alias: string;\n  readonly expr: ProjectionExpr;\n\n  constructor(alias: string, expr: ProjectionExpr) {\n    super();\n    this.alias = alias;\n    this.expr = expr;\n    this.freeze();\n  }\n\n  static of(alias: string, expr: ProjectionExpr): ProjectionItem {\n    return new ProjectionItem(alias, expr);\n  }\n}\n\nexport interface SelectAstOptions {\n  readonly from: AnyFromSource;\n  readonly joins: ReadonlyArray<JoinAst> | undefined;\n  readonly projection: ReadonlyArray<ProjectionItem>;\n  readonly where: AnyExpression | undefined;\n  readonly orderBy: ReadonlyArray<OrderByItem> | undefined;\n  readonly distinct: true | undefined;\n  readonly distinctOn: ReadonlyArray<AnyExpression> | undefined;\n  readonly groupBy: ReadonlyArray<AnyExpression> | undefined;\n  readonly having: AnyExpression | undefined;\n  readonly limit: number | undefined;\n  readonly offset: number | undefined;\n  readonly selectAllIntent: { readonly table?: string } | undefined;\n}\n\nexport class SelectAst extends QueryAst {\n  readonly kind = 'select' as const;\n  readonly from: AnyFromSource;\n  readonly joins: ReadonlyArray<JoinAst> | undefined;\n  readonly projection: ReadonlyArray<ProjectionItem>;\n  readonly where: AnyExpression | undefined;\n  readonly orderBy: ReadonlyArray<OrderByItem> | undefined;\n  readonly distinct: true | undefined;\n  readonly distinctOn: ReadonlyArray<AnyExpression> | undefined;\n  readonly groupBy: ReadonlyArray<AnyExpression> | undefined;\n  readonly having: AnyExpression | undefined;\n  readonly limit: number | undefined;\n  readonly offset: number | undefined;\n  readonly selectAllIntent: { readonly table?: string } | undefined;\n\n  constructor(options: SelectAstOptions) {\n    super();\n    this.from = options.from;\n    this.joins =\n      options.joins && options.joins.length > 0 ? frozenArrayCopy(options.joins) : undefined;\n    this.projection = frozenArrayCopy(options.projection);\n    this.where = options.where;\n    this.orderBy =\n      options.orderBy && options.orderBy.length > 0 ? frozenArrayCopy(options.orderBy) : undefined;\n    this.distinct = options.distinct;\n    this.distinctOn =\n      options.distinctOn && options.distinctOn.length > 0\n        ? frozenArrayCopy(options.distinctOn)\n        : undefined;\n    this.groupBy =\n      options.groupBy && options.groupBy.length > 0 ? frozenArrayCopy(options.groupBy) : undefined;\n    this.having = options.having;\n    this.limit = options.limit;\n    this.offset = options.offset;\n    this.selectAllIntent = frozenOptionalRecordCopy(options.selectAllIntent);\n    this.freeze();\n  }\n\n  static from(from: AnyFromSource): SelectAst {\n    return new SelectAst({\n      from,\n      joins: undefined,\n      projection: [],\n      where: undefined,\n      orderBy: undefined,\n      distinct: undefined,\n      distinctOn: undefined,\n      groupBy: undefined,\n      having: undefined,\n      limit: undefined,\n      offset: undefined,\n      selectAllIntent: undefined,\n    });\n  }\n\n  withFrom(from: AnyFromSource): SelectAst {\n    return new SelectAst({ ...this, from });\n  }\n\n  withJoins(joins: ReadonlyArray<JoinAst>): SelectAst {\n    return new SelectAst({\n      ...this,\n      joins: joins.length > 0 ? joins : undefined,\n    });\n  }\n\n  withProjection(projection: ReadonlyArray<ProjectionItem>): SelectAst {\n    return new SelectAst({ ...this, projection });\n  }\n\n  addProjection(alias: string, expr: ProjectionExpr): SelectAst {\n    return new SelectAst({\n      ...this,\n      projection: [...this.projection, new ProjectionItem(alias, expr)],\n    });\n  }\n\n  withWhere(where: AnyExpression | undefined): SelectAst {\n    return new SelectAst({ ...this, where });\n  }\n\n  withOrderBy(orderBy: ReadonlyArray<OrderByItem>): SelectAst {\n    return new SelectAst({\n      ...this,\n      orderBy: orderBy.length > 0 ? orderBy : undefined,\n    });\n  }\n\n  withDistinct(enabled = true): SelectAst {\n    return new SelectAst({\n      ...this,\n      distinct: enabled ? true : undefined,\n    });\n  }\n\n  withDistinctOn(distinctOn: ReadonlyArray<AnyExpression>): SelectAst {\n    return new SelectAst({\n      ...this,\n      distinctOn: distinctOn.length > 0 ? distinctOn : undefined,\n    });\n  }\n\n  withGroupBy(groupBy: ReadonlyArray<AnyExpression>): SelectAst {\n    return new SelectAst({\n      ...this,\n      groupBy: groupBy.length > 0 ? groupBy : undefined,\n    });\n  }\n\n  withHaving(having: AnyExpression | undefined): SelectAst {\n    return new SelectAst({ ...this, having });\n  }\n\n  withLimit(limit: number | undefined): SelectAst {\n    return new SelectAst({ ...this, limit });\n  }\n\n  withOffset(offset: number | undefined): SelectAst {\n    return new SelectAst({ ...this, offset });\n  }\n\n  withSelectAllIntent(selectAllIntent: { readonly table?: string } | undefined): SelectAst {\n    return new SelectAst({ ...this, selectAllIntent });\n  }\n\n  rewrite(rewriter: AstRewriter): SelectAst {\n    const rewritten = new SelectAst({\n      from: this.from.rewrite(rewriter),\n      joins: this.joins?.map((join) => join.rewrite(rewriter)),\n      projection: this.projection.map(\n        (projection) =>\n          new ProjectionItem(\n            projection.alias,\n            projection.expr.kind === 'literal'\n              ? rewriter.literal\n                ? rewriter.literal(projection.expr)\n                : projection.expr\n              : projection.expr.rewrite(rewriter),\n          ),\n      ),\n      where: this.where?.rewrite(rewriter),\n      orderBy: this.orderBy?.map((orderItem) => orderItem.rewrite(rewriter)),\n      distinct: this.distinct,\n      distinctOn: this.distinctOn?.map((expr) => expr.rewrite(rewriter)),\n      groupBy: this.groupBy?.map((expr) => expr.rewrite(rewriter)),\n      having: this.having?.rewrite(rewriter),\n      limit: this.limit,\n      offset: this.offset,\n      selectAllIntent: this.selectAllIntent,\n    });\n\n    return rewriter.select ? rewriter.select(rewritten) : rewritten;\n  }\n\n  override collectColumnRefs(): ColumnRef[] {\n    const refs: ColumnRef[] = [];\n    const pushRefs = (columns: ReadonlyArray<ColumnRef>) => {\n      refs.push(...columns);\n    };\n\n    if (this.from.kind === 'derived-table-source') {\n      pushRefs(this.from.query.collectColumnRefs());\n    }\n\n    for (const projection of this.projection) {\n      if (!(projection.expr.kind === 'literal')) {\n        pushRefs(projection.expr.collectColumnRefs());\n      }\n    }\n\n    if (this.where) {\n      pushRefs(this.where.collectColumnRefs());\n    }\n    if (this.having) {\n      pushRefs(this.having.collectColumnRefs());\n    }\n    for (const orderItem of this.orderBy ?? []) {\n      pushRefs(orderItem.expr.collectColumnRefs());\n    }\n    for (const expr of this.distinctOn ?? []) {\n      pushRefs(expr.collectColumnRefs());\n    }\n    for (const expr of this.groupBy ?? []) {\n      pushRefs(expr.collectColumnRefs());\n    }\n    for (const join of this.joins ?? []) {\n      if (join.source.kind === 'derived-table-source') {\n        pushRefs(join.source.query.collectColumnRefs());\n      }\n      if (join.on.kind === 'eq-col-join-on') {\n        refs.push(join.on.left, join.on.right);\n      } else {\n        pushRefs(join.on.collectColumnRefs());\n      }\n    }\n\n    return refs;\n  }\n\n  collectParamRefs(): ParamRef[] {\n    const refs: ParamRef[] = [];\n    const pushRefs = (params: ReadonlyArray<ParamRef>) => {\n      refs.push(...params);\n    };\n\n    if (this.from.kind === 'derived-table-source') {\n      pushRefs(this.from.query.collectParamRefs());\n    }\n\n    for (const projection of this.projection) {\n      if (!(projection.expr.kind === 'literal')) {\n        pushRefs(projection.expr.collectParamRefs());\n      }\n    }\n\n    if (this.where) {\n      pushRefs(this.where.collectParamRefs());\n    }\n    if (this.having) {\n      pushRefs(this.having.collectParamRefs());\n    }\n    for (const orderItem of this.orderBy ?? []) {\n      pushRefs(orderItem.expr.collectParamRefs());\n    }\n    for (const expr of this.distinctOn ?? []) {\n      pushRefs(expr.collectParamRefs());\n    }\n    for (const expr of this.groupBy ?? []) {\n      pushRefs(expr.collectParamRefs());\n    }\n    for (const join of this.joins ?? []) {\n      if (join.source.kind === 'derived-table-source') {\n        pushRefs(join.source.query.collectParamRefs());\n      }\n      if (!(join.on.kind === 'eq-col-join-on')) {\n        pushRefs(join.on.collectParamRefs());\n      }\n    }\n\n    return refs;\n  }\n\n  override collectRefs(): PlanRefs {\n    const tables = new Set<string>();\n    const columns = new Map<string, { table: string; column: string }>();\n\n    const addSource = (source: AnyFromSource) => {\n      mergeRefsInto(source.collectRefs(), tables, columns);\n    };\n\n    addSource(this.from);\n\n    for (const join of this.joins ?? []) {\n      addSource(join.source);\n      if (join.on.kind === 'eq-col-join-on') {\n        addColumnRefToRefSets(join.on.left, tables, columns);\n        addColumnRefToRefSets(join.on.right, tables, columns);\n      } else {\n        for (const columnRef of join.on.collectColumnRefs()) {\n          addColumnRefToRefSets(columnRef, tables, columns);\n        }\n      }\n    }\n\n    for (const columnRef of this.collectColumnRefs()) {\n      addColumnRefToRefSets(columnRef, tables, columns);\n    }\n\n    return sortRefs(tables, columns);\n  }\n\n  override toQueryAst(): AnyQueryAst {\n    return this;\n  }\n}\n\nabstract class InsertOnConflictAction extends AstNode {\n  abstract toInsertOnConflictAction(): AnyInsertOnConflictAction;\n}\n\nexport class DoNothingConflictAction extends InsertOnConflictAction {\n  readonly kind = 'do-nothing' as const;\n\n  constructor() {\n    super();\n    this.freeze();\n  }\n\n  override toInsertOnConflictAction(): AnyInsertOnConflictAction {\n    return this;\n  }\n}\n\nexport class DoUpdateSetConflictAction extends InsertOnConflictAction {\n  readonly kind = 'do-update-set' as const;\n  readonly set: Readonly<Record<string, ColumnRef | ParamRef>>;\n\n  constructor(set: Readonly<Record<string, ColumnRef | ParamRef>>) {\n    super();\n    this.set = frozenRecordCopy(set);\n    this.freeze();\n  }\n\n  override toInsertOnConflictAction(): AnyInsertOnConflictAction {\n    return this;\n  }\n}\n\nexport class InsertOnConflict extends AstNode {\n  readonly kind = 'insert-on-conflict' as const;\n  readonly columns: ReadonlyArray<ColumnRef>;\n  readonly action: AnyInsertOnConflictAction;\n\n  constructor(columns: ReadonlyArray<ColumnRef>, action: AnyInsertOnConflictAction) {\n    super();\n    this.columns = frozenArrayCopy(columns);\n    this.action = action;\n    this.freeze();\n  }\n\n  static on(columns: ReadonlyArray<ColumnRef>): InsertOnConflict {\n    return new InsertOnConflict(columns, new DoNothingConflictAction());\n  }\n\n  doNothing(): InsertOnConflict {\n    return new InsertOnConflict(this.columns, new DoNothingConflictAction());\n  }\n\n  doUpdateSet(set: Readonly<Record<string, ColumnRef | ParamRef>>): InsertOnConflict {\n    return new InsertOnConflict(this.columns, new DoUpdateSetConflictAction(set));\n  }\n}\n\nexport class InsertAst extends QueryAst {\n  readonly kind = 'insert' as const;\n  readonly table: TableSource;\n  readonly rows: ReadonlyArray<Readonly<Record<string, InsertValue>>>;\n  readonly onConflict: InsertOnConflict | undefined;\n  readonly returning: ReadonlyArray<ColumnRef> | undefined;\n\n  constructor(\n    table: TableSource,\n    rows: ReadonlyArray<Record<string, InsertValue>> = [{}],\n    onConflict?: InsertOnConflict,\n    returning?: ReadonlyArray<ColumnRef>,\n  ) {\n    super();\n    this.table = table;\n    this.rows = freezeRows(rows);\n    this.onConflict = onConflict;\n    this.returning = returning && returning.length > 0 ? frozenArrayCopy(returning) : undefined;\n    this.freeze();\n  }\n\n  static into(table: TableSource): InsertAst {\n    return new InsertAst(table);\n  }\n\n  withValues(values: Record<string, InsertValue>): InsertAst {\n    return new InsertAst(this.table, [{ ...values }], this.onConflict, this.returning);\n  }\n\n  withRows(rows: ReadonlyArray<Record<string, InsertValue>>): InsertAst {\n    return new InsertAst(\n      this.table,\n      rows.map((row) => ({ ...row })),\n      this.onConflict,\n      this.returning,\n    );\n  }\n\n  withReturning(returning: ReadonlyArray<ColumnRef> | undefined): InsertAst {\n    return new InsertAst(\n      this.table,\n      this.rows.map((row) => ({ ...row })),\n      this.onConflict,\n      returning,\n    );\n  }\n\n  withOnConflict(onConflict: InsertOnConflict | undefined): InsertAst {\n    return new InsertAst(\n      this.table,\n      this.rows.map((row) => ({ ...row })),\n      onConflict,\n      this.returning,\n    );\n  }\n\n  override collectParamRefs(): ParamRef[] {\n    const refs: ParamRef[] = [];\n    for (const row of this.rows) {\n      for (const value of Object.values(row)) {\n        if (value.kind === 'param-ref') {\n          refs.push(value);\n        }\n      }\n    }\n    if (this.onConflict?.action.kind === 'do-update-set') {\n      for (const value of Object.values(this.onConflict.action.set)) {\n        if (value.kind === 'param-ref') {\n          refs.push(value);\n        }\n      }\n    }\n    return refs;\n  }\n\n  override collectRefs(): PlanRefs {\n    const tables = new Set<string>([this.table.name]);\n    const columns = new Map<string, { table: string; column: string }>();\n\n    const addColumn = (columnRef: ColumnRef) => addColumnRefToRefSets(columnRef, tables, columns);\n    const addValue = (value: InsertValue) => {\n      if (value.kind === 'column-ref') {\n        addColumn(value);\n      }\n    };\n\n    for (const row of this.rows) {\n      for (const value of Object.values(row)) {\n        addValue(value);\n      }\n    }\n\n    for (const columnRef of this.returning ?? []) {\n      addColumn(columnRef);\n    }\n\n    if (this.onConflict) {\n      for (const columnRef of this.onConflict.columns) {\n        addColumn(columnRef);\n      }\n      if (this.onConflict.action.kind === 'do-update-set') {\n        for (const value of Object.values(this.onConflict.action.set)) {\n          if (value.kind === 'column-ref') {\n            addColumn(value);\n          }\n        }\n      }\n    }\n\n    return sortRefs(tables, columns);\n  }\n\n  override toQueryAst(): AnyQueryAst {\n    return this;\n  }\n}\n\nexport class UpdateAst extends QueryAst {\n  readonly kind = 'update' as const;\n  readonly table: TableSource;\n  readonly set: Readonly<Record<string, ColumnRef | ParamRef>>;\n  readonly where: AnyExpression | undefined;\n  readonly returning: ReadonlyArray<ColumnRef> | undefined;\n\n  constructor(\n    table: TableSource,\n    set: Readonly<Record<string, ColumnRef | ParamRef>> = {},\n    where?: AnyExpression,\n    returning?: ReadonlyArray<ColumnRef>,\n  ) {\n    super();\n    this.table = table;\n    this.set = frozenRecordCopy(set);\n    this.where = where;\n    this.returning = returning && returning.length > 0 ? frozenArrayCopy(returning) : undefined;\n    this.freeze();\n  }\n\n  static table(table: TableSource): UpdateAst {\n    return new UpdateAst(table);\n  }\n\n  withSet(set: Readonly<Record<string, ColumnRef | ParamRef>>): UpdateAst {\n    return new UpdateAst(this.table, set, this.where, this.returning);\n  }\n\n  withWhere(where: AnyExpression | undefined): UpdateAst {\n    return new UpdateAst(this.table, this.set, where, this.returning);\n  }\n\n  withReturning(returning: ReadonlyArray<ColumnRef> | undefined): UpdateAst {\n    return new UpdateAst(this.table, this.set, this.where, returning);\n  }\n\n  override collectParamRefs(): ParamRef[] {\n    const refs: ParamRef[] = [];\n    for (const value of Object.values(this.set)) {\n      if (value.kind === 'param-ref') {\n        refs.push(value);\n      }\n    }\n    if (this.where) {\n      refs.push(...this.where.collectParamRefs());\n    }\n    return refs;\n  }\n\n  override collectRefs(): PlanRefs {\n    const tables = new Set<string>([this.table.name]);\n    const columns = new Map<string, { table: string; column: string }>();\n\n    for (const value of Object.values(this.set)) {\n      if (value.kind === 'column-ref') {\n        addColumnRefToRefSets(value, tables, columns);\n      }\n    }\n\n    for (const columnRef of this.where?.collectColumnRefs() ?? []) {\n      addColumnRefToRefSets(columnRef, tables, columns);\n    }\n\n    for (const columnRef of this.returning ?? []) {\n      addColumnRefToRefSets(columnRef, tables, columns);\n    }\n\n    return sortRefs(tables, columns);\n  }\n\n  override toQueryAst(): AnyQueryAst {\n    return this;\n  }\n}\n\nexport class DeleteAst extends QueryAst {\n  readonly kind = 'delete' as const;\n  readonly table: TableSource;\n  readonly where: AnyExpression | undefined;\n  readonly returning: ReadonlyArray<ColumnRef> | undefined;\n\n  constructor(table: TableSource, where?: AnyExpression, returning?: ReadonlyArray<ColumnRef>) {\n    super();\n    this.table = table;\n    this.where = where;\n    this.returning = returning && returning.length > 0 ? frozenArrayCopy(returning) : undefined;\n    this.freeze();\n  }\n\n  static from(table: TableSource): DeleteAst {\n    return new DeleteAst(table);\n  }\n\n  withWhere(where: AnyExpression | undefined): DeleteAst {\n    return new DeleteAst(this.table, where, this.returning);\n  }\n\n  withReturning(returning: ReadonlyArray<ColumnRef> | undefined): DeleteAst {\n    return new DeleteAst(this.table, this.where, returning);\n  }\n\n  override collectParamRefs(): ParamRef[] {\n    return this.where?.collectParamRefs() ?? [];\n  }\n\n  override collectRefs(): PlanRefs {\n    const tables = new Set<string>([this.table.name]);\n    const columns = new Map<string, { table: string; column: string }>();\n\n    for (const columnRef of this.where?.collectColumnRefs() ?? []) {\n      addColumnRefToRefSets(columnRef, tables, columns);\n    }\n\n    for (const columnRef of this.returning ?? []) {\n      addColumnRefToRefSets(columnRef, tables, columns);\n    }\n\n    return sortRefs(tables, columns);\n  }\n\n  override toQueryAst(): AnyQueryAst {\n    return this;\n  }\n}\n\nexport type AnyQueryAst = SelectAst | InsertAst | UpdateAst | DeleteAst;\nexport type AnyFromSource = TableSource | DerivedTableSource;\nexport type AnyExpression =\n  | ColumnRef\n  | IdentifierRef\n  | ParamRef\n  | LiteralExpr\n  | SubqueryExpr\n  | OperationExpr\n  | AggregateExpr\n  | JsonObjectExpr\n  | JsonArrayAggExpr\n  | ListExpression\n  | BinaryExpr\n  | AndExpr\n  | OrExpr\n  | ExistsExpr\n  | NullCheckExpr\n  | NotExpr;\nexport type AnyInsertOnConflictAction = DoNothingConflictAction | DoUpdateSetConflictAction;\nexport type AnyInsertValue = ColumnRef | ParamRef | DefaultValueExpr;\nexport type AnyOperationArg = AnyExpression | ParamRef | LiteralExpr;\n\nexport const queryAstKinds: ReadonlySet<string> = new Set<AnyQueryAst['kind']>([\n  'select',\n  'insert',\n  'update',\n  'delete',\n]);\nexport const whereExprKinds: ReadonlySet<string> = new Set<AnyExpression['kind']>([\n  'binary',\n  'and',\n  'or',\n  'exists',\n  'null-check',\n  'not',\n]);\n\nexport function isQueryAst(value: unknown): value is AnyQueryAst {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'kind' in value &&\n    queryAstKinds.has((value as { kind: string }).kind)\n  );\n}\n\nexport function isWhereExpr(value: unknown): value is AnyExpression {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'kind' in value &&\n    whereExprKinds.has((value as { kind: string }).kind)\n  );\n}\n\nexport interface ToWhereExpr {\n  toWhereExpr(): AnyExpression;\n}\n\nexport interface LoweredStatement {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n  readonly annotations?: Record<string, unknown>;\n}\n"],"mappings":";AAgFA,SAAS,gBAAmB,QAAwC;AAClE,QAAO,OAAO,OAAO,CAAC,GAAG,OAAO,CAAC;;AAGnC,SAAS,yBACP,OACyB;AACzB,QAAO,UAAU,SAAY,SAAY,OAAO,OAAO,EAAE,GAAG,OAAO,CAAC;;AAGtE,SAAS,iBAAoB,QAAkE;AAC7F,QAAO,OAAO,OAAO,EAAE,GAAG,QAAQ,CAAC;;AAGrC,SAAS,WACP,MACsD;AACtD,QAAO,OAAO,OAAO,KAAK,KAAK,QAAQ,OAAO,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;;AAGpE,SAAS,WAAc,QAA6B,QAA2B;CAC7E,IAAI,SAAS,OAAO;AACpB,MAAK,MAAM,SAAS,QAAQ;AAC1B,MAAI,OAAO,cAAc,OAAO,CAC9B,QAAO;AAET,WAAS,OAAO,QAAQ,QAAQ,OAAO,CAAC;;AAE1C,QAAO;;AAGT,SAAS,kBAAkB,OAAsB,UAA6C;AAC5F,SAAQ,MAAM,MAAd;EACE,KAAK,YACH,QAAO,SAAS,WAAW,SAAS,SAAS,MAAM,GAAG;EACxD,KAAK,UACH,QAAO,SAAS,UAAU,SAAS,QAAQ,MAAM,GAAG;EACtD,KAAK;AACH,OAAI,SAAS,KACX,QAAO,SAAS,KAAK,MAAM;AAE7B,UAAO,MAAM,QAAQ,SAAS;EAChC,QACE,QAAO,MAAM,QAAQ,SAAS;;;AAIpC,SAAS,eAAkB,OAAsB,QAAgC;AAC/E,SAAQ,MAAM,MAAd;EACE,KAAK,YACH,QAAO,OAAO,WAAW,OAAO,SAAS,MAAM,GAAG,OAAO;EAC3D,KAAK,UACH,QAAO,OAAO,UAAU,OAAO,QAAQ,MAAM,GAAG,OAAO;EACzD,KAAK,OACH,QAAO,MAAM,KAAK,OAAO;EAC3B,QACE,QAAO,MAAM,KAAK,OAAO;;;AAI/B,SAAS,sBAAgD,MAA0B;AACjF,QAAO,KAAK,KAAkB;EAC5B,OAAO,EAAE;EACT,UAAU,GAAG,MAAM,CAAC,GAAG,GAAG,GAAG,EAAE;EAC/B,YAAY,cAAc,CAAC,UAAU;EACrC,SAAS,QAAQ,IAAI,mBAAmB;EACzC,CAAC;;AAGJ,SAAS,qBAA+C,MAAyB;AAC/E,QAAO,KAAK,KAAiB;EAC3B,OAAO,EAAE;EACT,UAAU,GAAG,MAAM,CAAC,GAAG,GAAG,GAAG,EAAE;EAC/B,WAAW,aAAa,CAAC,SAAS;EAClC,SAAS,QAAQ,IAAI,kBAAkB;EACxC,CAAC;;AAGJ,SAAS,SACP,QACA,SACU;AAUV,QAAO;EACL,QAVmB,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,MAAM,EAAE,cAAc,EAAE,CAAC;EAWjE,SAVoB,CAAC,GAAG,QAAQ,QAAQ,CAAC,CAAC,MAAM,GAAG,MAAM;GACzD,MAAM,eAAe,EAAE,MAAM,cAAc,EAAE,MAAM;AACnD,OAAI,iBAAiB,EACnB,QAAO;AAET,UAAO,EAAE,OAAO,cAAc,EAAE,OAAO;IACvC;EAKD;;AAGH,SAAS,sBACP,WACA,QACA,SACM;AACN,KAAI,UAAU,UAAU,WACtB;AAEF,QAAO,IAAI,UAAU,MAAM;CAC3B,MAAM,MAAM,GAAG,UAAU,MAAM,GAAG,UAAU;AAC5C,KAAI,CAAC,QAAQ,IAAI,IAAI,CACnB,SAAQ,IAAI,KAAK;EACf,OAAO,UAAU;EACjB,QAAQ,UAAU;EACnB,CAAC;;AAIN,SAAS,cACP,MACA,QACA,SACM;AACN,MAAK,MAAM,SAAS,KAAK,UAAU,EAAE,CACnC,QAAO,IAAI,MAAM;AAEnB,MAAK,MAAM,UAAU,KAAK,WAAW,EAAE,CACrC,uBAAsB,IAAI,UAAU,OAAO,OAAO,OAAO,OAAO,EAAE,QAAQ,QAAQ;;AAItF,IAAe,UAAf,MAAuB;CAGrB,AAAU,SAAe;AACvB,SAAO,OAAO,KAAK;;;AAIvB,IAAe,WAAf,cAAgC,QAAQ;CAKtC,oBAAiC;AAE/B,UADa,KAAK,aAAa,CAAC,WAAW,EAAE,EACjC,KAAK,QAAQ,IAAI,UAAU,IAAI,OAAO,IAAI,OAAO,CAAC;;;AAIlE,IAAe,aAAf,cAAkC,QAAQ;AAM1C,IAAe,aAAf,cAAkC,QAAoC;CAKpE,oBAAiC;AAC/B,SAAO,sBAAsB,KAAK;;CAGpC,mBAA+B;AAC7B,SAAO,qBAAqB,KAAK;;CAGnC,gBAA2B;AACzB,QAAM,IAAI,MAAM,GAAG,KAAK,YAAY,KAAK,0CAA0C;;CAGrF,SAAwB;AACtB,SAAO;;CAGT,MAAe;AACb,SAAO,IAAI,QAAQ,KAAiC;;;AAIxD,IAAa,cAAb,MAAa,oBAAoB,WAAW;CAC1C,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,MAAc,OAAgB;AACxC,SAAO;AACP,OAAK,OAAO;AACZ,OAAK,QAAQ;AACb,OAAK,QAAQ;;CAGf,OAAO,MAAM,MAAc,OAA6B;AACtD,SAAO,IAAI,YAAY,MAAM,MAAM;;CAGrC,AAAS,QAAQ,UAAsC;AACrD,SAAO,SAAS,cAAc,SAAS,YAAY,KAAK,GAAG;;CAG7D,AAAS,eAA8B;AACrC,SAAO;;CAGT,AAAS,cAAwB;AAC/B,SAAO;GACL,QAAQ,CAAC,KAAK,KAAK;GACnB,SAAS,EAAE;GACZ;;;AASL,IAAa,qBAAb,MAAa,2BAA2B,WAAW;CACjD,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,OAAe,OAAkB;AAC3C,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,QAAQ;AACb,OAAK,QAAQ;;CAGf,OAAO,GAAG,OAAe,OAAsC;AAC7D,SAAO,IAAI,mBAAmB,OAAO,MAAM;;CAM7C,AAAS,QAAQ,UAAsC;AACrD,SAAO,IAAI,mBAAmB,KAAK,OAAO,KAAK,MAAM,QAAQ,SAAS,CAAC;;CAGzE,AAAS,eAA8B;AACrC,SAAO;;CAGT,AAAS,cAAwB;AAC/B,SAAO,KAAK,MAAM,aAAa;;;AAInC,IAAa,YAAb,MAAa,kBAAkB,WAAW;CACxC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,OAAe,QAAgB;AACzC,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,SAAS;AACd,OAAK,QAAQ;;CAGf,OAAO,GAAG,OAAe,QAA2B;AAClD,SAAO,IAAI,UAAU,OAAO,OAAO;;CAGrC,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,UAAU,KAAK;;CAGhC,AAAS,QAAQ,UAA6C;AAC5D,SAAO,SAAS,YAAY,SAAS,UAAU,KAAK,GAAG;;CAGzD,AAAS,KAAQ,QAAgC;AAC/C,SAAO,OAAO,YAAY,OAAO,UAAU,KAAK,GAAG,OAAO;;CAG5D,AAAS,gBAA2B;AAClC,SAAO;;;AAIX,IAAa,gBAAb,MAAa,sBAAsB,WAAW;CAC5C,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,MAAc;AACxB,SAAO;AACP,OAAK,OAAO;AACZ,OAAK,QAAQ;;CAGf,OAAO,GAAG,MAA6B;AACrC,SAAO,IAAI,cAAc,KAAK;;CAGhC,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,cAAc,KAAK;;CAGpC,AAAS,QAAQ,UAA6C;AAC5D,SAAO,SAAS,gBAAgB,SAAS,cAAc,KAAK,GAAG;;CAGjE,AAAS,KAAQ,QAAgC;AAC/C,SAAO,OAAO,gBAAgB,OAAO,cAAc,KAAK,GAAG,OAAO;;;AAItE,IAAa,WAAb,MAAa,iBAAiB,WAAW;CACvC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CAET,YACE,OACA,SAIA;AACA,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,OAAO,SAAS;AACrB,OAAK,UAAU,SAAS;AACxB,OAAK,QAAQ;;CAGf,OAAO,GACL,OACA,SAIU;AACV,SAAO,IAAI,SAAS,OAAO,QAAQ;;CAGrC,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,MAAM,KAAK;;CAG5B,AAAS,QAAQ,UAA6C;AAC5D,SAAO,SAAS,WAAW,SAAS,SAAS,KAAK,GAAG;;CAGvD,AAAS,KAAQ,QAAgC;AAC/C,SAAO,OAAO,WAAW,OAAO,SAAS,KAAK,GAAG,OAAO;;;AAI5D,IAAa,mBAAb,cAAsC,QAAQ;CAC5C,AAAS,OAAO;CAEhB,cAAc;AACZ,SAAO;AACP,OAAK,QAAQ;;;AAIjB,IAAa,cAAb,MAAa,oBAAoB,WAAW;CAC1C,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,OAAgB;AAC1B,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,QAAQ;;CAGf,OAAO,GAAG,OAA6B;AACrC,SAAO,IAAI,YAAY,MAAM;;CAG/B,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,QAAQ,KAAK;;CAG9B,AAAS,QAAQ,UAA6C;AAC5D,SAAO,SAAS,UAAU,SAAS,QAAQ,KAAK,GAAG;;CAGrD,AAAS,KAAQ,QAAgC;AAC/C,SAAO,OAAO,UAAU,OAAO,QAAQ,KAAK,GAAG,OAAO;;;AAI1D,IAAa,eAAb,MAAa,qBAAqB,WAAW;CAC3C,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,OAAkB;AAC5B,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,QAAQ;;CAGf,OAAO,GAAG,OAAgC;AACxC,SAAO,IAAI,aAAa,MAAM;;CAGhC,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,SAAS,KAAK;;CAG/B,AAAS,QAAQ,UAA6C;AAE5D,SAAO,IAAI,aADG,KAAK,MAAM,QAAQ,SAAS,CACZ;;CAGhC,AAAS,KAAQ,QAAgC;AAC/C,SAAO,OAAO,SAAS,OAAO,OAAO,KAAK,MAAM,GAAG,OAAO;;;AAI9D,IAAa,gBAAb,MAAa,sBAAsB,WAAW;CAC5C,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CAET,YAAY,SAOT;AACD,SAAO;AACP,OAAK,SAAS,QAAQ;AACtB,OAAK,YAAY,QAAQ;AACzB,OAAK,OAAO,QAAQ;AACpB,OAAK,OAAO,gBAAgB,QAAQ,QAAQ,EAAE,CAAC;AAC/C,OAAK,UAAU,QAAQ;AACvB,OAAK,WAAW,QAAQ;AACxB,OAAK,QAAQ;;CAGf,OAAO,SAAS,SAOE;AAChB,SAAO,IAAI,cAAc;GACvB,QAAQ,QAAQ;GAChB,WAAW,QAAQ;GACnB,MAAM,QAAQ;GACd,MAAM,QAAQ;GACd,SAAS,QAAQ;GACjB,UAAU;IACR,cAAc;IACd,UAAU;IACV,UAAU,QAAQ;IACnB;GACF,CAAC;;CAGJ,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,UAAU,KAAK;;CAGhC,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,cAAc;GACvB,QAAQ,KAAK;GACb,WAAW,KAAK;GAChB,MAAM,KAAK,KAAK,QAAQ,SAAS;GACjC,MAAM,KAAK,KAAK,KAAK,QAAQ,kBAAkB,KAAK,SAAS,CAAC;GAG9D,SAAS,KAAK;GACd,UAAU,KAAK;GAChB,CAAC;;CAGJ,AAAS,KAAQ,QAAgC;AAC/C,SAAO,WAAW,QAAQ,OAClB,KAAK,KAAK,KAAK,OAAO,EAC5B,GAAG,KAAK,KAAK,KAAK,cAAc,eAAe,KAAK,OAAO,CAAC,CAC7D,CAAC;;CAGJ,AAAS,gBAA2B;AAClC,SAAO,KAAK,KAAK,eAAe;;;AAIpC,IAAa,gBAAb,MAAa,sBAAsB,WAAW;CAC5C,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,IAAiB,MAAsB;AACjD,SAAO;AACP,MAAI,OAAO,WAAW,SAAS,OAC7B,OAAM,IAAI,MAAM,uBAAuB,GAAG,0BAA0B;AAEtE,OAAK,KAAK;AACV,OAAK,OAAO;AACZ,OAAK,QAAQ;;CAGf,OAAO,MAAM,MAAqC;AAChD,SAAO,IAAI,cAAc,SAAS,KAAK;;CAGzC,OAAO,IAAI,MAAoC;AAC7C,SAAO,IAAI,cAAc,OAAO,KAAK;;CAGvC,OAAO,IAAI,MAAoC;AAC7C,SAAO,IAAI,cAAc,OAAO,KAAK;;CAGvC,OAAO,IAAI,MAAoC;AAC7C,SAAO,IAAI,cAAc,OAAO,KAAK;;CAGvC,OAAO,IAAI,MAAoC;AAC7C,SAAO,IAAI,cAAc,OAAO,KAAK;;CAGvC,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,UAAU,KAAK;;CAGhC,AAAS,QAAQ,UAA6C;AAC5D,SAAO,KAAK,SAAS,SAAY,OAAO,IAAI,cAAc,KAAK,IAAI,KAAK,KAAK,QAAQ,SAAS,CAAC;;CAGjG,AAAS,KAAQ,QAAgC;AAC/C,SAAO,KAAK,OAAO,KAAK,KAAK,KAAK,OAAO,GAAG,OAAO;;;AAIvD,IAAa,iBAAb,MAAa,uBAAuB,WAAW;CAC7C,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,SAAyC;AACnD,SAAO;AACP,OAAK,UAAU,gBAAgB,QAAQ,KAAK,UAAU,OAAO,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;AACnF,OAAK,QAAQ;;CAGf,OAAO,MAAM,KAAa,OAAwC;AAChE,SAAO;GACL;GACA;GACD;;CAGH,OAAO,YAAY,SAAyD;AAC1E,SAAO,IAAI,eAAe,QAAQ;;CAGpC,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,WAAW,KAAK;;CAGjC,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,eACT,KAAK,QAAQ,KAAK,WAAW;GAC3B,KAAK,MAAM;GACX,OACE,MAAM,MAAM,SAAS,YACjB,SAAS,UACP,SAAS,QAAQ,MAAM,MAAM,GAC7B,MAAM,QACR,MAAM,MAAM,QAAQ,SAAS;GACpC,EAAE,CACJ;;CAGH,AAAS,KAAQ,QAAgC;AAC/C,SAAO,WACL,QACA,KAAK,QAAQ,KACV,gBACC,MAAM,MAAM,SAAS,YACjB,OAAO,UACL,OAAO,QAAQ,MAAM,MAAM,GAC3B,OAAO,QACT,MAAM,MAAM,KAAK,OAAO,CAC/B,CACF;;;AAIL,IAAa,cAAb,MAAa,oBAAoB,QAAQ;CACvC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,MAAqB,KAAgB;AAC/C,SAAO;AACP,OAAK,OAAO;AACZ,OAAK,MAAM;AACX,OAAK,QAAQ;;CAGf,OAAO,IAAI,MAAkC;AAC3C,SAAO,IAAI,YAAY,MAAM,MAAM;;CAGrC,OAAO,KAAK,MAAkC;AAC5C,SAAO,IAAI,YAAY,MAAM,OAAO;;CAGtC,QAAQ,UAA2C;AACjD,SAAO,IAAI,YAAY,KAAK,KAAK,QAAQ,SAAS,EAAE,KAAK,IAAI;;;AAIjE,IAAa,mBAAb,MAAa,yBAAyB,WAAW;CAC/C,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CAET,YACE,MACA,UAAiC,QACjC,SACA;AACA,SAAO;AACP,OAAK,OAAO;AACZ,OAAK,UAAU;AACf,OAAK,UAAU,WAAW,QAAQ,SAAS,IAAI,gBAAgB,QAAQ,GAAG;AAC1E,OAAK,QAAQ;;CAGf,OAAO,GACL,MACA,UAAiC,QACjC,SACkB;AAClB,SAAO,IAAI,iBAAiB,MAAM,SAAS,QAAQ;;CAGrD,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,aAAa,KAAK;;CAGnC,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,iBACT,KAAK,KAAK,QAAQ,SAAS,EAC3B,KAAK,SACL,KAAK,SAAS,KAAK,cAAc,UAAU,QAAQ,SAAS,CAAC,CAC9D;;CAGH,AAAS,KAAQ,QAAgC;AAC/C,SAAO,WAAW,QAAQ,OAClB,KAAK,KAAK,KAAK,OAAO,EAC5B,IAAI,KAAK,WAAW,EAAE,EAAE,KAAK,oBAAoB,UAAU,KAAK,KAAK,OAAO,CAAC,CAC9E,CAAC;;;AAIN,IAAa,iBAAb,MAAa,uBAAuB,WAAW;CAC7C,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,QAAsC;AAChD,SAAO;AACP,OAAK,SAAS,gBAAgB,OAAO;AACrC,OAAK,QAAQ;;CAGf,OAAO,GAAG,QAAsD;AAC9D,SAAO,IAAI,eAAe,OAAO;;CAGnC,OAAO,WAAW,QAAgD;AAChE,SAAO,IAAI,eAAe,OAAO,KAAK,UAAU,IAAI,YAAY,MAAM,CAAC,CAAC;;CAG1E,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,KAAK,KAAK;;CAG3B,AAAS,QAAQ,UAA6C;AAC5D,MAAI,SAAS,KACX,QAAO,SAAS,KAAK,KAAK;AAG5B,SAAO,IAAI,eAAe,KAAK,OAAO,KAAK,UAAU,MAAM,QAAQ,SAAS,CAAC,CAAC;;CAGhF,KAAQ,QAAgC;AACtC,MAAI,OAAO,KACT,QAAO,OAAO,KAAK,KAAK;AAE1B,SAAO,WACL,QACA,KAAK,OAAO,KAAK,gBAAgB,MAAM,KAAK,OAAO,CAAC,CACrD;;;AAIL,IAAa,aAAb,MAAa,mBAAmB,WAAW;CACzC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CAET,YAAY,IAAc,MAAqB,OAAsB;AACnE,SAAO;AACP,OAAK,KAAK;AACV,OAAK,OAAO;AACZ,OAAK,QAAQ;AACb,OAAK,QAAQ;;CAGf,OAAO,GAAG,MAAqB,OAAkC;AAC/D,SAAO,IAAI,WAAW,MAAM,MAAM,MAAM;;CAG1C,OAAO,IAAI,MAAqB,OAAkC;AAChE,SAAO,IAAI,WAAW,OAAO,MAAM,MAAM;;CAG3C,OAAO,GAAG,MAAqB,OAAkC;AAC/D,SAAO,IAAI,WAAW,MAAM,MAAM,MAAM;;CAG1C,OAAO,GAAG,MAAqB,OAAkC;AAC/D,SAAO,IAAI,WAAW,MAAM,MAAM,MAAM;;CAG1C,OAAO,IAAI,MAAqB,OAAkC;AAChE,SAAO,IAAI,WAAW,OAAO,MAAM,MAAM;;CAG3C,OAAO,IAAI,MAAqB,OAAkC;AAChE,SAAO,IAAI,WAAW,OAAO,MAAM,MAAM;;CAG3C,OAAO,KAAK,MAAqB,OAAkC;AACjE,SAAO,IAAI,WAAW,QAAQ,MAAM,MAAM;;CAG5C,OAAO,MAAM,MAAqB,OAAkC;AAClE,SAAO,IAAI,WAAW,SAAS,MAAM,MAAM;;CAG7C,OAAO,GAAG,MAAqB,OAAkC;AAC/D,SAAO,IAAI,WAAW,MAAM,MAAM,MAAM;;CAG1C,OAAO,MAAM,MAAqB,OAAkC;AAClE,SAAO,IAAI,WAAW,SAAS,MAAM,MAAM;;CAG7C,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,OAAO,KAAK;;CAG7B,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,WACT,KAAK,IACL,kBAAkB,KAAK,MAAM,SAAS,EACtC,kBAAkB,KAAK,OAAO,SAAS,CACxC;;CAGH,AAAS,KAAQ,QAAgC;AAC/C,SAAO,WAAW,QAAQ,OAClB,eAAe,KAAK,MAAM,OAAO,QACjC,eAAe,KAAK,OAAO,OAAO,CACzC,CAAC;;;AAIN,IAAa,UAAb,MAAa,gBAAgB,WAAW;CACtC,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,OAAqC;AAC/C,SAAO;AACP,OAAK,QAAQ,gBAAgB,MAAM;AACnC,OAAK,QAAQ;;CAGf,OAAO,GAAG,OAA8C;AACtD,SAAO,IAAI,QAAQ,MAAM;;CAG3B,OAAO,OAAgB;AACrB,SAAO,IAAI,QAAQ,EAAE,CAAC;;CAGxB,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,IAAI,KAAK;;CAG1B,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,QAAQ,KAAK,MAAM,KAAK,SAAS,KAAK,QAAQ,SAAS,CAAC,CAAC;;CAGtE,AAAS,KAAQ,QAAgC;AAC/C,SAAO,WACL,QACA,KAAK,MAAM,KAAK,eAAe,KAAK,KAAK,OAAO,CAAC,CAClD;;;AAIL,IAAa,SAAb,MAAa,eAAe,WAAW;CACrC,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,OAAqC;AAC/C,SAAO;AACP,OAAK,QAAQ,gBAAgB,MAAM;AACnC,OAAK,QAAQ;;CAGf,OAAO,GAAG,OAA6C;AACrD,SAAO,IAAI,OAAO,MAAM;;CAG1B,OAAO,QAAgB;AACrB,SAAO,IAAI,OAAO,EAAE,CAAC;;CAGvB,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,GAAG,KAAK;;CAGzB,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,OAAO,KAAK,MAAM,KAAK,SAAS,KAAK,QAAQ,SAAS,CAAC,CAAC;;CAGrE,AAAS,KAAQ,QAAgC;AAC/C,SAAO,WACL,QACA,KAAK,MAAM,KAAK,eAAe,KAAK,KAAK,OAAO,CAAC,CAClD;;;AAIL,IAAa,aAAb,MAAa,mBAAmB,WAAW;CACzC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,UAAqB,YAAY,OAAO;AAClD,SAAO;AACP,OAAK,YAAY;AACjB,OAAK,WAAW;AAChB,OAAK,QAAQ;;CAGf,OAAO,OAAO,UAAiC;AAC7C,SAAO,IAAI,WAAW,UAAU,MAAM;;CAGxC,OAAO,UAAU,UAAiC;AAChD,SAAO,IAAI,WAAW,UAAU,KAAK;;CAGvC,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,OAAO,KAAK;;CAG7B,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,WAAW,KAAK,SAAS,QAAQ,SAAS,EAAE,KAAK,UAAU;;CAGxE,AAAS,KAAQ,QAAgC;AAC/C,SAAO,OAAO,SAAS,OAAO,OAAO,KAAK,SAAS,GAAG,OAAO;;;AAIjE,IAAa,gBAAb,MAAa,sBAAsB,WAAW;CAC5C,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,MAAqB,QAAiB;AAChD,SAAO;AACP,OAAK,OAAO;AACZ,OAAK,SAAS;AACd,OAAK,QAAQ;;CAGf,OAAO,OAAO,MAAoC;AAChD,SAAO,IAAI,cAAc,MAAM,KAAK;;CAGtC,OAAO,UAAU,MAAoC;AACnD,SAAO,IAAI,cAAc,MAAM,MAAM;;CAGvC,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,UAAU,KAAK;;CAGhC,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,cAAc,KAAK,KAAK,QAAQ,SAAS,EAAE,KAAK,OAAO;;CAGpE,AAAS,KAAQ,QAAgC;AAC/C,SAAO,KAAK,KAAK,KAAK,OAAO;;;AAIjC,IAAa,UAAb,MAAa,gBAAgB,WAAW;CACtC,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,MAAqB;AAC/B,SAAO;AACP,OAAK,OAAO;AACZ,OAAK,QAAQ;;CAGf,cAA6B;AAC3B,SAAO;;CAGT,AAAS,OAAU,SAA4B;AAC7C,SAAO,QAAQ,IAAI,KAAK;;CAG1B,AAAS,QAAQ,UAA6C;AAC5D,SAAO,IAAI,QAAQ,KAAK,KAAK,QAAQ,SAAS,CAAC;;CAGjD,AAAS,KAAQ,QAAgC;AAC/C,SAAO,KAAK,KAAK,KAAK,OAAO;;;AAIjC,IAAa,cAAb,MAAa,oBAAoB,QAAQ;CACvC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,MAAiB,OAAkB;AAC7C,SAAO;AACP,OAAK,OAAO;AACZ,OAAK,QAAQ;AACb,OAAK,QAAQ;;CAGf,OAAO,GAAG,MAAiB,OAA+B;AACxD,SAAO,IAAI,YAAY,MAAM,MAAM;;CAGrC,QAAQ,UAAoD;AAC1D,SAAO,SAAS,cAAc,SAAS,YAAY,KAAK,GAAG;;;AAI/D,IAAa,UAAb,MAAa,gBAAgB,QAAQ;CACnC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CAET,YACE,UACA,QACA,IACA,UAAU,OACV;AACA,SAAO;AACP,OAAK,WAAW;AAChB,OAAK,SAAS;AACd,OAAK,UAAU;AACf,OAAK,KAAK;AACV,OAAK,QAAQ;;CAGf,OAAO,MAAM,QAAuB,IAAgB,UAAU,OAAgB;AAC5E,SAAO,IAAI,QAAQ,SAAS,QAAQ,IAAI,QAAQ;;CAGlD,OAAO,KAAK,QAAuB,IAAgB,UAAU,OAAgB;AAC3E,SAAO,IAAI,QAAQ,QAAQ,QAAQ,IAAI,QAAQ;;CAGjD,OAAO,MAAM,QAAuB,IAAgB,UAAU,OAAgB;AAC5E,SAAO,IAAI,QAAQ,SAAS,QAAQ,IAAI,QAAQ;;CAGlD,OAAO,KAAK,QAAuB,IAAgB,UAAU,OAAgB;AAC3E,SAAO,IAAI,QAAQ,QAAQ,QAAQ,IAAI,QAAQ;;CAGjD,QAAQ,UAAgC;AACtC,SAAO,IAAI,QACT,KAAK,UACL,KAAK,OAAO,QAAQ,SAAS,EAC7B,KAAK,GAAG,SAAS,mBAAmB,KAAK,GAAG,QAAQ,SAAS,GAAG,KAAK,GAAG,QAAQ,SAAS,EACzF,KAAK,QACN;;;AAIL,IAAa,iBAAb,MAAa,uBAAuB,QAAQ;CAC1C,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,OAAe,MAAsB;AAC/C,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,OAAO;AACZ,OAAK,QAAQ;;CAGf,OAAO,GAAG,OAAe,MAAsC;AAC7D,SAAO,IAAI,eAAe,OAAO,KAAK;;;AAmB1C,IAAa,YAAb,MAAa,kBAAkB,SAAS;CACtC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CAET,YAAY,SAA2B;AACrC,SAAO;AACP,OAAK,OAAO,QAAQ;AACpB,OAAK,QACH,QAAQ,SAAS,QAAQ,MAAM,SAAS,IAAI,gBAAgB,QAAQ,MAAM,GAAG;AAC/E,OAAK,aAAa,gBAAgB,QAAQ,WAAW;AACrD,OAAK,QAAQ,QAAQ;AACrB,OAAK,UACH,QAAQ,WAAW,QAAQ,QAAQ,SAAS,IAAI,gBAAgB,QAAQ,QAAQ,GAAG;AACrF,OAAK,WAAW,QAAQ;AACxB,OAAK,aACH,QAAQ,cAAc,QAAQ,WAAW,SAAS,IAC9C,gBAAgB,QAAQ,WAAW,GACnC;AACN,OAAK,UACH,QAAQ,WAAW,QAAQ,QAAQ,SAAS,IAAI,gBAAgB,QAAQ,QAAQ,GAAG;AACrF,OAAK,SAAS,QAAQ;AACtB,OAAK,QAAQ,QAAQ;AACrB,OAAK,SAAS,QAAQ;AACtB,OAAK,kBAAkB,yBAAyB,QAAQ,gBAAgB;AACxE,OAAK,QAAQ;;CAGf,OAAO,KAAK,MAAgC;AAC1C,SAAO,IAAI,UAAU;GACnB;GACA,OAAO;GACP,YAAY,EAAE;GACd,OAAO;GACP,SAAS;GACT,UAAU;GACV,YAAY;GACZ,SAAS;GACT,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,iBAAiB;GAClB,CAAC;;CAGJ,SAAS,MAAgC;AACvC,SAAO,IAAI,UAAU;GAAE,GAAG;GAAM;GAAM,CAAC;;CAGzC,UAAU,OAA0C;AAClD,SAAO,IAAI,UAAU;GACnB,GAAG;GACH,OAAO,MAAM,SAAS,IAAI,QAAQ;GACnC,CAAC;;CAGJ,eAAe,YAAsD;AACnE,SAAO,IAAI,UAAU;GAAE,GAAG;GAAM;GAAY,CAAC;;CAG/C,cAAc,OAAe,MAAiC;AAC5D,SAAO,IAAI,UAAU;GACnB,GAAG;GACH,YAAY,CAAC,GAAG,KAAK,YAAY,IAAI,eAAe,OAAO,KAAK,CAAC;GAClE,CAAC;;CAGJ,UAAU,OAA6C;AACrD,SAAO,IAAI,UAAU;GAAE,GAAG;GAAM;GAAO,CAAC;;CAG1C,YAAY,SAAgD;AAC1D,SAAO,IAAI,UAAU;GACnB,GAAG;GACH,SAAS,QAAQ,SAAS,IAAI,UAAU;GACzC,CAAC;;CAGJ,aAAa,UAAU,MAAiB;AACtC,SAAO,IAAI,UAAU;GACnB,GAAG;GACH,UAAU,UAAU,OAAO;GAC5B,CAAC;;CAGJ,eAAe,YAAqD;AAClE,SAAO,IAAI,UAAU;GACnB,GAAG;GACH,YAAY,WAAW,SAAS,IAAI,aAAa;GAClD,CAAC;;CAGJ,YAAY,SAAkD;AAC5D,SAAO,IAAI,UAAU;GACnB,GAAG;GACH,SAAS,QAAQ,SAAS,IAAI,UAAU;GACzC,CAAC;;CAGJ,WAAW,QAA8C;AACvD,SAAO,IAAI,UAAU;GAAE,GAAG;GAAM;GAAQ,CAAC;;CAG3C,UAAU,OAAsC;AAC9C,SAAO,IAAI,UAAU;GAAE,GAAG;GAAM;GAAO,CAAC;;CAG1C,WAAW,QAAuC;AAChD,SAAO,IAAI,UAAU;GAAE,GAAG;GAAM;GAAQ,CAAC;;CAG3C,oBAAoB,iBAAqE;AACvF,SAAO,IAAI,UAAU;GAAE,GAAG;GAAM;GAAiB,CAAC;;CAGpD,QAAQ,UAAkC;EACxC,MAAM,YAAY,IAAI,UAAU;GAC9B,MAAM,KAAK,KAAK,QAAQ,SAAS;GACjC,OAAO,KAAK,OAAO,KAAK,SAAS,KAAK,QAAQ,SAAS,CAAC;GACxD,YAAY,KAAK,WAAW,KACzB,eACC,IAAI,eACF,WAAW,OACX,WAAW,KAAK,SAAS,YACrB,SAAS,UACP,SAAS,QAAQ,WAAW,KAAK,GACjC,WAAW,OACb,WAAW,KAAK,QAAQ,SAAS,CACtC,CACJ;GACD,OAAO,KAAK,OAAO,QAAQ,SAAS;GACpC,SAAS,KAAK,SAAS,KAAK,cAAc,UAAU,QAAQ,SAAS,CAAC;GACtE,UAAU,KAAK;GACf,YAAY,KAAK,YAAY,KAAK,SAAS,KAAK,QAAQ,SAAS,CAAC;GAClE,SAAS,KAAK,SAAS,KAAK,SAAS,KAAK,QAAQ,SAAS,CAAC;GAC5D,QAAQ,KAAK,QAAQ,QAAQ,SAAS;GACtC,OAAO,KAAK;GACZ,QAAQ,KAAK;GACb,iBAAiB,KAAK;GACvB,CAAC;AAEF,SAAO,SAAS,SAAS,SAAS,OAAO,UAAU,GAAG;;CAGxD,AAAS,oBAAiC;EACxC,MAAMA,OAAoB,EAAE;EAC5B,MAAM,YAAY,YAAsC;AACtD,QAAK,KAAK,GAAG,QAAQ;;AAGvB,MAAI,KAAK,KAAK,SAAS,uBACrB,UAAS,KAAK,KAAK,MAAM,mBAAmB,CAAC;AAG/C,OAAK,MAAM,cAAc,KAAK,WAC5B,KAAI,EAAE,WAAW,KAAK,SAAS,WAC7B,UAAS,WAAW,KAAK,mBAAmB,CAAC;AAIjD,MAAI,KAAK,MACP,UAAS,KAAK,MAAM,mBAAmB,CAAC;AAE1C,MAAI,KAAK,OACP,UAAS,KAAK,OAAO,mBAAmB,CAAC;AAE3C,OAAK,MAAM,aAAa,KAAK,WAAW,EAAE,CACxC,UAAS,UAAU,KAAK,mBAAmB,CAAC;AAE9C,OAAK,MAAM,QAAQ,KAAK,cAAc,EAAE,CACtC,UAAS,KAAK,mBAAmB,CAAC;AAEpC,OAAK,MAAM,QAAQ,KAAK,WAAW,EAAE,CACnC,UAAS,KAAK,mBAAmB,CAAC;AAEpC,OAAK,MAAM,QAAQ,KAAK,SAAS,EAAE,EAAE;AACnC,OAAI,KAAK,OAAO,SAAS,uBACvB,UAAS,KAAK,OAAO,MAAM,mBAAmB,CAAC;AAEjD,OAAI,KAAK,GAAG,SAAS,iBACnB,MAAK,KAAK,KAAK,GAAG,MAAM,KAAK,GAAG,MAAM;OAEtC,UAAS,KAAK,GAAG,mBAAmB,CAAC;;AAIzC,SAAO;;CAGT,mBAA+B;EAC7B,MAAMC,OAAmB,EAAE;EAC3B,MAAM,YAAY,WAAoC;AACpD,QAAK,KAAK,GAAG,OAAO;;AAGtB,MAAI,KAAK,KAAK,SAAS,uBACrB,UAAS,KAAK,KAAK,MAAM,kBAAkB,CAAC;AAG9C,OAAK,MAAM,cAAc,KAAK,WAC5B,KAAI,EAAE,WAAW,KAAK,SAAS,WAC7B,UAAS,WAAW,KAAK,kBAAkB,CAAC;AAIhD,MAAI,KAAK,MACP,UAAS,KAAK,MAAM,kBAAkB,CAAC;AAEzC,MAAI,KAAK,OACP,UAAS,KAAK,OAAO,kBAAkB,CAAC;AAE1C,OAAK,MAAM,aAAa,KAAK,WAAW,EAAE,CACxC,UAAS,UAAU,KAAK,kBAAkB,CAAC;AAE7C,OAAK,MAAM,QAAQ,KAAK,cAAc,EAAE,CACtC,UAAS,KAAK,kBAAkB,CAAC;AAEnC,OAAK,MAAM,QAAQ,KAAK,WAAW,EAAE,CACnC,UAAS,KAAK,kBAAkB,CAAC;AAEnC,OAAK,MAAM,QAAQ,KAAK,SAAS,EAAE,EAAE;AACnC,OAAI,KAAK,OAAO,SAAS,uBACvB,UAAS,KAAK,OAAO,MAAM,kBAAkB,CAAC;AAEhD,OAAI,EAAE,KAAK,GAAG,SAAS,kBACrB,UAAS,KAAK,GAAG,kBAAkB,CAAC;;AAIxC,SAAO;;CAGT,AAAS,cAAwB;EAC/B,MAAM,yBAAS,IAAI,KAAa;EAChC,MAAM,0BAAU,IAAI,KAAgD;EAEpE,MAAM,aAAa,WAA0B;AAC3C,iBAAc,OAAO,aAAa,EAAE,QAAQ,QAAQ;;AAGtD,YAAU,KAAK,KAAK;AAEpB,OAAK,MAAM,QAAQ,KAAK,SAAS,EAAE,EAAE;AACnC,aAAU,KAAK,OAAO;AACtB,OAAI,KAAK,GAAG,SAAS,kBAAkB;AACrC,0BAAsB,KAAK,GAAG,MAAM,QAAQ,QAAQ;AACpD,0BAAsB,KAAK,GAAG,OAAO,QAAQ,QAAQ;SAErD,MAAK,MAAM,aAAa,KAAK,GAAG,mBAAmB,CACjD,uBAAsB,WAAW,QAAQ,QAAQ;;AAKvD,OAAK,MAAM,aAAa,KAAK,mBAAmB,CAC9C,uBAAsB,WAAW,QAAQ,QAAQ;AAGnD,SAAO,SAAS,QAAQ,QAAQ;;CAGlC,AAAS,aAA0B;AACjC,SAAO;;;AAIX,IAAe,yBAAf,cAA8C,QAAQ;AAItD,IAAa,0BAAb,cAA6C,uBAAuB;CAClE,AAAS,OAAO;CAEhB,cAAc;AACZ,SAAO;AACP,OAAK,QAAQ;;CAGf,AAAS,2BAAsD;AAC7D,SAAO;;;AAIX,IAAa,4BAAb,cAA+C,uBAAuB;CACpE,AAAS,OAAO;CAChB,AAAS;CAET,YAAY,KAAqD;AAC/D,SAAO;AACP,OAAK,MAAM,iBAAiB,IAAI;AAChC,OAAK,QAAQ;;CAGf,AAAS,2BAAsD;AAC7D,SAAO;;;AAIX,IAAa,mBAAb,MAAa,yBAAyB,QAAQ;CAC5C,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CAET,YAAY,SAAmC,QAAmC;AAChF,SAAO;AACP,OAAK,UAAU,gBAAgB,QAAQ;AACvC,OAAK,SAAS;AACd,OAAK,QAAQ;;CAGf,OAAO,GAAG,SAAqD;AAC7D,SAAO,IAAI,iBAAiB,SAAS,IAAI,yBAAyB,CAAC;;CAGrE,YAA8B;AAC5B,SAAO,IAAI,iBAAiB,KAAK,SAAS,IAAI,yBAAyB,CAAC;;CAG1E,YAAY,KAAuE;AACjF,SAAO,IAAI,iBAAiB,KAAK,SAAS,IAAI,0BAA0B,IAAI,CAAC;;;AAIjF,IAAa,YAAb,MAAa,kBAAkB,SAAS;CACtC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CAET,YACE,OACA,OAAmD,CAAC,EAAE,CAAC,EACvD,YACA,WACA;AACA,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,OAAO,WAAW,KAAK;AAC5B,OAAK,aAAa;AAClB,OAAK,YAAY,aAAa,UAAU,SAAS,IAAI,gBAAgB,UAAU,GAAG;AAClF,OAAK,QAAQ;;CAGf,OAAO,KAAK,OAA+B;AACzC,SAAO,IAAI,UAAU,MAAM;;CAG7B,WAAW,QAAgD;AACzD,SAAO,IAAI,UAAU,KAAK,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,EAAE,KAAK,YAAY,KAAK,UAAU;;CAGpF,SAAS,MAA6D;AACpE,SAAO,IAAI,UACT,KAAK,OACL,KAAK,KAAK,SAAS,EAAE,GAAG,KAAK,EAAE,EAC/B,KAAK,YACL,KAAK,UACN;;CAGH,cAAc,WAA4D;AACxE,SAAO,IAAI,UACT,KAAK,OACL,KAAK,KAAK,KAAK,SAAS,EAAE,GAAG,KAAK,EAAE,EACpC,KAAK,YACL,UACD;;CAGH,eAAe,YAAqD;AAClE,SAAO,IAAI,UACT,KAAK,OACL,KAAK,KAAK,KAAK,SAAS,EAAE,GAAG,KAAK,EAAE,EACpC,YACA,KAAK,UACN;;CAGH,AAAS,mBAA+B;EACtC,MAAMA,OAAmB,EAAE;AAC3B,OAAK,MAAM,OAAO,KAAK,KACrB,MAAK,MAAM,SAAS,OAAO,OAAO,IAAI,CACpC,KAAI,MAAM,SAAS,YACjB,MAAK,KAAK,MAAM;AAItB,MAAI,KAAK,YAAY,OAAO,SAAS,iBACnC;QAAK,MAAM,SAAS,OAAO,OAAO,KAAK,WAAW,OAAO,IAAI,CAC3D,KAAI,MAAM,SAAS,YACjB,MAAK,KAAK,MAAM;;AAItB,SAAO;;CAGT,AAAS,cAAwB;EAC/B,MAAM,SAAS,IAAI,IAAY,CAAC,KAAK,MAAM,KAAK,CAAC;EACjD,MAAM,0BAAU,IAAI,KAAgD;EAEpE,MAAM,aAAa,cAAyB,sBAAsB,WAAW,QAAQ,QAAQ;EAC7F,MAAM,YAAY,UAAuB;AACvC,OAAI,MAAM,SAAS,aACjB,WAAU,MAAM;;AAIpB,OAAK,MAAM,OAAO,KAAK,KACrB,MAAK,MAAM,SAAS,OAAO,OAAO,IAAI,CACpC,UAAS,MAAM;AAInB,OAAK,MAAM,aAAa,KAAK,aAAa,EAAE,CAC1C,WAAU,UAAU;AAGtB,MAAI,KAAK,YAAY;AACnB,QAAK,MAAM,aAAa,KAAK,WAAW,QACtC,WAAU,UAAU;AAEtB,OAAI,KAAK,WAAW,OAAO,SAAS,iBAClC;SAAK,MAAM,SAAS,OAAO,OAAO,KAAK,WAAW,OAAO,IAAI,CAC3D,KAAI,MAAM,SAAS,aACjB,WAAU,MAAM;;;AAMxB,SAAO,SAAS,QAAQ,QAAQ;;CAGlC,AAAS,aAA0B;AACjC,SAAO;;;AAIX,IAAa,YAAb,MAAa,kBAAkB,SAAS;CACtC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CAET,YACE,OACA,MAAsD,EAAE,EACxD,OACA,WACA;AACA,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,MAAM,iBAAiB,IAAI;AAChC,OAAK,QAAQ;AACb,OAAK,YAAY,aAAa,UAAU,SAAS,IAAI,gBAAgB,UAAU,GAAG;AAClF,OAAK,QAAQ;;CAGf,OAAO,MAAM,OAA+B;AAC1C,SAAO,IAAI,UAAU,MAAM;;CAG7B,QAAQ,KAAgE;AACtE,SAAO,IAAI,UAAU,KAAK,OAAO,KAAK,KAAK,OAAO,KAAK,UAAU;;CAGnE,UAAU,OAA6C;AACrD,SAAO,IAAI,UAAU,KAAK,OAAO,KAAK,KAAK,OAAO,KAAK,UAAU;;CAGnE,cAAc,WAA4D;AACxE,SAAO,IAAI,UAAU,KAAK,OAAO,KAAK,KAAK,KAAK,OAAO,UAAU;;CAGnE,AAAS,mBAA+B;EACtC,MAAMA,OAAmB,EAAE;AAC3B,OAAK,MAAM,SAAS,OAAO,OAAO,KAAK,IAAI,CACzC,KAAI,MAAM,SAAS,YACjB,MAAK,KAAK,MAAM;AAGpB,MAAI,KAAK,MACP,MAAK,KAAK,GAAG,KAAK,MAAM,kBAAkB,CAAC;AAE7C,SAAO;;CAGT,AAAS,cAAwB;EAC/B,MAAM,SAAS,IAAI,IAAY,CAAC,KAAK,MAAM,KAAK,CAAC;EACjD,MAAM,0BAAU,IAAI,KAAgD;AAEpE,OAAK,MAAM,SAAS,OAAO,OAAO,KAAK,IAAI,CACzC,KAAI,MAAM,SAAS,aACjB,uBAAsB,OAAO,QAAQ,QAAQ;AAIjD,OAAK,MAAM,aAAa,KAAK,OAAO,mBAAmB,IAAI,EAAE,CAC3D,uBAAsB,WAAW,QAAQ,QAAQ;AAGnD,OAAK,MAAM,aAAa,KAAK,aAAa,EAAE,CAC1C,uBAAsB,WAAW,QAAQ,QAAQ;AAGnD,SAAO,SAAS,QAAQ,QAAQ;;CAGlC,AAAS,aAA0B;AACjC,SAAO;;;AAIX,IAAa,YAAb,MAAa,kBAAkB,SAAS;CACtC,AAAS,OAAO;CAChB,AAAS;CACT,AAAS;CACT,AAAS;CAET,YAAY,OAAoB,OAAuB,WAAsC;AAC3F,SAAO;AACP,OAAK,QAAQ;AACb,OAAK,QAAQ;AACb,OAAK,YAAY,aAAa,UAAU,SAAS,IAAI,gBAAgB,UAAU,GAAG;AAClF,OAAK,QAAQ;;CAGf,OAAO,KAAK,OAA+B;AACzC,SAAO,IAAI,UAAU,MAAM;;CAG7B,UAAU,OAA6C;AACrD,SAAO,IAAI,UAAU,KAAK,OAAO,OAAO,KAAK,UAAU;;CAGzD,cAAc,WAA4D;AACxE,SAAO,IAAI,UAAU,KAAK,OAAO,KAAK,OAAO,UAAU;;CAGzD,AAAS,mBAA+B;AACtC,SAAO,KAAK,OAAO,kBAAkB,IAAI,EAAE;;CAG7C,AAAS,cAAwB;EAC/B,MAAM,SAAS,IAAI,IAAY,CAAC,KAAK,MAAM,KAAK,CAAC;EACjD,MAAM,0BAAU,IAAI,KAAgD;AAEpE,OAAK,MAAM,aAAa,KAAK,OAAO,mBAAmB,IAAI,EAAE,CAC3D,uBAAsB,WAAW,QAAQ,QAAQ;AAGnD,OAAK,MAAM,aAAa,KAAK,aAAa,EAAE,CAC1C,uBAAsB,WAAW,QAAQ,QAAQ;AAGnD,SAAO,SAAS,QAAQ,QAAQ;;CAGlC,AAAS,aAA0B;AACjC,SAAO;;;AA2BX,MAAaC,gBAAqC,IAAI,IAAyB;CAC7E;CACA;CACA;CACA;CACD,CAAC;AACF,MAAaC,iBAAsC,IAAI,IAA2B;CAChF;CACA;CACA;CACA;CACA;CACA;CACD,CAAC;AAEF,SAAgB,WAAW,OAAsC;AAC/D,QACE,OAAO,UAAU,YACjB,UAAU,QACV,UAAU,SACV,cAAc,IAAK,MAA2B,KAAK;;AAIvD,SAAgB,YAAY,OAAwC;AAClE,QACE,OAAO,UAAU,YACjB,UAAU,QACV,UAAU,SACV,eAAe,IAAK,MAA2B,KAAK"}

package/package.json

@@ -1,79 +1,63 @@
 {
   "name": "@prisma-next/sql-relational-core",
-  "version": "0.3.0-dev.12",
+  "version": "0.3.0-dev.123",
   "type": "module",
   "sideEffects": false,
   "description": "Schema and column builders, operation attachment, and AST types for Prisma Next",
   "dependencies": {
+    "arktype": "^2.1.29",
     "ts-toolbelt": "^9.6.0",
-    "@prisma-next/contract": "0.3.0-dev.12",
-    "@prisma-next/operations": "0.3.0-dev.12",
-    "@prisma-next/plan": "0.3.0-dev.12",
-    "@prisma-next/sql-contract": "0.3.0-dev.12",
-    "@prisma-next/sql-operations": "0.3.0-dev.12"
+    "@prisma-next/contract": "0.3.0-dev.123",
+    "@prisma-next/plan": "0.3.0-dev.123",
+    "@prisma-next/operations": "0.3.0-dev.123",
+    "@prisma-next/sql-operations": "0.3.0-dev.123",
+    "@prisma-next/sql-contract": "0.3.0-dev.123",
+    "@prisma-next/utils": "0.3.0-dev.123"
   },
   "devDependencies": {
-    "@vitest/coverage-v8": "4.0.16",
-    "tsup": "8.5.1",
+    "tsdown": "0.18.4",
     "typescript": "5.9.3",
-    "vitest": "4.0.16",
-    "@prisma-next/sql-contract-ts": "0.3.0-dev.12",
-    "@prisma-next/test-utils": "0.0.1"
+    "vitest": "4.0.17",
+    "@prisma-next/sql-contract-ts": "0.3.0-dev.123",
+    "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/tsconfig": "0.0.0",
+    "@prisma-next/tsdown": "0.0.0"
   },
   "files": [
     "dist",
     "src"
   ],
   "exports": {
-    ".": {
-      "types": "./dist/index.d.ts",
-      "import": "./dist/index.js"
-    },
-    "./schema": {
-      "types": "./dist/exports/schema.d.ts",
-      "import": "./dist/exports/schema.js"
-    },
-    "./param": {
-      "types": "./dist/exports/param.d.ts",
-      "import": "./dist/exports/param.js"
-    },
-    "./types": {
-      "types": "./dist/exports/types.d.ts",
-      "import": "./dist/exports/types.js"
-    },
-    "./operations-registry": {
-      "types": "./dist/exports/operations-registry.d.ts",
-      "import": "./dist/exports/operations-registry.js"
-    },
-    "./errors": {
-      "types": "./dist/exports/errors.d.ts",
-      "import": "./dist/exports/errors.js"
-    },
-    "./ast": {
-      "types": "./dist/exports/ast.d.ts",
-      "import": "./dist/exports/ast.js"
-    },
-    "./plan": {
-      "types": "./dist/exports/plan.d.ts",
-      "import": "./dist/exports/plan.js"
-    },
-    "./query-lane-context": {
-      "types": "./dist/exports/query-lane-context.d.ts",
-      "import": "./dist/exports/query-lane-context.js"
-    },
-    "./utils/guards": {
-      "types": "./dist/exports/guards.d.ts",
-      "import": "./dist/exports/guards.js"
-    }
+    ".": "./dist/index.mjs",
+    "./ast": "./dist/exports/ast.mjs",
+    "./errors": "./dist/exports/errors.mjs",
+    "./guards": "./dist/exports/guards.mjs",
+    "./operations-registry": "./dist/exports/operations-registry.mjs",
+    "./param": "./dist/exports/param.mjs",
+    "./plan": "./dist/exports/plan.mjs",
+    "./query-lane-context": "./dist/exports/query-lane-context.mjs",
+    "./query-operations": "./dist/exports/query-operations.mjs",
+    "./schema": "./dist/exports/schema.mjs",
+    "./types": "./dist/exports/types.mjs",
+    "./utils/guards": "./dist/exports/utils/guards.mjs",
+    "./package.json": "./package.json"
+  },
+  "main": "./dist/index.mjs",
+  "module": "./dist/index.mjs",
+  "types": "./dist/index.d.mts",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/prisma/prisma-next.git",
+    "directory": "packages/2-sql/4-lanes/relational-core"
   },
   "scripts": {
-    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
+    "build": "tsdown",
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",
     "lint": "biome check . --error-on-warnings",
     "lint:fix": "biome check --write .",
     "lint:fix:unsafe": "biome check --write --unsafe .",
-    "clean": "node ../../../../scripts/clean.mjs"
+    "clean": "rm -rf dist dist-tsc dist-tsc-prod coverage .tmp-output"
   }
 }

package/src/ast/codec-types.ts

@@ -1,5 +1,38 @@
+import { ifDefined } from '@prisma-next/utils/defined';
+import type { Type } from 'arktype';
 import type { O } from 'ts-toolbelt';
 
+/**
+ * Semantic traits a codec declares.
+ * Used by DSL surfaces to gate which operators and functions are available.
+ */
+export type CodecTrait = 'equality' | 'order' | 'boolean' | 'numeric' | 'textual';
+
+/**
+ * Descriptor for parameterized codecs that require type parameter validation.
+ * Shared between adapter (compile-time) and runtime layers to avoid duplication.
+ *
+ * @template TParams - The shape of the type parameters (e.g., `{ length: number }`)
+ * @template THelper - The type returned by the optional `init` hook
+ */
+export interface CodecParamsDescriptor<TParams = Record<string, unknown>, THelper = unknown> {
+  /** The codec ID this descriptor applies to (e.g., 'pg/vector@1') */
+  readonly codecId: string;
+
+  /**
+   * Arktype schema for validating typeParams.
+   * Used to validate both storage.types entries and inline column typeParams.
+   */
+  readonly paramsSchema: Type<TParams>;
+
+  /**
+   * Optional init hook called during runtime context creation.
+   * Receives validated params and returns a helper object to be stored in context.types.
+   * If not provided, the validated params are stored directly.
+   */
+  readonly init?: (params: TParams) => THelper;
+}
+
 /**
  * Codec metadata for database-specific type information.
  * Used for schema introspection and verification.
@@ -20,7 +53,14 @@ export interface CodecMeta {
  * Codecs are pure, synchronous functions with no side effects or IO.
  * They provide deterministic conversion between database wire types and JS values.
  */
-export interface Codec<Id extends string = string, TWire = unknown, TJs = unknown> {
+export interface Codec<
+  Id extends string = string,
+  TTraits extends readonly CodecTrait[] = readonly CodecTrait[],
+  TWire = unknown,
+  TJs = unknown,
+  TParams = Record<string, unknown>,
+  THelper = unknown,
+> {
   /**
    * Namespaced codec identifier in format 'namespace/name@version'
    * Examples: 'pg/text@1', 'pg/uuid@1', 'pg/timestamptz@1'
@@ -39,6 +79,31 @@ export interface Codec<Id extends string = string, TWire = unknown, TJs = unknow
    */
   readonly meta?: CodecMeta;
 
+  /**
+   * Optional params schema for parameterized codecs.
+   * If provided, typeParams are validated against this schema.
+   */
+  readonly paramsSchema?: Type<TParams>;
+
+  /**
+   * Optional init hook for building runtime helper state from validated params.
+   *
+   * Useful when parameterized types need derived data at runtime, for example:
+   * - normalize typeParams into a stable helper shape consumed by lanes/adapters
+   * - precompute reusable values once during context creation
+   * - avoid repeating typeParams parsing logic during query execution
+   *
+   * Example:
+   *   { length: 255 } -> { kind: 'variable', maxLength: 255 }
+   *
+   * **Convention for JSON/JSONB codecs**: When the helper includes a `validate`
+   * property of type `JsonSchemaValidateFn`, the runtime will use it to enforce
+   * JSON Schema conformance during encoding and decoding. The property is
+   * discovered via duck typing (`helper?.validate`) for flexibility across
+   * different codec types.
+   */
+  readonly init?: (params: TParams) => THelper;
+
   /**
    * Decode a wire value (from database) to JavaScript type.
    * Must be synchronous and pure (no side effects).
@@ -51,6 +116,13 @@ export interface Codec<Id extends string = string, TWire = unknown, TJs = unknow
    * Must be synchronous and pure (no side effects).
    */
   encode?(value: TJs): TWire;
+
+  /**
+   * Semantic traits this codec's type supports.
+   * Used by DSL surfaces to gate which operators and functions are available.
+   * When omitted, the codec is treated as having no traits.
+   */
+  readonly traits?: TTraits;
 }
 
 /**
@@ -67,6 +139,10 @@ export interface CodecRegistry {
   getByScalar(scalar: string): readonly Codec<string>[];
   getDefaultCodec(scalar: string): Codec<string> | undefined;
   register(codec: Codec<string>): void;
+  /** Returns true if the codec with this ID has the given trait. */
+  hasTrait(codecId: string, trait: CodecTrait): boolean;
+  /** Returns all traits for a codec, or an empty array if not found. */
+  traitsOf(codecId: string): readonly CodecTrait[];
   [Symbol.iterator](): Iterator<Codec<string>>;
   values(): IterableIterator<Codec<string>>;
 }
@@ -136,6 +212,15 @@ class CodecRegistryImpl implements CodecRegistry {
     }
   }
 
+  hasTrait(codecId: string, trait: CodecTrait): boolean {
+    const codec = this._byId.get(codecId);
+    return codec?.traits?.includes(trait) ?? false;
+  }
+
+  traitsOf(codecId: string): readonly CodecTrait[] {
+    return this._byId.get(codecId)?.traits ?? [];
+  }
+
   /**
    * Returns an iterator over all registered codecs.
    * Useful for iterating through codecs from another registry.
@@ -157,17 +242,33 @@ class CodecRegistryImpl implements CodecRegistry {
 /**
  * Codec factory - creates a codec with typeId and encode/decode functions.
  */
-export function codec<Id extends string, TWire, TJs>(config: {
+export function codec<
+  Id extends string,
+  const TTraits extends readonly CodecTrait[],
+  TWire,
+  TJs,
+  TParams = Record<string, unknown>,
+  THelper = unknown,
+>(config: {
   typeId: Id;
   targetTypes: readonly string[];
   encode: (value: TJs) => TWire;
   decode: (wire: TWire) => TJs;
   meta?: CodecMeta;
-}): Codec<Id, TWire, TJs> {
+  paramsSchema?: Type<TParams>;
+  init?: (params: TParams) => THelper;
+  traits?: TTraits;
+}): Codec<Id, TTraits, TWire, TJs, TParams, THelper> {
   return {
     id: config.typeId,
     targetTypes: config.targetTypes,
-    ...(config.meta ? { meta: config.meta } : {}),
+    ...ifDefined('meta', config.meta),
+    ...ifDefined('paramsSchema', config.paramsSchema),
+    ...ifDefined('init', config.init),
+    ...ifDefined(
+      'traits',
+      config.traits ? (Object.freeze([...config.traits]) as TTraits) : undefined,
+    ),
     encode: config.encode,
     decode: config.decode,
   };
@@ -176,13 +277,14 @@ export function codec<Id extends string, TWire, TJs>(config: {
 /**
  * Type helpers to extract codec types.
  */
-export type CodecId<T> = T extends Codec<infer Id, unknown, unknown>
-  ? Id
-  : T extends { readonly id: infer Id }
-    ? Id
-    : never;
-export type CodecInput<T> = T extends Codec<string, unknown, infer JsT> ? JsT : never;
-export type CodecOutput<T> = T extends Codec<string, unknown, infer JsT> ? JsT : never;
+export type CodecId<T> =
+  T extends Codec<infer Id> ? Id : T extends { readonly id: infer Id } ? Id : never;
+export type CodecInput<T> =
+  T extends Codec<string, readonly CodecTrait[], unknown, infer JsT> ? JsT : never;
+export type CodecOutput<T> =
+  T extends Codec<string, readonly CodecTrait[], unknown, infer JsT> ? JsT : never;
+export type CodecTraits<T> =
+  T extends Codec<string, infer TTraits> ? TTraits[number] & CodecTrait : never;
 
 /**
  * Type helper to extract codec types from builder instance.
@@ -190,11 +292,10 @@ export type CodecOutput<T> = T extends Codec<string, unknown, infer JsT> ? JsT :
 export type ExtractCodecTypes<
   ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>,
 > = {
-  readonly [K in keyof ScalarNames as ScalarNames[K] extends Codec<infer Id, unknown, unknown>
-    ? Id
-    : never]: {
+  readonly [K in keyof ScalarNames as ScalarNames[K] extends Codec<infer Id> ? Id : never]: {
     readonly input: CodecInput<ScalarNames[K]>;
     readonly output: CodecOutput<ScalarNames[K]>;
+    readonly traits: CodecTraits<ScalarNames[K]>;
   };
 };
 
@@ -230,9 +331,7 @@ export interface CodecDefBuilder<
 
   readonly codecDefinitions: {
     readonly [K in keyof ScalarNames]: {
-      readonly typeId: ScalarNames[K] extends Codec<infer Id extends string, unknown, unknown>
-        ? Id
-        : never;
+      readonly typeId: ScalarNames[K] extends Codec<infer Id extends string> ? Id : never;
       readonly scalar: K;
       readonly codec: ScalarNames[K];
       readonly input: CodecInput<ScalarNames[K]>;
@@ -268,12 +367,16 @@ class CodecDefBuilderImpl<
     this._codecs = codecs;
 
     // Populate CodecTypes from codecs
-    const codecTypes: Record<string, { readonly input: unknown; readonly output: unknown }> = {};
+    const codecTypes: Record<
+      string,
+      { readonly input: unknown; readonly output: unknown; readonly traits: unknown }
+    > = {};
     for (const [, codecImpl] of Object.entries(this._codecs)) {
       const codecImplTyped = codecImpl as Codec<string>;
       codecTypes[codecImplTyped.id] = {
         input: undefined as unknown as CodecInput<typeof codecImplTyped>,
         output: undefined as unknown as CodecOutput<typeof codecImplTyped>,
+        traits: undefined as unknown as CodecTraits<typeof codecImplTyped>,
       };
     }
     this.CodecTypes = codecTypes as ExtractCodecTypes<ScalarNames>;
@@ -313,7 +416,7 @@ class CodecDefBuilderImpl<
    */
   get codecDefinitions(): {
     readonly [K in keyof ScalarNames]: {
-      readonly typeId: ScalarNames[K] extends Codec<infer Id, unknown, unknown> ? Id : never;
+      readonly typeId: ScalarNames[K] extends Codec<infer Id> ? Id : never;
       readonly scalar: K;
       readonly codec: ScalarNames[K];
       readonly input: CodecInput<ScalarNames[K]>;
@@ -347,9 +450,7 @@ class CodecDefBuilderImpl<
 
     return result as {
       readonly [K in keyof ScalarNames]: {
-        readonly typeId: ScalarNames[K] extends Codec<infer Id extends string, unknown, unknown>
-          ? Id
-          : never;
+        readonly typeId: ScalarNames[K] extends Codec<infer Id extends string> ? Id : never;
         readonly scalar: K;
         readonly codec: ScalarNames[K];
         readonly input: CodecInput<ScalarNames[K]>;

package/src/ast/driver-types.ts

@@ -13,13 +13,30 @@ export interface SqlExplainResult<Row = Record<string, unknown>> {
   readonly rows: ReadonlyArray<Row>;
 }
 
-export interface SqlDriver {
-  connect(): Promise<void>;
+export type SqlDriverState = 'unbound' | 'connected' | 'closed';
+
+export interface SqlDriver<TBinding = void> extends SqlQueryable {
+  readonly state?: SqlDriverState;
+  connect(binding: TBinding): Promise<void>;
+  acquireConnection(): Promise<SqlConnection>;
+  close(): Promise<void>;
+}
+
+export interface SqlConnection extends SqlQueryable {
+  beginTransaction(): Promise<SqlTransaction>;
+  release(): Promise<void>;
+}
+
+export interface SqlTransaction extends SqlQueryable {
+  commit(): Promise<void>;
+  rollback(): Promise<void>;
+}
+
+export interface SqlQueryable {
   execute<Row = Record<string, unknown>>(request: SqlExecuteRequest): AsyncIterable<Row>;
   explain?(request: SqlExecuteRequest): Promise<SqlExplainResult>;
   query<Row = Record<string, unknown>>(
     sql: string,
     params?: readonly unknown[],
   ): Promise<SqlQueryResult<Row>>;
-  close(): Promise<void>;
 }

package/src/ast/join.ts

@@ -1,28 +1,7 @@
 import { planInvalid } from '@prisma-next/plan';
 import type { AnyColumnBuilder, JoinOnBuilder, JoinOnPredicate } from '../types';
 import { isColumnBuilder } from '../types';
-import type { ColumnRef, JoinAst, JoinOnExpr, TableRef } from './types';
-
-export function createJoin(
-  joinType: 'inner' | 'left' | 'right' | 'full',
-  table: TableRef,
-  on: JoinOnExpr,
-): JoinAst {
-  return {
-    kind: 'join',
-    joinType,
-    table,
-    on,
-  };
-}
-
-export function createJoinOnExpr(left: ColumnRef, right: ColumnRef): JoinOnExpr {
-  return {
-    kind: 'eqCol',
-    left,
-    right,
-  };
-}
+import { EqColJoinOn, JoinAst } from './types';
 
 class JoinOnBuilderImpl implements JoinOnBuilder {
   eqCol(left: AnyColumnBuilder, right: AnyColumnBuilder): JoinOnPredicate {
@@ -34,7 +13,6 @@ class JoinOnBuilderImpl implements JoinOnBuilder {
       throw planInvalid('Join ON right operand must be a column');
     }
 
-    // TypeScript can't narrow ColumnBuilder properly, so we assert
     const leftCol = left as unknown as { table: string; column: string };
     const rightCol = right as unknown as { table: string; column: string };
     if (leftCol.table === rightCol.table) {
@@ -49,6 +27,8 @@ class JoinOnBuilderImpl implements JoinOnBuilder {
   }
 }
 
+export { EqColJoinOn, JoinAst };
+
 export function createJoinOnBuilder(): JoinOnBuilder {
   return new JoinOnBuilderImpl();
 }