@prisma-next/sql-relational-core 0.3.0-dev.5 → 0.3.0-dev.50

package/README.md

@@ -24,7 +24,9 @@ Provide shared relational primitives (schema builders, column builders, paramete
 - **Column Builders**: Provides column accessors with operation methods attached based on column typeId
 - **Parameter Helpers**: Creates parameter placeholders for query building
 - **Operations Registry**: Attaches registered operations as methods on column builders
+- **Execution Context Types**: Defines the context shape used by query lanes
 - **Type Definitions**: Defines TypeScript types for column builders, operations, and projections
+- **Codec Registry Types**: Defines codec interfaces and base SQL codec definitions
 
 **Non-goals:**
 - Query DSL construction (sql-lane)
@@ -42,6 +44,7 @@ flowchart TD
         PARAM[Parameter Helpers]
         OPS[Operations Registry]
         TYPES[Type Definitions]
+        AST[AST Types]
     end
 
     subgraph "Consumers"
@@ -59,6 +62,8 @@ flowchart TD
     OPS --> ORM
     TYPES --> SQL
     TYPES --> ORM
+    AST --> SQL
+    AST --> ORM
 ```
 
 ## Components
@@ -86,6 +91,15 @@ flowchart TD
 - Defines `SqlQueryPlan<Row>` interface for SQL query plans produced by lanes before lowering
 - Provides `augmentDescriptorWithColumnMeta(descriptors, columnMeta)` helper to update ParamDescriptor with `codecId` and `nativeType` from column metadata
 
+### AST Surface (`ast/*` via `exports/ast.ts`)
+- Query roots: `SelectAst`, `InsertAst`, `UpdateAst`, `DeleteAst`
+- Expressions: `ColumnRef`, `ParamRef`, `LiteralExpr`, `OperationExpr`, `ListLiteralExpr`
+- Predicates: `BinaryExpr` (ops: `eq`, `neq`, `gt`, `lt`, `gte`, `lte`, `like`, `ilike`, `in`, `notIn`), `AndExpr`, `OrExpr`, `ExistsExpr`, `NullCheckExpr`
+- Lane-agnostic filter interop: `WhereArg`, `ToWhereExpr`, and `BoundWhereExpr` for passing pre-bound filter payloads without lane-specific types
+- Joins: `JoinAst`, `JoinOnExpr` (eqCol or WhereExpr)
+- `SelectAst.selectAllIntent` — preserves select-all intent when normalized to explicit columns
+- `DeleteAst.where` and `UpdateAst.where` optional for mutation-without-WHERE lint support
+
 ### Type Definitions (`types.ts`)
 - Defines TypeScript types for column builders, operations, projections
 - Provides type inference utilities for extracting JavaScript types from codec types (e.g., `ExtractJsTypeFromColumnBuilder`)
@@ -95,9 +109,10 @@ flowchart TD
 ## Dependencies
 
 - **`@prisma-next/contract`**: Core contract types
+- **`@prisma-next/operations`**: Operation registry used by schema builders
 - **`@prisma-next/plan`**: Plan error helpers (`planInvalid`, `planUnsupported`) and `RuntimeError` type
-- **`@prisma-next/runtime`**: Runtime context types (TODO: Slice 6 will clean this up)
-- **`@prisma-next/sql-target`**: SQL contract types, adapter interfaces
+- **`@prisma-next/sql-contract`**: SQL contract types (via `@prisma-next/sql-contract/types`)
+- **`arktype`**: Parameter schema typing for codec definitions
 
 **Note**: This package does not depend on specific adapters (e.g., `@prisma-next/adapter-postgres`). Test fixtures define `CodecTypes` inline to remain adapter-agnostic and avoid cyclic dependencies.
 
@@ -112,6 +127,7 @@ This package follows the standard `exports/` directory pattern:
 - `src/exports/types.ts` - Re-exports type definitions
 - `src/exports/operations-registry.ts` - Re-exports operations registry
 - `src/exports/plan.ts` - Re-exports plan types and helpers
+- `src/exports/ast.ts` - Re-exports SQL AST types
 - `src/exports/errors.ts` - Re-exports error helpers (from `@prisma-next/plan`)
 - `src/index.ts` - Main entry point that re-exports from `exports/`
 

package/dist/errors-7_V3El9I.mjs

@@ -0,0 +1,3 @@
+import { planInvalid as planInvalid$1, planUnsupported } from "@prisma-next/plan";
+
+export { planUnsupported as n, planInvalid$1 as t };

package/dist/errors-DVufq9PT.d.mts

@@ -0,0 +1,2 @@
+import { planInvalid as planInvalid$1, planUnsupported } from "@prisma-next/plan";
+export { planUnsupported as n, planInvalid$1 as t };

package/dist/exports/ast.d.mts

@@ -0,0 +1,192 @@
+import { S as defineCodecs, _ as CodecRegistry, b as codec, d as CodecDefBuilder, f as CodecId, g as CodecParamsDescriptor, h as CodecOutput, m as CodecMeta, p as CodecInput, u as Codec, v as ExtractCodecTypes, x as createCodecRegistry, y as ExtractDataTypes } from "../query-lane-context-CgkPuKaR.mjs";
+import { A as WhereArg, C as OrExpr, D as TableRef, E as SelectAst, M as isOperationExpr, O as ToWhereExpr, S as OperationExpr, T as QueryAst, _ as JoinOnExpr, a as BinaryOp, b as LoweredStatement, c as DeleteAst, d as Expression, f as ExpressionSource, g as JoinAst, h as InsertAst, i as BinaryExpr, j as WhereExpr, k as UpdateAst, l as Direction, m as IncludeRef, o as BoundWhereExpr, p as IncludeAst, r as AndExpr, s as ColumnRef, u as ExistsExpr, v as ListLiteralExpr, w as ParamRef, x as NullCheckExpr, y as LiteralExpr } from "../plan-BhSWuTfw.mjs";
+import { b as JoinOnBuilder } from "../types-CEUzDuDC.mjs";
+
+//#region src/ast/adapter-types.d.ts
+type AdapterTarget = string;
+interface AdapterProfile<TTarget extends AdapterTarget = AdapterTarget> {
+  readonly id: string;
+  readonly target: TTarget;
+  readonly capabilities: Record<string, unknown>;
+  /**
+   * Returns the adapter's default codec registry.
+   * The registry contains codecs provided by the adapter for converting
+   * between wire types and JavaScript types.
+   */
+  codecs(): CodecRegistry;
+}
+interface LoweredPayload<TBody = unknown> {
+  readonly profileId?: string;
+  readonly body: TBody;
+  readonly annotations?: Record<string, unknown>;
+}
+interface LowererContext<TContract = unknown> {
+  readonly contract: TContract;
+  readonly params?: readonly unknown[];
+}
+type Lowerer<Ast = unknown, TContract = unknown, TBody = unknown> = (ast: Ast, context: LowererContext<TContract>) => LoweredPayload<TBody>;
+interface Adapter<Ast = unknown, TContract = unknown, TBody = unknown> {
+  readonly profile: AdapterProfile;
+  lower(ast: Ast, context: LowererContext<TContract>): LoweredPayload<TBody>;
+}
+//#endregion
+//#region src/ast/common.d.ts
+declare function createTableRef(name: string): TableRef;
+declare function createColumnRef(table: string, column: string): ColumnRef;
+declare function createParamRef(index: number, name?: string): ParamRef;
+declare function createOperationExpr(operation: OperationExpr): OperationExpr;
+declare function createLiteralExpr(value: unknown): LiteralExpr;
+//#endregion
+//#region src/ast/delete.d.ts
+interface CreateDeleteAstOptions {
+  readonly table: TableRef;
+  readonly where: WhereExpr;
+  readonly returning?: ReadonlyArray<ColumnRef>;
+}
+declare function createDeleteAst(options: CreateDeleteAstOptions): DeleteAst;
+//#endregion
+//#region src/ast/driver-types.d.ts
+interface SqlExecuteRequest {
+  readonly sql: string;
+  readonly params?: readonly unknown[];
+}
+interface SqlQueryResult<Row = Record<string, unknown>> {
+  readonly rows: ReadonlyArray<Row>;
+  readonly rowCount?: number | null;
+  readonly [key: string]: unknown;
+}
+interface SqlExplainResult<Row = Record<string, unknown>> {
+  readonly rows: ReadonlyArray<Row>;
+}
+type SqlDriverState = 'unbound' | 'connected' | 'closed';
+interface SqlDriver<TBinding = void> extends SqlQueryable {
+  readonly state?: SqlDriverState;
+  connect(binding: TBinding): Promise<void>;
+  acquireConnection(): Promise<SqlConnection>;
+  close(): Promise<void>;
+}
+interface SqlConnection extends SqlQueryable {
+  beginTransaction(): Promise<SqlTransaction>;
+  release(): Promise<void>;
+}
+interface SqlTransaction extends SqlQueryable {
+  commit(): Promise<void>;
+  rollback(): Promise<void>;
+}
+interface SqlQueryable {
+  execute<Row = Record<string, unknown>>(request: SqlExecuteRequest): AsyncIterable<Row>;
+  explain?(request: SqlExecuteRequest): Promise<SqlExplainResult>;
+  query<Row = Record<string, unknown>>(sql: string, params?: readonly unknown[]): Promise<SqlQueryResult<Row>>;
+}
+//#endregion
+//#region src/ast/insert.d.ts
+interface CreateInsertAstOptions {
+  readonly table: TableRef;
+  readonly values: Record<string, ColumnRef | ParamRef>;
+  readonly returning?: ReadonlyArray<ColumnRef>;
+}
+declare function createInsertAst(options: CreateInsertAstOptions): InsertAst;
+//#endregion
+//#region src/ast/join.d.ts
+declare function createJoin(joinType: 'inner' | 'left' | 'right' | 'full', table: TableRef, on: JoinOnExpr): JoinAst;
+declare function createJoinOnExpr(left: ColumnRef, right: ColumnRef): JoinOnExpr;
+declare function createJoinOnBuilder(): JoinOnBuilder;
+//#endregion
+//#region src/ast/order.d.ts
+declare function createOrderByItem(expr: ColumnRef | OperationExpr, dir: 'asc' | 'desc'): {
+  expr: ColumnRef | OperationExpr;
+  dir: Direction;
+};
+//#endregion
+//#region src/ast/predicate.d.ts
+declare function createBinaryExpr(op: BinaryOp, left: Expression, right: Expression | ParamRef | LiteralExpr | ListLiteralExpr): BinaryExpr;
+declare function createExistsExpr(not: boolean, subquery: SelectAst): ExistsExpr;
+declare function createNullCheckExpr(expr: Expression, isNull: boolean): NullCheckExpr;
+//#endregion
+//#region src/ast/select.d.ts
+interface CreateSelectAstOptions {
+  readonly from: TableRef;
+  readonly joins?: ReadonlyArray<JoinAst>;
+  readonly includes?: ReadonlyArray<IncludeAst>;
+  readonly project: ReadonlyArray<{
+    alias: string;
+    expr: ColumnRef | IncludeRef | OperationExpr;
+  }>;
+  readonly where?: WhereExpr;
+  readonly orderBy?: ReadonlyArray<{
+    expr: ColumnRef | OperationExpr;
+    dir: Direction;
+  }>;
+  readonly limit?: number;
+  readonly selectAllIntent?: {
+    table?: string;
+  };
+}
+declare function createSelectAst(options: CreateSelectAstOptions): SelectAst;
+//#endregion
+//#region src/ast/sql-codecs.d.ts
+declare const SQL_CHAR_CODEC_ID: "sql/char@1";
+declare const SQL_VARCHAR_CODEC_ID: "sql/varchar@1";
+declare const SQL_INT_CODEC_ID: "sql/int@1";
+declare const SQL_FLOAT_CODEC_ID: "sql/float@1";
+declare const codecs: CodecDefBuilder<{
+  char: Codec<"sql/char@1", string, string, Record<string, unknown>, unknown>;
+  varchar: Codec<"sql/varchar@1", string, string, Record<string, unknown>, unknown>;
+  int: Codec<"sql/int@1", number, number, Record<string, unknown>, unknown>;
+} & Record<"float", Codec<"sql/float@1", number, number, Record<string, unknown>, unknown>>>;
+declare const sqlCodecDefinitions: {
+  readonly char: {
+    readonly typeId: "sql/char@1";
+    readonly scalar: "char";
+    readonly codec: Codec<"sql/char@1", string, string, Record<string, unknown>, unknown>;
+    readonly input: string;
+    readonly output: string;
+    readonly jsType: string;
+  };
+  readonly varchar: {
+    readonly typeId: "sql/varchar@1";
+    readonly scalar: "varchar";
+    readonly codec: Codec<"sql/varchar@1", string, string, Record<string, unknown>, unknown>;
+    readonly input: string;
+    readonly output: string;
+    readonly jsType: string;
+  };
+  readonly int: {
+    readonly typeId: "sql/int@1";
+    readonly scalar: "int";
+    readonly codec: Codec<"sql/int@1", number, number, Record<string, unknown>, unknown>;
+    readonly input: number;
+    readonly output: number;
+    readonly jsType: number;
+  };
+  readonly float: {
+    readonly typeId: "sql/float@1";
+    readonly scalar: "float";
+    readonly codec: Codec<"sql/float@1", number, number, Record<string, unknown>, unknown>;
+    readonly input: number;
+    readonly output: number;
+    readonly jsType: number;
+  };
+};
+declare const sqlDataTypes: {
+  readonly char: "sql/char@1";
+  readonly varchar: "sql/varchar@1";
+  readonly int: "sql/int@1";
+  readonly float: "sql/float@1";
+};
+type SqlCodecTypes = typeof codecs.CodecTypes;
+//#endregion
+//#region src/ast/update.d.ts
+interface CreateUpdateAstOptions {
+  readonly table: TableRef;
+  readonly set: Record<string, ColumnRef | ParamRef>;
+  readonly where?: WhereExpr;
+  readonly returning?: ReadonlyArray<ColumnRef>;
+}
+declare function createUpdateAst(options: CreateUpdateAstOptions): UpdateAst;
+//#endregion
+//#region src/ast/util.d.ts
+declare function compact<T extends Record<string, unknown>>(o: T): T;
+//#endregion
+export { Adapter, AdapterProfile, AdapterTarget, AndExpr, BinaryExpr, BinaryOp, BoundWhereExpr, Codec, CodecDefBuilder, CodecId, CodecInput, CodecMeta, CodecOutput, CodecParamsDescriptor, CodecRegistry, ColumnRef, CreateDeleteAstOptions, CreateInsertAstOptions, CreateSelectAstOptions, CreateUpdateAstOptions, DeleteAst, Direction, ExistsExpr, Expression, ExpressionSource, ExtractCodecTypes, ExtractDataTypes, IncludeAst, IncludeRef, InsertAst, JoinAst, JoinOnExpr, ListLiteralExpr, LiteralExpr, LoweredPayload, LoweredStatement, Lowerer, LowererContext, NullCheckExpr, OperationExpr, OrExpr, ParamRef, QueryAst, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_VARCHAR_CODEC_ID, SelectAst, SqlCodecTypes, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlQueryResult, SqlQueryable, SqlTransaction, TableRef, ToWhereExpr, UpdateAst, WhereArg, WhereExpr, codec, compact, createBinaryExpr, createCodecRegistry, createColumnRef, createDeleteAst, createExistsExpr, createInsertAst, createJoin, createJoinOnBuilder, createJoinOnExpr, createLiteralExpr, createNullCheckExpr, createOperationExpr, createOrderByItem, createParamRef, createSelectAst, createTableRef, createUpdateAst, defineCodecs, isOperationExpr, sqlCodecDefinitions, sqlDataTypes };
+//# sourceMappingURL=ast.d.mts.map

