@prisma-next/sql-relational-core 0.3.0-pr.93.5 → 0.3.0-pr.94.2

package/dist/types-Bg2kUmUA.d.mts

@@ -0,0 +1,359 @@
+import { t as QueryLaneContext } from "./query-lane-context-wr_XXnB5.mjs";
+import { a as ColumnRef, b as QueryAst, i as BinaryOp, l as Expression, s as Direction, t as SqlQueryPlan, u as ExpressionSource, v as OperationExpr, y as ParamRef } from "./plan-9PvH-Tu3.mjs";
+import { RuntimeError } from "@prisma-next/plan";
+import { ArgSpec, ReturnSpec } from "@prisma-next/operations";
+import { SqlLoweringSpec } from "@prisma-next/sql-operations";
+import { ExecutionPlan, PlanRefs, ResultType } from "@prisma-next/contract/types";
+import { SqlContract, SqlStorage, StorageColumn } from "@prisma-next/sql-contract/types";
+
+//#region src/types.d.ts
+interface ParamPlaceholder {
+  readonly kind: 'param-placeholder';
+  readonly name: string;
+}
+/**
+ * ValueSource represents any value that can appear in a comparison or as an argument.
+ * This includes:
+ * - ParamPlaceholder: A parameter placeholder (e.g., `param('userId')`)
+ * - ExpressionSource: Something that can be converted to an Expression (ColumnBuilder, ExpressionBuilder)
+ */
+type ValueSource = ParamPlaceholder | ExpressionSource;
+interface OrderBuilder<_ColumnName extends string = string, _ColumnMeta extends StorageColumn = StorageColumn, _JsType = unknown> {
+  readonly kind: 'order';
+  readonly expr: Expression;
+  readonly dir: Direction;
+}
+/**
+ * Creates an OrderBuilder for use in orderBy clauses.
+ */
+declare function createOrderBuilder(expr: AnyColumnBuilder | OperationExpr, dir: Direction): AnyOrderBuilder;
+/**
+ * ColumnBuilder with optional operation methods based on the column's typeId.
+ * When Operations is provided and the column's typeId matches, operation methods are included.
+ * Implements ExpressionSource to provide type-safe conversion to ColumnRef.
+ */
+type ColumnBuilder<ColumnName extends string = string, ColumnMeta extends StorageColumn = StorageColumn, JsType$1 = unknown, Operations extends OperationTypes = Record<string, never>> = {
+  readonly kind: 'column';
+  readonly table: string;
+  readonly column: ColumnName;
+  readonly columnMeta: ColumnMeta;
+  eq(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType$1>;
+  neq(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType$1>;
+  gt(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType$1>;
+  lt(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType$1>;
+  gte(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType$1>;
+  lte(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType$1>;
+  asc(): OrderBuilder<ColumnName, ColumnMeta, JsType$1>;
+  desc(): OrderBuilder<ColumnName, ColumnMeta, JsType$1>;
+  /** Converts this column builder to a ColumnRef expression */
+  toExpr(): ColumnRef;
+  readonly __jsType: JsType$1;
+} & (ColumnMeta['codecId'] extends string ? ColumnMeta['codecId'] extends keyof Operations ? OperationMethods<OperationsForTypeId<ColumnMeta['codecId'] & string, Operations>, ColumnName, StorageColumn, JsType$1> : Record<string, never> : Record<string, never>);
+interface BinaryBuilder<_ColumnName extends string = string, _ColumnMeta extends StorageColumn = StorageColumn, _JsType = unknown> {
+  readonly kind: 'binary';
+  readonly op: BinaryOp;
+  readonly left: Expression;
+  readonly right: ValueSource;
+}
+type AnyBinaryBuilder = BinaryBuilder;
+type AnyOrderBuilder = OrderBuilder;
+/**
+ * ExpressionBuilder represents the result of an operation (e.g., col.distance(...)).
+ * Unlike ColumnBuilder (which represents a column), ExpressionBuilder represents
+ * an operation expression and provides the same DSL methods for chaining.
+ *
+ * Implements ExpressionSource to provide type-safe conversion to OperationExpr.
+ */
+interface ExpressionBuilder<JsType$1 = unknown> extends ExpressionSource {
+  readonly kind: 'expression';
+  readonly expr: OperationExpr;
+  readonly columnMeta: StorageColumn;
+  eq(value: ValueSource): AnyBinaryBuilder;
+  neq(value: ValueSource): AnyBinaryBuilder;
+  gt(value: ValueSource): AnyBinaryBuilder;
+  lt(value: ValueSource): AnyBinaryBuilder;
+  gte(value: ValueSource): AnyBinaryBuilder;
+  lte(value: ValueSource): AnyBinaryBuilder;
+  asc(): AnyOrderBuilder;
+  desc(): AnyOrderBuilder;
+  /** Converts this expression builder to the underlying OperationExpr */
+  toExpr(): OperationExpr;
+  readonly __jsType: JsType$1;
+}
+type AnyColumnBuilderBase = {
+  readonly kind: 'column';
+  readonly table: string;
+  readonly column: string;
+  readonly columnMeta: StorageColumn;
+  eq(value: ValueSource): AnyBinaryBuilder;
+  neq(value: ValueSource): AnyBinaryBuilder;
+  gt(value: ValueSource): AnyBinaryBuilder;
+  lt(value: ValueSource): AnyBinaryBuilder;
+  gte(value: ValueSource): AnyBinaryBuilder;
+  lte(value: ValueSource): AnyBinaryBuilder;
+  asc(): AnyOrderBuilder;
+  desc(): AnyOrderBuilder;
+  toExpr(): ColumnRef;
+  readonly __jsType: unknown;
+  readonly [key: string]: unknown;
+};
+type AnyColumnBuilder = ColumnBuilder<string, StorageColumn, unknown, any> | AnyColumnBuilderBase;
+/**
+ * Union type for any builder that can produce an Expression.
+ * Used in DSL method signatures where either a column or operation result can be passed.
+ */
+type AnyExpressionSource = AnyColumnBuilder | ExpressionBuilder;
+declare function isColumnBuilder(value: unknown): value is AnyColumnBuilder;
+interface JoinOnBuilder {
+  eqCol(left: AnyColumnBuilder, right: AnyColumnBuilder): JoinOnPredicate;
+}
+interface JoinOnPredicate {
+  readonly kind: 'join-on';
+  readonly left: AnyColumnBuilder;
+  readonly right: AnyColumnBuilder;
+}
+type Expr = ColumnRef | ParamRef;
+/**
+ * Helper type to extract codec output type from CodecTypes.
+ * Returns never if the codecId is not found in CodecTypes.
+ */
+type ExtractCodecOutputType<CodecId extends string, CodecTypes$1 extends Record<string, {
+  readonly output: unknown;
+}>> = CodecId extends keyof CodecTypes$1 ? CodecTypes$1[CodecId] extends {
+  readonly output: infer Output;
+} ? Output : never : never;
+/**
+ * Type-level operation signature.
+ * Represents an operation at the type level, similar to OperationSignature at runtime.
+ */
+type OperationTypeSignature = {
+  readonly args: ReadonlyArray<ArgSpec>;
+  readonly returns: ReturnSpec;
+  readonly lowering: SqlLoweringSpec;
+  readonly capabilities?: ReadonlyArray<string>;
+};
+/**
+ * Type-level operation registry.
+ * Maps typeId → operations, where operations is a record of method name → operation signature.
+ *
+ * Example:
+ * ```typescript
+ * type MyOperations: OperationTypes = {
+ *   'pg/vector@1': {
+ *     cosineDistance: {
+ *       args: [{ kind: 'typeId'; type: 'pg/vector@1' }];
+ *       returns: { kind: 'builtin'; type: 'number' };
+ *       lowering: { targetFamily: 'sql'; strategy: 'function'; template: '...' };
+ *     };
+ *   };
+ * };
+ * ```
+ */
+type OperationTypes = Record<string, Record<string, OperationTypeSignature>>;
+/**
+ * CodecTypes represents a map of typeId to codec definitions.
+ * Each codec definition must have an `output` property indicating the JavaScript type.
+ *
+ * Example:
+ * ```typescript
+ * type MyCodecTypes: CodecTypes = {
+ *   'pg/int4@1': { output: number };
+ *   'pg/text@1': { output: string };
+ * };
+ * ```
+ */
+type CodecTypes = Record<string, {
+  readonly output: unknown;
+}>;
+/**
+ * Extracts operations for a given typeId from the operation registry.
+ * Returns an empty record if the typeId is not found.
+ *
+ * @example
+ * ```typescript
+ * type Ops = OperationsForTypeId<'pg/vector@1', MyOperations>;
+ * // Ops = { cosineDistance: { ... }, l2Distance: { ... } }
+ * ```
+ */
+type OperationsForTypeId<TypeId$1 extends string, Operations extends OperationTypes> = Operations extends Record<string, never> ? Record<string, never> : TypeId$1 extends keyof Operations ? Operations[TypeId$1] : Record<string, never>;
+/**
+ * Maps operation signatures to method signatures on ColumnBuilder.
+ * Each operation becomes a method that returns a ColumnBuilder or BinaryBuilder
+ * based on the return type.
+ */
+type OperationMethods<Ops extends Record<string, OperationTypeSignature>, ColumnName extends string, ColumnMeta extends StorageColumn, JsType$1> = { [K in keyof Ops]: Ops[K] extends OperationTypeSignature ? (...args: OperationArgs<Ops[K]['args']>) => OperationReturn<Ops[K]['returns'], ColumnName, ColumnMeta, JsType$1> : never };
+/**
+ * Maps operation argument specs to TypeScript argument types.
+ * - typeId args: ColumnBuilder (accepts base columns or operation results)
+ * - param args: ParamPlaceholder
+ * - literal args: unknown (could be more specific in future)
+ */
+type OperationArgs<Args extends ReadonlyArray<ArgSpec>> = Args extends readonly [infer First, ...infer Rest] ? First extends ArgSpec ? [ArgToType<First>, ...(Rest extends ReadonlyArray<ArgSpec> ? OperationArgs<Rest> : [])] : [] : [];
+type ArgToType<Arg extends ArgSpec> = Arg extends {
+  kind: 'typeId';
+} ? AnyExpressionSource : Arg extends {
+  kind: 'param';
+} ? ParamPlaceholder : Arg extends {
+  kind: 'literal';
+} ? unknown : never;
+/**
+ * Maps operation return spec to return type.
+ * Operations return ExpressionBuilder, not ColumnBuilder, because the result
+ * represents an expression (OperationExpr) rather than a column reference.
+ */
+type OperationReturn<Returns extends ReturnSpec, _ColumnName extends string, _ColumnMeta extends StorageColumn, _JsType> = Returns extends {
+  kind: 'builtin';
+  type: infer T;
+} ? T extends 'number' ? ExpressionBuilder<number> : T extends 'boolean' ? ExpressionBuilder<boolean> : T extends 'string' ? ExpressionBuilder<string> : ExpressionBuilder<unknown> : Returns extends {
+  kind: 'typeId';
+} ? ExpressionBuilder<unknown> : ExpressionBuilder<unknown>;
+/**
+ * Computes JavaScript type for a column at column creation time.
+ *
+ * Type inference:
+ * - Read columnMeta.codecId as typeId string literal
+ * - Look up CodecTypes[typeId].output
+ * - Apply nullability: nullable ? Output | null : Output
+ */
+type ColumnMetaTypeId<ColumnMeta> = ColumnMeta extends {
+  codecId: infer CodecId extends string;
+} ? CodecId : ColumnMeta extends {
+  type: infer TypeId extends string;
+} ? TypeId : never;
+type ComputeColumnJsType<_Contract extends SqlContract<SqlStorage>, _TableName extends string, _ColumnName extends string, ColumnMeta extends StorageColumn, CodecTypes$1 extends Record<string, {
+  readonly output: unknown;
+}>> = ColumnMeta extends {
+  nullable: infer Nullable;
+} ? ColumnMetaTypeId<ColumnMeta> extends infer TypeId ? TypeId extends string ? ExtractCodecOutputType<TypeId, CodecTypes$1> extends infer CodecOutput ? [CodecOutput] extends [never] ? unknown : Nullable extends true ? CodecOutput | null : CodecOutput : unknown : unknown : unknown : unknown;
+/**
+ * Infers Row type from a projection object.
+ * Maps Record<string, ColumnBuilder> to Record<string, JSType>
+ *
+ * Extracts the pre-computed JsType from each ColumnBuilder in the projection.
+ */
+/**
+ * Extracts the inferred JsType carried by a ColumnBuilder.
+ */
+type ExtractJsTypeFromColumnBuilder<CB extends AnyColumnBuilder> = CB extends ColumnBuilder<infer _ColumnName extends string, infer _ColumnMeta extends StorageColumn, infer JsType, infer _Ops> ? JsType : never;
+type InferProjectionRow<P extends Record<string, AnyColumnBuilder>> = { [K in keyof P]: ExtractJsTypeFromColumnBuilder<P[K]> };
+/**
+ * Nested projection type - allows recursive nesting of ColumnBuilder, ExpressionBuilder, or nested objects.
+ */
+type NestedProjection = Record<string, AnyExpressionSource | Record<string, AnyExpressionSource | Record<string, AnyExpressionSource | Record<string, AnyExpressionSource | Record<string, AnyExpressionSource>>>>>;
+/**
+ * Helper type to extract include type from Includes map.
+ * Returns the value type if K is a key of Includes, otherwise returns unknown.
+ */
+type ExtractIncludeType<K$1 extends string, Includes extends Record<string, unknown>> = K$1 extends keyof Includes ? Includes[K$1] : unknown;
+/**
+ * Infers Row type from a nested projection object.
+ * Recursively maps Record<string, ColumnBuilder | boolean | NestedProjection> to nested object types.
+ *
+ * Extracts the pre-computed JsType from each ColumnBuilder at leaves.
+ * When a value is `true`, it represents an include reference and infers `Array<ChildShape>`
+ * by looking up the include alias in the Includes type map.
+ */
+type InferNestedProjectionRow<P extends Record<string, AnyExpressionSource | boolean | NestedProjection>, CodecTypes$1 extends Record<string, {
+  readonly output: unknown;
+}> = Record<string, never>, Includes extends Record<string, unknown> = Record<string, never>> = { [K in keyof P]: P[K] extends ExpressionBuilder<infer JsType> ? JsType : P[K] extends AnyColumnBuilder ? ExtractJsTypeFromColumnBuilder<P[K]> : P[K] extends true ? Array<ExtractIncludeType<K & string, Includes>> : P[K] extends NestedProjection ? InferNestedProjectionRow<P[K], CodecTypes$1, Includes> : never };
+/**
+ * Infers Row type from a tuple of ColumnBuilders used in returning() clause.
+ * Extracts column name and JsType from each ColumnBuilder and creates a Record.
+ */
+type InferReturningRow<Columns extends readonly AnyColumnBuilder[]> = Columns extends readonly [infer First, ...infer Rest] ? First extends ColumnBuilder<infer Name, infer _Meta, infer JsType, infer _Ops extends OperationTypes> ? Name extends string ? Rest extends readonly AnyColumnBuilder[] ? { [K in Name]: JsType } & InferReturningRow<Rest> : { [K in Name]: JsType } : never : never : Record<string, never>;
+/**
+ * Utility type to check if a contract has the required capabilities for includeMany.
+ * Requires both `lateral` and `jsonAgg` to be `true` in the contract's capabilities for the target.
+ * Capabilities are nested by target: `{ [target]: { lateral: true, jsonAgg: true } }`
+ */
+type HasIncludeManyCapabilities<TContract extends SqlContract<SqlStorage>> = TContract extends {
+  capabilities: infer C;
+  target: infer T;
+} ? T extends string ? C extends Record<string, Record<string, boolean>> ? C extends { [K in T]: infer TargetCaps } ? TargetCaps extends {
+  lateral: true;
+  jsonAgg: true;
+} ? true : false : false : false : false : false;
+/**
+ * SQL-specific Plan type that refines the ast field to use QueryAst.
+ * This is the type used by SQL query builders.
+ */
+type SqlPlan<Row = unknown> = ExecutionPlan<Row, QueryAst>;
+/**
+ * Helper types for extracting contract structure.
+ */
+type TablesOf<TContract> = TContract extends {
+  storage: {
+    tables: infer U;
+  };
+} ? U : never;
+type TableKey<TContract> = Extract<keyof TablesOf<TContract>, string>;
+/**
+ * Unique symbol for metadata property to avoid collisions with user-defined properties
+ */
+declare const META: unique symbol;
+/**
+ * Extracts metadata from a type that has a META property
+ */
+type Meta<T$1 extends {
+  [META]: unknown;
+}> = T$1[typeof META];
+/**
+ * Metadata interface for table definitions
+ */
+interface TableMetadata<Name$1 extends string> {
+  name: Name$1;
+}
+/**
+ * Metadata interface for model definitions
+ */
+interface ModelMetadata<Name$1 extends string> {
+  name: Name$1;
+}
+/**
+ * Base interface for table definitions with metadata
+ * Used in contract.d.ts to define storage-level table types
+ */
+interface TableDef<Name$1 extends string> {
+  readonly [META]: TableMetadata<Name$1>;
+}
+/**
+ * Base interface for model definitions with metadata
+ * Used in contract.d.ts to define application-level model types
+ */
+interface ModelDef<Name$1 extends string> {
+  readonly [META]: ModelMetadata<Name$1>;
+}
+type ColumnsOf<TContract, K$1 extends TableKey<TContract>> = K$1 extends keyof TablesOf<TContract> ? TablesOf<TContract>[K$1] extends {
+  columns: infer C;
+} ? C : never : never;
+interface RawTemplateOptions {
+  readonly refs?: PlanRefs;
+  readonly annotations?: Record<string, unknown>;
+  readonly projection?: ReadonlyArray<string>;
+}
+interface RawFunctionOptions extends RawTemplateOptions {
+  readonly params: ReadonlyArray<unknown>;
+}
+type RawTemplateFactory = (strings: TemplateStringsArray, ...values: readonly unknown[]) => ExecutionPlan;
+interface RawFactory extends RawTemplateFactory {
+  (text: string, options: RawFunctionOptions): ExecutionPlan;
+  with(options: RawTemplateOptions): RawTemplateFactory;
+}
+interface BuildParamsMap {
+  readonly [name: string]: unknown;
+}
+interface BuildOptions {
+  readonly params?: BuildParamsMap;
+}
+interface SqlBuilderOptions<TContract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>> {
+  readonly context: QueryLaneContext<TContract>;
+}
+/**
+ * SQL-specific ResultType that works with both Plan and SqlQueryPlan.
+ * This extends the core ResultType to also handle SqlQueryPlan.
+ * Example: `type Row = ResultType<typeof plan>`
+ */
+type ResultType$1<P> = P extends SqlQueryPlan<infer R> ? R : ResultType<P>;
+//#endregion
+export { ParamPlaceholder as A, TableKey as B, ModelDef as C, OperationTypes as D, OperationTypeSignature as E, ResultType$1 as F, isColumnBuilder as G, TablesOf as H, RuntimeError as I, SqlBuilderOptions as L, RawFunctionOptions as M, RawTemplateFactory as N, OperationsForTypeId as O, RawTemplateOptions as P, SqlPlan as R, Meta as S, NestedProjection as T, ValueSource as U, TableMetadata as V, createOrderBuilder as W, InferProjectionRow as _, AnyOrderBuilder as a, JoinOnPredicate as b, BuildParamsMap as c, ColumnsOf as d, ComputeColumnJsType as f, InferNestedProjectionRow as g, HasIncludeManyCapabilities as h, AnyExpressionSource as i, RawFactory as j, OrderBuilder as k, CodecTypes as l, ExpressionBuilder as m, AnyColumnBuilder as n, BinaryBuilder as o, Expr as p, AnyColumnBuilderBase as r, BuildOptions as s, AnyBinaryBuilder as t, ColumnBuilder as u, InferReturningRow as v, ModelMetadata as w, META as x, JoinOnBuilder as y, TableDef as z };
+//# sourceMappingURL=types-Bg2kUmUA.d.mts.map

package/dist/types-Bg2kUmUA.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-Bg2kUmUA.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;;;;;UAqBiB,gBAAA;;EAAA,SAAA,IAAA,EAAA,MAAgB;AAWjC;AAEA;;;;;;AAagB,KAfJ,WAAA,GAAc,gBAeQ,GAfW,gBAeX;AAC1B,UAdS,YAcT,CAAA,oBAAA,MAAA,GAAA,MAAA,EAAA,oBAZc,aAYd,GAZ8B,aAY9B,EAAA,UAAA,OAAA,CAAA,CAAA;EAAmB,SAAA,IAAA,EAAA,OAAA;EACpB,SAAA,IAAA,EATU,UASV;EACJ,SAAA,GAAA,EATa,SASb;;AASH;;;AAIqB,iBAhBL,kBAAA,CAgBK,IAAA,EAfb,gBAea,GAfM,aAeN,EAAA,GAAA,EAdd,SAcc,CAAA,EAblB,eAakB;;;;;;AAO+B,KAXxC,aAWwC,CAAA,mBAAA,MAAA,GAAA,MAAA,EAAA,mBAT/B,aAS+B,GATf,aASe,EAAA,WAAA,OAAA,EAAA,mBAP/B,cAO+B,GAPd,MAOc,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,GAAA;EAAY,SAAA,IAAA,EAAA,QAAA;EAAtC,SAAA,KAAA,EAAA,MAAA;EACb,SAAA,MAAA,EAJM,UAIN;EAA4B,SAAA,UAAA,EAHlB,UAGkB;EAAY,EAAA,CAAA,KAAA,EADzC,WACyC,CAAA,EAD3B,aAC2B,CADb,UACa,EADD,UACC,EADW,QACX,CAAA;EAAY,GAAA,CAAA,KAAA,EAApD,WAAoD,CAAA,EAAtC,aAAsC,CAAxB,UAAwB,EAAZ,UAAY,EAAA,QAAA,CAAA;EAAtC,EAAA,CAAA,KAAA,EACf,WADe,CAAA,EACD,aADC,CACa,UADb,EACyB,UADzB,EACqC,QADrC,CAAA;EACf,EAAA,CAAA,KAAA,EACA,WADA,CAAA,EACc,aADd,CAC4B,UAD5B,EACwC,UADxC,EACoD,QADpD,CAAA;EAA4B,GAAA,CAAA,KAAA,EAE3B,WAF2B,CAAA,EAEb,aAFa,CAEC,UAFD,EAEa,UAFb,EAEyB,QAFzB,CAAA;EAAY,GAAA,CAAA,KAAA,EAGvC,WAHuC,CAAA,EAGzB,aAHyB,CAGX,UAHW,EAGC,UAHD,EAGa,QAHb,CAAA;EAAY,GAAA,EAAA,EAIvD,YAJuD,CAI1C,UAJ0C,EAI9B,UAJ8B,EAIlB,QAJkB,CAAA;EAAtC,IAAA,EAAA,EAKhB,YALgB,CAKH,UALG,EAKS,UALT,EAKqB,QALrB,CAAA;EACd;EAA4B,MAAA,EAAA,EAM5B,SAN4B;EAAY,SAAA,QAAA,EAQ/B,QAR+B;CAAY,GAAA,CAS3D,UAT2D,CAAA,SAAA,CAAA,SAAA,MAAA,GAU5D,UAV4D,CAAA,SAAA,CAAA,SAAA,MAUxB,UAVwB,GAW1D,gBAX0D,CAYxD,mBAZwD,CAYpC,UAZoC,CAAA,SAAA,CAAA,GAAA,MAAA,EAYJ,UAZI,CAAA,EAaxD,UAbwD,EAcxD,aAdwD,EAexD,QAfwD,CAAA,GAiB1D,MAjB0D,CAAA,MAAA,EAAA,KAAA,CAAA,GAkB5D,MAlB4D,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA;AAAtC,UAoBT,aApBS,CAAA,oBAAA,MAAA,GAAA,MAAA,EAAA,oBAsBJ,aAtBI,GAsBY,aAtBZ,EAAA,UAAA,OAAA,CAAA,CAAA;EACb,SAAA,IAAA,EAAA,QAAA;EAA4B,SAAA,EAAA,EAyB1B,QAzB0B;EAAY,SAAA,IAAA,EA0BpC,UA1BoC;EAAY,SAAA,KAAA,EA2B/C,WA3B+C;;AACpD,KA8BD,gBAAA,GAAmB,aA9BlB;AAA4B,KA+B7B,eAAA,GAAkB,YA/BW;;;;;;;;AAElB,UAsCN,iBAtCM,CAAA,WAAA,OAAA,CAAA,SAsCsC,gBAtCtC,CAAA;EAAY,SAAA,IAAA,EAAA,YAAA;EAAY,SAAA,IAAA,EAwC9B,aAxC8B;EAArC,SAAA,UAAA,EAyCa,aAzCb;EAEE,EAAA,CAAA,KAAA,EA0CA,WA1CA,CAAA,EA0Cc,gBA1Cd;EAES,GAAA,CAAA,KAAA,EAyCR,WAzCQ,CAAA,EAyCM,gBAzCN;EAChB,EAAA,CAAA,KAAA,EAyCO,WAzCP,CAAA,EAyCqB,gBAzCrB;EACD,EAAA,CAAA,KAAA,EAyCQ,WAzCR,CAAA,EAyCsB,gBAzCtB;EAAoC,GAAA,CAAA,KAAA,EA0C3B,WA1C2B,CAAA,EA0Cb,gBA1Ca;EAEZ,GAAA,CAAA,KAAA,EAyCf,WAzCe,CAAA,EAyCD,gBAzCC;EAAgC,GAAA,EAAA,EA0CnD,eA1CmD;EAApD,IAAA,EAAA,EA2CE,eA3CF;EACA;EACA,MAAA,EAAA,EA4CI,aA5CJ;EACA,SAAA,QAAA,EA8Ca,QA9Cb;;AAEF,KAwDM,oBAAA,GAxDN;EACF,SAAA,IAAA,EAAA,QAAA;EAAM,SAAA,KAAA,EAAA,MAAA;EAEO,SAAA,MAAA,EAAa,MAAA;EAER,SAAA,UAAA,EAuDC,aAvDD;EAAgB,EAAA,CAAA,KAAA,EAyD1B,WAzD0B,CAAA,EAyDZ,gBAzDY;EAIvB,GAAA,CAAA,KAAA,EAsDF,WAtDE,CAAA,EAsDY,gBAtDZ;EACE,EAAA,CAAA,KAAA,EAsDL,WAtDK,CAAA,EAsDS,gBAtDT;EACC,EAAA,CAAA,KAAA,EAsDN,WAtDM,CAAA,EAsDQ,gBAtDR;EAAW,GAAA,CAAA,KAAA,EAuDhB,WAvDgB,CAAA,EAuDF,gBAvDE;EAIjB,GAAA,CAAA,KAAA,EAoDC,WApDe,CAAA,EAoDD,gBApDI;EACnB,GAAA,EAAA,EAoDH,eApDkB;EASV,IAAA,EAAA,EA4CP,eA5CwB;EAEjB,MAAA,EAAA,EA2CL,SA3CK;EACM,SAAA,QAAA,EAAA,OAAA;EAGX,UAAA,GAAA,EAAA,MAAA,CAAA,EAAA,OAAA;CAAc;AACb,KA4CD,gBAAA,GACR,aA7CS,CAAA,MAAA,EA+CP,aA/CO,EAAA,OAAA,EAAA,GAAA,CAAA,GAoDT,oBApDS;;;;;AAEa,KAwDd,mBAAA,GAAsB,gBAxDR,GAwD2B,iBAxD3B;AACb,iBAyDG,eAAA,CAzDH,KAAA,EAAA,OAAA,CAAA,EAAA,KAAA,IAyD6C,gBAzD7C;AAAc,UAkEV,aAAA,CAlEU;EACd,KAAA,CAAA,IAAA,EAkEC,gBAlED,EAAA,KAAA,EAkE0B,gBAlE1B,CAAA,EAkE6C,eAlE7C;;AACJ,UAoEQ,eAAA,CApER;EACC,SAAA,IAAA,EAAA,SAAA;EAGE,SAAA,IAAA,EAkEK,gBAlEL;EAGS,SAAA,KAAA,EAgEH,gBAhEG;;AAnBwD,KAsFjE,IAAA,GAAO,SAtF0D,GAsF9C,QAtF8C;AA+B7E;;;;KA6DK,sBAtDQ,CAAA,gBAAA,MAAA,EAAA,qBAwDQ,MAxDR,CAAA,MAAA,EAAA;EAAc,SAAA,MAAA,EAAA,OAAA;CACf,CAAA,CAAA,GAwDR,OAxDQ,SAAA,MAwDc,YAxDd,GAyDR,YAzDQ,CAyDG,OAzDH,CAAA,SAAA;EAAc,SAAA,MAAA,EAAA,KAAA,OAAA;CACd,GAAA,MAAA,GAAA,KAAA,GAAA,KAAA;;;;;AAEe,KA+Df,sBAAA,GA/De;EAClB,SAAA,IAAA,EA+DQ,aA/DR,CA+DsB,OA/DtB,CAAA;EACC,SAAA,OAAA,EA+DU,UA/DV;EACE,SAAA,QAAA,EA+DS,eA/DT;EAAS,SAAA,YAAA,CAAA,EAgEK,aAhEL,CAAA,MAAA,CAAA;AAMrB,CAAA;;;;;AAcA;AAEA;AASA;;;;;AAIA;AAMA;AAAwC;;;;AAUpC,KAiCQ,cAAA,GAAiB,MAjCzB,CAAA,MAAA,EAiCwC,MAjCxC,CAAA,MAAA,EAiCuD,sBAjCvD,CAAA,CAAA;;;AASJ;;;;;;;AAwBA;;;AAA6B,KAcjB,UAAA,GAAa,MAdI,CAAA,MAAA,EAAA;EAAM,SAAA,MAAA,EAAA,OAAA;AAcnC,CAAA,CAAA;AAYA;;;;;;;;;;AAOY,KAPA,mBAOA,CAAA,iBAAA,MAAA,EAAA,mBALS,cAKT,CAAA,GAJR,UAIQ,SAJW,MAIX,CAAA,MAAA,EAAA,KAAA,CAAA,GAHR,MAGQ,CAAA,MAAA,EAAA,KAAA,CAAA,GAFR,QAEQ,SAAA,MAFa,UAEb,GADN,UACM,CADK,QACL,CAAA,GAAN,MAAM,CAAA,MAAA,EAAA,KAAA,CAAA;AAAgB;;;;;KAOvB,gBAMe,CAAA,YALN,MAKM,CAAA,MAAA,EALS,sBAKT,CAAA,EAAA,mBAAA,MAAA,EAAA,mBAHC,aAGD,EAAA,QAAA,CAAA,GAAA,QAAI,MAAV,GAAU,GAAJ,GAAI,CAAA,CAAA,CAAA,SAAW,sBAAX,GAAA,CAAA,GAAA,IAAA,EAEP,aAFO,CAEO,GAFP,CAEW,CAFX,CAAA,CAAA,MAAA,CAAA,CAAA,EAAA,GAGb,eAHa,CAGG,GAHH,CAGO,CAHP,CAAA,CAAA,SAAA,CAAA,EAGsB,UAHtB,EAGkC,UAHlC,EAG8C,QAH9C,CAAA,GAAA,KAAA,EAAW;;;;;;;KAa9B,aAVqD,CAAA,aAU1B,aAV0B,CAUZ,OAVY,CAAA,CAAA,GAUA,IAVA,SAAA,SAAA,CAAY,KAAA,MAAA,EAA3D,GAAA,KAAA,KAAA,CAAe,GAAA,KAAA,SAcR,OAdQ,GAAA,CAenB,SAfmB,CAeT,KAfS,CAAA,EAAA,GAAA,CAAA,IAAA,SAegB,aAfhB,CAe8B,OAf9B,CAAA,GAeyC,aAfzC,CAeuD,IAfvD,CAAA,GAAA,EAAA,CAAA,CAAA,GAAA,EAAA,GAAA,EAAA;AAAA,KAmBrB,SATA,CAAA,YASsB,OATT,CAAA,GASoB,GATpB,SAAA;EAA4B,IAAA,EAAA,QAAA;CAAd,GAU5B,mBAV4B,GAW5B,GAX4B,SAAA;EAA0B,IAAA,EAAA,OAAA;CAIxC,GAQZ,gBARY,GASZ,GATY,SAAA;EACD,IAAA,EAAA,SAAA;CAAV,GAAA,OAAA,GAAA,KAAA;;;;;;AAAyE,KAiB3E,eAbS,CAAA,gBAcI,UAdJ,EAAA,oBAAA,MAAA,EAAA,oBAgBQ,aAhBR,EAAA,OAAA,CAAA,GAkBV,OAlBU,SAAA;EAAa,IAAA,EAAA,SAAA;EAAW,IAAA,EAAA,KAAA,EAAA;CAClC,GAAA,CAAA,SAAA,QAAA,GAmBE,iBAnBF,CAAA,MAAA,CAAA,GAAA,CAAA,SAAA,SAAA,GAqBI,iBArBJ,CAAA,OAAA,CAAA,GAAA,CAAA,SAAA,QAAA,GAuBM,iBAvBN,CAAA,MAAA,CAAA,GAwBM,iBAxBN,CAAA,OAAA,CAAA,GAyBA,OAzBA,SAAA;EACA,IAAA,EAAA,QAAA;CACE,GAwBA,iBAxBA,CAAA,OAAA,CAAA,GAyBA,iBAzBA,CAAA,OAAA,CAAA;;;AACG;;;;;;KAkCJ,gBAdK,CAAA,UAAA,CAAA,GAc0B,UAd1B,SAAA;EACA,OAAA,EAAA,KAAA,iBAAA,MAAA;CACN,GAAA,OAAA,GAcA,UAdA,SAAA;EACE,IAAA,EAAA,KAAA,gBAAA,MAAA;CACA,GAAA,MAAA,GAAA,KAAA;AAAiB,KAgBX,mBAhBW,CAAA,kBAiBH,WAjBG,CAiBS,UAjBT,CAAA,EAAA,mBAAA,MAAA,EAAA,oBAAA,MAAA,EAAA,mBAoBF,aApBE,EAAA,qBAqBF,MArBE,CAAA,MAAA,EAAA;EAUlB,SAAA,MAAA,EAAA,OAAgB;AAMrB,CAAA,CAAA,CAAA,GAMI,UANQ,SAAA;EACoB,QAAA,EAAA,KAAA,SAAA;CAAZ,GAMhB,gBANgB,CAMC,UAND,CAAA,SAAA,KAAA,OAAA,GAAA,MAAA,SAAA,MAAA,GAQZ,sBARY,CAQW,MARX,EAQmB,YARnB,CAAA,SAAA,KAAA,YAAA,GAAA,CAST,WATS,CAAA,SAAA,CAAA,KAAA,CAAA,GAAA,OAAA,GAAA,QAAA,SAAA,IAAA,GAYN,WAZM,GAAA,IAAA,GAAA,WAAA,GAAA,OAAA,GAAA,OAAA,GAAA,OAAA,GAAA,OAAA;;;;;;;;;;KA4Bf,8BAhBS,CAAA,WAgBiC,gBAhBjC,CAAA,GAiBZ,EAjBY,SAiBD,aAjBC,CAAA,KAAA,qBAAA,MAAA,EAAA,KAAA,qBAmBgB,aAnBhB,EAAA,KAAA,OAAA,EAAA,KAAA,KAAA,CAAA,GAAA,MAAA,GAAA,KAAA;AAAW,KA0Bb,kBA1Ba,CAAA,UA0BgB,MA1BhB,CAAA,MAAA,EA0B+B,gBA1B/B,CAAA,CAAA,GAAA,QAgBpB,MAWS,CAXT,GAWa,8BAXiB,CAWc,CAXd,CAWgB,CAXhB,CAAA,CAAA,EAAY;;;;AACrB,KAgBd,gBAAA,GAAmB,MAhBL,CAAA,MAAA,EAkBtB,mBAlBsB,GAmBtB,MAnBsB,CAAA,MAAA,EAqBlB,mBArBkB,GAsBlB,MAtBkB,CAAA,MAAA,EAwBd,mBAxBc,GAyBd,MAzBc,CAAA,MAAA,EAyBC,mBAzBD,GAyBuB,MAzBvB,CAAA,MAAA,EAyBsC,mBAzBtC,CAAA,CAAA,CAAA,CAAA,CAAA;AAS1B;;;;KAyBK,kBAxB4C,CAAA,YAAA,MAAA,EAAA,iBA0B9B,MA1B8B,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GA2B7C,GA3B6C,SAAA,MA2B7B,QA3B6B,GA2BlB,QA3BkB,CA2BT,GA3BS,CAAA,GAAA,OAAA;;;;AAMjD;;;;;AASgE,KAsBpD,wBAtBoD,CAAA,UAuBpD,MAvBoD,CAAA,MAAA,EAuBrC,mBAvBqC,GAAA,OAAA,GAuBL,gBAvBK,CAAA,EAAA,qBAwB3C,MAxB2C,CAAA,MAAA,EAAA;EAAf,SAAA,MAAA,EAAA,OAAA;CAArC,CAAA,GAwBwD,MAxBxD,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,iBAyBO,MAzBP,CAAA,MAAA,EAAA,OAAA,CAAA,GAyBiC,MAzBjC,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,GAAA,QAHJ,MA8BM,CA9BN,GA8BU,CA9BV,CA8BY,CA9BZ,CAAA,SA8BuB,iBA9BvB,CAAA,KAAA,OAAA,CAAA,GAAA,MAAA,GAgCF,CAhCE,CAgCA,CAhCA,CAAA,SAgCW,gBAhCX,GAiCA,8BAjCA,CAiC+B,CAjC/B,CAiCiC,CAjCjC,CAAA,CAAA,GAkCA,CAlCA,CAkCE,CAlCF,CAAA,SAAA,IAAA,GAmCE,KAnCF,CAmCQ,kBAnCR,CAmC2B,CAnC3B,GAAA,MAAA,EAmCuC,QAnCvC,CAAA,CAAA,GAoCE,CApCF,CAoCI,CApCJ,CAAA,SAoCe,gBApCf,GAqCI,wBArCJ,CAqC6B,CArC7B,CAqC+B,CArC/B,CAAA,EAqCmC,YArCnC,EAqC+C,QArC/C,CAAA,GAAA,KAAA,EAHJ;;;AASF;;AASE,KA8BQ,iBA9BR,CAAA,gBAAA,SA8BmD,gBA9BnD,EAAA,CAAA,GA+BF,OA/BE,SAAA,SAAA,CAAA,KAAA,MAAA,EAAA,GAAA,KAAA,KAAA,CAAA,GAAA,KAAA,SAgCgB,aAhChB,CAAA,KAAA,KAAA,EAAA,KAAA,MAAA,EAAA,KAAA,OAAA,EAAA,KAAA,cAoCuB,cApCvB,CAAA,GAAA,IAAA,SAAA,MAAA,GAAA,IAAA,SAAA,SAuC4B,gBAvC5B,EAAA,GAAA,QAwCgB,IAxCA,GAwCO,MAxCP,EAAW,GAwCO,iBAxCP,CAwCyB,IAxCzB,CAAA,GAAA,QAyCX,IAzCoB,GAyCb,MAzCa,EAAC,GAAA,KAAA,GAAA,KAAA,GA4CnC,MA5CmC,CAAA,MAAA,EAAA,KAAA,CAAA;AAUzC;;;;;AAEoE,KAuCxD,0BAvCwD,CAAA,kBAuCX,WAvCW,CAuCC,UAvCD,CAAA,CAAA,GAwClE,SAxCkE,SAAA;EACjD,YAAA,EAAA,KAAA,EAAA;EAA0B,MAAA,EAAA,KAAA,EAAA;CAE/B,GAAA,CAAA,SAAA,MAAA,GAAA,CAAA,SAuCI,MAvCJ,CAAA,MAAA,EAuCmB,MAvCnB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,CAAA,SAAA,QAwCc,CAxCV,GAAA,KAAA,WAAA,EAAE,GAAA,UAAA,SAAA;EAAW,OAAA,EAAA,IAAA;EAEzB,OAAA,EAAA,IAAA;CAAE,GAAA,IAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA;;;;;AAEA,KAiDI,OAjDJ,CAAA,MAAA,OAAA,CAAA,GAiD6B,aAjD7B,CAiD2C,GAjD3C,EAiDgD,QAjDhD,CAAA;;;;AACQ,KAqDJ,QArDI,CAAA,SAAA,CAAA,GAqDkB,SArDlB,SAAA;EAAN,OAAA,EAAA;IACA,MAAA,EAAA,KAAA,EAAA;EAAE,CAAA;CAAW,GAAA,CAAA,GAAA,KAAA;AACc,KAyDzB,QAzDyB,CAAA,SAAA,CAAA,GAyDH,OAzDG,CAAA,MAyDW,QAzDX,CAyDoB,SAzDpB,CAAA,EAAA,MAAA,CAAA;;;;AAAzB,cAiES,IAjET,EAAA,OAAA,MAAA;;AAQZ;;AACE,KA6DU,IA7DV,CAAA,YAAA;EAKyB,CAwDG,IAAA,CAxDH,EAAA,OAAA;CAJP,CAAA,GA4D8B,GA5D9B,CAAA,OA4DuC,IA5DvC,CAAA;;;;AAQoC,UAyDvC,aAzDuC,CAAA,eAAA,MAAA,CAAA,CAAA;EAAlB,IAAA,EA0D9B,MA1D8B;;;;;AAW1B,UAqDK,aArDL,CAAA,eAA0B,MAAA,CAAA,CAAA;EAA+B,IAAA,EAsD7D,MAtD6D;;;;;;AAIxC,UAyDZ,QAzDY,CAAA,eAAA,MAAA,CAAA,CAAA;EAajB,UA6CA,IAAA,CA7CO,EA6CA,aA7CA,CA6Cc,MA7Cd,CAAA;;;;;AAKnB;AAMY,UAyCK,QAzCG,CAAA,eAAA,MAAA,CAAA,CAAA;EAAqC,UA0C7C,IAAA,CA1C6C,EA0CtC,aA1CsC,CA0CxB,MA1CwB,CAAA;;AAAvB,KA6CtB,SA7CsB,CAAA,SAAA,EAAA,YA+CtB,QA/CsB,CA+Cb,SA/Ca,CAAA,CAAA,GAgD9B,GAhD8B,SAAA,MAgDd,QAhDc,CAgDL,SAhDK,CAAA,GAiD9B,QAjD8B,CAiDrB,SAjDqB,CAAA,CAiDV,GAjDU,CAAA,SAAA;EAAO,OAAA,EAAA,KAAA,EAAA;AAQzC,CAAA,GAAqB,CAAA,GAAA,KAAmB,GAAA,KAAA;AAK5B,UAyCK,kBAAA,CAzCD;EAAc,SAAA,IAAA,CAAA,EA0CZ,QA1CY;EAAoB,SAAA,WAAA,CAAA,EA2CzB,MA3CyB,CAAA,MAAA,EAAA,OAAA,CAAA;EAAS,SAAA,UAAA,CAAA,EA4CnC,aA5CmC,CAAA,MAAA,CAAA;;AAK1C,UA0CA,kBAAA,SAA2B,kBAzChC,CAAA;EAMK,SAAA,MAAA,EAoCE,aApCW,CAAA,OACtB,CAAA;AAOR;AACiC,KA8BrB,kBAAA,GA9BqB,CAAA,OAAA,EA+BtB,oBA/BsB,EAAA,GAAA,MAAA,EAAA,SAAA,OAAA,EAAA,EAAA,GAiC5B,aAjC4B;AAAd,UAmCF,UAAA,SAAmB,kBAnCjB,CAAA;EAAP,CAAA,IAAA,EAAA,MAAA,EAAA,OAAA,EAoCc,kBApCd,CAAA,EAoCmC,aApCnC;EAAI,IAAA,CAAA,OAAA,EAqCA,kBArCA,CAAA,EAqCqB,kBArCrB;AAOhB;AACmB,UAkCF,cAAA,CAlCE;EAAP,UAAA,IAAA,EAAA,MAAA,CAAA,EAAA,OAAA;;AAGA,UAmCK,YAAA,CAnCI;EAEA,SAAA,MAAA,CAAA,EAkCD,cAlCC;;AACjB,UAoCa,iBApCb,CAAA,kBAqCgB,WArChB,CAqC4B,UArC5B,CAAA,GAqC0C,WArC1C,CAqCsD,UArCtD,CAAA,CAAA,CAAA;EAAyB,SAAA,OAAA,EAuCT,gBAvCS,CAuCQ,SAvCR,CAAA;;;;;;AAM7B;AACkB,KAwCN,YAxCM,CAAA,CAAA,CAAA,GAwCU,CAxCV,SAwCoB,YAxCpB,CAAA,KAAA,EAAA,CAAA,GAAA,CAAA,GAwCgD,UAxChD,CAwC+D,CAxC/D,CAAA"}

package/dist/types-D_FRJvm0.mjs

@@ -0,0 +1,18 @@
+//#region src/types.ts
+/**
+* Creates an OrderBuilder for use in orderBy clauses.
+*/
+function createOrderBuilder(expr, dir) {
+	return {
+		kind: "order",
+		expr,
+		dir
+	};
+}
+function isColumnBuilder(value) {
+	return typeof value === "object" && value !== null && "kind" in value && value.kind === "column";
+}
+
+//#endregion
+export { isColumnBuilder as n, createOrderBuilder as t };
+//# sourceMappingURL=types-D_FRJvm0.mjs.map

package/dist/types-D_FRJvm0.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-D_FRJvm0.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["import type {\n  ResultType as CoreResultType,\n  ExecutionPlan,\n  PlanRefs,\n} from '@prisma-next/contract/types';\nimport type { ArgSpec, ReturnSpec } from '@prisma-next/operations';\nimport type { SqlContract, SqlStorage, StorageColumn } from '@prisma-next/sql-contract/types';\nimport type { SqlLoweringSpec } from '@prisma-next/sql-operations';\nimport type {\n  BinaryOp,\n  ColumnRef,\n  Direction,\n  Expression,\n  ExpressionSource,\n  OperationExpr,\n  ParamRef,\n  QueryAst,\n} from './ast/types';\nimport type { SqlQueryPlan } from './plan';\nimport type { QueryLaneContext } from './query-lane-context';\n\nexport interface ParamPlaceholder {\n  readonly kind: 'param-placeholder';\n  readonly name: string;\n}\n\n/**\n * ValueSource represents any value that can appear in a comparison or as an argument.\n * This includes:\n * - ParamPlaceholder: A parameter placeholder (e.g., `param('userId')`)\n * - ExpressionSource: Something that can be converted to an Expression (ColumnBuilder, ExpressionBuilder)\n */\nexport type ValueSource = ParamPlaceholder | ExpressionSource;\n\nexport interface OrderBuilder<\n  _ColumnName extends string = string,\n  _ColumnMeta extends StorageColumn = StorageColumn,\n  _JsType = unknown,\n> {\n  readonly kind: 'order';\n  readonly expr: Expression;\n  readonly dir: Direction;\n}\n\n/**\n * Creates an OrderBuilder for use in orderBy clauses.\n */\nexport function createOrderBuilder(\n  expr: AnyColumnBuilder | OperationExpr,\n  dir: Direction,\n): AnyOrderBuilder {\n  return { kind: 'order', expr, dir } as AnyOrderBuilder;\n}\n\n/**\n * ColumnBuilder with optional operation methods based on the column's typeId.\n * When Operations is provided and the column's typeId matches, operation methods are included.\n * Implements ExpressionSource to provide type-safe conversion to ColumnRef.\n */\nexport type ColumnBuilder<\n  ColumnName extends string = string,\n  ColumnMeta extends StorageColumn = StorageColumn,\n  JsType = unknown,\n  Operations extends OperationTypes = Record<string, never>,\n> = {\n  readonly kind: 'column';\n  readonly table: string;\n  readonly column: ColumnName;\n  readonly columnMeta: ColumnMeta;\n  // Methods accept ValueSource (ParamPlaceholder or ExpressionSource)\n  eq(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n  neq(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n  gt(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n  lt(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n  gte(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n  lte(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;\n  asc(): OrderBuilder<ColumnName, ColumnMeta, JsType>;\n  desc(): OrderBuilder<ColumnName, ColumnMeta, JsType>;\n  /** Converts this column builder to a ColumnRef expression */\n  toExpr(): ColumnRef;\n  // Helper property for type extraction (not used at runtime)\n  readonly __jsType: JsType;\n} & (ColumnMeta['codecId'] extends string\n  ? ColumnMeta['codecId'] extends keyof Operations\n    ? OperationMethods<\n        OperationsForTypeId<ColumnMeta['codecId'] & string, Operations>,\n        ColumnName,\n        StorageColumn,\n        JsType\n      >\n    : Record<string, never>\n  : Record<string, never>);\n\nexport interface BinaryBuilder<\n  _ColumnName extends string = string,\n  _ColumnMeta extends StorageColumn = StorageColumn,\n  _JsType = unknown,\n> {\n  readonly kind: 'binary';\n  readonly op: BinaryOp;\n  readonly left: Expression;\n  readonly right: ValueSource;\n}\n\n// Forward declare AnyBinaryBuilder and AnyOrderBuilder for use in ExpressionBuilder\nexport type AnyBinaryBuilder = BinaryBuilder;\nexport type AnyOrderBuilder = OrderBuilder;\n\n/**\n * ExpressionBuilder represents the result of an operation (e.g., col.distance(...)).\n * Unlike ColumnBuilder (which represents a column), ExpressionBuilder represents\n * an operation expression and provides the same DSL methods for chaining.\n *\n * Implements ExpressionSource to provide type-safe conversion to OperationExpr.\n */\nexport interface ExpressionBuilder<JsType = unknown> extends ExpressionSource {\n  readonly kind: 'expression';\n  readonly expr: OperationExpr;\n  readonly columnMeta: StorageColumn;\n\n  // Methods accept ValueSource (ParamPlaceholder or ExpressionSource)\n  eq(value: ValueSource): AnyBinaryBuilder;\n  neq(value: ValueSource): AnyBinaryBuilder;\n  gt(value: ValueSource): AnyBinaryBuilder;\n  lt(value: ValueSource): AnyBinaryBuilder;\n  gte(value: ValueSource): AnyBinaryBuilder;\n  lte(value: ValueSource): AnyBinaryBuilder;\n  asc(): AnyOrderBuilder;\n  desc(): AnyOrderBuilder;\n\n  /** Converts this expression builder to the underlying OperationExpr */\n  toExpr(): OperationExpr;\n\n  // Helper property for type extraction (not used at runtime)\n  readonly __jsType: JsType;\n}\n\n// Helper aliases for usage sites where the specific column parameters are irrelevant\n// Accepts any ColumnBuilder regardless of its Operations parameter\n// Note: We use `any` here because TypeScript's variance rules don't allow us to express\n// \"any type that extends OperationTypes\" in a way that works for assignment.\n// Contract-specific OperationTypes (e.g., PgVectorOperationTypes) are not assignable\n// to the base OperationTypes in generic parameter position, even though they extend it structurally.\n// Helper type that accepts any ColumnBuilder regardless of its generic parameters\n// This is needed because conditional types in ColumnBuilder create incompatible intersection types\n// when Operations differs, even though structurally they're compatible\nexport type AnyColumnBuilderBase = {\n  readonly kind: 'column';\n  readonly table: string;\n  readonly column: string;\n  readonly columnMeta: StorageColumn;\n  // Methods accept ValueSource (ParamPlaceholder or ExpressionSource)\n  eq(value: ValueSource): AnyBinaryBuilder;\n  neq(value: ValueSource): AnyBinaryBuilder;\n  gt(value: ValueSource): AnyBinaryBuilder;\n  lt(value: ValueSource): AnyBinaryBuilder;\n  gte(value: ValueSource): AnyBinaryBuilder;\n  lte(value: ValueSource): AnyBinaryBuilder;\n  asc(): AnyOrderBuilder;\n  desc(): AnyOrderBuilder;\n  toExpr(): ColumnRef;\n  readonly __jsType: unknown;\n  // Allow any operation methods (from conditional type)\n  readonly [key: string]: unknown;\n};\n\nexport type AnyColumnBuilder =\n  | ColumnBuilder<\n      string,\n      StorageColumn,\n      unknown,\n      // biome-ignore lint/suspicious/noExplicitAny: AnyColumnBuilder must accept column builders with any operation types\n      any\n    >\n  | AnyColumnBuilderBase;\n\n/**\n * Union type for any builder that can produce an Expression.\n * Used in DSL method signatures where either a column or operation result can be passed.\n */\nexport type AnyExpressionSource = AnyColumnBuilder | ExpressionBuilder;\n\nexport function isColumnBuilder(value: unknown): value is AnyColumnBuilder {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'kind' in value &&\n    (value as { kind: unknown }).kind === 'column'\n  );\n}\n\nexport interface JoinOnBuilder {\n  eqCol(left: AnyColumnBuilder, right: AnyColumnBuilder): JoinOnPredicate;\n}\n\nexport interface JoinOnPredicate {\n  readonly kind: 'join-on';\n  readonly left: AnyColumnBuilder;\n  readonly right: AnyColumnBuilder;\n}\n\nexport type Expr = ColumnRef | ParamRef;\n\n/**\n * Helper type to extract codec output type from CodecTypes.\n * Returns never if the codecId is not found in CodecTypes.\n */\ntype ExtractCodecOutputType<\n  CodecId extends string,\n  CodecTypes extends Record<string, { readonly output: unknown }>,\n> = CodecId extends keyof CodecTypes\n  ? CodecTypes[CodecId] extends { readonly output: infer Output }\n    ? Output\n    : never\n  : never;\n\n/**\n * Type-level operation signature.\n * Represents an operation at the type level, similar to OperationSignature at runtime.\n */\nexport type OperationTypeSignature = {\n  readonly args: ReadonlyArray<ArgSpec>;\n  readonly returns: ReturnSpec;\n  readonly lowering: SqlLoweringSpec;\n  readonly capabilities?: ReadonlyArray<string>;\n};\n\n/**\n * Type-level operation registry.\n * Maps typeId → operations, where operations is a record of method name → operation signature.\n *\n * Example:\n * ```typescript\n * type MyOperations: OperationTypes = {\n *   'pg/vector@1': {\n *     cosineDistance: {\n *       args: [{ kind: 'typeId'; type: 'pg/vector@1' }];\n *       returns: { kind: 'builtin'; type: 'number' };\n *       lowering: { targetFamily: 'sql'; strategy: 'function'; template: '...' };\n *     };\n *   };\n * };\n * ```\n */\nexport type OperationTypes = Record<string, Record<string, OperationTypeSignature>>;\n\n/**\n * CodecTypes represents a map of typeId to codec definitions.\n * Each codec definition must have an `output` property indicating the JavaScript type.\n *\n * Example:\n * ```typescript\n * type MyCodecTypes: CodecTypes = {\n *   'pg/int4@1': { output: number };\n *   'pg/text@1': { output: string };\n * };\n * ```\n */\nexport type CodecTypes = Record<string, { readonly output: unknown }>;\n\n/**\n * Extracts operations for a given typeId from the operation registry.\n * Returns an empty record if the typeId is not found.\n *\n * @example\n * ```typescript\n * type Ops = OperationsForTypeId<'pg/vector@1', MyOperations>;\n * // Ops = { cosineDistance: { ... }, l2Distance: { ... } }\n * ```\n */\nexport type OperationsForTypeId<\n  TypeId extends string,\n  Operations extends OperationTypes,\n> = Operations extends Record<string, never>\n  ? Record<string, never>\n  : TypeId extends keyof Operations\n    ? Operations[TypeId]\n    : Record<string, never>;\n\n/**\n * Maps operation signatures to method signatures on ColumnBuilder.\n * Each operation becomes a method that returns a ColumnBuilder or BinaryBuilder\n * based on the return type.\n */\ntype OperationMethods<\n  Ops extends Record<string, OperationTypeSignature>,\n  ColumnName extends string,\n  ColumnMeta extends StorageColumn,\n  JsType,\n> = {\n  [K in keyof Ops]: Ops[K] extends OperationTypeSignature\n    ? (\n        ...args: OperationArgs<Ops[K]['args']>\n      ) => OperationReturn<Ops[K]['returns'], ColumnName, ColumnMeta, JsType>\n    : never;\n};\n\n/**\n * Maps operation argument specs to TypeScript argument types.\n * - typeId args: ColumnBuilder (accepts base columns or operation results)\n * - param args: ParamPlaceholder\n * - literal args: unknown (could be more specific in future)\n */\ntype OperationArgs<Args extends ReadonlyArray<ArgSpec>> = Args extends readonly [\n  infer First,\n  ...infer Rest,\n]\n  ? First extends ArgSpec\n    ? [ArgToType<First>, ...(Rest extends ReadonlyArray<ArgSpec> ? OperationArgs<Rest> : [])]\n    : []\n  : [];\n\ntype ArgToType<Arg extends ArgSpec> = Arg extends { kind: 'typeId' }\n  ? AnyExpressionSource\n  : Arg extends { kind: 'param' }\n    ? ParamPlaceholder\n    : Arg extends { kind: 'literal' }\n      ? unknown\n      : never;\n\n/**\n * Maps operation return spec to return type.\n * Operations return ExpressionBuilder, not ColumnBuilder, because the result\n * represents an expression (OperationExpr) rather than a column reference.\n */\ntype OperationReturn<\n  Returns extends ReturnSpec,\n  _ColumnName extends string,\n  _ColumnMeta extends StorageColumn,\n  _JsType,\n> = Returns extends { kind: 'builtin'; type: infer T }\n  ? T extends 'number'\n    ? ExpressionBuilder<number>\n    : T extends 'boolean'\n      ? ExpressionBuilder<boolean>\n      : T extends 'string'\n        ? ExpressionBuilder<string>\n        : ExpressionBuilder<unknown>\n  : Returns extends { kind: 'typeId' }\n    ? ExpressionBuilder<unknown>\n    : ExpressionBuilder<unknown>;\n\n/**\n * Computes JavaScript type for a column at column creation time.\n *\n * Type inference:\n * - Read columnMeta.codecId as typeId string literal\n * - Look up CodecTypes[typeId].output\n * - Apply nullability: nullable ? Output | null : Output\n */\ntype ColumnMetaTypeId<ColumnMeta> = ColumnMeta extends { codecId: infer CodecId extends string }\n  ? CodecId\n  : ColumnMeta extends { type: infer TypeId extends string }\n    ? TypeId\n    : never;\n\nexport type ComputeColumnJsType<\n  _Contract extends SqlContract<SqlStorage>,\n  _TableName extends string,\n  _ColumnName extends string,\n  ColumnMeta extends StorageColumn,\n  CodecTypes extends Record<string, { readonly output: unknown }>,\n> = ColumnMeta extends { nullable: infer Nullable }\n  ? ColumnMetaTypeId<ColumnMeta> extends infer TypeId\n    ? TypeId extends string\n      ? ExtractCodecOutputType<TypeId, CodecTypes> extends infer CodecOutput\n        ? [CodecOutput] extends [never]\n          ? unknown // Codec not found in CodecTypes\n          : Nullable extends true\n            ? CodecOutput | null\n            : CodecOutput\n        : unknown\n      : unknown\n    : unknown\n  : unknown;\n\n/**\n * Infers Row type from a projection object.\n * Maps Record<string, ColumnBuilder> to Record<string, JSType>\n *\n * Extracts the pre-computed JsType from each ColumnBuilder in the projection.\n */\n/**\n * Extracts the inferred JsType carried by a ColumnBuilder.\n */\ntype ExtractJsTypeFromColumnBuilder<CB extends AnyColumnBuilder> =\n  CB extends ColumnBuilder<\n    infer _ColumnName extends string,\n    infer _ColumnMeta extends StorageColumn,\n    infer JsType,\n    infer _Ops\n  >\n    ? JsType\n    : never;\n\nexport type InferProjectionRow<P extends Record<string, AnyColumnBuilder>> = {\n  [K in keyof P]: ExtractJsTypeFromColumnBuilder<P[K]>;\n};\n\n/**\n * Nested projection type - allows recursive nesting of ColumnBuilder, ExpressionBuilder, or nested objects.\n */\nexport type NestedProjection = Record<\n  string,\n  | AnyExpressionSource\n  | Record<\n      string,\n      | AnyExpressionSource\n      | Record<\n          string,\n          | AnyExpressionSource\n          | Record<string, AnyExpressionSource | Record<string, AnyExpressionSource>>\n        >\n    >\n>;\n\n/**\n * Helper type to extract include type from Includes map.\n * Returns the value type if K is a key of Includes, otherwise returns unknown.\n */\ntype ExtractIncludeType<\n  K extends string,\n  Includes extends Record<string, unknown>,\n> = K extends keyof Includes ? Includes[K] : unknown;\n\n/**\n * Infers Row type from a nested projection object.\n * Recursively maps Record<string, ColumnBuilder | boolean | NestedProjection> to nested object types.\n *\n * Extracts the pre-computed JsType from each ColumnBuilder at leaves.\n * When a value is `true`, it represents an include reference and infers `Array<ChildShape>`\n * by looking up the include alias in the Includes type map.\n */\nexport type InferNestedProjectionRow<\n  P extends Record<string, AnyExpressionSource | boolean | NestedProjection>,\n  CodecTypes extends Record<string, { readonly output: unknown }> = Record<string, never>,\n  Includes extends Record<string, unknown> = Record<string, never>,\n> = {\n  [K in keyof P]: P[K] extends ExpressionBuilder<infer JsType>\n    ? JsType\n    : P[K] extends AnyColumnBuilder\n      ? ExtractJsTypeFromColumnBuilder<P[K]>\n      : P[K] extends true\n        ? Array<ExtractIncludeType<K & string, Includes>> // Include reference - infers Array<ChildShape> from Includes map\n        : P[K] extends NestedProjection\n          ? InferNestedProjectionRow<P[K], CodecTypes, Includes>\n          : never;\n};\n\n/**\n * Infers Row type from a tuple of ColumnBuilders used in returning() clause.\n * Extracts column name and JsType from each ColumnBuilder and creates a Record.\n */\nexport type InferReturningRow<Columns extends readonly AnyColumnBuilder[]> =\n  Columns extends readonly [infer First, ...infer Rest]\n    ? First extends ColumnBuilder<\n        infer Name,\n        infer _Meta,\n        infer JsType,\n        infer _Ops extends OperationTypes\n      >\n      ? Name extends string\n        ? Rest extends readonly AnyColumnBuilder[]\n          ? { [K in Name]: JsType } & InferReturningRow<Rest>\n          : { [K in Name]: JsType }\n        : never\n      : never\n    : Record<string, never>;\n\n/**\n * Utility type to check if a contract has the required capabilities for includeMany.\n * Requires both `lateral` and `jsonAgg` to be `true` in the contract's capabilities for the target.\n * Capabilities are nested by target: `{ [target]: { lateral: true, jsonAgg: true } }`\n */\nexport type HasIncludeManyCapabilities<TContract extends SqlContract<SqlStorage>> =\n  TContract extends { capabilities: infer C; target: infer T }\n    ? T extends string\n      ? C extends Record<string, Record<string, boolean>>\n        ? C extends { [K in T]: infer TargetCaps }\n          ? TargetCaps extends { lateral: true; jsonAgg: true }\n            ? true\n            : false\n          : false\n        : false\n      : false\n    : false;\n\n/**\n * SQL-specific Plan type that refines the ast field to use QueryAst.\n * This is the type used by SQL query builders.\n */\nexport type SqlPlan<Row = unknown> = ExecutionPlan<Row, QueryAst>;\n\n/**\n * Helper types for extracting contract structure.\n */\nexport type TablesOf<TContract> = TContract extends {\n  storage: { tables: infer U };\n}\n  ? U\n  : never;\n\nexport type TableKey<TContract> = Extract<keyof TablesOf<TContract>, string>;\n\n// Common types for contract.d.ts generation (SQL-specific)\n// These types are used by emitted contract.d.ts files to provide type-safe DSL/ORM types\n\n/**\n * Unique symbol for metadata property to avoid collisions with user-defined properties\n */\nexport declare const META: unique symbol;\n\n/**\n * Extracts metadata from a type that has a META property\n */\nexport type Meta<T extends { [META]: unknown }> = T[typeof META];\n\n/**\n * Metadata interface for table definitions\n */\nexport interface TableMetadata<Name extends string> {\n  name: Name;\n}\n\n/**\n * Metadata interface for model definitions\n */\nexport interface ModelMetadata<Name extends string> {\n  name: Name;\n}\n\n/**\n * Base interface for table definitions with metadata\n * Used in contract.d.ts to define storage-level table types\n */\nexport interface TableDef<Name extends string> {\n  readonly [META]: TableMetadata<Name>;\n}\n\n/**\n * Base interface for model definitions with metadata\n * Used in contract.d.ts to define application-level model types\n */\nexport interface ModelDef<Name extends string> {\n  readonly [META]: ModelMetadata<Name>;\n}\n\nexport type ColumnsOf<\n  TContract,\n  K extends TableKey<TContract>,\n> = K extends keyof TablesOf<TContract>\n  ? TablesOf<TContract>[K] extends { columns: infer C }\n    ? C\n    : never\n  : never;\n\nexport interface RawTemplateOptions {\n  readonly refs?: PlanRefs;\n  readonly annotations?: Record<string, unknown>;\n  readonly projection?: ReadonlyArray<string>;\n}\n\nexport interface RawFunctionOptions extends RawTemplateOptions {\n  readonly params: ReadonlyArray<unknown>;\n}\n\nexport type RawTemplateFactory = (\n  strings: TemplateStringsArray,\n  ...values: readonly unknown[]\n) => ExecutionPlan;\n\nexport interface RawFactory extends RawTemplateFactory {\n  (text: string, options: RawFunctionOptions): ExecutionPlan;\n  with(options: RawTemplateOptions): RawTemplateFactory;\n}\n\nexport type { RuntimeError } from '@prisma-next/plan';\n\nexport interface BuildParamsMap {\n  readonly [name: string]: unknown;\n}\n\nexport interface BuildOptions {\n  readonly params?: BuildParamsMap;\n}\n\nexport interface SqlBuilderOptions<\n  TContract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>,\n> {\n  readonly context: QueryLaneContext<TContract>;\n}\n\n/**\n * SQL-specific ResultType that works with both Plan and SqlQueryPlan.\n * This extends the core ResultType to also handle SqlQueryPlan.\n * Example: `type Row = ResultType<typeof plan>`\n */\nexport type ResultType<P> = P extends SqlQueryPlan<infer R> ? R : CoreResultType<P>;\n"],"mappings":";;;;AA+CA,SAAgB,mBACd,MACA,KACiB;AACjB,QAAO;EAAE,MAAM;EAAS;EAAM;EAAK;;AAmIrC,SAAgB,gBAAgB,OAA2C;AACzE,QACE,OAAO,UAAU,YACjB,UAAU,QACV,UAAU,SACT,MAA4B,SAAS"}

package/package.json

@@ -1,73 +1,51 @@
 {
   "name": "@prisma-next/sql-relational-core",
-  "version": "0.3.0-pr.93.5",
+  "version": "0.3.0-pr.94.2",
   "type": "module",
   "sideEffects": false,
   "description": "Schema and column builders, operation attachment, and AST types for Prisma Next",
   "dependencies": {
     "ts-toolbelt": "^9.6.0",
-    "@prisma-next/contract": "0.3.0-pr.93.5",
-    "@prisma-next/operations": "0.3.0-pr.93.5",
-    "@prisma-next/sql-contract": "0.3.0-pr.93.5",
-    "@prisma-next/plan": "0.3.0-pr.93.5",
-    "@prisma-next/sql-operations": "0.3.0-pr.93.5"
+    "@prisma-next/contract": "0.3.0-pr.94.2",
+    "@prisma-next/operations": "0.3.0-pr.94.2",
+    "@prisma-next/plan": "0.3.0-pr.94.2",
+    "@prisma-next/sql-contract": "0.3.0-pr.94.2",
+    "@prisma-next/sql-operations": "0.3.0-pr.94.2"
   },
   "devDependencies": {
-    "tsup": "8.5.1",
+    "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.16",
-    "@prisma-next/sql-contract-ts": "0.3.0-pr.93.5",
+    "@prisma-next/sql-contract-ts": "0.3.0-pr.94.2",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/tsconfig": "0.0.0"
+    "@prisma-next/tsconfig": "0.0.0",
+    "@prisma-next/tsdown": "0.0.0"
   },
   "files": [
     "dist",
     "src"
   ],
+  "engines": {
+    "node": ">=20"
+  },
   "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",
+    "./schema": "./dist/exports/schema.mjs",
+    "./types": "./dist/exports/types.mjs",
+    "./package.json": "./package.json"
   },
+  "main": "./dist/index.mjs",
+  "module": "./dist/index.mjs",
+  "types": "./dist/index.d.mts",
   "scripts": {
-    "build": "tsup && tsc",
+    "build": "tsdown",
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --noEmit",

package/src/ast/predicate.ts

@@ -1,17 +1,9 @@
-import type {
-  BinaryExpr,
-  BinaryOp,
-  ColumnRef,
-  ExistsExpr,
-  OperationExpr,
-  ParamRef,
-  SelectAst,
-} from './types';
+import type { BinaryExpr, BinaryOp, ExistsExpr, Expression, ParamRef, SelectAst } from './types';
 
 export function createBinaryExpr(
   op: BinaryOp,
-  left: ColumnRef | OperationExpr,
-  right: ColumnRef | ParamRef,
+  left: Expression,
+  right: Expression | ParamRef,
 ): BinaryExpr {
   return {
     kind: 'bin',

package/src/ast/types.ts

@@ -32,13 +32,27 @@ export interface OperationExpr {
   readonly kind: 'operation';
   readonly method: string;
   readonly forTypeId: string;
-  readonly self: ColumnRef | OperationExpr;
-  readonly args: ReadonlyArray<ColumnRef | ParamRef | LiteralExpr | OperationExpr>;
+  readonly self: Expression;
+  readonly args: ReadonlyArray<Expression | ParamRef | LiteralExpr>;
   readonly returns: ReturnSpec;
   readonly lowering: SqlLoweringSpec;
 }
 
-export function isOperationExpr(expr: ColumnRef | OperationExpr): expr is OperationExpr {
+/**
+ * Unified expression type - the canonical AST representation for column references
+ * and operation expressions. This is what all builders convert to via toExpr().
+ */
+export type Expression = ColumnRef | OperationExpr;
+
+/**
+ * Interface for any builder that can produce an Expression.
+ * Implemented by ColumnBuilder and ExpressionBuilder.
+ */
+export interface ExpressionSource {
+  toExpr(): Expression;
+}
+
+export function isOperationExpr(expr: Expression): expr is OperationExpr {
   return expr.kind === 'operation';
 }
 
@@ -47,8 +61,8 @@ export type BinaryOp = 'eq' | 'neq' | 'gt' | 'lt' | 'gte' | 'lte';
 export interface BinaryExpr {
   readonly kind: 'bin';
   readonly op: BinaryOp;
-  readonly left: ColumnRef | OperationExpr;
-  readonly right: ColumnRef | ParamRef;
+  readonly left: Expression;
+  readonly right: Expression | ParamRef;
 }
 
 export interface ExistsExpr {
@@ -82,9 +96,9 @@ export interface IncludeAst {
     readonly table: TableRef;
     readonly on: JoinOnExpr;
     readonly where?: BinaryExpr | ExistsExpr;
-    readonly orderBy?: ReadonlyArray<{ expr: ColumnRef | OperationExpr; dir: Direction }>;
+    readonly orderBy?: ReadonlyArray<{ expr: Expression; dir: Direction }>;
     readonly limit?: number;
-    readonly project: ReadonlyArray<{ alias: string; expr: ColumnRef | OperationExpr }>;
+    readonly project: ReadonlyArray<{ alias: string; expr: Expression }>;
   };
 }
 
@@ -95,10 +109,10 @@ export interface SelectAst {
   readonly includes?: ReadonlyArray<IncludeAst>;
   readonly project: ReadonlyArray<{
     alias: string;
-    expr: ColumnRef | IncludeRef | OperationExpr | LiteralExpr;
+    expr: Expression | IncludeRef | LiteralExpr;
   }>;
   readonly where?: BinaryExpr | ExistsExpr;
-  readonly orderBy?: ReadonlyArray<{ expr: ColumnRef | OperationExpr; dir: Direction }>;
+  readonly orderBy?: ReadonlyArray<{ expr: Expression; dir: Direction }>;
   readonly limit?: number;
 }