@rocicorp/zero 0.6.2024112102 → 0.7.2024120100

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 (243) hide show
  1. package/out/advanced.js +1 -1
  2. package/out/{chunk-QB7G63C6.js → chunk-4XX2NVJ7.js} +737 -738
  3. package/out/{chunk-QB7G63C6.js.map → chunk-4XX2NVJ7.js.map} +4 -4
  4. package/out/{chunk-5UY46OAF.js → chunk-C7M3BJ3Z.js} +16 -8
  5. package/out/chunk-C7M3BJ3Z.js.map +7 -0
  6. package/out/shared/src/expand.js +2 -0
  7. package/out/shared/src/expand.js.map +1 -0
  8. package/out/shared/src/immutable.js +2 -0
  9. package/out/shared/src/immutable.js.map +1 -0
  10. package/out/{zero-cache/src/config/config.d.ts → shared/src/options.d.ts} +3 -5
  11. package/out/shared/src/options.d.ts.map +1 -0
  12. package/out/{zero-cache/src/config/config.js → shared/src/options.js} +26 -26
  13. package/out/shared/src/options.js.map +1 -0
  14. package/out/shared/src/sorted-entries.js +6 -0
  15. package/out/shared/src/sorted-entries.js.map +1 -0
  16. package/out/shared/src/writable.js +2 -0
  17. package/out/shared/src/writable.js.map +1 -0
  18. package/out/solid.js +2 -2
  19. package/out/zero/src/build-schema.d.ts +3 -0
  20. package/out/zero/src/build-schema.d.ts.map +1 -0
  21. package/out/zero/src/build-schema.js +3 -0
  22. package/out/zero/src/build-schema.js.map +1 -0
  23. package/out/zero-cache/src/auth/load-schema.d.ts +8 -0
  24. package/out/zero-cache/src/auth/load-schema.d.ts.map +1 -0
  25. package/out/zero-cache/src/auth/load-schema.js +35 -0
  26. package/out/zero-cache/src/auth/load-schema.js.map +1 -0
  27. package/out/zero-cache/src/auth/read-authorizer.d.ts +25 -0
  28. package/out/zero-cache/src/auth/read-authorizer.d.ts.map +1 -0
  29. package/out/zero-cache/src/auth/read-authorizer.js +126 -0
  30. package/out/zero-cache/src/auth/read-authorizer.js.map +1 -0
  31. package/out/zero-cache/src/auth/write-authorizer.d.ts +20 -0
  32. package/out/zero-cache/src/auth/write-authorizer.d.ts.map +1 -0
  33. package/out/zero-cache/src/auth/write-authorizer.js +320 -0
  34. package/out/zero-cache/src/auth/write-authorizer.js.map +1 -0
  35. package/out/zero-cache/src/config/zero-config.d.ts +14 -4
  36. package/out/zero-cache/src/config/zero-config.d.ts.map +1 -1
  37. package/out/zero-cache/src/config/zero-config.js +27 -14
  38. package/out/zero-cache/src/config/zero-config.js.map +1 -1
  39. package/out/zero-cache/src/server/main.js +7 -0
  40. package/out/zero-cache/src/server/main.js.map +1 -1
  41. package/out/zero-cache/src/server/replicator.d.ts.map +1 -1
  42. package/out/zero-cache/src/server/replicator.js +4 -3
  43. package/out/zero-cache/src/server/replicator.js.map +1 -1
  44. package/out/zero-cache/src/server/runtime.d.ts +3 -0
  45. package/out/zero-cache/src/server/runtime.d.ts.map +1 -0
  46. package/out/zero-cache/src/server/runtime.js +19 -0
  47. package/out/zero-cache/src/server/runtime.js.map +1 -0
  48. package/out/zero-cache/src/server/syncer.d.ts.map +1 -1
  49. package/out/zero-cache/src/server/syncer.js +7 -6
  50. package/out/zero-cache/src/server/syncer.js.map +1 -1
  51. package/out/zero-cache/src/services/change-streamer/change-streamer-service.js +1 -1
  52. package/out/zero-cache/src/services/change-streamer/change-streamer-service.js.map +1 -1
  53. package/out/zero-cache/src/services/mutagen/mutagen.d.ts +7 -6
  54. package/out/zero-cache/src/services/mutagen/mutagen.d.ts.map +1 -1
  55. package/out/zero-cache/src/services/mutagen/mutagen.js +19 -33
  56. package/out/zero-cache/src/services/mutagen/mutagen.js.map +1 -1
  57. package/out/zero-cache/src/services/replicator/replicator.d.ts +1 -1
  58. package/out/zero-cache/src/services/replicator/replicator.d.ts.map +1 -1
  59. package/out/zero-cache/src/services/replicator/replicator.js +2 -2
  60. package/out/zero-cache/src/services/replicator/replicator.js.map +1 -1
  61. package/out/zero-cache/src/services/view-syncer/client-handler.d.ts +1 -1
  62. package/out/zero-cache/src/services/view-syncer/client-handler.d.ts.map +1 -1
  63. package/out/zero-cache/src/services/view-syncer/client-handler.js +11 -8
  64. package/out/zero-cache/src/services/view-syncer/client-handler.js.map +1 -1
  65. package/out/zero-cache/src/services/view-syncer/cvr-store.d.ts +17 -8
  66. package/out/zero-cache/src/services/view-syncer/cvr-store.d.ts.map +1 -1
  67. package/out/zero-cache/src/services/view-syncer/cvr-store.js +357 -94
  68. package/out/zero-cache/src/services/view-syncer/cvr-store.js.map +1 -1
  69. package/out/zero-cache/src/services/view-syncer/cvr.d.ts +15 -10
  70. package/out/zero-cache/src/services/view-syncer/cvr.d.ts.map +1 -1
  71. package/out/zero-cache/src/services/view-syncer/cvr.js +42 -23
  72. package/out/zero-cache/src/services/view-syncer/cvr.js.map +1 -1
  73. package/out/zero-cache/src/services/view-syncer/pipeline-driver.d.ts.map +1 -1
  74. package/out/zero-cache/src/services/view-syncer/pipeline-driver.js +2 -2
  75. package/out/zero-cache/src/services/view-syncer/pipeline-driver.js.map +1 -1
  76. package/out/zero-cache/src/services/view-syncer/schema/cvr.d.ts +22 -0
  77. package/out/zero-cache/src/services/view-syncer/schema/cvr.d.ts.map +1 -1
  78. package/out/zero-cache/src/services/view-syncer/schema/cvr.js +33 -7
  79. package/out/zero-cache/src/services/view-syncer/schema/cvr.js.map +1 -1
  80. package/out/zero-cache/src/services/view-syncer/schema/init.d.ts.map +1 -1
  81. package/out/zero-cache/src/services/view-syncer/schema/init.js +44 -5
  82. package/out/zero-cache/src/services/view-syncer/schema/init.js.map +1 -1
  83. package/out/zero-cache/src/services/view-syncer/schema/types.d.ts +1 -0
  84. package/out/zero-cache/src/services/view-syncer/schema/types.d.ts.map +1 -1
  85. package/out/zero-cache/src/services/view-syncer/schema/types.js +3 -0
  86. package/out/zero-cache/src/services/view-syncer/schema/types.js.map +1 -1
  87. package/out/zero-cache/src/services/view-syncer/snapshotter.d.ts.map +1 -1
  88. package/out/zero-cache/src/services/view-syncer/snapshotter.js +5 -0
  89. package/out/zero-cache/src/services/view-syncer/snapshotter.js.map +1 -1
  90. package/out/zero-cache/src/services/view-syncer/view-syncer.d.ts +9 -1
  91. package/out/zero-cache/src/services/view-syncer/view-syncer.d.ts.map +1 -1
  92. package/out/zero-cache/src/services/view-syncer/view-syncer.js +167 -50
  93. package/out/zero-cache/src/services/view-syncer/view-syncer.js.map +1 -1
  94. package/out/zero-cache/src/types/row-key.d.ts +6 -0
  95. package/out/zero-cache/src/types/row-key.d.ts.map +1 -1
  96. package/out/zero-cache/src/types/row-key.js +16 -1
  97. package/out/zero-cache/src/types/row-key.js.map +1 -1
  98. package/out/zero-cache/src/workers/connection.d.ts +2 -3
  99. package/out/zero-cache/src/workers/connection.d.ts.map +1 -1
  100. package/out/zero-cache/src/workers/connection.js +4 -3
  101. package/out/zero-cache/src/workers/connection.js.map +1 -1
  102. package/out/zero-cache/src/workers/replicator.d.ts +3 -1
  103. package/out/zero-cache/src/workers/replicator.d.ts.map +1 -1
  104. package/out/zero-cache/src/workers/replicator.js +2 -0
  105. package/out/zero-cache/src/workers/replicator.js.map +1 -1
  106. package/out/zero-cache/src/workers/syncer.d.ts.map +1 -1
  107. package/out/zero-cache/src/workers/syncer.js +13 -3
  108. package/out/zero-cache/src/workers/syncer.js.map +1 -1
  109. package/out/zero-client/src/client/options.d.ts +37 -8
  110. package/out/zero-client/src/client/options.d.ts.map +1 -1
  111. package/out/zero-client/src/client/reload-error-handler.d.ts +16 -1
  112. package/out/zero-client/src/client/reload-error-handler.d.ts.map +1 -1
  113. package/out/zero-client/src/client/zero.d.ts +7 -55
  114. package/out/zero-client/src/client/zero.d.ts.map +1 -1
  115. package/out/zero-client/src/mod.d.ts +2 -2
  116. package/out/zero-client/src/mod.d.ts.map +1 -1
  117. package/out/zero-protocol/src/ast-hash.js +14 -0
  118. package/out/zero-protocol/src/ast-hash.js.map +1 -0
  119. package/out/zero-protocol/src/ast.d.ts +9 -9
  120. package/out/zero-protocol/src/ast.d.ts.map +1 -1
  121. package/out/zero-protocol/src/ast.js +11 -12
  122. package/out/zero-protocol/src/ast.js.map +1 -1
  123. package/out/zero-protocol/src/down.d.ts +4 -4
  124. package/out/zero-protocol/src/poke.d.ts +16 -8
  125. package/out/zero-protocol/src/poke.d.ts.map +1 -1
  126. package/out/zero-protocol/src/poke.js +8 -2
  127. package/out/zero-protocol/src/poke.js.map +1 -1
  128. package/out/zero-schema/src/build-schema.d.ts +14 -0
  129. package/out/zero-schema/src/build-schema.d.ts.map +1 -0
  130. package/out/zero-schema/src/build-schema.js +55 -0
  131. package/out/zero-schema/src/build-schema.js.map +1 -0
  132. package/out/zero-schema/src/compiled-permissions.d.ts +480 -0
  133. package/out/zero-schema/src/compiled-permissions.d.ts.map +1 -0
  134. package/out/zero-schema/src/compiled-permissions.js +20 -0
  135. package/out/zero-schema/src/compiled-permissions.js.map +1 -0
  136. package/out/zero-schema/src/mod.d.ts +1 -1
  137. package/out/zero-schema/src/mod.d.ts.map +1 -1
  138. package/out/zero-schema/src/normalize-table-schema.d.ts +19 -17
  139. package/out/zero-schema/src/normalize-table-schema.d.ts.map +1 -1
  140. package/out/zero-schema/src/normalize-table-schema.js +92 -0
  141. package/out/zero-schema/src/normalize-table-schema.js.map +1 -0
  142. package/out/zero-schema/src/normalized-schema.d.ts +6 -1
  143. package/out/zero-schema/src/normalized-schema.d.ts.map +1 -1
  144. package/out/zero-schema/src/normalized-schema.js +31 -0
  145. package/out/zero-schema/src/normalized-schema.js.map +1 -0
  146. package/out/zero-schema/src/permissions.d.ts +32 -0
  147. package/out/zero-schema/src/permissions.d.ts.map +1 -0
  148. package/out/zero-schema/src/schema-config.d.ts +43 -0
  149. package/out/zero-schema/src/schema-config.d.ts.map +1 -0
  150. package/out/zero-schema/src/schema-config.js +79 -0
  151. package/out/zero-schema/src/schema-config.js.map +1 -0
  152. package/out/zero-schema/src/schema.js +4 -0
  153. package/out/zero-schema/src/schema.js.map +1 -0
  154. package/out/zero-schema/src/table-schema.d.ts +15 -20
  155. package/out/zero-schema/src/table-schema.d.ts.map +1 -1
  156. package/out/zero-schema/src/table-schema.js +15 -2
  157. package/out/zero-schema/src/table-schema.js.map +1 -1
  158. package/out/zero.js +4 -4
  159. package/out/zql/src/builder/builder.d.ts +2 -2
  160. package/out/zql/src/builder/builder.d.ts.map +1 -1
  161. package/out/zql/src/builder/builder.js +15 -17
  162. package/out/zql/src/builder/builder.js.map +1 -1
  163. package/out/zql/src/builder/filter.d.ts +25 -2
  164. package/out/zql/src/builder/filter.d.ts.map +1 -1
  165. package/out/zql/src/builder/filter.js +91 -1
  166. package/out/zql/src/builder/filter.js.map +1 -1
  167. package/out/zql/src/ivm/array-view.js +70 -0
  168. package/out/zql/src/ivm/array-view.js.map +1 -0
  169. package/out/zql/src/ivm/change.d.ts +18 -6
  170. package/out/zql/src/ivm/change.d.ts.map +1 -1
  171. package/out/zql/src/ivm/change.js +1 -1
  172. package/out/zql/src/ivm/change.js.map +1 -1
  173. package/out/zql/src/ivm/constraint.d.ts +14 -0
  174. package/out/zql/src/ivm/constraint.d.ts.map +1 -0
  175. package/out/zql/src/ivm/constraint.js +60 -0
  176. package/out/zql/src/ivm/constraint.js.map +1 -0
  177. package/out/zql/src/ivm/exists.d.ts.map +1 -1
  178. package/out/zql/src/ivm/exists.js +19 -2
  179. package/out/zql/src/ivm/exists.js.map +1 -1
  180. package/out/zql/src/ivm/join.d.ts +11 -5
  181. package/out/zql/src/ivm/join.d.ts.map +1 -1
  182. package/out/zql/src/ivm/join.js +49 -95
  183. package/out/zql/src/ivm/join.js.map +1 -1
  184. package/out/zql/src/ivm/maybe-split-and-push-edit-change.d.ts.map +1 -1
  185. package/out/zql/src/ivm/maybe-split-and-push-edit-change.js +4 -13
  186. package/out/zql/src/ivm/maybe-split-and-push-edit-change.js.map +1 -1
  187. package/out/zql/src/ivm/memory-source.d.ts +5 -22
  188. package/out/zql/src/ivm/memory-source.d.ts.map +1 -1
  189. package/out/zql/src/ivm/memory-source.js +61 -83
  190. package/out/zql/src/ivm/memory-source.js.map +1 -1
  191. package/out/zql/src/ivm/operator.d.ts +7 -10
  192. package/out/zql/src/ivm/operator.d.ts.map +1 -1
  193. package/out/zql/src/ivm/operator.js +1 -1
  194. package/out/zql/src/ivm/operator.js.map +1 -1
  195. package/out/zql/src/ivm/take.d.ts +3 -1
  196. package/out/zql/src/ivm/take.d.ts.map +1 -1
  197. package/out/zql/src/ivm/take.js +95 -95
  198. package/out/zql/src/ivm/take.js.map +1 -1
  199. package/out/zql/src/ivm/view-apply-change.d.ts.map +1 -1
  200. package/out/zql/src/ivm/view-apply-change.js +168 -0
  201. package/out/zql/src/ivm/view-apply-change.js.map +1 -0
  202. package/out/zql/src/ivm/view.js +2 -0
  203. package/out/zql/src/ivm/view.js.map +1 -0
  204. package/out/zql/src/query/auth-query.d.ts +3 -5
  205. package/out/zql/src/query/auth-query.d.ts.map +1 -1
  206. package/out/zql/src/query/auth-query.js +30 -0
  207. package/out/zql/src/query/auth-query.js.map +1 -0
  208. package/out/zql/src/query/dnf.js +57 -0
  209. package/out/zql/src/query/dnf.js.map +1 -0
  210. package/out/zql/src/query/expression.js +155 -0
  211. package/out/zql/src/query/expression.js.map +1 -0
  212. package/out/zql/src/query/query-impl.d.ts +4 -1
  213. package/out/zql/src/query/query-impl.d.ts.map +1 -1
  214. package/out/zql/src/query/query-impl.js +353 -0
  215. package/out/zql/src/query/query-impl.js.map +1 -0
  216. package/out/zql/src/query/query-internal.js +2 -0
  217. package/out/zql/src/query/query-internal.js.map +1 -0
  218. package/out/zql/src/query/query.js +3 -0
  219. package/out/zql/src/query/query.js.map +1 -0
  220. package/out/zql/src/query/typed-view.js +2 -0
  221. package/out/zql/src/query/typed-view.js.map +1 -0
  222. package/out/zqlite/src/table-source.d.ts +2 -11
  223. package/out/zqlite/src/table-source.d.ts.map +1 -1
  224. package/out/zqlite/src/table-source.js +33 -82
  225. package/out/zqlite/src/table-source.js.map +1 -1
  226. package/package.json +5 -3
  227. package/out/chunk-5UY46OAF.js.map +0 -7
  228. package/out/zero-cache/src/auth/load-authorization.d.ts +0 -4
  229. package/out/zero-cache/src/auth/load-authorization.d.ts.map +0 -1
  230. package/out/zero-cache/src/auth/load-authorization.js +0 -20
  231. package/out/zero-cache/src/auth/load-authorization.js.map +0 -1
  232. package/out/zero-cache/src/config/config.d.ts.map +0 -1
  233. package/out/zero-cache/src/config/config.js.map +0 -1
  234. package/out/zero-cache/src/services/mutagen/write-authorizer.d.ts +0 -21
  235. package/out/zero-cache/src/services/mutagen/write-authorizer.d.ts.map +0 -1
  236. package/out/zero-cache/src/services/mutagen/write-authorizer.js +0 -168
  237. package/out/zero-cache/src/services/mutagen/write-authorizer.js.map +0 -1
  238. package/out/zero-schema/src/authorization.d.ts +0 -25
  239. package/out/zero-schema/src/authorization.d.ts.map +0 -1
  240. package/out/zero-schema/src/compiled-authorization.d.ts +0 -561
  241. package/out/zero-schema/src/compiled-authorization.d.ts.map +0 -1
  242. package/out/zero-schema/src/compiled-authorization.js +0 -15
  243. package/out/zero-schema/src/compiled-authorization.js.map +0 -1