package/dist/exports/ast.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.mts","names":[],"sources":["../../src/ast/adapter-types.ts","../../src/ast/common.ts","../../src/ast/delete.ts","../../src/ast/driver-types.ts","../../src/ast/insert.ts","../../src/ast/join.ts","../../src/ast/order.ts","../../src/ast/predicate.ts","../../src/ast/select.ts","../../src/ast/sql-codecs.ts","../../src/ast/update.ts","../../src/ast/util.ts"],"sourcesContent":[],"mappings":";;;;;KAEY,aAAA;UAEK,+BAA+B,gBAAgB;;mBAE7C;EAJP,SAAA,YAAa,EAKA,MALA,CAAA,MAAA,EAAA,OAAA,CAAA;EAER;;;;;EASL,MAAA,EAAA,EAAA,aAAA;;AAGK,UAAA,cAAc,CAAA,QAEd,OACQ,CAAA,CAAA;EAGR,SAAA,SAAc,CAAA,EAAA,MAAA;EAKnB,SAAA,IAAO,EATF,KASE;EACZ,SAAA,WAAA,CAAA,EATkB,MASlB,CAAA,MAAA,EAAA,OAAA,CAAA;;AACI,UAPM,cAON,CAAA,YAAA,OAAA,CAAA,CAAA;EACS,SAAA,QAAA,EAPC,SAOD;EAAf,SAAA,MAAA,CAAA,EAAA,SAAA,OAAA,EAAA;;AAEY,KALL,OAKY,CAAA,MAAA,OAAA,EAAA,YAAA,OAAA,EAAA,QAAA,OAAA,CAAA,GAAA,CAAA,GAAA,EAJjB,GAIiB,EAAA,OAAA,EAHb,cAGa,CAHE,SAGF,CAAA,EAAA,GAFnB,cAEmB,CAFJ,KAEI,CAAA;AACJ,UADH,OACG,CAAA,MAAA,OAAA,EAAA,YAAA,OAAA,EAAA,QAAA,OAAA,CAAA,CAAA;EACP,SAAA,OAAA,EADO,cACP;EAA6B,KAAA,CAAA,GAAA,EAA7B,GAA6B,EAAA,OAAA,EAAf,cAAe,CAAA,SAAA,CAAA,CAAA,EAAa,cAAb,CAA4B,KAA5B,CAAA;;;;iBC/B1B,cAAA,gBAA8B;iBAO9B,eAAA,iCAAgD;iBAQhD,cAAA,gCAA8C;iBAQ9C,mBAAA,YAA+B,gBAAgB;ADxBnD,iBC4BI,iBAAA,CD5BS,KAAA,EAAA,OAAA,CAAA,EC4B0B,WD5B1B;;;UECR,sBAAA;kBACC;kBACA;uBACK,cAAc;AFJrC;AAEiB,iBEKD,eAAA,CFLe,OAAA,EEKU,sBFLV,CAAA,EEKmC,SFLnC;;;UGJd,iBAAA;;;;UAKA,qBAAqB;EHH1B,SAAA,IAAA,EGIK,aHJQ,CGIM,GHJN,CAAA;EAER,SAAA,QAAc,CAAA,EAAA,MAAA,GAAA,IAAA;EAAiB,UAAA,GAAA,EAAA,MAAA,CAAA,EAAA,OAAA;;AAE7B,UGKF,gBHLE,CAAA,MGKqB,MHLrB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA;EACM,SAAA,IAAA,EGKR,aHLQ,CGKM,GHLN,CAAA;;AAMA,KGEb,cAAA,GHFa,SAAA,GAAA,WAAA,GAAA,QAAA;AAGR,UGCA,SHDc,CAAA,WAAA,IAEd,CAAA,SGDmC,YHErB,CAAA;EAGd,SAAA,KAAA,CAAA,EGJE,cHIY;EAKnB,OAAA,CAAA,OAAO,EGRA,QHQA,CAAA,EGRW,OHQX,CAAA,IAAA,CAAA;EACZ,iBAAA,EAAA,EGRgB,OHQhB,CGRwB,aHQxB,CAAA;EACmB,KAAA,EAAA,EGRf,OHQe,CAAA,IAAA,CAAA;;AACN,UGNH,aAAA,SAAsB,YHMnB,CAAA;EAAf,gBAAA,EAAA,EGLiB,OHKjB,CGLyB,cHKzB,CAAA;EAAc,OAAA,EAAA,EGJN,OHIM,CAAA,IAAA,CAAA;AAEnB;AACoB,UGJH,cAAA,SAAuB,YHIpB,CAAA;EACP,MAAA,EAAA,EGJD,OHIC,CAAA,IAAA,CAAA;EAA6B,QAAA,EAAA,EGH5B,OHG4B,CAAA,IAAA,CAAA;;AAA4B,UGArD,YAAA,CHAqD;EAAf,OAAA,CAAA,MGCvC,MHDuC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA,OAAA,EGCL,iBHDK,CAAA,EGCe,aHDf,CGC6B,GHD7B,CAAA;EAAc,OAAA,EAAA,OAAA,EGEjD,iBHFiD,CAAA,EGE7B,OHF6B,CGErB,gBHFqB,CAAA;cGGvD,oEAGT,QAAQ,eAAe;;;;UCrCX,sBAAA;kBACC;mBACC,eAAe,YAAY;uBACvB,cAAc;AJJrC;AAEiB,iBIKD,eAAA,CJLe,OAAA,EIKU,sBJLV,CAAA,EIKmC,SJLnC;;;iBKCf,UAAA,uDAEP,cACH,aACH;iBASa,gBAAA,OAAuB,kBAAkB,YAAY;iBAiCrD,mBAAA,CAAA,GAAuB;;;iBCjDvB,iBAAA,OACR,YAAY;QAET,YAAY;OAAoB;;;;iBCO3B,gBAAA,KACV,gBACE,mBACC,aAAa,WAAW,cAAc,kBAC5C;iBASa,gBAAA,yBAAyC,YAAY;iBAQrD,mBAAA,OAA0B,8BAA8B;;;UCpBvD,sBAAA;iBACA;mBACE,cAAc;sBACX,cAAc;ERdxB,SAAA,OAAa,EQeL,aRfK,CAAA;IAER,KAAA,EAAA,MAAc;IAAiB,IAAA,EQetC,SRfsC,GQe1B,URf0B,GQeb,aRfa;EAAgB,CAAA,CAAA;EAE7C,SAAA,KAAA,CAAA,EQeA,SRfA;EACM,SAAA,OAAA,CAAA,EQeJ,aRfI,CAAA;IAMb,IAAA,EQS+B,SRT/B,GQS2C,aRT3C;IAAa,GAAA,EQSkD,SRTlD;EAGR,CAAA,CAAA;EAMA,SAAA,KAAA,CAAA,EAAc,MAAA;EAKnB,SAAA,eAAO,CAAA,EAAA;IACZ,KAAA,CAAA,EAAA,MAAA;EACmB,CAAA;;AACN,iBQHJ,eAAA,CRGI,OAAA,EQHqB,sBRGrB,CAAA,EQH8C,SRG9C;;;cS3BP;cACA;cACA;cACA;cAoDP;ETxDM,IAAA,OAAa,CAAA,YAAA,EAAA,MAAA,EAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,OAAA,CAAA;EAER,OAAA,OAAc,CAAA,eAAA,EAAA,MAAA,EAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,OAAA,CAAA;EAAiB,GAAA,OAAA,CAAA,WAAA,EAAA,MAAA,EAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,OAAA,CAAA;CAAgB,SAAA,CAAA,OAAA,OAAA,CAAA,aAAA,EAAA,MAAA,EAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,OAAA,CAAA,CAAA,CAAA;AAE7C,cS0DN,mBT1DM,EAAA;EACM,SAAA,IAAA,EAAA;IAMb,SAAA,MAAA,EAAA,YAAA;IAAa,SAAA,MAAA,EAAA,MAAA;IAGR,SAAA,KAAc,OAGA,CAAA,YAAA,EAAA,MAAA,EAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,OAAA,CAAA;IAGd,SAAA,KAAc,EAAA,MAAA;IAKnB,SAAO,MAAA,EAAA,MAAA;IACZ,SAAA,MAAA,EAAA,MAAA;EACmB,CAAA;EAAf,SAAA,OAAA,EAAA;IACS,SAAA,MAAA,EAAA,eAAA;IAAf,SAAA,MAAA,EAAA,SAAA;IAAc,SAAA,KAAA,OAAA,CAAA,eAAA,EAAA,MAAA,EAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,OAAA,CAAA;IAEF,SAAO,KAAA,EAAA,MAAA;IACJ,SAAA,MAAA,EAAA,MAAA;IACP,SAAA,MAAA,EAAA,MAAA;EAA6B,CAAA;EAAf,SAAA,GAAA,EAAA;IAA2C,SAAA,MAAA,EAAA,WAAA;IAAf,SAAA,MAAA,EAAA,KAAA;IAAc,SAAA,KAAA,OAAA,CAAA,WAAA,EAAA,MAAA,EAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,OAAA,CAAA;;;;EC/BrD,CAAA;EAOA,SAAA,KAAA,EAAA;IAQA,SAAA,MAAc,EAAA,aAAgC;IAQ9C,SAAA,MAAA,EAAA,OAAmB;IAInB,SAAA,KAAA,OAA8C,CAAA,aAAA,EAAA,MAAA,EAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,OAAA,CAAA;;;;EC3B7C,CAAA;CACC;AACA,cO4DL,YP5DK,EAAA;EACmB,SAAA,IAAA,EAAA,YAAA;EAAd,SAAA,OAAA,EAAA,eAAA;EAAa,SAAA,GAAA,EAAA,WAAA;EAGpB,SAAA,KAAA,EAAA,aAAe;;KOyDnB,aAAA,UAAuB,MAAA,CAAO;;;UC/DzB,sBAAA;kBACC;gBACF,eAAe,YAAY;mBACxB;EVJP,SAAA,SAAa,CAAA,EUKF,aVLE,CUKY,SVLZ,CAAA;AAEzB;AAAgD,iBUMhC,eAAA,CVNgC,OAAA,EUMP,sBVNO,CAAA,EUMkB,SVNlB;;;iBWJhC,kBAAkB,4BAA4B,IAAI"}

