@prisma-next/sql-relational-core 0.2.0 → 0.3.0-dev.10

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (95) hide show
  1. package/README.md +1 -1
  2. package/dist/ast/adapter-types.d.ts +28 -0
  3. package/dist/ast/adapter-types.d.ts.map +1 -0
  4. package/dist/{query-lane-context-BhOMmb_K.d.ts → ast/codec-types.d.ts} +14 -31
  5. package/dist/ast/codec-types.d.ts.map +1 -0
  6. package/dist/ast/common.d.ts +7 -0
  7. package/dist/ast/common.d.ts.map +1 -0
  8. package/dist/ast/delete.d.ts +8 -0
  9. package/dist/ast/delete.d.ts.map +1 -0
  10. package/dist/ast/driver-types.d.ts +20 -0
  11. package/dist/ast/driver-types.d.ts.map +1 -0
  12. package/dist/ast/insert.d.ts +8 -0
  13. package/dist/ast/insert.d.ts.map +1 -0
  14. package/dist/ast/join.d.ts +6 -0
  15. package/dist/ast/join.d.ts.map +1 -0
  16. package/dist/ast/order.d.ts +6 -0
  17. package/dist/ast/order.d.ts.map +1 -0
  18. package/dist/ast/predicate.d.ts +4 -0
  19. package/dist/ast/predicate.d.ts.map +1 -0
  20. package/dist/ast/select.d.ts +18 -0
  21. package/dist/ast/select.d.ts.map +1 -0
  22. package/dist/{plan-D0OG5qzy.d.ts → ast/types.d.ts} +23 -47
  23. package/dist/ast/types.d.ts.map +1 -0
  24. package/dist/ast/update.d.ts +9 -0
  25. package/dist/ast/update.d.ts.map +1 -0
  26. package/dist/ast/util.d.ts +2 -0
  27. package/dist/ast/util.d.ts.map +1 -0
  28. package/dist/errors.d.ts +2 -0
  29. package/dist/errors.d.ts.map +1 -0
  30. package/dist/exports/ast.d.ts +14 -119
  31. package/dist/exports/ast.d.ts.map +1 -0
  32. package/dist/exports/errors.d.ts +2 -1
  33. package/dist/exports/errors.d.ts.map +1 -0
  34. package/dist/exports/guards.d.ts +2 -63
  35. package/dist/exports/guards.d.ts.map +1 -0
  36. package/dist/exports/operations-registry.d.ts +2 -13
  37. package/dist/exports/operations-registry.d.ts.map +1 -0
  38. package/dist/exports/param.d.ts +3 -14
  39. package/dist/exports/param.d.ts.map +1 -0
  40. package/dist/exports/plan.d.ts +2 -5
  41. package/dist/exports/plan.d.ts.map +1 -0
  42. package/dist/exports/query-lane-context.d.ts +2 -4
  43. package/dist/exports/query-lane-context.d.ts.map +1 -0
  44. package/dist/exports/schema.d.ts +3 -69
  45. package/dist/exports/schema.d.ts.map +1 -0
  46. package/dist/exports/types.d.ts +2 -335
  47. package/dist/exports/types.d.ts.map +1 -0
  48. package/dist/index.d.ts +9 -13
  49. package/dist/index.d.ts.map +1 -0
  50. package/dist/operations-registry.d.ts +5 -0
  51. package/dist/operations-registry.d.ts.map +1 -0
  52. package/dist/param.d.ts +4 -0
  53. package/dist/param.d.ts.map +1 -0
  54. package/dist/plan.d.ts +23 -0
  55. package/dist/plan.d.ts.map +1 -0
  56. package/dist/query-lane-context.d.ts +16 -0
  57. package/dist/query-lane-context.d.ts.map +1 -0
  58. package/dist/schema.d.ts +63 -0
  59. package/dist/schema.d.ts.map +1 -0
  60. package/dist/types.d.ts +332 -0
  61. package/dist/types.d.ts.map +1 -0
  62. package/dist/utils/guards.d.ts +55 -0
  63. package/dist/utils/guards.d.ts.map +1 -0
  64. package/package.json +14 -14
  65. package/src/ast/adapter-types.ts +36 -0
  66. package/src/ast/codec-types.ts +375 -0
  67. package/src/ast/common.ts +36 -0
  68. package/src/ast/delete.ts +17 -0
  69. package/src/ast/driver-types.ts +25 -0
  70. package/src/ast/insert.ts +17 -0
  71. package/src/ast/join.ts +54 -0
  72. package/src/ast/order.ts +11 -0
  73. package/src/ast/predicate.ts +30 -0
  74. package/src/ast/select.ts +39 -0
  75. package/src/ast/types.ts +133 -0
  76. package/src/ast/update.ts +19 -0
  77. package/src/ast/util.ts +9 -0
  78. package/src/errors.ts +1 -0
  79. package/src/exports/ast.ts +13 -0
  80. package/src/exports/errors.ts +1 -0
  81. package/src/exports/guards.ts +10 -0
  82. package/src/exports/operations-registry.ts +1 -0
  83. package/src/exports/param.ts +2 -0
  84. package/src/exports/plan.ts +1 -0
  85. package/src/exports/query-lane-context.ts +1 -0
  86. package/src/exports/schema.ts +6 -0
  87. package/src/exports/types.ts +1 -0
  88. package/src/index.ts +8 -0
  89. package/src/operations-registry.ts +237 -0
  90. package/src/param.ts +15 -0
  91. package/src/plan.ts +39 -0
  92. package/src/query-lane-context.ts +18 -0
  93. package/src/schema.ts +373 -0
  94. package/src/types.ts +547 -0
  95. package/src/utils/guards.ts +123 -0
