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

package/dist/query-lane-context.d.ts

@@ -0,0 +1,16 @@
+import type { OperationRegistry } from '@prisma-next/operations';
+import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
+import type { CodecRegistry } from './ast/codec-types';
+/**
+ * Minimal context interface for SQL query lanes.
+ *
+ * Lanes only need contract, operations, and codecs to build typed ASTs and attach
+ * operation builders. This interface explicitly excludes runtime concerns like
+ * adapters, connection management, and transaction state.
+ */
+export interface QueryLaneContext<TContract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>> {
+    readonly contract: TContract;
+    readonly operations: OperationRegistry;
+    readonly codecs: CodecRegistry;
+}
+//# sourceMappingURL=query-lane-context.d.ts.map

package/dist/query-lane-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-lane-context.d.ts","sourceRoot":"","sources":["../src/query-lane-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB,CAC/B,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC;IAEnE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;CAChC"}

package/dist/schema.d.ts

@@ -0,0 +1,68 @@
+import type { ExtractCodecTypes, ExtractOperationTypes, SqlContract, SqlStorage, StorageColumn } from '@prisma-next/sql-contract/types';
+import type { ColumnRef, ExpressionSource, TableRef } from './ast/types';
+import type { QueryLaneContext } from './query-lane-context';
+import type { BinaryBuilder, CodecTypes as CodecTypesType, ColumnBuilder, ComputeColumnJsType, OperationTypeSignature, OperationTypes, OrderBuilder, ParamPlaceholder } from './types';
+type TableColumns<Table extends {
+    columns: Record<string, StorageColumn>;
+}> = Table['columns'];
+type ColumnBuilders<Contract extends SqlContract<SqlStorage>, TableName extends string, Columns extends Record<string, StorageColumn>, CodecTypes extends CodecTypesType, Operations extends OperationTypes> = {
+    readonly [K in keyof Columns]: ColumnBuilder<K & string, Columns[K], ComputeColumnJsType<Contract, TableName, K & string, Columns[K], CodecTypes>, Operations>;
+};
+export declare class ColumnBuilderImpl<ColumnName extends string, ColumnMeta extends StorageColumn, JsType = unknown> implements ExpressionSource {
+    readonly table: string;
+    readonly column: ColumnName;
+    private readonly storageColumn;
+    readonly kind: "column";
+    constructor(table: string, column: ColumnName, storageColumn: ColumnMeta);
+    get columnMeta(): ColumnMeta;
+    get __jsType(): JsType;
+    /**
+     * Converts this column builder to a ColumnRef expression.
+     * This is the canonical way to get an AST node from a builder.
+     */
+    toExpr(): ColumnRef;
+    private createBinaryBuilder;
+    eq(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    neq(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    gt(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    lt(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    gte(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    lte(value: ParamPlaceholder | ExpressionSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    asc(): OrderBuilder<ColumnName, ColumnMeta, JsType>;
+    desc(): OrderBuilder<ColumnName, ColumnMeta, JsType>;
+}
+export declare class TableBuilderImpl<Contract extends SqlContract<SqlStorage>, TableName extends string, Columns extends Record<string, StorageColumn>, CodecTypes extends CodecTypesType, Operations extends OperationTypes> implements TableRef {
+    readonly kind: "table";
+    readonly columns: ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>;
+    private readonly _name;
+    constructor(name: TableName, columns: ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>);
+    get name(): string;
+}
+type ExtractSchemaTables<Contract extends SqlContract<SqlStorage>, CodecTypes extends CodecTypesType, Operations extends OperationTypes> = {
+    readonly [TableName in keyof Contract['storage']['tables']]: TableBuilderImpl<Contract, TableName & string, TableColumns<Contract['storage']['tables'][TableName]>, CodecTypes, Operations> & TableRef;
+};
+export type SchemaHandle<Contract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>, CodecTypes extends CodecTypesType = CodecTypesType, Operations extends OperationTypes = Record<string, never>> = {
+    readonly tables: ExtractSchemaTables<Contract, CodecTypes, Operations>;
+};
+type SchemaReturnType<Contract extends SqlContract<SqlStorage>> = SchemaHandle<Contract, ExtractCodecTypes<Contract>, ToOperationTypes<ExtractOperationTypes<Contract>>>;
+type NormalizeOperationTypes<T> = {
+    [TypeId in keyof T]: {
+        [Method in keyof T[TypeId]]: T[TypeId][Method] extends OperationTypeSignature ? T[TypeId][Method] : OperationTypeSignature;
+    };
+};
+type ToOperationTypes<T> = T extends OperationTypes ? T : NormalizeOperationTypes<T>;
+/**
+ * Creates a schema handle for building SQL queries.
+ *
+ * @param context - Query lane context containing contract, codec and operation registries
+ * @returns A schema handle with typed table builders
+ *
+ * @example
+ * ```typescript
+ * const schemaHandle = schema<Contract>(context);
+ * const userTable = schemaHandle.tables.user;
+ * ```
+ */
+export declare function schema<Contract extends SqlContract<SqlStorage>>(context: QueryLaneContext<Contract>): SchemaReturnType<Contract>;
+export type { ColumnBuilderImpl as Column, TableBuilderImpl as Table };
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,UAAU,EACV,aAAa,EACd,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAY,SAAS,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAEnF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC7D,OAAO,KAAK,EACV,aAAa,EACb,UAAU,IAAI,cAAc,EAC5B,aAAa,EACb,mBAAmB,EACnB,sBAAsB,EACtB,cAAc,EACd,YAAY,EACZ,gBAAgB,EACjB,MAAM,SAAS,CAAC;AAEjB,KAAK,YAAY,CAAC,KAAK,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAA;CAAE,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;AAE/F,KAAK,cAAc,CACjB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,EAC7C,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,IAC/B;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,aAAa,CAC1C,CAAC,GAAG,MAAM,EACV,OAAO,CAAC,CAAC,CAAC,EACV,mBAAmB,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,GAAG,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAC5E,UAAU,CACX;CACF,CAAC;AAEF,qBAAa,iBAAiB,CAC5B,UAAU,SAAS,MAAM,EACzB,UAAU,SAAS,aAAa,EAChC,MAAM,GAAG,OAAO,CAChB,YAAW,gBAAgB;IAKzB,QAAQ,CAAC,KAAK,EAAE,MAAM;IACtB,QAAQ,CAAC,MAAM,EAAE,UAAU;IAC3B,OAAO,CAAC,QAAQ,CAAC,aAAa;IALhC,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;gBAGvB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,UAAU,EACV,aAAa,EAAE,UAAU;IAG5C,IAAI,UAAU,IAAI,UAAU,CAE3B;IAGD,IAAI,QAAQ,IAAI,MAAM,CAErB;IAED;;;OAGG;IACH,MAAM,IAAI,SAAS;IAQnB,OAAO,CAAC,mBAAmB;IA8B3B,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,EAAE,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI7F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,GAAG,CAAC,KAAK,EAAE,gBAAgB,GAAG,gBAAgB,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAI9F,GAAG,IAAI,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;IAQnD,IAAI,IAAI,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC;CAOrD;AAED,qBAAa,gBAAgB,CAC3B,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,EAC7C,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,CACjC,YAAW,QAAQ;IAEnB,QAAQ,CAAC,IAAI,EAAG,OAAO,CAAU;IACjC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;IACvF,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAY;gBAGhC,IAAI,EAAE,SAAS,EACf,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC;IAM/E,IAAI,IAAI,IAAI,MAAM,CAEjB;CACF;AAuHD,KAAK,mBAAmB,CACtB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EACxC,UAAU,SAAS,cAAc,EACjC,UAAU,SAAS,cAAc,IAC/B;IACF,QAAQ,EAAE,SAAS,IAAI,MAAM,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,gBAAgB,CAC3E,QAAQ,EACR,SAAS,GAAG,MAAM,EAClB,YAAY,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC,EACtD,UAAU,EACV,UAAU,CACX,GACC,QAAQ;CACX,CAAC;AAEF,MAAM,MAAM,YAAY,CACtB,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,EAClE,UAAU,SAAS,cAAc,GAAG,cAAc,EAClD,UAAU,SAAS,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IACvD;IACF,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;CACxE,CAAC;AAEF,KAAK,gBAAgB,CAAC,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,IAAI,YAAY,CAC5E,QAAQ,EACR,iBAAiB,CAAC,QAAQ,CAAC,EAC3B,gBAAgB,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAC,CAClD,CAAC;AAEF,KAAK,uBAAuB,CAAC,CAAC,IAAI;KAC/B,MAAM,IAAI,MAAM,CAAC,GAAG;SAClB,MAAM,IAAI,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,SAAS,sBAAsB,GACzE,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GACjB,sBAAsB;KAC3B;CACF,CAAC;AAEF,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,cAAc,GAAG,CAAC,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;AAErF;;;;;;;;;;;GAWG;AACH,wBAAgB,MAAM,CAAC,QAAQ,SAAS,WAAW,CAAC,UAAU,CAAC,EAC7D,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,GAClC,gBAAgB,CAAC,QAAQ,CAAC,CAwC5B;AAED,YAAY,EAAE,iBAAiB,IAAI,MAAM,EAAE,gBAAgB,IAAI,KAAK,EAAE,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,371 @@
+import type { ResultType as CoreResultType, ExecutionPlan, PlanRefs } from '@prisma-next/contract/types';
+import type { ArgSpec, ReturnSpec } from '@prisma-next/operations';
+import type { SqlContract, SqlStorage, StorageColumn } from '@prisma-next/sql-contract/types';
+import type { SqlLoweringSpec } from '@prisma-next/sql-operations';
+import type { BinaryOp, ColumnRef, Direction, Expression, ExpressionSource, OperationExpr, ParamRef, QueryAst } from './ast/types';
+import type { SqlQueryPlan } from './plan';
+import type { QueryLaneContext } from './query-lane-context';
+export 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)
+ */
+export type ValueSource = ParamPlaceholder | ExpressionSource;
+export 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.
+ */
+export 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.
+ */
+export type ColumnBuilder<ColumnName extends string = string, ColumnMeta extends StorageColumn = StorageColumn, JsType = 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>;
+    neq(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    gt(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    lt(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    gte(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    lte(value: ValueSource): BinaryBuilder<ColumnName, ColumnMeta, JsType>;
+    asc(): OrderBuilder<ColumnName, ColumnMeta, JsType>;
+    desc(): OrderBuilder<ColumnName, ColumnMeta, JsType>;
+    /** Converts this column builder to a ColumnRef expression */
+    toExpr(): ColumnRef;
+    readonly __jsType: JsType;
+} & (ColumnMeta['codecId'] extends string ? ColumnMeta['codecId'] extends keyof Operations ? OperationMethods<OperationsForTypeId<ColumnMeta['codecId'] & string, Operations>, ColumnName, StorageColumn, JsType> : Record<string, never> : Record<string, never>);
+export interface BinaryBuilder<_ColumnName extends string = string, _ColumnMeta extends StorageColumn = StorageColumn, _JsType = unknown> {
+    readonly kind: 'binary';
+    readonly op: BinaryOp;
+    readonly left: Expression;
+    readonly right: ValueSource;
+}
+export type AnyBinaryBuilder = BinaryBuilder;
+export 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.
+ */
+export interface ExpressionBuilder<JsType = 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;
+}
+export 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;
+};
+export 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.
+ */
+export type AnyExpressionSource = AnyColumnBuilder | ExpressionBuilder;
+export declare function isColumnBuilder(value: unknown): value is AnyColumnBuilder;
+export interface JoinOnBuilder {
+    eqCol(left: AnyColumnBuilder, right: AnyColumnBuilder): JoinOnPredicate;
+}
+export interface JoinOnPredicate {
+    readonly kind: 'join-on';
+    readonly left: AnyColumnBuilder;
+    readonly right: AnyColumnBuilder;
+}
+export 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 extends Record<string, {
+    readonly output: unknown;
+}>> = CodecId extends keyof CodecTypes ? CodecTypes[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.
+ */
+export 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: '...' };
+ *     };
+ *   };
+ * };
+ * ```
+ */
+export 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 };
+ * };
+ * ```
+ */
+export 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: { ... } }
+ * ```
+ */
+export type OperationsForTypeId<TypeId extends string, Operations extends OperationTypes> = Operations extends Record<string, never> ? Record<string, never> : TypeId extends keyof Operations ? Operations[TypeId] : 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> = {
+    [K in keyof Ops]: Ops[K] extends OperationTypeSignature ? (...args: OperationArgs<Ops[K]['args']>) => OperationReturn<Ops[K]['returns'], ColumnName, ColumnMeta, JsType> : 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;
+export type ComputeColumnJsType<_Contract extends SqlContract<SqlStorage>, _TableName extends string, _ColumnName extends string, ColumnMeta extends StorageColumn, CodecTypes extends Record<string, {
+    readonly output: unknown;
+}>> = ColumnMeta extends {
+    nullable: infer Nullable;
+} ? ColumnMetaTypeId<ColumnMeta> extends infer TypeId ? TypeId extends string ? ExtractCodecOutputType<TypeId, CodecTypes> 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;
+export 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.
+ */
+export 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 extends string, Includes extends Record<string, unknown>> = K extends keyof Includes ? Includes[K] : 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.
+ */
+export type InferNestedProjectionRow<P extends Record<string, AnyExpressionSource | boolean | NestedProjection>, CodecTypes 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, 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.
+ */
+export 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 } }`
+ */
+export 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.
+ */
+export type SqlPlan<Row = unknown> = ExecutionPlan<Row, QueryAst>;
+/**
+ * Helper types for extracting contract structure.
+ */
+export type TablesOf<TContract> = TContract extends {
+    storage: {
+        tables: infer U;
+    };
+} ? U : never;
+export type TableKey<TContract> = Extract<keyof TablesOf<TContract>, string>;
+/**
+ * Unique symbol for metadata property to avoid collisions with user-defined properties
+ */
+export declare const META: unique symbol;
+/**
+ * Extracts metadata from a type that has a META property
+ */
+export type Meta<T extends {
+    [META]: unknown;
+}> = T[typeof META];
+/**
+ * Metadata interface for table definitions
+ */
+export interface TableMetadata<Name extends string> {
+    name: Name;
+}
+/**
+ * Metadata interface for model definitions
+ */
+export interface ModelMetadata<Name extends string> {
+    name: Name;
+}
+/**
+ * Base interface for table definitions with metadata
+ * Used in contract.d.ts to define storage-level table types
+ */
+export interface TableDef<Name extends string> {
+    readonly [META]: TableMetadata<Name>;
+}
+/**
+ * Base interface for model definitions with metadata
+ * Used in contract.d.ts to define application-level model types
+ */
+export interface ModelDef<Name extends string> {
+    readonly [META]: ModelMetadata<Name>;
+}
+export type ColumnsOf<TContract, K extends TableKey<TContract>> = K extends keyof TablesOf<TContract> ? TablesOf<TContract>[K] extends {
+    columns: infer C;
+} ? C : never : never;
+export interface RawTemplateOptions {
+    readonly refs?: PlanRefs;
+    readonly annotations?: Record<string, unknown>;
+    readonly projection?: ReadonlyArray<string>;
+}
+export interface RawFunctionOptions extends RawTemplateOptions {
+    readonly params: ReadonlyArray<unknown>;
+}
+export type RawTemplateFactory = (strings: TemplateStringsArray, ...values: readonly unknown[]) => ExecutionPlan;
+export interface RawFactory extends RawTemplateFactory {
+    (text: string, options: RawFunctionOptions): ExecutionPlan;
+    with(options: RawTemplateOptions): RawTemplateFactory;
+}
+export type { RuntimeError } from '@prisma-next/plan';
+export interface BuildParamsMap {
+    readonly [name: string]: unknown;
+}
+export interface BuildOptions {
+    readonly params?: BuildParamsMap;
+}
+export 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>`
+ */
+export type ResultType<P> = P extends SqlQueryPlan<infer R> ? R : CoreResultType<P>;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,IAAI,cAAc,EAC5B,aAAa,EACb,QAAQ,EACT,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAC9F,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,KAAK,EACV,QAAQ,EACR,SAAS,EACT,SAAS,EACT,UAAU,EACV,gBAAgB,EAChB,aAAa,EACb,QAAQ,EACR,QAAQ,EACT,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AAC3C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAE7D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG,gBAAgB,GAAG,gBAAgB,CAAC;AAE9D,MAAM,WAAW,YAAY,CAC3B,WAAW,SAAS,MAAM,GAAG,MAAM,EACnC,WAAW,SAAS,aAAa,GAAG,aAAa,EACjD,OAAO,GAAG,OAAO;IAEjB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;CACzB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,gBAAgB,GAAG,aAAa,EACtC,GAAG,EAAE,SAAS,GACb,eAAe,CAEjB;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,CACvB,UAAU,SAAS,MAAM,GAAG,MAAM,EAClC,UAAU,SAAS,aAAa,GAAG,aAAa,EAChD,MAAM,GAAG,OAAO,EAChB,UAAU,SAAS,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IACvD;IACF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAEhC,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACtE,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACvE,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACtE,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACtE,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACvE,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACvE,GAAG,IAAI,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACpD,IAAI,IAAI,YAAY,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IACrD,6DAA6D;IAC7D,MAAM,IAAI,SAAS,CAAC;IAEpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,SAAS,MAAM,GACrC,UAAU,CAAC,SAAS,CAAC,SAAS,MAAM,UAAU,GAC5C,gBAAgB,CACd,mBAAmB,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,MAAM,EAAE,UAAU,CAAC,EAC/D,UAAU,EACV,aAAa,EACb,MAAM,CACP,GACD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACvB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE3B,MAAM,WAAW,aAAa,CAC5B,WAAW,SAAS,MAAM,GAAG,MAAM,EACnC,WAAW,SAAS,aAAa,GAAG,aAAa,EACjD,OAAO,GAAG,OAAO;IAEjB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;CAC7B;AAGD,MAAM,MAAM,gBAAgB,GAAG,aAAa,CAAC;AAC7C,MAAM,MAAM,eAAe,GAAG,YAAY,CAAC;AAE3C;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB,CAAC,MAAM,GAAG,OAAO,CAAE,SAAQ,gBAAgB;IAC3E,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAGnC,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACzC,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IAC1C,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACzC,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACzC,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IAC1C,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IAC1C,GAAG,IAAI,eAAe,CAAC;IACvB,IAAI,IAAI,eAAe,CAAC;IAExB,uEAAuE;IACvE,MAAM,IAAI,aAAa,CAAC;IAGxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAWD,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAEnC,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACzC,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IAC1C,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACzC,EAAE,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IACzC,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IAC1C,GAAG,CAAC,KAAK,EAAE,WAAW,GAAG,gBAAgB,CAAC;IAC1C,GAAG,IAAI,eAAe,CAAC;IACvB,IAAI,IAAI,eAAe,CAAC;IACxB,MAAM,IAAI,SAAS,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAE3B,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB,aAAa,CACX,MAAM,EACN,aAAa,EACb,OAAO,EAEP,GAAG,CACJ,GACD,oBAAoB,CAAC;AAEzB;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;AAEvE,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAOzE;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,gBAAgB,GAAG,eAAe,CAAC;CACzE;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC;CAClC;AAED,MAAM,MAAM,IAAI,GAAG,SAAS,GAAG,QAAQ,CAAC;AAExC;;;GAGG;AACH,KAAK,sBAAsB,CACzB,OAAO,SAAS,MAAM,EACtB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,IAC7D,OAAO,SAAS,MAAM,UAAU,GAChC,UAAU,CAAC,OAAO,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,CAAA;CAAE,GAC3D,MAAM,GACN,KAAK,GACP,KAAK,CAAC;AAEV;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC/C,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC,CAAC;AAEpF;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAEtE;;;;;;;;;GASG;AACH,MAAM,MAAM,mBAAmB,CAC7B,MAAM,SAAS,MAAM,EACrB,UAAU,SAAS,cAAc,IAC/B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACxC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACrB,MAAM,SAAS,MAAM,UAAU,GAC7B,UAAU,CAAC,MAAM,CAAC,GAClB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE5B;;;;GAIG;AACH,KAAK,gBAAgB,CACnB,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,EAClD,UAAU,SAAS,MAAM,EACzB,UAAU,SAAS,aAAa,EAChC,MAAM,IACJ;KACD,CAAC,IAAI,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,SAAS,sBAAsB,GACnD,CACE,GAAG,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KACnC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,GACvE,KAAK;CACV,CAAC;AAEF;;;;;GAKG;AACH,KAAK,aAAa,CAAC,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,IAAI,IAAI,SAAS,SAAS;IAC9E,MAAM,KAAK;IACX,GAAG,MAAM,IAAI;CACd,GACG,KAAK,SAAS,OAAO,GACnB,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,GACvF,EAAE,GACJ,EAAE,CAAC;AAEP,KAAK,SAAS,CAAC,GAAG,SAAS,OAAO,IAAI,GAAG,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAChE,mBAAmB,GACnB,GAAG,SAAS;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAC3B,gBAAgB,GAChB,GAAG,SAAS;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAC7B,OAAO,GACP,KAAK,CAAC;AAEd;;;;GAIG;AACH,KAAK,eAAe,CAClB,OAAO,SAAS,UAAU,EAC1B,WAAW,SAAS,MAAM,EAC1B,WAAW,SAAS,aAAa,EACjC,OAAO,IACL,OAAO,SAAS;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAClD,CAAC,SAAS,QAAQ,GAChB,iBAAiB,CAAC,MAAM,CAAC,GACzB,CAAC,SAAS,SAAS,GACjB,iBAAiB,CAAC,OAAO,CAAC,GAC1B,CAAC,SAAS,QAAQ,GAChB,iBAAiB,CAAC,MAAM,CAAC,GACzB,iBAAiB,CAAC,OAAO,CAAC,GAChC,OAAO,SAAS;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAChC,iBAAiB,CAAC,OAAO,CAAC,GAC1B,iBAAiB,CAAC,OAAO,CAAC,CAAC;AAEjC;;;;;;;GAOG;AACH,KAAK,gBAAgB,CAAC,UAAU,IAAI,UAAU,SAAS;IAAE,OAAO,EAAE,MAAM,OAAO,SAAS,MAAM,CAAA;CAAE,GAC5F,OAAO,GACP,UAAU,SAAS;IAAE,IAAI,EAAE,MAAM,MAAM,SAAS,MAAM,CAAA;CAAE,GACtD,MAAM,GACN,KAAK,CAAC;AAEZ,MAAM,MAAM,mBAAmB,CAC7B,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,EACzC,UAAU,SAAS,MAAM,EACzB,WAAW,SAAS,MAAM,EAC1B,UAAU,SAAS,aAAa,EAChC,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,IAC7D,UAAU,SAAS;IAAE,QAAQ,EAAE,MAAM,QAAQ,CAAA;CAAE,GAC/C,gBAAgB,CAAC,UAAU,CAAC,SAAS,MAAM,MAAM,GAC/C,MAAM,SAAS,MAAM,GACnB,sBAAsB,CAAC,MAAM,EAAE,UAAU,CAAC,SAAS,MAAM,WAAW,GAClE,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3B,OAAO,GACP,QAAQ,SAAS,IAAI,GACnB,WAAW,GAAG,IAAI,GAClB,WAAW,GACf,OAAO,GACT,OAAO,GACT,OAAO,GACT,OAAO,CAAC;AAEZ;;;;;GAKG;AACH;;GAEG;AACH,KAAK,8BAA8B,CAAC,EAAE,SAAS,gBAAgB,IAC7D,EAAE,SAAS,aAAa,CACtB,MAAM,WAAW,SAAS,MAAM,EAChC,MAAM,WAAW,SAAS,aAAa,EACvC,MAAM,MAAM,EACZ,MAAM,IAAI,CACX,GACG,MAAM,GACN,KAAK,CAAC;AAEZ,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,IAAI;KAC1E,CAAC,IAAI,MAAM,CAAC,GAAG,8BAA8B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CACnC,MAAM,EACJ,mBAAmB,GACnB,MAAM,CACJ,MAAM,EACJ,mBAAmB,GACnB,MAAM,CACJ,MAAM,EACJ,mBAAmB,GACnB,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAC5E,CACJ,CACJ,CAAC;AAEF;;;GAGG;AACH,KAAK,kBAAkB,CACrB,CAAC,SAAS,MAAM,EAChB,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACtC,CAAC,SAAS,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,MAAM,wBAAwB,CAClC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,mBAAmB,GAAG,OAAO,GAAG,gBAAgB,CAAC,EAC1E,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACvF,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAC9D;KACD,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,MAAM,MAAM,CAAC,GACxD,MAAM,GACN,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,GAC3B,8BAA8B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACpC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACf,KAAK,CAAC,kBAAkB,CAAC,CAAC,GAAG,MAAM,EAAE,QAAQ,CAAC,CAAC,GAC/C,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,GAC3B,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,GACpD,KAAK;CAChB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAAC,OAAO,SAAS,SAAS,gBAAgB,EAAE,IACvE,OAAO,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,GAAG,MAAM,IAAI,CAAC,GACjD,KAAK,SAAS,aAAa,CACzB,MAAM,IAAI,EACV,MAAM,KAAK,EACX,MAAM,MAAM,EACZ,MAAM,IAAI,SAAS,cAAc,CAClC,GACC,IAAI,SAAS,MAAM,GACjB,IAAI,SAAS,SAAS,gBAAgB,EAAE,GACtC;KAAG,CAAC,IAAI,IAAI,GAAG,MAAM;CAAE,GAAG,iBAAiB,CAAC,IAAI,CAAC,GACjD;KAAG,CAAC,IAAI,IAAI,GAAG,MAAM;CAAE,GACzB,KAAK,GACP,KAAK,GACP,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE5B;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,CAAC,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,IAC9E,SAAS,SAAS;IAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,GACxD,CAAC,SAAS,MAAM,GACd,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAC/C,CAAC,SAAS;KAAG,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU;CAAE,GACtC,UAAU,SAAS;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,IAAI,CAAA;CAAE,GACjD,IAAI,GACJ,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,GAAG,GAAG,OAAO,IAAI,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,QAAQ,CAAC,SAAS,IAAI,SAAS,SAAS;IAClD,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC;CAC9B,GACG,CAAC,GACD,KAAK,CAAC;AAEV,MAAM,MAAM,QAAQ,CAAC,SAAS,IAAI,OAAO,CAAC,MAAM,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;AAK7E;;GAEG;AACH,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,OAAO,MAAM,CAAC;AAEzC;;GAEG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS;IAAE,CAAC,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC;AAEjE;;GAEG;AACH,MAAM,WAAW,aAAa,CAAC,IAAI,SAAS,MAAM;IAChD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED;;GAEG;AACH,MAAM,WAAW,aAAa,CAAC,IAAI,SAAS,MAAM;IAChD,IAAI,EAAE,IAAI,CAAC;CACZ;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ,CAAC,IAAI,SAAS,MAAM;IAC3C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;CACtC;AAED;;;GAGG;AACH,MAAM,WAAW,QAAQ,CAAC,IAAI,SAAS,MAAM;IAC3C,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;CACtC;AAED,MAAM,MAAM,SAAS,CACnB,SAAS,EACT,CAAC,SAAS,QAAQ,CAAC,SAAS,CAAC,IAC3B,CAAC,SAAS,MAAM,QAAQ,CAAC,SAAS,CAAC,GACnC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC,CAAA;CAAE,GACjD,CAAC,GACD,KAAK,GACP,KAAK,CAAC;AAEV,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/C,QAAQ,CAAC,UAAU,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC7C;AAED,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC5D,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CACzC;AAED,MAAM,MAAM,kBAAkB,GAAG,CAC/B,OAAO,EAAE,oBAAoB,EAC7B,GAAG,MAAM,EAAE,SAAS,OAAO,EAAE,KAC1B,aAAa,CAAC;AAEnB,MAAM,WAAW,UAAW,SAAQ,kBAAkB;IACpD,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,aAAa,CAAC;IAC3D,IAAI,CAAC,OAAO,EAAE,kBAAkB,GAAG,kBAAkB,CAAC;CACvD;AAED,YAAY,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEtD,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;CAClC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC;CAClC;AAED,MAAM,WAAW,iBAAiB,CAChC,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC;IAEnE,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC;CAC/C;AAED;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC"}

package/dist/{exports/guards.d.mts → utils/guards.d.ts}

@@ -1,54 +1,50 @@
-import "../query-lane-context-wr_XXnB5.mjs";
-import { a as ColumnRef, g as LiteralExpr, l as Expression, u as ExpressionSource, v as OperationExpr, y as ParamRef } from "../plan-9PvH-Tu3.mjs";
-import { A as ParamPlaceholder, U as ValueSource, i as AnyExpressionSource, m as ExpressionBuilder, n as AnyColumnBuilder } from "../types-Bg2kUmUA.mjs";
-import { StorageColumn } from "@prisma-next/sql-contract/types";
-
-//#region src/utils/guards.d.ts
-
+import type { StorageColumn } from '@prisma-next/sql-contract/types';
+import type { ColumnRef, Expression, ExpressionSource, LiteralExpr, OperationExpr, ParamRef } from '../ast/types';
+import type { AnyColumnBuilder, AnyExpressionSource, ExpressionBuilder, ParamPlaceholder, ValueSource } from '../types';
 /**
  * Helper to extract columnMeta from a ColumnBuilder or ExpressionBuilder.
  * Returns StorageColumn if present, undefined otherwise.
  * Both ColumnBuilder and ExpressionBuilder have columnMeta property.
  */
-declare function getColumnMeta(expr: AnyExpressionSource): StorageColumn | undefined;
+export declare function getColumnMeta(expr: AnyExpressionSource): StorageColumn | undefined;
 /**
  * Type predicate to check if a value is a ParamPlaceholder.
  */
-declare function isParamPlaceholder(value: unknown): value is ParamPlaceholder;
+export declare function isParamPlaceholder(value: unknown): value is ParamPlaceholder;
 /**
  * Recursively extracts the base ColumnRef from an OperationExpr.
  * If the expression is already a ColumnRef, it is returned directly.
  */
-declare function extractBaseColumnRef(expr: ColumnRef | OperationExpr): ColumnRef;
+export declare function extractBaseColumnRef(expr: ColumnRef | OperationExpr): ColumnRef;
 /**
  * Recursively collects all ColumnRef nodes from an expression tree.
  * Handles nested OperationExpr structures by traversing both self and args.
  */
-declare function collectColumnRefs(expr: ColumnRef | ParamRef | LiteralExpr | OperationExpr): ColumnRef[];
+export declare function collectColumnRefs(expr: ColumnRef | ParamRef | LiteralExpr | OperationExpr): ColumnRef[];
 /**
  * Type predicate to check if an expression is an OperationExpr.
  */
-declare function isOperationExpr(expr: AnyExpressionSource | OperationExpr | Expression): expr is OperationExpr;
+export declare function isOperationExpr(expr: AnyExpressionSource | OperationExpr | Expression): expr is OperationExpr;
 /**
  * Helper to extract table and column from a ColumnBuilder, ExpressionBuilder, or OperationExpr.
  * For ExpressionBuilder or OperationExpr, recursively unwraps to find the base ColumnRef.
  */
-declare function getColumnInfo(expr: AnyExpressionSource | OperationExpr): {
-  table: string;
-  column: string;
+export declare function getColumnInfo(expr: AnyExpressionSource | OperationExpr): {
+    table: string;
+    column: string;
 };
 /**
  * Type predicate to check if a value is a ColumnBuilder.
  */
-declare function isColumnBuilder(value: unknown): value is AnyColumnBuilder;
+export declare function isColumnBuilder(value: unknown): value is AnyColumnBuilder;
 /**
  * Type predicate to check if a value is an ExpressionBuilder.
  */
-declare function isExpressionBuilder(value: unknown): value is ExpressionBuilder;
+export declare function isExpressionBuilder(value: unknown): value is ExpressionBuilder;
 /**
  * Type predicate to check if a value is an ExpressionSource (has toExpr method).
  */
-declare function isExpressionSource(value: unknown): value is ExpressionSource;
+export declare function isExpressionSource(value: unknown): value is ExpressionSource;
 /**
  * Converts any ExpressionSource to an Expression.
  * This is the canonical way to get an AST Expression from a builder.
@@ -56,7 +52,7 @@ declare function isExpressionSource(value: unknown): value is ExpressionSource;
  * @param source - A ColumnBuilder or ExpressionBuilder
  * @returns The corresponding Expression (ColumnRef or OperationExpr)
  */
-declare function toExpression(source: ExpressionSource): Expression;
+export declare function toExpression(source: ExpressionSource): Expression;
 /**
  * Converts an AnyExpressionSource to an Expression.
  * Handles both ColumnBuilder and ExpressionBuilder.
@@ -64,12 +60,12 @@ declare function toExpression(source: ExpressionSource): Expression;
  * @param source - A ColumnBuilder or ExpressionBuilder
  * @returns The corresponding Expression (ColumnRef or OperationExpr)
  */
-declare function expressionFromSource(source: AnyExpressionSource): Expression;
+export declare function expressionFromSource(source: AnyExpressionSource): Expression;
 /**
  * Type predicate to check if a value is a ValueSource.
  * ValueSource is either a ParamPlaceholder or an ExpressionSource.
  */
-declare function isValueSource(value: unknown): value is ValueSource;
+export declare function isValueSource(value: unknown): value is ValueSource;
 /**
  * Extracts and returns an OperationExpr from a builder.
  * Returns the OperationExpr if the builder is an OperationExpr or has an _operationExpr property,
@@ -82,7 +78,5 @@ declare function isValueSource(value: unknown): value is ValueSource;
  * The ExpressionBuilder type (introduced in the operation-expr-refactoring) provides a cleaner
  * approach by explicitly representing operation results as a distinct type.
  */
-declare function getOperationExpr(builder: AnyColumnBuilder | OperationExpr): OperationExpr | undefined;
-//#endregion
-export { collectColumnRefs, expressionFromSource, extractBaseColumnRef, getColumnInfo, getColumnMeta, getOperationExpr, isColumnBuilder, isExpressionBuilder, isExpressionSource, isOperationExpr, isParamPlaceholder, isValueSource, toExpression };
-//# sourceMappingURL=guards.d.mts.map
+export declare function getOperationExpr(builder: AnyColumnBuilder | OperationExpr): OperationExpr | undefined;
+//# sourceMappingURL=guards.d.ts.map

package/dist/utils/guards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"guards.d.ts","sourceRoot":"","sources":["../../src/utils/guards.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,KAAK,EACV,SAAS,EACT,UAAU,EACV,gBAAgB,EAChB,WAAW,EACX,aAAa,EACb,QAAQ,EACT,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EACV,gBAAgB,EAChB,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,WAAW,EACZ,MAAM,UAAU,CAAC;AAElB;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,mBAAmB,GAAG,aAAa,GAAG,SAAS,CAOlF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAS5E;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,SAAS,GAAG,aAAa,GAAG,SAAS,CAK/E;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,GAAG,QAAQ,GAAG,WAAW,GAAG,aAAa,GACvD,SAAS,EAAE,CAYb;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,mBAAmB,GAAG,aAAa,GAAG,UAAU,GACrD,IAAI,IAAI,aAAa,CAEvB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,mBAAmB,GAAG,aAAa,GAAG;IACxE,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,CAYA;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAOzE;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,iBAAiB,CAO9E;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,gBAAgB,CAO5E;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,gBAAgB,GAAG,UAAU,CAEjE;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,mBAAmB,GAAG,UAAU,CAE5E;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,WAAW,CAElE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,gBAAgB,GAAG,aAAa,GACxC,aAAa,GAAG,SAAS,CAM3B"}