package/dist/exports/ast.mjs

@@ -0,0 +1,361 @@
+import { n as isColumnBuilder } from "../types-Cdi4Whda.mjs";
+import { ifDefined } from "@prisma-next/utils/defined";
+import { planInvalid } from "@prisma-next/plan";
+import { type } from "arktype";
+
+//#region src/ast/codec-types.ts
+/**
+* Implementation of CodecRegistry.
+*/
+var CodecRegistryImpl = class {
+	_byId = /* @__PURE__ */ new Map();
+	_byScalar = /* @__PURE__ */ new Map();
+	/**
+	* Map-like interface for codec lookup by ID.
+	* Example: registry.get('pg/text@1')
+	*/
+	get(id) {
+		return this._byId.get(id);
+	}
+	/**
+	* Check if a codec with the given ID is registered.
+	*/
+	has(id) {
+		return this._byId.has(id);
+	}
+	/**
+	* Get all codecs that handle a given scalar type.
+	* Returns an empty frozen array if no codecs are found.
+	* Example: registry.getByScalar('text') → [codec1, codec2, ...]
+	*/
+	getByScalar(scalar) {
+		return this._byScalar.get(scalar) ?? Object.freeze([]);
+	}
+	/**
+	* Get the default codec for a scalar type (first registered codec).
+	* Returns undefined if no codec handles this scalar type.
+	*/
+	getDefaultCodec(scalar) {
+		return this._byScalar.get(scalar)?.[0];
+	}
+	/**
+	* Register a codec in the registry.
+	* Throws an error if a codec with the same ID is already registered.
+	*
+	* @param codec - The codec to register
+	* @throws Error if a codec with the same ID already exists
+	*/
+	register(codec$1) {
+		if (this._byId.has(codec$1.id)) throw new Error(`Codec with ID '${codec$1.id}' is already registered`);
+		this._byId.set(codec$1.id, codec$1);
+		for (const scalarType of codec$1.targetTypes) {
+			const existing = this._byScalar.get(scalarType);
+			if (existing) existing.push(codec$1);
+			else this._byScalar.set(scalarType, [codec$1]);
+		}
+	}
+	/**
+	* Returns an iterator over all registered codecs.
+	* Useful for iterating through codecs from another registry.
+	*/
+	*[Symbol.iterator]() {
+		for (const codec$1 of this._byId.values()) yield codec$1;
+	}
+	/**
+	* Returns an iterable of all registered codecs.
+	*/
+	values() {
+		return this._byId.values();
+	}
+};
+/**
+* Codec factory - creates a codec with typeId and encode/decode functions.
+*/
+function codec(config) {
+	return {
+		id: config.typeId,
+		targetTypes: config.targetTypes,
+		...ifDefined("meta", config.meta),
+		...ifDefined("paramsSchema", config.paramsSchema),
+		...ifDefined("init", config.init),
+		encode: config.encode,
+		decode: config.decode
+	};
+}
+/**
+* Implementation of CodecDefBuilder.
+*/
+var CodecDefBuilderImpl = class CodecDefBuilderImpl {
+	_codecs;
+	CodecTypes;
+	dataTypes;
+	constructor(codecs$1) {
+		this._codecs = codecs$1;
+		const codecTypes = {};
+		for (const [, codecImpl] of Object.entries(this._codecs)) {
+			const codecImplTyped = codecImpl;
+			codecTypes[codecImplTyped.id] = {
+				input: void 0,
+				output: void 0
+			};
+		}
+		this.CodecTypes = codecTypes;
+		const dataTypes = {};
+		for (const key in this._codecs) if (Object.hasOwn(this._codecs, key)) dataTypes[key] = this._codecs[key].id;
+		this.dataTypes = dataTypes;
+	}
+	add(scalarName, codecImpl) {
+		return new CodecDefBuilderImpl({
+			...this._codecs,
+			[scalarName]: codecImpl
+		});
+	}
+	/**
+	* Derive codecDefinitions structure.
+	*/
+	get codecDefinitions() {
+		const result = {};
+		for (const [scalarName, codecImpl] of Object.entries(this._codecs)) {
+			const codec$1 = codecImpl;
+			result[scalarName] = {
+				typeId: codec$1.id,
+				scalar: scalarName,
+				codec: codec$1,
+				input: void 0,
+				output: void 0,
+				jsType: void 0
+			};
+		}
+		return result;
+	}
+};
+/**
+* Create a new codec registry.
+*/
+function createCodecRegistry() {
+	return new CodecRegistryImpl();
+}
+/**
+* Create a new codec definition builder.
+*/
+function defineCodecs() {
+	return new CodecDefBuilderImpl({});
+}
+
+//#endregion
+//#region src/ast/util.ts
+function compact(o) {
+	const out = {};
+	for (const [k, v] of Object.entries(o)) {
+		if (v === void 0 || v === null) continue;
+		if (Array.isArray(v) && v.length === 0) continue;
+		out[k] = v;
+	}
+	return out;
+}
+
+//#endregion
+//#region src/ast/common.ts
+function createTableRef(name) {
+	return {
+		kind: "table",
+		name
+	};
+}
+function createColumnRef(table, column) {
+	return {
+		kind: "col",
+		table,
+		column
+	};
+}
+function createParamRef(index, name) {
+	return compact({
+		kind: "param",
+		index,
+		name
+	});
+}
+function createOperationExpr(operation) {
+	return operation;
+}
+function createLiteralExpr(value) {
+	return {
+		kind: "literal",
+		value
+	};
+}
+
+//#endregion
+//#region src/ast/delete.ts
+function createDeleteAst(options) {
+	return compact({
+		kind: "delete",
+		table: options.table,
+		where: options.where,
+		returning: options.returning
+	});
+}
+
+//#endregion
+//#region src/ast/insert.ts
+function createInsertAst(options) {
+	return compact({
+		kind: "insert",
+		table: options.table,
+		values: options.values,
+		returning: options.returning
+	});
+}
+
+//#endregion
+//#region src/ast/join.ts
+function createJoin(joinType, table, on) {
+	return {
+		kind: "join",
+		joinType,
+		table,
+		on
+	};
+}
+function createJoinOnExpr(left, right) {
+	return {
+		kind: "eqCol",
+		left,
+		right
+	};
+}
+var JoinOnBuilderImpl = class {
+	eqCol(left, right) {
+		if (!left || !isColumnBuilder(left)) throw planInvalid("Join ON left operand must be a column");
+		if (!right || !isColumnBuilder(right)) throw planInvalid("Join ON right operand must be a column");
+		const leftCol = left;
+		const rightCol = right;
+		if (leftCol.table === rightCol.table) throw planInvalid("Self-joins are not supported in MVP");
+		return {
+			kind: "join-on",
+			left,
+			right
+		};
+	}
+};
+function createJoinOnBuilder() {
+	return new JoinOnBuilderImpl();
+}
+
+//#endregion
+//#region src/ast/order.ts
+function createOrderByItem(expr, dir) {
+	return {
+		expr,
+		dir
+	};
+}
+
+//#endregion
+//#region src/ast/predicate.ts
+function createBinaryExpr(op, left, right) {
+	return {
+		kind: "bin",
+		op,
+		left,
+		right
+	};
+}
+function createExistsExpr(not, subquery) {
+	return {
+		kind: "exists",
+		not,
+		subquery
+	};
+}
+function createNullCheckExpr(expr, isNull) {
+	return {
+		kind: "nullCheck",
+		expr,
+		isNull
+	};
+}
+
+//#endregion
+//#region src/ast/select.ts
+function createSelectAst(options) {
+	return compact({
+		kind: "select",
+		from: options.from,
+		joins: options.joins,
+		includes: options.includes,
+		project: options.project,
+		where: options.where,
+		orderBy: options.orderBy,
+		limit: options.limit,
+		selectAllIntent: options.selectAllIntent
+	});
+}
+
+//#endregion
+//#region src/ast/sql-codecs.ts
+const SQL_CHAR_CODEC_ID = "sql/char@1";
+const SQL_VARCHAR_CODEC_ID = "sql/varchar@1";
+const SQL_INT_CODEC_ID = "sql/int@1";
+const SQL_FLOAT_CODEC_ID = "sql/float@1";
+const lengthParamsSchema = type({ length: "number.integer > 0" });
+function createLengthTypeHelper(kind) {
+	return (params) => ({
+		kind,
+		maxLength: params["length"]
+	});
+}
+const sqlCharCodec = codec({
+	typeId: SQL_CHAR_CODEC_ID,
+	targetTypes: ["char"],
+	encode: (value) => value,
+	decode: (wire) => wire.trimEnd(),
+	paramsSchema: lengthParamsSchema,
+	init: createLengthTypeHelper("fixed")
+});
+const sqlVarcharCodec = codec({
+	typeId: SQL_VARCHAR_CODEC_ID,
+	targetTypes: ["varchar"],
+	encode: (value) => value,
+	decode: (wire) => wire,
+	paramsSchema: lengthParamsSchema,
+	init: createLengthTypeHelper("variable")
+});
+const sqlIntCodec = codec({
+	typeId: SQL_INT_CODEC_ID,
+	targetTypes: ["int"],
+	encode: (value) => value,
+	decode: (wire) => wire
+});
+const sqlFloatCodec = codec({
+	typeId: SQL_FLOAT_CODEC_ID,
+	targetTypes: ["float"],
+	encode: (value) => value,
+	decode: (wire) => wire
+});
+const codecs = defineCodecs().add("char", sqlCharCodec).add("varchar", sqlVarcharCodec).add("int", sqlIntCodec).add("float", sqlFloatCodec);
+const sqlCodecDefinitions = codecs.codecDefinitions;
+const sqlDataTypes = codecs.dataTypes;
+
+//#endregion
+//#region src/ast/types.ts
+function isOperationExpr(expr) {
+	return expr.kind === "operation";
+}
+
+//#endregion
+//#region src/ast/update.ts
+function createUpdateAst(options) {
+	return compact({
+		kind: "update",
+		table: options.table,
+		set: options.set,
+		where: options.where,
+		returning: options.returning
+	});
+}
+
+//#endregion
+export { SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_VARCHAR_CODEC_ID, codec, compact, createBinaryExpr, createCodecRegistry, createColumnRef, createDeleteAst, createExistsExpr, createInsertAst, createJoin, createJoinOnBuilder, createJoinOnExpr, createLiteralExpr, createNullCheckExpr, createOperationExpr, createOrderByItem, createParamRef, createSelectAst, createTableRef, createUpdateAst, defineCodecs, isOperationExpr, sqlCodecDefinitions, sqlDataTypes };
+//# sourceMappingURL=ast.mjs.map