package/src/schema.ts ADDED
@@ -0,0 +1,373 @@
1
+ import type { OperationRegistry } from '@prisma-next/operations';
2
+ import { planInvalid } from '@prisma-next/plan';
3
+ import type {
4
+ ExtractCodecTypes,
5
+ ExtractOperationTypes,
6
+ SqlContract,
7
+ SqlStorage,
8
+ StorageColumn,
9
+ } from '@prisma-next/sql-contract/types';
10
+ import type { BinaryOp, TableRef } from './ast/types';
11
+ import { attachOperationsToColumnBuilder } from './operations-registry';
12
+ import type { QueryLaneContext } from './query-lane-context';
13
+ import type {
14
+ AnyColumnBuilderBase,
15
+ BinaryBuilder,
16
+ CodecTypes as CodecTypesType,
17
+ ColumnBuilder,
18
+ ComputeColumnJsType,
19
+ OperationTypeSignature,
20
+ OperationTypes,
21
+ OrderBuilder,
22
+ ParamPlaceholder,
23
+ } from './types';
24
+ import { isColumnBuilder } from './types';
25
+
26
+ type TableColumns<Table extends { columns: Record<string, StorageColumn> }> = Table['columns'];
27
+
28
+ type ColumnBuilders<
29
+ Contract extends SqlContract<SqlStorage>,
30
+ TableName extends string,
31
+ Columns extends Record<string, StorageColumn>,
32
+ CodecTypes extends CodecTypesType,
33
+ Operations extends OperationTypes,
34
+ > = {
35
+ readonly [K in keyof Columns]: ColumnBuilder<
36
+ K & string,
37
+ Columns[K],
38
+ ComputeColumnJsType<Contract, TableName, K & string, Columns[K], CodecTypes>,
39
+ Operations
40
+ >;
41
+ };
42
+
43
+ export class ColumnBuilderImpl<
44
+ ColumnName extends string,
45
+ ColumnMeta extends StorageColumn,
46
+ JsType = unknown,
47
+ > {
48
+ readonly kind = 'column' as const;
49
+
50
+ constructor(
51
+ readonly table: string,
52
+ readonly column: ColumnName,
53
+ private readonly storageColumn: ColumnMeta,
54
+ ) {}
55
+
56
+ get columnMeta(): ColumnMeta {
57
+ return this.storageColumn;
58
+ }
59
+
60
+ // Type-level helper property (not used at runtime)
61
+ get __jsType(): JsType {
62
+ return undefined as unknown as JsType;
63
+ }
64
+
65
+ private createBinaryBuilder(
66
+ op: BinaryOp,
67
+ value: ParamPlaceholder | AnyColumnBuilderBase,
68
+ ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {
69
+ if (value == null) {
70
+ throw planInvalid('Parameter placeholder or column builder required for column comparison');
71
+ }
72
+ if (value.kind === 'param-placeholder' || isColumnBuilder(value)) {
73
+ return Object.freeze({
74
+ kind: 'binary' as const,
75
+ op,
76
+ left: this as unknown as ColumnBuilder<ColumnName, ColumnMeta, JsType>,
77
+ right: value,
78
+ }) as BinaryBuilder<ColumnName, ColumnMeta, JsType>;
79
+ }
80
+ throw planInvalid('Parameter placeholder or column builder required for column comparison');
81
+ }
82
+
83
+ eq(
84
+ value: ParamPlaceholder | AnyColumnBuilderBase,
85
+ ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {
86
+ return this.createBinaryBuilder('eq', value);
87
+ }
88
+
89
+ neq(
90
+ value: ParamPlaceholder | AnyColumnBuilderBase,
91
+ ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {
92
+ return this.createBinaryBuilder('neq', value);
93
+ }
94
+
95
+ gt(
96
+ value: ParamPlaceholder | AnyColumnBuilderBase,
97
+ ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {
98
+ return this.createBinaryBuilder('gt', value);
99
+ }
100
+
101
+ lt(
102
+ value: ParamPlaceholder | AnyColumnBuilderBase,
103
+ ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {
104
+ return this.createBinaryBuilder('lt', value);
105
+ }
106
+
107
+ gte(
108
+ value: ParamPlaceholder | AnyColumnBuilderBase,
109
+ ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {
110
+ return this.createBinaryBuilder('gte', value);
111
+ }
112
+
113
+ lte(
114
+ value: ParamPlaceholder | AnyColumnBuilderBase,
115
+ ): BinaryBuilder<ColumnName, ColumnMeta, JsType> {
116
+ return this.createBinaryBuilder('lte', value);
117
+ }
118
+
119
+ asc(): OrderBuilder<ColumnName, ColumnMeta, JsType> {
120
+ return Object.freeze({
121
+ kind: 'order' as const,
122
+ expr: this as unknown as ColumnBuilder<ColumnName, ColumnMeta, JsType>,
123
+ dir: 'asc' as const,
124
+ }) as OrderBuilder<ColumnName, ColumnMeta, JsType>;
125
+ }
126
+
127
+ desc(): OrderBuilder<ColumnName, ColumnMeta, JsType> {
128
+ return Object.freeze({
129
+ kind: 'order' as const,
130
+ expr: this as unknown as ColumnBuilder<ColumnName, ColumnMeta, JsType>,
131
+ dir: 'desc' as const,
132
+ }) as OrderBuilder<ColumnName, ColumnMeta, JsType>;
133
+ }
134
+ }
135
+
136
+ export class TableBuilderImpl<
137
+ Contract extends SqlContract<SqlStorage>,
138
+ TableName extends string,
139
+ Columns extends Record<string, StorageColumn>,
140
+ CodecTypes extends CodecTypesType,
141
+ Operations extends OperationTypes,
142
+ > implements TableRef
143
+ {
144
+ readonly kind = 'table' as const;
145
+ readonly columns: ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>;
146
+ private readonly _name: TableName;
147
+
148
+ constructor(
149
+ name: TableName,
150
+ columns: ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>,
151
+ ) {
152
+ this._name = name;
153
+ this.columns = columns;
154
+ }
155
+
156
+ get name(): string {
157
+ return this._name;
158
+ }
159
+ }
160
+
161
+ function buildColumns<
162
+ Contract extends SqlContract<SqlStorage>,
163
+ TableName extends keyof Contract['storage']['tables'] & string,
164
+ CodecTypes extends CodecTypesType,
165
+ Operations extends OperationTypes,
166
+ >(
167
+ tableName: TableName,
168
+ storage: SqlStorage,
169
+ _contract: Contract,
170
+ operationRegistry?: OperationRegistry,
171
+ contractCapabilities?: Record<string, Record<string, boolean>>,
172
+ ): ColumnBuilders<
173
+ Contract,
174
+ TableName,
175
+ Contract['storage']['tables'][TableName]['columns'],
176
+ CodecTypes,
177
+ Operations
178
+ > {
179
+ const table = storage.tables[tableName];
180
+
181
+ if (!table) {
182
+ throw planInvalid(`Unknown table ${tableName}`);
183
+ }
184
+
185
+ type Columns = Contract['storage']['tables'][TableName]['columns'];
186
+ const tableColumns = table.columns as Columns;
187
+
188
+ const result = {} as {
189
+ [K in keyof Columns]: ColumnBuilder<
190
+ K & string,
191
+ Columns[K],
192
+ ComputeColumnJsType<Contract, TableName, K & string, Columns[K], CodecTypes>,
193
+ Operations
194
+ >;
195
+ };
196
+
197
+ const assignColumn = <ColumnKey extends keyof Columns & string>(
198
+ columnName: ColumnKey,
199
+ columnDef: Columns[ColumnKey],
200
+ ) => {
201
+ type JsType = ComputeColumnJsType<
202
+ Contract,
203
+ TableName,
204
+ ColumnKey,
205
+ Columns[ColumnKey],
206
+ CodecTypes
207
+ >;
208
+
209
+ const columnBuilder = new ColumnBuilderImpl<ColumnKey, Columns[ColumnKey], JsType>(
210
+ tableName,
211
+ columnName,
212
+ columnDef,
213
+ );
214
+
215
+ const builderWithOps = attachOperationsToColumnBuilder<
216
+ ColumnKey,
217
+ Columns[ColumnKey],
218
+ JsType,
219
+ Operations
220
+ >(
221
+ columnBuilder as unknown as ColumnBuilder<
222
+ ColumnKey,
223
+ Columns[ColumnKey],
224
+ JsType,
225
+ Record<string, never>
226
+ >,
227
+ columnDef,
228
+ operationRegistry,
229
+ contractCapabilities,
230
+ );
231
+
232
+ (result as Record<string, unknown>)[columnName] = builderWithOps;
233
+ };
234
+
235
+ for (const columnName of Object.keys(tableColumns) as Array<keyof Columns & string>) {
236
+ const columnDef = tableColumns[columnName];
237
+ if (!columnDef) continue;
238
+ assignColumn(columnName, columnDef);
239
+ }
240
+
241
+ return result as ColumnBuilders<Contract, TableName, Columns, CodecTypes, Operations>;
242
+ }
243
+
244
+ /**
245
+ * Creates a Proxy that enables accessing table columns directly on the table object,
246
+ * in addition to the standard `table.columns.columnName` syntax.
247
+ *
248
+ * This allows both access patterns:
249
+ * - `tables.user.columns.id` (standard access)
250
+ * - `tables.user.id` (convenience access via proxy)
251
+ *
252
+ * The proxy intercepts property access and routes column name lookups to
253
+ * `table.columns[prop]`, while preserving direct access to table properties
254
+ * like `name`, `kind`, and `columns`.
255
+ */
256
+ function createTableProxy<
257
+ Contract extends SqlContract<SqlStorage>,
258
+ TableName extends string,
259
+ Columns extends Record<string, StorageColumn>,
260
+ CodecTypes extends CodecTypesType,
261
+ Operations extends OperationTypes,
262
+ >(
263
+ table: TableBuilderImpl<Contract, TableName, Columns, CodecTypes, Operations>,
264
+ ): TableBuilderImpl<Contract, TableName, Columns, CodecTypes, Operations> {
265
+ return new Proxy(table, {
266
+ get(target, prop) {
267
+ if (prop === 'name' || prop === 'kind' || prop === 'columns') {
268
+ return Reflect.get(target, prop);
269
+ }
270
+ if (typeof prop === 'string' && prop in target.columns) {
271
+ return target.columns[prop as keyof typeof target.columns];
272
+ }
273
+ return undefined;
274
+ },
275
+ });
276
+ }
277
+
278
+ type ExtractSchemaTables<
279
+ Contract extends SqlContract<SqlStorage>,
280
+ CodecTypes extends CodecTypesType,
281
+ Operations extends OperationTypes,
282
+ > = {
283
+ readonly [TableName in keyof Contract['storage']['tables']]: TableBuilderImpl<
284
+ Contract,
285
+ TableName & string,
286
+ TableColumns<Contract['storage']['tables'][TableName]>,
287
+ CodecTypes,
288
+ Operations
289
+ > &
290
+ TableRef;
291
+ };
292
+
293
+ export type SchemaHandle<
294
+ Contract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>,
295
+ CodecTypes extends CodecTypesType = CodecTypesType,
296
+ Operations extends OperationTypes = Record<string, never>,
297
+ > = {
298
+ readonly tables: ExtractSchemaTables<Contract, CodecTypes, Operations>;
299
+ };
300
+
301
+ type SchemaReturnType<Contract extends SqlContract<SqlStorage>> = SchemaHandle<
302
+ Contract,
303
+ ExtractCodecTypes<Contract>,
304
+ ToOperationTypes<ExtractOperationTypes<Contract>>
305
+ >;
306
+
307
+ type NormalizeOperationTypes<T> = {
308
+ [TypeId in keyof T]: {
309
+ [Method in keyof T[TypeId]]: T[TypeId][Method] extends OperationTypeSignature
310
+ ? T[TypeId][Method]
311
+ : OperationTypeSignature;
312
+ };
313
+ };
314
+
315
+ type ToOperationTypes<T> = T extends OperationTypes ? T : NormalizeOperationTypes<T>;
316
+
317
+ /**
318
+ * Creates a schema handle for building SQL queries.
319
+ *
320
+ * @param context - Query lane context containing contract, codec and operation registries
321
+ * @returns A schema handle with typed table builders
322
+ *
323
+ * @example
324
+ * ```typescript
325
+ * const schemaHandle = schema<Contract>(context);
326
+ * const userTable = schemaHandle.tables.user;
327
+ * ```
328
+ */
329
+ export function schema<Contract extends SqlContract<SqlStorage>>(
330
+ context: QueryLaneContext<Contract>,
331
+ ): SchemaReturnType<Contract> {
332
+ const contract = context.contract;
333
+ const storage = contract.storage;
334
+ type CodecTypes = ExtractCodecTypes<Contract>;
335
+ type Operations = ToOperationTypes<ExtractOperationTypes<Contract>>;
336
+ const tables = {} as ExtractSchemaTables<Contract, CodecTypes, Operations>;
337
+ const contractCapabilities = contract.capabilities;
338
+
339
+ const operationRegistry = context.operations;
340
+
341
+ for (const tableName of Object.keys(storage.tables) as Array<
342
+ keyof Contract['storage']['tables'] & string
343
+ >) {
344
+ const columns = buildColumns<Contract, typeof tableName, CodecTypes, Operations>(
345
+ tableName,
346
+ storage,
347
+ contract,
348
+ operationRegistry,
349
+ contractCapabilities,
350
+ );
351
+ const table = new TableBuilderImpl<
352
+ Contract,
353
+ typeof tableName & string,
354
+ Contract['storage']['tables'][typeof tableName]['columns'],
355
+ CodecTypes,
356
+ Operations
357
+ >(tableName, columns);
358
+ const proxiedTable = createTableProxy<
359
+ Contract,
360
+ typeof tableName & string,
361
+ Contract['storage']['tables'][typeof tableName]['columns'],
362
+ CodecTypes,
363
+ Operations
364
+ >(table);
365
+ (tables as Record<string, unknown>)[tableName] = Object.freeze(
366
+ proxiedTable,
367
+ ) as ExtractSchemaTables<Contract, CodecTypes, Operations>[typeof tableName];
368
+ }
369
+
370
+ return Object.freeze({ tables }) as SchemaReturnType<Contract>;
371
+ }
372
+
373
+ export type { ColumnBuilderImpl as Column, TableBuilderImpl as Table };