@@ -0,0 +1,353 @@
1
+ /* eslint-disable @typescript-eslint/naming-convention */
2
+ /* eslint-disable @typescript-eslint/no-explicit-any */
3
+ import { resolver } from '@rocicorp/resolver';
4
+ import { assert } from '../../../shared/src/asserts.js';
5
+ import { hashOfAST } from '../../../zero-protocol/src/ast-hash.js';
6
+ import { normalizeTableSchema, } from '../../../zero-schema/src/normalize-table-schema.js';
7
+ import { isFieldRelationship, isJunctionRelationship, } from '../../../zero-schema/src/table-schema.js';
8
+ import { buildPipeline } from '../builder/builder.js';
9
+ import { ArrayView } from '../ivm/array-view.js';
10
+ import { dnf } from './dnf.js';
11
+ import { and, cmp, ExpressionBuilder, } from './expression.js';
12
+ export function newQuery(delegate, tableSchema) {
13
+ return new QueryImpl(delegate, normalizeTableSchema(tableSchema));
14
+ }
15
+ function newQueryWithDetails(delegate, schema, ast, format) {
16
+ return new QueryImpl(delegate, schema, ast, format);
17
+ }
18
+ export function staticParam(anchorClass, field) {
19
+ return {
20
+ type: 'static',
21
+ anchor: anchorClass,
22
+ field,
23
+ };
24
+ }
25
+ export const SUBQ_PREFIX = 'zsubq_';
26
+ export class AbstractQuery {
27
+ #ast;
28
+ #schema;
29
+ #format;
30
+ #hash = '';
31
+ constructor(schema, ast, format) {
32
+ this.#ast = ast;
33
+ this.#format = format ?? { singular: false, relationships: {} };
34
+ this.#schema = schema;
35
+ }
36
+ get format() {
37
+ return this.#format;
38
+ }
39
+ hash() {
40
+ if (!this.#hash) {
41
+ const ast = this._completeAst();
42
+ const hash = hashOfAST(ast);
43
+ this.#hash = hash;
44
+ }
45
+ return this.#hash;
46
+ }
47
+ one() {
48
+ return this._newQuery(this.#schema, {
49
+ ...this.#ast,
50
+ limit: 1,
51
+ }, {
52
+ ...this.#format,
53
+ singular: true,
54
+ });
55
+ }
56
+ whereExists(relationship, cb = q => q) {
57
+ return this.where(({ exists }) => exists(relationship, cb));
58
+ }
59
+ related(relationship, cb = q => q) {
60
+ if (relationship.startsWith(SUBQ_PREFIX)) {
61
+ throw new Error(`Relationship names may not start with "${SUBQ_PREFIX}". That is a reserved prefix.`);
62
+ }
63
+ const related = this.#schema.relationships[relationship];
64
+ assert(related, 'Invalid relationship');
65
+ if (isFieldRelationship(related)) {
66
+ const { destSchema } = related;
67
+ const sq = cb(this._newQuery(destSchema, {
68
+ table: destSchema.tableName,
69
+ alias: relationship,
70
+ }, undefined));
71
+ return this._newQuery(this.#schema, {
72
+ ...this.#ast,
73
+ related: [
74
+ ...(this.#ast.related ?? []),
75
+ {
76
+ correlation: {
77
+ parentField: related.sourceField,
78
+ childField: related.destField,
79
+ },
80
+ subquery: addPrimaryKeysToAst(destSchema, sq.#ast),
81
+ },
82
+ ],
83
+ }, {
84
+ ...this.#format,
85
+ relationships: {
86
+ ...this.#format.relationships,
87
+ [relationship]: sq.#format,
88
+ },
89
+ });
90
+ }
91
+ if (isJunctionRelationship(related)) {
92
+ assert(related.length === 2, 'Invalid relationship');
93
+ const [firstRelation, secondRelation] = related;
94
+ const { destSchema } = secondRelation;
95
+ const junctionSchema = firstRelation.destSchema;
96
+ const sq = cb(this._newQuery(destSchema, {
97
+ table: destSchema.tableName,
98
+ alias: relationship,
99
+ }, undefined));
100
+ return this._newQuery(this.#schema, {
101
+ ...this.#ast,
102
+ related: [
103
+ ...(this.#ast.related ?? []),
104
+ {
105
+ correlation: {
106
+ parentField: firstRelation.sourceField,
107
+ childField: firstRelation.destField,
108
+ },
109
+ subquery: {
110
+ table: junctionSchema.tableName,
111
+ alias: relationship,
112
+ orderBy: addPrimaryKeys(junctionSchema, undefined),
113
+ related: [
114
+ {
115
+ correlation: {
116
+ parentField: secondRelation.sourceField,
117
+ childField: secondRelation.destField,
118
+ },
119
+ hidden: true,
120
+ subquery: addPrimaryKeysToAst(destSchema, sq.#ast),
121
+ },
122
+ ],
123
+ },
124
+ },
125
+ ],
126
+ }, {
127
+ ...this.#format,
128
+ relationships: {
129
+ ...this.#format.relationships,
130
+ [relationship]: sq.#format,
131
+ },
132
+ });
133
+ }
134
+ throw new Error(`Invalid relationship ${relationship}`);
135
+ }
136
+ where(fieldOrExpressionFactory, opOrValue, value) {
137
+ let cond;
138
+ if (typeof fieldOrExpressionFactory === 'function') {
139
+ cond = fieldOrExpressionFactory(new ExpressionBuilder(this._exists));
140
+ }
141
+ else {
142
+ assert(opOrValue !== undefined, 'Invalid condition');
143
+ cond = cmp(fieldOrExpressionFactory, opOrValue, value);
144
+ }
145
+ const existingWhere = this.#ast.where;
146
+ if (existingWhere) {
147
+ cond = and(existingWhere, cond);
148
+ }
149
+ return this._newQuery(this.#schema, {
150
+ ...this.#ast,
151
+ where: dnf(cond),
152
+ }, this.#format);
153
+ }
154
+ start(row, opts) {
155
+ return this._newQuery(this.#schema, {
156
+ ...this.#ast,
157
+ start: {
158
+ row,
159
+ exclusive: !opts?.inclusive,
160
+ },
161
+ }, this.#format);
162
+ }
163
+ limit(limit) {
164
+ if (limit < 0) {
165
+ throw new Error('Limit must be non-negative');
166
+ }
167
+ if ((limit | 0) !== limit) {
168
+ throw new Error('Limit must be an integer');
169
+ }
170
+ return this._newQuery(this.#schema, {
171
+ ...this.#ast,
172
+ limit,
173
+ }, this.#format);
174
+ }
175
+ orderBy(field, direction) {
176
+ return this._newQuery(this.#schema, {
177
+ ...this.#ast,
178
+ orderBy: [...(this.#ast.orderBy ?? []), [field, direction]],
179
+ }, this.#format);
180
+ }
181
+ _exists = (relationship, cb = q => q) => {
182
+ const related = this.#schema.relationships[relationship];
183
+ assert(related, 'Invalid relationship');
184
+ if (isFieldRelationship(related)) {
185
+ const { destSchema } = related;
186
+ const sq = cb(this._newQuery(destSchema, {
187
+ table: destSchema.tableName,
188
+ alias: `${SUBQ_PREFIX}${relationship}`,
189
+ }, undefined));
190
+ return {
191
+ type: 'correlatedSubquery',
192
+ related: {
193
+ correlation: {
194
+ parentField: related.sourceField,
195
+ childField: related.destField,
196
+ },
197
+ subquery: addPrimaryKeysToAst(destSchema, sq.#ast),
198
+ },
199
+ op: 'EXISTS',
200
+ };
201
+ }
202
+ if (isJunctionRelationship(related)) {
203
+ assert(related.length === 2, 'Invalid relationship');
204
+ const [firstRelation, secondRelation] = related;
205
+ const { destSchema } = secondRelation;
206
+ const junctionSchema = firstRelation.destSchema;
207
+ const queryToDest = cb(this._newQuery(destSchema, {
208
+ table: destSchema.tableName,
209
+ alias: `${SUBQ_PREFIX}${relationship}`,
210
+ }, undefined));
211
+ return {
212
+ type: 'correlatedSubquery',
213
+ related: {
214
+ correlation: {
215
+ parentField: firstRelation.sourceField,
216
+ childField: firstRelation.destField,
217
+ },
218
+ subquery: {
219
+ table: junctionSchema.tableName,
220
+ alias: `${SUBQ_PREFIX}${relationship}`,
221
+ orderBy: addPrimaryKeys(junctionSchema, undefined),
222
+ where: {
223
+ type: 'correlatedSubquery',
224
+ related: {
225
+ correlation: {
226
+ parentField: secondRelation.sourceField,
227
+ childField: secondRelation.destField,
228
+ },
229
+ subquery: addPrimaryKeysToAst(destSchema, queryToDest.#ast),
230
+ },
231
+ op: 'EXISTS',
232
+ },
233
+ },
234
+ },
235
+ op: 'EXISTS',
236
+ };
237
+ }
238
+ throw new Error(`Invalid relationship ${relationship}`);
239
+ };
240
+ #completedAST;
241
+ _completeAst() {
242
+ if (!this.#completedAST) {
243
+ const finalOrderBy = addPrimaryKeys(this.#schema, this.#ast.orderBy);
244
+ if (this.#ast.start) {
245
+ const { row } = this.#ast.start;
246
+ const narrowedRow = {};
247
+ for (const [field] of finalOrderBy) {
248
+ narrowedRow[field] = row[field];
249
+ }
250
+ this.#completedAST = {
251
+ ...this.#ast,
252
+ start: {
253
+ ...this.#ast.start,
254
+ row: narrowedRow,
255
+ },
256
+ orderBy: finalOrderBy,
257
+ };
258
+ }
259
+ else {
260
+ this.#completedAST = {
261
+ ...this.#ast,
262
+ orderBy: addPrimaryKeys(this.#schema, this.#ast.orderBy),
263
+ };
264
+ }
265
+ }
266
+ return this.#completedAST;
267
+ }
268
+ }
269
+ export const astForTestingSymbol = Symbol();
270
+ export const completedAstSymbol = Symbol();
271
+ export class QueryImpl extends AbstractQuery {
272
+ #delegate;
273
+ #ast;
274
+ constructor(delegate, schema, ast = { table: schema.tableName }, format) {
275
+ super(schema, ast, format);
276
+ this.#delegate = delegate;
277
+ this.#ast = ast;
278
+ }
279
+ // Not part of Query or QueryInternal interface
280
+ get [astForTestingSymbol]() {
281
+ return this.#ast;
282
+ }
283
+ get [completedAstSymbol]() {
284
+ return this._completeAst();
285
+ }
286
+ _newQuery(schema, ast, format) {
287
+ return newQueryWithDetails(this.#delegate, schema, ast, format);
288
+ }
289
+ materialize(factory) {
290
+ const ast = this._completeAst();
291
+ const removeServerQuery = this.#delegate.addServerQuery(ast);
292
+ const input = buildPipeline(ast, this.#delegate);
293
+ let removeCommitObserver;
294
+ const onDestroy = () => {
295
+ input.destroy();
296
+ removeCommitObserver?.();
297
+ removeServerQuery();
298
+ };
299
+ const view = this.#delegate.batchViewUpdates(() => (factory ?? arrayViewFactory)(this, input, this.format, onDestroy, cb => {
300
+ removeCommitObserver = this.#delegate.onTransactionCommit(cb);
301
+ }));
302
+ return view;
303
+ }
304
+ run() {
305
+ const v = this.materialize();
306
+ const ret = v.data;
307
+ v.destroy();
308
+ return ret;
309
+ }
310
+ preload() {
311
+ const { resolve, promise: complete } = resolver();
312
+ const ast = this._completeAst();
313
+ const unsub = this.#delegate.addServerQuery(ast, got => {
314
+ if (got) {
315
+ resolve();
316
+ }
317
+ });
318
+ return {
319
+ cleanup: unsub,
320
+ complete,
321
+ };
322
+ }
323
+ }
324
+ function addPrimaryKeys(schema, orderBy) {
325
+ orderBy = orderBy ?? [];
326
+ const { primaryKey } = schema;
327
+ const primaryKeysToAdd = new Set(primaryKey);
328
+ for (const [field] of orderBy) {
329
+ primaryKeysToAdd.delete(field);
330
+ }
331
+ if (primaryKeysToAdd.size === 0) {
332
+ return orderBy;
333
+ }
334
+ return [
335
+ ...orderBy,
336
+ ...[...primaryKeysToAdd].map(key => [key, 'asc']),
337
+ ];
338
+ }
339
+ function addPrimaryKeysToAst(schema, ast) {
340
+ return {
341
+ ...ast,
342
+ orderBy: addPrimaryKeys(schema, ast.orderBy),
343
+ };
344
+ }
345
+ function arrayViewFactory(_query, input, format, onDestroy, onTransactionCommit) {
346
+ const v = new ArrayView(input, format);
347
+ v.onDestroy = onDestroy;
348
+ onTransactionCommit(() => {
349
+ v.flush();
350
+ });
351
+ return v;
352
+ }
353
+ //# sourceMappingURL=query-impl.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"query-impl.js","sourceRoot":"","sources":["../../../../../zql/src/query/query-impl.ts"],"names":[],"mappings":"AAAA,yDAAyD;AACzD,uDAAuD;AACvD,OAAO,EAAC,QAAQ,EAAC,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAC,MAAM,EAAC,MAAM,gCAAgC,CAAC;AACtD,OAAO,EAAC,SAAS,EAAC,MAAM,wCAAwC,CAAC;AAGjE,OAAO,EACL,oBAAoB,GAErB,MAAM,oDAAoD,CAAC;AAC5D,OAAO,EACL,mBAAmB,EACnB,sBAAsB,GAIvB,MAAM,0CAA0C,CAAC;AAClD,OAAO,EAAC,aAAa,EAAuB,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EAAC,SAAS,EAAC,MAAM,sBAAsB,CAAC;AAG/C,OAAO,EAAC,GAAG,EAAC,MAAM,UAAU,CAAC;AAC7B,OAAO,EACL,GAAG,EACH,GAAG,EACH,iBAAiB,GAElB,MAAM,iBAAiB,CAAC;AAezB,MAAM,UAAU,QAAQ,CAGtB,QAAuB,EAAE,WAAoB;IAC7C,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,mBAAmB,CAI1B,QAAuB,EACvB,MAA6B,EAC7B,GAAQ,EACR,MAA0B;IAE1B,OAAO,IAAI,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC;AAUD,MAAM,UAAU,WAAW,CACzB,WAA0C,EAC1C,KAAa;IAEb,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,WAAW;QACnB,KAAK;KACN,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,QAAQ,CAAC;AAEpC,MAAM,OAAgB,aAAa;IAKxB,IAAI,CAAM;IACV,OAAO,CAAwB;IAC/B,OAAO,CAAS;IACzB,KAAK,GAAW,EAAE,CAAC;IAEnB,YACE,MAA6B,EAC7B,GAAQ,EACR,MAA2B;QAE3B,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC;QAChB,IAAI,CAAC,OAAO,GAAG,MAAM,IAAI,EAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAC,CAAC;QAC9D,IAAI,CAAC,OAAO,GAAG,MAAM,CAAC;IACxB,CAAC;IAED,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,IAAI;QACF,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAWD,GAAG;QACD,OAAO,IAAI,CAAC,SAAS,CACnB,IAAI,CAAC,OAAO,EACZ;YACE,GAAG,IAAI,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC;SACT,EACD;YACE,GAAG,IAAI,CAAC,OAAO;YACf,QAAQ,EAAE,IAAI;SACf,CACF,CAAC;IACJ,CAAC;IAKD,WAAW,CACT,YAA2B,EAC3B,KAKqC,CAAC,CAAC,EAAE,CAAC,CAAQ;QAElD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAC,MAAM,EAAC,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IAeD,OAAO,CAKL,YAA2B,EAC3B,KAKY,CAAC,CAAC,EAAE,CAAC,CAAQ;QAEzB,IAAI,YAAY,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,KAAK,CACb,0CAA0C,WAAW,+BAA+B,CACrF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;QACzD,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;QACxC,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,MAAM,EAAC,UAAU,EAAC,GAAG,OAAO,CAAC;YAC7B,MAAM,EAAE,GAAG,EAAE,CACX,IAAI,CAAC,SAAS,CACZ,UAAU,EACV;gBACE,KAAK,EAAE,UAAU,CAAC,SAAS;gBAC3B,KAAK,EAAE,YAAY;aACpB,EACD,SAAS,CACV,CACgC,CAAC;YAEpC,OAAO,IAAI,CAAC,SAAS,CACnB,IAAI,CAAC,OAAO,EACZ;gBACE,GAAG,IAAI,CAAC,IAAI;gBACZ,OAAO,EAAE;oBACP,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;oBAC5B;wBACE,WAAW,EAAE;4BACX,WAAW,EAAE,OAAO,CAAC,WAAW;4BAChC,UAAU,EAAE,OAAO,CAAC,SAAS;yBAC9B;wBACD,QAAQ,EAAE,mBAAmB,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC;qBACnD;iBACF;aACF,EACD;gBACE,GAAG,IAAI,CAAC,OAAO;gBACf,aAAa,EAAE;oBACb,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa;oBAC7B,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,OAAO;iBAC3B;aACF,CACF,CAAC;QACJ,CAAC;QAED,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,sBAAsB,CAAC,CAAC;YACrD,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,OAAO,CAAC;YAChD,MAAM,EAAC,UAAU,EAAC,GAAG,cAAc,CAAC;YACpC,MAAM,cAAc,GAAG,aAAa,CAAC,UAAU,CAAC;YAChD,MAAM,EAAE,GAAG,EAAE,CACX,IAAI,CAAC,SAAS,CACZ,UAAU,EACV;gBACE,KAAK,EAAE,UAAU,CAAC,SAAS;gBAC3B,KAAK,EAAE,YAAY;aACpB,EACD,SAAS,CACV,CAC8C,CAAC;YAElD,OAAO,IAAI,CAAC,SAAS,CACnB,IAAI,CAAC,OAAO,EACZ;gBACE,GAAG,IAAI,CAAC,IAAI;gBACZ,OAAO,EAAE;oBACP,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC;oBAC5B;wBACE,WAAW,EAAE;4BACX,WAAW,EAAE,aAAa,CAAC,WAAW;4BACtC,UAAU,EAAE,aAAa,CAAC,SAAS;yBACpC;wBACD,QAAQ,EAAE;4BACR,KAAK,EAAE,cAAc,CAAC,SAAS;4BAC/B,KAAK,EAAE,YAAY;4BACnB,OAAO,EAAE,cAAc,CAAC,cAAc,EAAE,SAAS,CAAC;4BAClD,OAAO,EAAE;gCACP;oCACE,WAAW,EAAE;wCACX,WAAW,EAAE,cAAc,CAAC,WAAW;wCACvC,UAAU,EAAE,cAAc,CAAC,SAAS;qCACrC;oCACD,MAAM,EAAE,IAAI;oCACZ,QAAQ,EAAE,mBAAmB,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC;iCACnD;6BACF;yBACF;qBACF;iBACF;aACF,EACD;gBACE,GAAG,IAAI,CAAC,OAAO;gBACf,aAAa,EAAE;oBACb,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa;oBAC7B,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,OAAO;iBAC3B;aACF,CACF,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,wBAAwB,YAAY,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED,KAAK,CACH,wBAA6D,EAC7D,SAG4B,EAC5B,KAAyE;QAEzE,IAAI,IAAe,CAAC;QAEpB,IAAI,OAAO,wBAAwB,KAAK,UAAU,EAAE,CAAC;YACnD,IAAI,GAAG,wBAAwB,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QACvE,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,mBAAmB,CAAC,CAAC;YACrD,IAAI,GAAG,GAAG,CAAC,wBAAwB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACzD,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QACtC,IAAI,aAAa,EAAE,CAAC;YAClB,IAAI,GAAG,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QAClC,CAAC;QAED,OAAO,IAAI,CAAC,SAAS,CACnB,IAAI,CAAC,OAAO,EACZ;YACE,GAAG,IAAI,CAAC,IAAI;YACZ,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;SACjB,EACD,IAAI,CAAC,OAAO,CACb,CAAC;IACJ,CAAC;IAED,KAAK,CACH,GAAuC,EACvC,IAAuC;QAEvC,OAAO,IAAI,CAAC,SAAS,CACnB,IAAI,CAAC,OAAO,EACZ;YACE,GAAG,IAAI,CAAC,IAAI;YACZ,KAAK,EAAE;gBACL,GAAG;gBACH,SAAS,EAAE,CAAC,IAAI,EAAE,SAAS;aAC5B;SACF,EACD,IAAI,CAAC,OAAO,CACb,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,KAAa;QACjB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,IAAI,CAAC,SAAS,CACnB,IAAI,CAAC,OAAO,EACZ;YACE,GAAG,IAAI,CAAC,IAAI;YACZ,KAAK;SACN,EACD,IAAI,CAAC,OAAO,CACb,CAAC;IACJ,CAAC;IAED,OAAO,CACL,KAAgB,EAChB,SAAyB;QAEzB,OAAO,IAAI,CAAC,SAAS,CACnB,IAAI,CAAC,OAAO,EACZ;YACE,GAAG,IAAI,CAAC,IAAI;YACZ,OAAO,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC,KAAe,EAAE,SAAS,CAAC,CAAC;SACtE,EACD,IAAI,CAAC,OAAO,CACb,CAAC;IACJ,CAAC;IAES,OAAO,GAAG,CAClB,YAAoB,EACpB,KAEqC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE;QACb,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;QACzD,MAAM,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAExC,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;YACjC,MAAM,EAAC,UAAU,EAAC,GAAG,OAAO,CAAC;YAC7B,MAAM,EAAE,GAAG,EAAE,CACX,IAAI,CAAC,SAAS,CACZ,UAAU,EACV;gBACE,KAAK,EAAE,UAAU,CAAC,SAAS;gBAC3B,KAAK,EAAE,GAAG,WAAW,GAAG,YAAY,EAAE;aACvC,EACD,SAAS,CACV,CACgC,CAAC;YACpC,OAAO;gBACL,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,WAAW,EAAE;wBACX,WAAW,EAAE,OAAO,CAAC,WAAW;wBAChC,UAAU,EAAE,OAAO,CAAC,SAAS;qBAC9B;oBACD,QAAQ,EAAE,mBAAmB,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC;iBACnD;gBACD,EAAE,EAAE,QAAQ;aACb,CAAC;QACJ,CAAC;QAED,IAAI,sBAAsB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,sBAAsB,CAAC,CAAC;YACrD,MAAM,CAAC,aAAa,EAAE,cAAc,CAAC,GAAG,OAAO,CAAC;YAChD,MAAM,EAAC,UAAU,EAAC,GAAG,cAAc,CAAC;YACpC,MAAM,cAAc,GAAG,aAAa,CAAC,UAAU,CAAC;YAChD,MAAM,WAAW,GAAG,EAAE,CACpB,IAAI,CAAC,SAAS,CACZ,UAAU,EACV;gBACE,KAAK,EAAE,UAAU,CAAC,SAAS;gBAC3B,KAAK,EAAE,GAAG,WAAW,GAAG,YAAY,EAAE;aACvC,EACD,SAAS,CACV,CACmC,CAAC;YAEvC,OAAO;gBACL,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE;oBACP,WAAW,EAAE;wBACX,WAAW,EAAE,aAAa,CAAC,WAAW;wBACtC,UAAU,EAAE,aAAa,CAAC,SAAS;qBACpC;oBACD,QAAQ,EAAE;wBACR,KAAK,EAAE,cAAc,CAAC,SAAS;wBAC/B,KAAK,EAAE,GAAG,WAAW,GAAG,YAAY,EAAE;wBACtC,OAAO,EAAE,cAAc,CAAC,cAAc,EAAE,SAAS,CAAC;wBAClD,KAAK,EAAE;4BACL,IAAI,EAAE,oBAAoB;4BAC1B,OAAO,EAAE;gCACP,WAAW,EAAE;oCACX,WAAW,EAAE,cAAc,CAAC,WAAW;oCACvC,UAAU,EAAE,cAAc,CAAC,SAAS;iCACrC;gCAED,QAAQ,EAAE,mBAAmB,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC;6BAC5D;4BACD,EAAE,EAAE,QAAQ;yBACb;qBACF;iBACF;gBACD,EAAE,EAAE,QAAQ;aACb,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,wBAAwB,YAAY,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC;IAEF,aAAa,CAAkB;IAErB,YAAY;QACpB,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;YACxB,MAAM,YAAY,GAAG,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACrE,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpB,MAAM,EAAC,GAAG,EAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;gBAC9B,MAAM,WAAW,GAAQ,EAAE,CAAC;gBAC5B,KAAK,MAAM,CAAC,KAAK,CAAC,IAAI,YAAY,EAAE,CAAC;oBACnC,WAAW,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;gBAClC,CAAC;gBACD,IAAI,CAAC,aAAa,GAAG;oBACnB,GAAG,IAAI,CAAC,IAAI;oBACZ,KAAK,EAAE;wBACL,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK;wBAClB,GAAG,EAAE,WAAW;qBACjB;oBACD,OAAO,EAAE,YAAY;iBACtB,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,aAAa,GAAG;oBACnB,GAAG,IAAI,CAAC,IAAI;oBACZ,OAAO,EAAE,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;iBACzD,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;CASF;AAED,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,EAAE,CAAC;AAC5C,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,EAAE,CAAC;AAE3C,MAAM,OAAO,SAGX,SAAQ,aAA+B;IAC9B,SAAS,CAAgB;IACzB,IAAI,CAAM;IAEnB,YACE,QAAuB,EACvB,MAA6B,EAC7B,MAAW,EAAC,KAAK,EAAE,MAAM,CAAC,SAAS,EAAC,EACpC,MAA2B;QAE3B,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC3B,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC;QAC1B,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC;IAClB,CAAC;IAED,+CAA+C;IAC/C,IAAI,CAAC,mBAAmB,CAAC;QACvB,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,kBAAkB,CAAC;QACtB,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7B,CAAC;IAES,SAAS,CACjB,MAA6B,EAC7B,GAAQ,EACR,MAA0B;QAE1B,OAAO,mBAAmB,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC;IAED,WAAW,CAAI,OAA0C;QACvD,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC;QAE7D,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,IAAI,oBAA8C,CAAC;QAEnD,MAAM,SAAS,GAAG,GAAG,EAAE;YACrB,KAAK,CAAC,OAAO,EAAE,CAAC;YAChB,oBAAoB,EAAE,EAAE,CAAC;YACzB,iBAAiB,EAAE,CAAC;QACtB,CAAC,CAAC;QAEF,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAChD,CAAC,OAAO,IAAI,gBAAgB,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE;YACtE,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC,CAAC,CACH,CAAC;QAEF,OAAO,IAAS,CAAC;IACnB,CAAC;IAED,GAAG;QACD,MAAM,CAAC,GAA8B,IAAI,CAAC,WAAW,EAAE,CAAC;QACxD,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;QACnB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO;QAIL,MAAM,EAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAC,GAAG,QAAQ,EAAQ,CAAC;QACtD,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;YACrD,IAAI,GAAG,EAAE,CAAC;gBACR,OAAO,EAAE,CAAC;YACZ,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO;YACL,OAAO,EAAE,KAAK;YACd,QAAQ;SACT,CAAC;IACJ,CAAC;CACF;AAED,SAAS,cAAc,CACrB,MAA6B,EAC7B,OAA6B;IAE7B,OAAO,GAAG,OAAO,IAAI,EAAE,CAAC;IACxB,MAAM,EAAC,UAAU,EAAC,GAAG,MAAM,CAAC;IAC5B,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAE7C,KAAK,MAAM,CAAC,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;QAC9B,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,OAAO;QACL,GAAG,OAAO;QACV,GAAG,CAAC,GAAG,gBAAgB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAoB,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,MAA6B,EAAE,GAAQ;IAClE,OAAO;QACL,GAAG,GAAG;QACN,OAAO,EAAE,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAIvB,MAA+B,EAC/B,KAAY,EACZ,MAAc,EACd,SAAqB,EACrB,mBAA6C;IAE7C,MAAM,CAAC,GAAG,IAAI,SAAS,CAAiB,KAAK,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC,CAAC,SAAS,GAAG,SAAS,CAAC;IACxB,mBAAmB,CAAC,GAAG,EAAE;QACvB,CAAC,CAAC,KAAK,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,CAAC;AACX,CAAC"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=query-internal.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"query-internal.js","sourceRoot":"","sources":["../../../../../zql/src/query/query-internal.ts"],"names":[],"mappings":""}
@@ -0,0 +1,3 @@
1
+ /* eslint-disable @typescript-eslint/ban-types */
2
+ export {};
3
+ //# sourceMappingURL=query.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"query.js","sourceRoot":"","sources":["../../../../../zql/src/query/query.ts"],"names":[],"mappings":"AAAA,iDAAiD"}
@@ -0,0 +1,2 @@
1
+ export {};
2
+ //# sourceMappingURL=typed-view.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"typed-view.js","sourceRoot":"","sources":["../../../../../zql/src/query/typed-view.ts"],"names":[],"mappings":""}
@@ -1,15 +1,14 @@
1
1
  import type { SQLQuery } from '@databases/sql';
2
- import type { Condition, Ordering, SimpleCondition } from '../../zero-protocol/src/ast.js';
2
+ import type { Condition, Ordering } from '../../zero-protocol/src/ast.js';
3
3
  import type { Row } from '../../zero-protocol/src/data.js';
4
4
  import type { Source, SourceChange, SourceInput } from '../../zql/src/ivm/source.js';
5
5
  import { Database } from './db.js';
6
6
  import type { SchemaValue, ValueType } from '../../zero-schema/src/table-schema.js';
7
+ import { type NoSubqueryCondition } from '../../zql/src/builder/filter.js';
7
8
  /**
8
9
  * A source that is backed by a SQLite table.
9
10
  *
10
11
  * Values are written to the backing table _after_ being vended by the source.
11
- * An overlay index (not yet implemented) is used such that
12
- * `fetches` made after a `push` will see the new values.
13
12
  *
14
13
  * This ordering of events is to ensure self joins function properly. That is,
15
14
  * we can't reveal a value to an output before it has been pushed to that output.
@@ -53,12 +52,4 @@ export declare function toSQLiteTypeName(type: ValueType): "INTEGER" | "REAL" |
53
52
  export declare class UnsupportedValueError extends Error {
54
53
  constructor(msg: string);
55
54
  }
56
- type NoSubqueryCondition = SimpleCondition | {
57
- type: 'and';
58
- conditions: readonly NoSubqueryCondition[];
59
- } | {
60
- type: 'or';
61
- conditions: readonly NoSubqueryCondition[];
62
- };
63
- export {};
64
55
  //# sourceMappingURL=table-source.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"table-source.d.ts","sourceRoot":"","sources":["../../../../zqlite/src/table-source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,QAAQ,EAAC,MAAM,gBAAgB,CAAC;AAG7C,OAAO,KAAK,EACV,SAAS,EACT,QAAQ,EACR,eAAe,EAEhB,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAC,GAAG,EAAQ,MAAM,iCAAiC,CAAC;AAqBhE,OAAO,KAAK,EACV,MAAM,EACN,YAAY,EACZ,WAAW,EACZ,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAC,QAAQ,EAAY,MAAM,SAAS,CAAC;AAG5C,OAAO,KAAK,EACV,WAAW,EACX,SAAS,EACV,MAAM,uCAAuC,CAAC;AAmB/C;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,WAAY,YAAW,MAAM;;gBAUtC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EACpC,UAAU,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAQ5C;;;OAGG;IACH,KAAK,CAAC,EAAE,EAAE,QAAQ;IA8FlB,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,EAAE,SAAS,GAAG,SAAS;IAuI/D,IAAI,CAAC,MAAM,EAAE,YAAY;IAqGzB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,SAAS;CA6DjC;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,mBAAmB,GAAG,QAAQ,CAe3E;AA0MD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,wCAa/C;AAuCD,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,GAAG,EAAE,MAAM;CAGxB;AAiCD,KAAK,mBAAmB,GACpB,eAAe,GACf;IACE,IAAI,EAAE,KAAK,CAAC;IACZ,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAC5C,GACD;IACE,IAAI,EAAE,IAAI,CAAC;IACX,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAC5C,CAAC"}
1
+ {"version":3,"file":"table-source.d.ts","sourceRoot":"","sources":["../../../../zqlite/src/table-source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAC,QAAQ,EAAC,MAAM,gBAAgB,CAAC;AAG7C,OAAO,KAAK,EACV,SAAS,EACT,QAAQ,EAGT,MAAM,gCAAgC,CAAC;AACxC,OAAO,KAAK,EAAC,GAAG,EAAQ,MAAM,iCAAiC,CAAC;AAsBhE,OAAO,KAAK,EACV,MAAM,EACN,YAAY,EACZ,WAAW,EACZ,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAC,QAAQ,EAAY,MAAM,SAAS,CAAC;AAG5C,OAAO,KAAK,EACV,WAAW,EACX,SAAS,EACV,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,iCAAiC,CAAC;AAwBzC;;;;;;;;;;;;;GAaG;AACH,qBAAa,WAAY,YAAW,MAAM;;gBAUtC,EAAE,EAAE,QAAQ,EACZ,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,EACpC,UAAU,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAQ5C;;;OAGG;IACH,KAAK,CAAC,EAAE,EAAE,QAAQ;IA8FlB,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,EAAE,SAAS,GAAG,SAAS;IA4I/D,IAAI,CAAC,MAAM,EAAE,YAAY;IA+GzB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,SAAS;CA+DjC;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,mBAAmB,GAAG,QAAQ,CAe3E;AAsMD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,SAAS,wCAa/C;AAuCD,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,GAAG,EAAE,MAAM;CAGxB"}
@@ -6,12 +6,11 @@ import { generateWithOverlay, generateWithStart, } from '../../zql/src/ivm/memor
6
6
  import { Database, Statement } from './db.js';
7
7
  import { compile, format, sql } from './internal/sql.js';
8
8
  import { StatementCache } from './internal/statement-cache.js';
9
+ import { createPredicate, transformFilters, } from '../../zql/src/builder/filter.js';
9
10
  /**
10
11
  * A source that is backed by a SQLite table.
11
12
  *
12
13
  * Values are written to the backing table _after_ being vended by the source.
13
- * An overlay index (not yet implemented) is used such that
14
- * `fetches` made after a `push` will see the new values.
15
14
  *
16
15
  * This ordering of events is to ensure self joins function properly. That is,
17
16
  * we can't reveal a value to an output before it has been pushed to that output.
@@ -99,7 +98,12 @@ export class TableSource {
99
98
  input,
100
99
  output: undefined,
101
100
  sort,
102
- filters: transformedFilters.filters,
101
+ filters: transformedFilters.filters
102
+ ? {
103
+ condition: transformedFilters.filters,
104
+ predicate: createPredicate(transformedFilters.filters),
105
+ }
106
+ : undefined,
103
107
  compareRows: makeComparator(sort),
104
108
  };
105
109
  const schema = this.#getSchema(connection);
@@ -112,7 +116,6 @@ export class TableSource {
112
116
  }
113
117
  *#fetch(req, connection, beforeRequest) {
114
118
  const { start } = req;
115
- let newReq = req;
116
119
  const { sort } = connection;
117
120
  /**
118
121
  * Before isn't quite "before".
@@ -132,16 +135,16 @@ export class TableSource {
132
135
  direction: req.start.basis === 'before' ? 'before' : 'after',
133
136
  inclusive: req.start.basis === 'at',
134
137
  }
135
- : undefined, connection.filters, sort);
138
+ : undefined, connection.filters?.condition, sort);
136
139
  const sqlAndBindings = format(preSql);
137
- newReq = { ...req, start: undefined };
140
+ let start;
138
141
  this.#stmts.cache.use(sqlAndBindings.text, cachedStatement => {
139
142
  for (const beforeRow of cachedStatement.statement.iterate(...sqlAndBindings.values)) {
140
- newReq.start = { row: beforeRow, basis: 'at' };
143
+ start = { row: beforeRow, basis: 'at' };
141
144
  break;
142
145
  }
143
146
  });
144
- yield* this.#fetch(newReq, connection, req);
147
+ yield* this.#fetch({ ...req, start }, connection, req);
145
148
  }
146
149
  else {
147
150
  const query = this.#requestToSQL(req.constraint, req.start !== undefined
@@ -150,7 +153,7 @@ export class TableSource {
150
153
  direction: req.start.basis === 'before' ? 'before' : 'after',
151
154
  inclusive: req.start.basis === 'at',
152
155
  }
153
- : undefined, connection.filters, sort);
156
+ : undefined, connection.filters?.condition, sort);
154
157
  const sqlAndBindings = format(query);
155
158
  const cachedStatement = this.#stmts.cache.get(sqlAndBindings.text);
156
159
  try {
@@ -165,7 +168,7 @@ export class TableSource {
165
168
  overlay = this.#overlay;
166
169
  }
167
170
  }
168
- yield* generateWithStart(generateWithOverlay(req.start?.row, mapFromSQLiteTypes(this.#columns, rowIterator), req.constraint, overlay, comparator), beforeRequest ?? req, comparator);
171
+ yield* generateWithStart(generateWithOverlay(req.start?.row, mapFromSQLiteTypes(this.#columns, rowIterator), req.constraint, overlay, comparator, connection.filters?.predicate), beforeRequest ?? req, comparator);
169
172
  }
170
173
  finally {
171
174
  this.#stmts.cache.return(cachedStatement);
@@ -173,18 +176,18 @@ export class TableSource {
173
176
  }
174
177
  }
175
178
  push(change) {
176
- const exists = (row) => this.#stmts.checkExists.get(...pickColumns(this.#primaryKey, row))?.exists === 1;
179
+ const exists = (row) => this.#stmts.checkExists.get(...toSQLiteTypes(this.#primaryKey, row, this.#columns))?.exists === 1;
177
180
  // need to check for the existence of the row before modifying
178
181
  // the db so we don't push it to outputs if it does/doest not exist.
179
182
  switch (change.type) {
180
183
  case 'add':
181
- assert(!exists(change.row), 'Row already exists');
184
+ assert(!exists(change.row), `Row already exists ${stringify(change)}`);
182
185
  break;
183
186
  case 'remove':
184
- assert(exists(change.row), 'Row not found');
187
+ assert(exists(change.row), `Row not found ${stringify(change)}`);
185
188
  break;
186
189
  case 'edit':
187
- assert(exists(change.oldRow), 'Row not found');
190
+ assert(exists(change.oldRow), `Row not found ${stringify(change)}`);
188
191
  fromSQLiteTypes(this.#columns, change.oldRow);
189
192
  break;
190
193
  default:
@@ -201,7 +204,17 @@ export class TableSource {
201
204
  // 2. this mapping should be in pipeline driver.
202
205
  fromSQLiteTypes(this.#columns, change.row);
203
206
  const outputChange = change.type === 'edit'
204
- ? change
207
+ ? {
208
+ type: change.type,
209
+ oldNode: {
210
+ row: change.oldRow,
211
+ relationships: {},
212
+ },
213
+ node: {
214
+ row: change.row,
215
+ relationships: {},
216
+ },
217
+ }
205
218
  : {
206
219
  type: change.type,
207
220
  node: {
@@ -255,7 +268,9 @@ export class TableSource {
255
268
  let query = sql `SELECT ${this.#allColumns} FROM ${sql.ident(this.#table)}`;
256
269
  const constraints = [];
257
270
  if (constraint) {
258
- constraints.push(sql `${sql.ident(constraint.key)} = ${toSQLiteType(constraint.value, this.#columns[constraint.key].type)}`);
271
+ for (const [key, value] of Object.entries(constraint)) {
272
+ constraints.push(sql `${sql.ident(key)} = ${toSQLiteType(value, this.#columns[key].type)}`);
273
+ }
259
274
  }
260
275
  if (cursor) {
261
276
  constraints.push(gatherStartConstraints(cursor, order, this.#columns));
@@ -401,9 +416,6 @@ function assertPrimaryKeyMatch(db, tableName, primaryKey) {
401
416
  function toSQLiteTypes(columns, row, columnTypes) {
402
417
  return columns.map(col => toSQLiteType(row[col], columnTypes[col].type));
403
418
  }
404
- function pickColumns(columns, row) {
405
- return columns.map(col => row[col]);
406
- }
407
419
  function toSQLiteType(v, type) {
408
420
  switch (type) {
409
421
  case 'boolean':
@@ -478,68 +490,7 @@ function nonPrimaryValues(columns, primaryKey, row) {
478
490
  function nonPrimaryKeys(columns, primaryKey) {
479
491
  return Object.keys(columns).filter(c => !primaryKey.includes(c));
480
492
  }
481
- /**
482
- * Returns a transformed condition which contains no
483
- * CorrelatedSubqueryCondition(s) but which will filter a subset of the rows
484
- * that would be filtered by the original condition, or undefined
485
- * if no such transformation exists.
486
- *
487
- * Assumes Condition is in DNF.
488
- */
489
- function transformFilters(filters) {
490
- if (!filters) {
491
- return { filters: undefined, conditionsRemoved: false };
492
- }
493
- switch (filters.type) {
494
- case 'simple':
495
- return { filters, conditionsRemoved: false };
496
- case 'correlatedSubquery':
497
- return { filters: undefined, conditionsRemoved: true };
498
- case 'and': {
499
- const transformedConditions = [];
500
- for (const cond of filters.conditions) {
501
- assert(cond.type === 'simple' || cond.type === 'correlatedSubquery');
502
- if (cond.type === 'simple') {
503
- transformedConditions.push(cond);
504
- }
505
- }
506
- const conditionsRemoved = transformedConditions.length !== filters.conditions.length;
507
- if (transformedConditions.length === 0) {
508
- return { filters: undefined, conditionsRemoved };
509
- }
510
- if (transformedConditions.length === 1) {
511
- return {
512
- filters: transformedConditions[0],
513
- conditionsRemoved,
514
- };
515
- }
516
- return {
517
- filters: {
518
- type: 'and',
519
- conditions: transformedConditions,
520
- },
521
- conditionsRemoved,
522
- };
523
- }
524
- case 'or': {
525
- const transformedConditions = [];
526
- let conditionsRemoved = false;
527
- for (const cond of filters.conditions) {
528
- assert(cond.type !== 'or');
529
- const transformed = transformFilters(cond);
530
- if (transformed.filters === undefined) {
531
- return { filters: undefined, conditionsRemoved: true };
532
- }
533
- conditionsRemoved = conditionsRemoved || transformed.conditionsRemoved;
534
- transformedConditions.push(transformed.filters);
535
- }
536
- return {
537
- filters: { type: 'or', conditions: transformedConditions },
538
- conditionsRemoved,
539
- };
540
- }
541
- default:
542
- unreachable(filters);
543
- }
493
+ function stringify(change) {
494
+ return JSON.stringify(change, (_, v) => typeof v === 'bigint' ? v.toString() : v);
544
495
  }
545
496
  //# sourceMappingURL=table-source.js.map