@reventlessdev/reventless-postgres 3.0.0-alpha.1 → 3.0.0-alpha.100

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 (167) hide show
  1. package/CHANGELOG.md +792 -0
  2. package/README.md +83 -0
  3. package/lib/bs/.compiler.log +2 -2
  4. package/lib/bs/ReventlessPostgres.cmi +0 -0
  5. package/lib/bs/ReventlessPostgres.cmt +0 -0
  6. package/lib/bs/ReventlessPostgres.mlmap +4 -1
  7. package/lib/bs/compiler-info.json +2 -2
  8. package/lib/bs/src/DcbEventLogStorage_Postgres-ReventlessPostgres.cmi +0 -0
  9. package/lib/bs/src/DcbEventLogStorage_Postgres-ReventlessPostgres.cmj +0 -0
  10. package/lib/bs/src/DcbEventLogStorage_Postgres-ReventlessPostgres.cmt +0 -0
  11. package/lib/bs/src/DcbEventLogStorage_Postgres.ast +0 -0
  12. package/lib/bs/src/DcbEventLogStorage_Postgres.res +25 -340
  13. package/lib/bs/src/DcbEventLogStorage_Postgres.res.mjs +32 -348
  14. package/lib/bs/src/DcbEventLogStorage_Postgres_Ops-ReventlessPostgres.cmi +0 -0
  15. package/lib/bs/src/DcbEventLogStorage_Postgres_Ops-ReventlessPostgres.cmj +0 -0
  16. package/lib/bs/src/DcbEventLogStorage_Postgres_Ops-ReventlessPostgres.cmt +0 -0
  17. package/lib/bs/src/DcbEventLogStorage_Postgres_Ops.ast +0 -0
  18. package/lib/bs/src/DcbEventLogStorage_Postgres_Ops.res +350 -0
  19. package/lib/bs/src/DcbEventLogStorage_Postgres_Ops.res.mjs +380 -0
  20. package/lib/bs/src/EventLogChangeFeed-ReventlessPostgres.cmi +0 -0
  21. package/lib/bs/src/EventLogChangeFeed-ReventlessPostgres.cmj +0 -0
  22. package/lib/bs/src/EventLogChangeFeed-ReventlessPostgres.cmt +0 -0
  23. package/lib/bs/src/EventLogChangeFeed.ast +0 -0
  24. package/lib/bs/src/EventLogChangeFeed.res +187 -0
  25. package/lib/bs/src/EventLogChangeFeed.res.mjs +134 -0
  26. package/lib/bs/src/EventLogStorage_Postgres-ReventlessPostgres.cmi +0 -0
  27. package/lib/bs/src/EventLogStorage_Postgres-ReventlessPostgres.cmj +0 -0
  28. package/lib/bs/src/EventLogStorage_Postgres-ReventlessPostgres.cmt +0 -0
  29. package/lib/bs/src/EventLogStorage_Postgres.ast +0 -0
  30. package/lib/bs/src/EventLogStorage_Postgres.res +12 -170
  31. package/lib/bs/src/EventLogStorage_Postgres.res.mjs +20 -186
  32. package/lib/bs/src/EventLogStorage_Postgres_Ops-ReventlessPostgres.cmi +0 -0
  33. package/lib/bs/src/EventLogStorage_Postgres_Ops-ReventlessPostgres.cmj +0 -0
  34. package/lib/bs/src/EventLogStorage_Postgres_Ops-ReventlessPostgres.cmt +0 -0
  35. package/lib/bs/src/EventLogStorage_Postgres_Ops.ast +0 -0
  36. package/lib/bs/src/EventLogStorage_Postgres_Ops.res +180 -0
  37. package/lib/bs/src/EventLogStorage_Postgres_Ops.res.mjs +202 -0
  38. package/lib/bs/src/PgChangeFeed-ReventlessPostgres.cmi +0 -0
  39. package/lib/bs/src/PgChangeFeed-ReventlessPostgres.cmt +0 -0
  40. package/lib/bs/src/PgChangeFeed.ast +0 -0
  41. package/lib/bs/src/PgChangeFeed.res +6 -1
  42. package/lib/bs/src/PgChangeFeed.res.mjs +6 -6
  43. package/lib/bs/src/PgDriver-ReventlessPostgres.cmi +0 -0
  44. package/lib/bs/src/PgDriver-ReventlessPostgres.cmt +0 -0
  45. package/lib/bs/src/PgDriver-ReventlessPostgres.cmti +0 -0
  46. package/lib/bs/src/PgDriver.ast +0 -0
  47. package/lib/bs/src/PgDriver.iast +0 -0
  48. package/lib/bs/src/PgSchema-ReventlessPostgres.cmi +0 -0
  49. package/lib/bs/src/PgSchema-ReventlessPostgres.cmt +0 -0
  50. package/lib/bs/src/PgSchema.ast +0 -0
  51. package/lib/bs/src/PgSchema.res +36 -2
  52. package/lib/bs/src/PgSchema.res.mjs +9 -2
  53. package/lib/bs/src/QueryDbStorage_Postgres-ReventlessPostgres.cmi +0 -0
  54. package/lib/bs/src/QueryDbStorage_Postgres-ReventlessPostgres.cmj +0 -0
  55. package/lib/bs/src/QueryDbStorage_Postgres-ReventlessPostgres.cmt +0 -0
  56. package/lib/bs/src/QueryDbStorage_Postgres.ast +0 -0
  57. package/lib/bs/src/QueryDbStorage_Postgres.res +11 -213
  58. package/lib/bs/src/QueryDbStorage_Postgres.res.mjs +27 -191
  59. package/lib/bs/src/QueryDbStorage_Postgres_Ops-ReventlessPostgres.cmi +0 -0
  60. package/lib/bs/src/QueryDbStorage_Postgres_Ops-ReventlessPostgres.cmj +0 -0
  61. package/lib/bs/src/QueryDbStorage_Postgres_Ops-ReventlessPostgres.cmt +0 -0
  62. package/lib/bs/src/QueryDbStorage_Postgres_Ops.ast +0 -0
  63. package/lib/bs/src/QueryDbStorage_Postgres_Ops.res +229 -0
  64. package/lib/bs/src/QueryDbStorage_Postgres_Ops.res.mjs +222 -0
  65. package/lib/bs/src/QueryEnginePostgres-ReventlessPostgres.cmi +0 -0
  66. package/lib/bs/src/QueryEnginePostgres-ReventlessPostgres.cmt +0 -0
  67. package/lib/bs/src/QueryEnginePostgres.ast +0 -0
  68. package/lib/bs/src/QueryEnginePostgres.res +280 -7
  69. package/lib/bs/src/QueryEnginePostgres.res.mjs +180 -15
  70. package/lib/bs/tests/PostgresIntegrationTest-ReventlessPostgres.cmi +0 -0
  71. package/lib/bs/tests/PostgresIntegrationTest-ReventlessPostgres.cmt +0 -0
  72. package/lib/bs/tests/PostgresIntegrationTest.ast +0 -0
  73. package/lib/bs/tests/PostgresIntegrationTest.res +68 -0
  74. package/lib/bs/tests/PostgresIntegrationTest.res.mjs +49 -0
  75. package/lib/bs/tests/QueryEnginePostgresListPageTest-ReventlessPostgres.cmi +0 -0
  76. package/lib/bs/tests/QueryEnginePostgresListPageTest-ReventlessPostgres.cmj +0 -0
  77. package/lib/bs/tests/QueryEnginePostgresListPageTest-ReventlessPostgres.cmt +0 -0
  78. package/lib/bs/tests/QueryEnginePostgresListPageTest.ast +0 -0
  79. package/lib/bs/tests/QueryEnginePostgresListPageTest.res +312 -0
  80. package/lib/bs/tests/QueryEnginePostgresListPageTest.res.mjs +461 -0
  81. package/lib/ocaml/.compiler.log +2 -2
  82. package/lib/ocaml/DcbEventLogStorage_Postgres-ReventlessPostgres.cmi +0 -0
  83. package/lib/ocaml/DcbEventLogStorage_Postgres-ReventlessPostgres.cmj +0 -0
  84. package/lib/ocaml/DcbEventLogStorage_Postgres-ReventlessPostgres.cmt +0 -0
  85. package/lib/ocaml/DcbEventLogStorage_Postgres.ast +0 -0
  86. package/lib/ocaml/DcbEventLogStorage_Postgres.res +25 -340
  87. package/lib/ocaml/DcbEventLogStorage_Postgres_Ops-ReventlessPostgres.cmi +0 -0
  88. package/lib/ocaml/DcbEventLogStorage_Postgres_Ops-ReventlessPostgres.cmj +0 -0
  89. package/lib/ocaml/DcbEventLogStorage_Postgres_Ops-ReventlessPostgres.cmt +0 -0
  90. package/lib/ocaml/DcbEventLogStorage_Postgres_Ops.ast +0 -0
  91. package/lib/ocaml/DcbEventLogStorage_Postgres_Ops.res +350 -0
  92. package/lib/ocaml/EventLogChangeFeed-ReventlessPostgres.cmi +0 -0
  93. package/lib/ocaml/EventLogChangeFeed-ReventlessPostgres.cmj +0 -0
  94. package/lib/ocaml/EventLogChangeFeed-ReventlessPostgres.cmt +0 -0
  95. package/lib/ocaml/EventLogChangeFeed.ast +0 -0
  96. package/lib/ocaml/EventLogChangeFeed.res +187 -0
  97. package/lib/ocaml/EventLogStorage_Postgres-ReventlessPostgres.cmi +0 -0
  98. package/lib/ocaml/EventLogStorage_Postgres-ReventlessPostgres.cmj +0 -0
  99. package/lib/ocaml/EventLogStorage_Postgres-ReventlessPostgres.cmt +0 -0
  100. package/lib/ocaml/EventLogStorage_Postgres.ast +0 -0
  101. package/lib/ocaml/EventLogStorage_Postgres.res +12 -170
  102. package/lib/ocaml/EventLogStorage_Postgres_Ops-ReventlessPostgres.cmi +0 -0
  103. package/lib/ocaml/EventLogStorage_Postgres_Ops-ReventlessPostgres.cmj +0 -0
  104. package/lib/ocaml/EventLogStorage_Postgres_Ops-ReventlessPostgres.cmt +0 -0
  105. package/lib/ocaml/EventLogStorage_Postgres_Ops.ast +0 -0
  106. package/lib/ocaml/EventLogStorage_Postgres_Ops.res +180 -0
  107. package/lib/ocaml/PgChangeFeed-ReventlessPostgres.cmi +0 -0
  108. package/lib/ocaml/PgChangeFeed-ReventlessPostgres.cmt +0 -0
  109. package/lib/ocaml/PgChangeFeed.ast +0 -0
  110. package/lib/ocaml/PgChangeFeed.res +6 -1
  111. package/lib/ocaml/PgDriver-ReventlessPostgres.cmi +0 -0
  112. package/lib/ocaml/PgDriver-ReventlessPostgres.cmt +0 -0
  113. package/lib/ocaml/PgDriver-ReventlessPostgres.cmti +0 -0
  114. package/lib/ocaml/PgDriver.ast +0 -0
  115. package/lib/ocaml/PgDriver.iast +0 -0
  116. package/lib/ocaml/PgSchema-ReventlessPostgres.cmi +0 -0
  117. package/lib/ocaml/PgSchema-ReventlessPostgres.cmt +0 -0
  118. package/lib/ocaml/PgSchema.ast +0 -0
  119. package/lib/ocaml/PgSchema.res +36 -2
  120. package/lib/ocaml/PostgresIntegrationTest.res +68 -0
  121. package/lib/ocaml/QueryDbStorage_Postgres-ReventlessPostgres.cmi +0 -0
  122. package/lib/ocaml/QueryDbStorage_Postgres-ReventlessPostgres.cmj +0 -0
  123. package/lib/ocaml/QueryDbStorage_Postgres-ReventlessPostgres.cmt +0 -0
  124. package/lib/ocaml/QueryDbStorage_Postgres.ast +0 -0
  125. package/lib/ocaml/QueryDbStorage_Postgres.res +11 -213
  126. package/lib/ocaml/QueryDbStorage_Postgres_Ops-ReventlessPostgres.cmi +0 -0
  127. package/lib/ocaml/QueryDbStorage_Postgres_Ops-ReventlessPostgres.cmj +0 -0
  128. package/lib/ocaml/QueryDbStorage_Postgres_Ops-ReventlessPostgres.cmt +0 -0
  129. package/lib/ocaml/QueryDbStorage_Postgres_Ops.ast +0 -0
  130. package/lib/ocaml/QueryDbStorage_Postgres_Ops.res +229 -0
  131. package/lib/ocaml/QueryEnginePostgres-ReventlessPostgres.cmi +0 -0
  132. package/lib/ocaml/QueryEnginePostgres-ReventlessPostgres.cmt +0 -0
  133. package/lib/ocaml/QueryEnginePostgres.ast +0 -0
  134. package/lib/ocaml/QueryEnginePostgres.res +280 -7
  135. package/lib/ocaml/QueryEnginePostgresListPageTest.res +312 -0
  136. package/lib/ocaml/ReventlessPostgres.cmi +0 -0
  137. package/lib/ocaml/ReventlessPostgres.cmt +0 -0
  138. package/lib/ocaml/ReventlessPostgres.mlmap +5 -0
  139. package/package.json +12 -12
  140. package/rescript.json +2 -1
  141. package/src/DcbEventLogStorage_Postgres.res +25 -340
  142. package/src/DcbEventLogStorage_Postgres.res.mjs +32 -348
  143. package/src/DcbEventLogStorage_Postgres_Ops.res +350 -0
  144. package/src/DcbEventLogStorage_Postgres_Ops.res.mjs +380 -0
  145. package/src/EventLogChangeFeed.res +187 -0
  146. package/src/EventLogChangeFeed.res.mjs +134 -0
  147. package/src/EventLogStorage_Postgres.res +12 -170
  148. package/src/EventLogStorage_Postgres.res.mjs +20 -186
  149. package/src/EventLogStorage_Postgres_Ops.res +180 -0
  150. package/src/EventLogStorage_Postgres_Ops.res.mjs +202 -0
  151. package/src/PgChangeFeed.res +6 -1
  152. package/src/PgChangeFeed.res.mjs +6 -6
  153. package/src/PgSchema.res +36 -2
  154. package/src/PgSchema.res.mjs +9 -2
  155. package/src/QueryDbStorage_Postgres.res +11 -213
  156. package/src/QueryDbStorage_Postgres.res.mjs +27 -191
  157. package/src/QueryDbStorage_Postgres_Ops.res +229 -0
  158. package/src/QueryDbStorage_Postgres_Ops.res.mjs +222 -0
  159. package/src/QueryEnginePostgres.res +280 -7
  160. package/src/QueryEnginePostgres.res.mjs +180 -15
  161. package/tests/PostgresIntegrationTest.res +68 -0
  162. package/tests/QueryEnginePostgresListPageTest.res +312 -0
  163. package/lib/ocaml/PostgresIntegrationTest-ReventlessPostgres.cmi +0 -0
  164. package/lib/ocaml/PostgresIntegrationTest-ReventlessPostgres.cmj +0 -0
  165. package/lib/ocaml/PostgresIntegrationTest-ReventlessPostgres.cmt +0 -0
  166. package/lib/ocaml/PostgresIntegrationTest.ast +0 -0
  167. package/tests/PostgresIntegrationTest.res.mjs +0 -328
@@ -0,0 +1,222 @@
1
+ // Generated by ReScript, PLEASE EDIT WITH CARE
2
+
3
+ import * as Stdlib_JSON from "@rescript/runtime/lib/es6/Stdlib_JSON.js";
4
+ import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
5
+ import * as Effect from "effect/Effect";
6
+ import * as Stream from "effect/Stream";
7
+ import * as PgDriver$ReventlessPostgres from "./PgDriver.res.mjs";
8
+
9
+ function tableName(name) {
10
+ return "qdb_" + name.replaceAll("-", "_");
11
+ }
12
+
13
+ function sanitizeIdent(s) {
14
+ return s.replace(/[^A-Za-z0-9_]/g, "_");
15
+ }
16
+
17
+ let notExpiredClause = "(expires_at IS NULL OR expires_at > extract(epoch from now()))";
18
+
19
+ function jsonField(field) {
20
+ return `(item->>'` + field.replaceAll("'", "''") + `')`;
21
+ }
22
+
23
+ function compositeExpr(fields, sep) {
24
+ let escapedSep = sep.replaceAll("'", "''");
25
+ return fields.map(jsonField).join(` || '` + escapedSep + `' || `);
26
+ }
27
+
28
+ function indexExpressions(idx) {
29
+ let fields = idx.pkFields;
30
+ let pkExpr;
31
+ let exit = 0;
32
+ if (fields !== undefined && fields.length !== 0) {
33
+ pkExpr = compositeExpr(fields, Stdlib_Option.getOr(idx.pkSep, "/"));
34
+ } else {
35
+ exit = 1;
36
+ }
37
+ if (exit === 1) {
38
+ let field = idx.idField;
39
+ pkExpr = field !== undefined ? jsonField(field) : jsonField(idx.index);
40
+ }
41
+ let fields$1 = idx.skFields;
42
+ let skExpr;
43
+ let exit$1 = 0;
44
+ if (fields$1 !== undefined && fields$1.length !== 0) {
45
+ skExpr = compositeExpr(fields$1, Stdlib_Option.getOr(idx.skSep, "/"));
46
+ } else {
47
+ exit$1 = 1;
48
+ }
49
+ if (exit$1 === 1) {
50
+ let field$1 = idx.subIdField;
51
+ skExpr = field$1 !== undefined ? jsonField(field$1) : undefined;
52
+ }
53
+ return [
54
+ pkExpr,
55
+ skExpr
56
+ ];
57
+ }
58
+
59
+ async function ensureTable(pool, table) {
60
+ return await PgDriver$ReventlessPostgres.exec(pool, `CREATE TABLE IF NOT EXISTS ` + table + ` (partition_key text NOT NULL, sub_key text NOT NULL DEFAULT '', item jsonb NOT NULL, expires_at double precision, PRIMARY KEY (partition_key, sub_key))`);
61
+ }
62
+
63
+ async function ensureIndexes(pool, table, indexes) {
64
+ for (let i = 0, i_finish = indexes.length; i < i_finish; ++i) {
65
+ let idx = indexes[i];
66
+ let match = indexExpressions(idx);
67
+ let skExprOpt = match[1];
68
+ let pkExpr = match[0];
69
+ let indexName = `idx_` + table + `_` + sanitizeIdent(idx.index);
70
+ let cols = skExprOpt !== undefined ? pkExpr + `, ` + skExprOpt : pkExpr;
71
+ await PgDriver$ReventlessPostgres.exec(pool, `CREATE INDEX IF NOT EXISTS ` + indexName + ` ON ` + table + ` (` + cols + `)`);
72
+ }
73
+ }
74
+
75
+ function decodeItem(row) {
76
+ return Stdlib_Option.getOr(row["item"], null);
77
+ }
78
+
79
+ function computeSubKey(item, subIdField) {
80
+ if (subIdField === undefined) {
81
+ return "";
82
+ }
83
+ let match = Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(item), o => o[subIdField]);
84
+ if (typeof match === "string") {
85
+ return match;
86
+ } else {
87
+ return "";
88
+ }
89
+ }
90
+
91
+ function withId(item, partitionKey) {
92
+ let obj = Stdlib_JSON.Decode.object(item);
93
+ if (obj === undefined) {
94
+ return item;
95
+ }
96
+ if (!Stdlib_Option.isNone(obj["id"])) {
97
+ return item;
98
+ }
99
+ let copy = Object.assign({}, obj);
100
+ copy["id"] = partitionKey;
101
+ return copy;
102
+ }
103
+
104
+ function makeOperations(pool, name, indexes, subIdField) {
105
+ let table = tableName(name);
106
+ let readyRef = {
107
+ contents: undefined
108
+ };
109
+ let ready = () => {
110
+ let p = readyRef.contents;
111
+ if (p !== undefined) {
112
+ return p;
113
+ }
114
+ let p$1 = ensureTable(pool, table).then(() => ensureIndexes(pool, table, indexes));
115
+ readyRef.contents = p$1;
116
+ return p$1;
117
+ };
118
+ let rowsFor = async id => {
119
+ await ready();
120
+ return (await PgDriver$ReventlessPostgres.query(pool, `SELECT item FROM ` + table + ` WHERE partition_key = $1 AND ` + notExpiredClause + ` ORDER BY sub_key ASC`, [id])).map(decodeItem);
121
+ };
122
+ let saveOne = async (id, state, ttl) => {
123
+ await ready();
124
+ let subKey = computeSubKey(state, subIdField);
125
+ let expiresAt = ttl !== undefined ? ttl : null;
126
+ await PgDriver$ReventlessPostgres.query(pool, `INSERT INTO ` + table + `(partition_key, sub_key, item, expires_at)
127
+ VALUES ($1, $2, $3::jsonb, $4)
128
+ ON CONFLICT (partition_key, sub_key)
129
+ DO UPDATE SET item = EXCLUDED.item, expires_at = EXCLUDED.expires_at`, [
130
+ id,
131
+ subKey,
132
+ JSON.stringify(state),
133
+ expiresAt
134
+ ]);
135
+ };
136
+ let load = async id => ({
137
+ TAG: "Ok",
138
+ _0: await rowsFor(id)
139
+ });
140
+ let loadStream = id => Stream.flatMap(Stream.fromEffect(Effect.promise(() => rowsFor(id))), arr => Stream.fromIterable(arr));
141
+ let save = async (id, state, _saveMode, ttl) => {
142
+ await saveOne(id, state, ttl);
143
+ return {
144
+ TAG: "Ok",
145
+ _0: undefined
146
+ };
147
+ };
148
+ let saveBatch = async batch => {
149
+ for (let i = 0, i_finish = batch.length; i < i_finish; ++i) {
150
+ let match = batch[i];
151
+ await saveOne(match[0], match[1], match[2]);
152
+ }
153
+ return {
154
+ TAG: "Ok",
155
+ _0: undefined
156
+ };
157
+ };
158
+ let count = async (id, fieldName, inc) => {
159
+ await ready();
160
+ let existing = Stdlib_Option.flatMap((await rowsFor(id))[0], Stdlib_JSON.Decode.object);
161
+ let current = Stdlib_Option.mapOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(existing, o => o[fieldName]), Stdlib_JSON.Decode.float), 0, prim => prim | 0);
162
+ let next = current + inc | 0;
163
+ let obj = existing !== undefined ? Object.assign({}, existing) : ({});
164
+ obj["id"] = id;
165
+ obj[fieldName] = next;
166
+ await saveOne(id, obj, undefined);
167
+ return {
168
+ TAG: "Ok",
169
+ _0: next
170
+ };
171
+ };
172
+ let $$delete = async (id, subIdOpt) => {
173
+ await ready();
174
+ if (subIdOpt !== undefined) {
175
+ await PgDriver$ReventlessPostgres.query(pool, `DELETE FROM ` + table + ` WHERE partition_key = $1 AND sub_key = $2`, [
176
+ id,
177
+ subIdOpt[1]
178
+ ]);
179
+ } else {
180
+ await PgDriver$ReventlessPostgres.query(pool, `DELETE FROM ` + table + ` WHERE partition_key = $1`, [id]);
181
+ }
182
+ return {
183
+ TAG: "Ok",
184
+ _0: undefined
185
+ };
186
+ };
187
+ let deleteBatch = async ids => {
188
+ for (let i = 0, i_finish = ids.length; i < i_finish; ++i) {
189
+ let match = ids[i];
190
+ await $$delete(match[0], match[1]);
191
+ }
192
+ return {
193
+ TAG: "Ok",
194
+ _0: undefined
195
+ };
196
+ };
197
+ return {
198
+ load: load,
199
+ loadStream: loadStream,
200
+ save: save,
201
+ saveBatch: saveBatch,
202
+ count: count,
203
+ delete: $$delete,
204
+ deleteBatch: deleteBatch
205
+ };
206
+ }
207
+
208
+ export {
209
+ tableName,
210
+ sanitizeIdent,
211
+ notExpiredClause,
212
+ jsonField,
213
+ compositeExpr,
214
+ indexExpressions,
215
+ ensureTable,
216
+ ensureIndexes,
217
+ decodeItem,
218
+ computeSubKey,
219
+ withId,
220
+ makeOperations,
221
+ }
222
+ /* effect/Effect Not a pure module */
Binary file
@@ -63,18 +63,18 @@ let subIdSql = (b: paramBuilder, field: string, cmp: QueryEngine.SubId.comparato
63
63
  }
64
64
  }
65
65
 
66
- let notExpired = QueryDbStorage_Postgres.notExpiredClause
66
+ let notExpired = QueryDbStorage_Postgres_Ops.notExpiredClause
67
67
 
68
68
  // Add `id` (from partition_key) when absent — matches allRows/scan in the SQLite
69
69
  // engine; partition-key queries return items as stored.
70
70
  let decodeRow = (~withId, row: dict<JSON.t>): JSON.t => {
71
- let item = QueryDbStorage_Postgres.decodeItem(row)
71
+ let item = QueryDbStorage_Postgres_Ops.decodeItem(row)
72
72
  if withId {
73
73
  let pk = switch row->Dict.get("partition_key") {
74
74
  | Some(JSON.String(s)) => s
75
75
  | _ => ""
76
76
  }
77
- QueryDbStorage_Postgres.withId(item, pk)
77
+ QueryDbStorage_Postgres_Ops.withId(item, pk)
78
78
  } else {
79
79
  item
80
80
  }
@@ -90,7 +90,7 @@ module Make = (P: {let pool: PgDriver.pool}) => {
90
90
  ~ascending=?,
91
91
  ~limit=?,
92
92
  ): array<JSON.t> => {
93
- let table = QueryDbStorage_Postgres.tableName(readModelName)
93
+ let table = QueryDbStorage_Postgres_Ops.tableName(readModelName)
94
94
  let keyStr = switch key {
95
95
  | Some(k) => k
96
96
  | None => valueToText(id)
@@ -114,7 +114,7 @@ module Make = (P: {let pool: PgDriver.pool}) => {
114
114
  }
115
115
 
116
116
  let scan = async (~readModelName, ~filterConfigs, ~limit): array<JSON.t> => {
117
- let table = QueryDbStorage_Postgres.tableName(readModelName)
117
+ let table = QueryDbStorage_Postgres_Ops.tableName(readModelName)
118
118
  let b = {params: []}
119
119
  let where = [notExpired]
120
120
  filterConfigs->Array.forEach(((field, cmp, v)) => where->Array.push(filterSql(b, field, cmp, v)))
@@ -122,6 +122,279 @@ module Make = (P: {let pool: PgDriver.pool}) => {
122
122
  (await P.pool->PgDriver.query(sql, b.params))->Array.map(decodeRow(~withId=true, ...))
123
123
  }
124
124
 
125
- let make: QueryDb_Adapter.queryEngineMaker = _allQueryDbs =>
126
- Pulumi.Output.make({QueryEngine.scan, query})
125
+ // ---------------------------------------------------------------------------
126
+ // GraphQL resolver push-downs (B3.2). The Postgres resolver Lambda dispatches
127
+ // these; they parallel the SQLite backend's `lookupByField` / `listPage` (the
128
+ // ones registered on LocalBus). All return `id`-carrying items (COALESCE from
129
+ // partition_key), matching the shape `QueryDbListQuery.run` operates over so
130
+ // the connection helpers agree.
131
+ //
132
+ // Text comparisons use `COLLATE "C"` (byte order — memcmp), the Postgres
133
+ // analogue of SQLite's BINARY collation, so cursor/order comparisons match
134
+ // JS string `<` for the ASCII id/status/name fields used as sort/filter keys.
135
+ // ---------------------------------------------------------------------------
136
+
137
+ // Equality lookup on an indexed JSON field — rides the expression index
138
+ // (`ensureIndexes`) instead of scanning. String comparison mirrors the
139
+ // resolver's JS path (which only matched string-typed fields).
140
+ let indexLookup = async (~readModelName, field: string, value: string): array<JSON.t> => {
141
+ let table = QueryDbStorage_Postgres_Ops.tableName(readModelName)
142
+ let b = {params: []}
143
+ let sql = `SELECT partition_key, item FROM ${table} WHERE ${col(field)} = ${b->param(
144
+ JSON.Encode.string(value),
145
+ )} AND ${notExpired}`
146
+ (await P.pool->PgDriver.query(sql, b.params))->Array.map(decodeRow(~withId=true, ...))
147
+ }
148
+
149
+ // Batched-by-ids lookup: BatchGetItem analogue over the projection's own
150
+ // table. Single-key projections only (partition_key = the id). Missing ids
151
+ // drop out of the response (no cardinality preservation), matching
152
+ // BatchGetItem semantics.
153
+ let byIds = async (~readModelName, ids: array<string>): array<JSON.t> => {
154
+ if ids->Array.length == 0 {
155
+ []
156
+ } else {
157
+ let table = QueryDbStorage_Postgres_Ops.tableName(readModelName)
158
+ let b = {params: []}
159
+ let idsJson = JSON.Encode.array(ids->Array.map(JSON.Encode.string))
160
+ let sql = `SELECT partition_key, item FROM ${table} WHERE partition_key = ANY(${b->param(
161
+ idsJson,
162
+ )}::text[]) AND ${notExpired}`
163
+ (await P.pool->PgDriver.query(sql, b.params))->Array.map(decodeRow(~withId=true, ...))
164
+ }
165
+ }
166
+
167
+ // COALESCE(item->>'id', partition_key) — the effective id, byte-ordered.
168
+ let idExprC = `COALESCE(item->>'id', partition_key) COLLATE "C"`
169
+ let jsonTextC = (field: string): string => `${col(field)} COLLATE "C"`
170
+
171
+ // Connection-list push-down. Builds `item->>'field'` predicates + keyset
172
+ // WHERE + `ORDER BY … LIMIT pageSize+1` so a page reads only what it returns
173
+ // rather than the whole read model. Reproduces `QueryDbListQuery` semantics
174
+ // exactly for the shapes it handles; returns `None` (→ the resolver Lambda
175
+ // falls back to `scan` + the shared spec) for shapes not bit-exact in SQL:
176
+ // case-insensitive search/searchPrefix, Relay-global-id `ids`, and backward
177
+ // pagination (last/before). Cursor values, edges, and pageInfo are built by
178
+ // the SAME `QueryDbListQuery` helpers the fallback uses, so only the
179
+ // WHERE/ORDER/LIMIT needs to match — the parity harness asserts it does
180
+ // (SQLite ≡ Postgres ≡ spec). Mirrors QueryDbStorage_Sqlite.listPage.
181
+ let listPage = async (
182
+ ~readModelName,
183
+ ~argsDict: dict<JSON.t>,
184
+ ~capability: GraphQL_FragmentGenerator.serverCapability,
185
+ ~labelField as _,
186
+ ~ownerScope: option<(string, string)>=?,
187
+ ): option<JSON.t> => {
188
+ let table = QueryDbStorage_Postgres_Ops.tableName(readModelName)
189
+ let filterDict =
190
+ argsDict->Dict.get("filter")->Option.flatMap(JSON.Decode.object)->Option.getOr(Dict.make())
191
+ let strNonEmpty = k =>
192
+ filterDict
193
+ ->Dict.get(k)
194
+ ->Option.flatMap(JSON.Decode.string)
195
+ ->Option.mapOr(false, s => s->String.length > 0)
196
+ let hasIds =
197
+ filterDict
198
+ ->Dict.get("ids")
199
+ ->Option.flatMap(JSON.Decode.array)
200
+ ->Option.mapOr(false, a => a->Array.length > 0)
201
+ let last = argsDict->Dict.get("last")->Option.flatMap(JSON.Decode.float)
202
+ let before = argsDict->Dict.get("before")->Option.flatMap(JSON.Decode.string)
203
+ if (
204
+ strNonEmpty("search") ||
205
+ strNonEmpty("searchPrefix") ||
206
+ hasIds ||
207
+ last->Option.isSome ||
208
+ before->Option.isSome
209
+ ) {
210
+ None
211
+ } else {
212
+ let b = {params: []}
213
+ let whereParts = [notExpired]
214
+ // Into the SQL, before the LIMIT — narrowing the returned page instead
215
+ // would hand back fewer rows than asked for while still claiming a next
216
+ // page. Mirrors the SQLite push-down; the parity harness holds the two
217
+ // and the shared spec to the same answer.
218
+ switch ownerScope {
219
+ | Some((field, required)) =>
220
+ whereParts->Array.push(`${jsonTextC(field)} = ${b->param(JSON.Encode.string(required))}`)
221
+ | None => ()
222
+ }
223
+ let valString = v =>
224
+ switch v->JSON.Decode.string {
225
+ | Some(s) => Some(s)
226
+ | None => v->JSON.Decode.float->Option.map(f => Float.toString(f))
227
+ }
228
+ capability.filterFields->Array.forEach(f => {
229
+ switch filterDict->Dict.get(f.name ++ "Eq") {
230
+ | Some(v) when v != JSON.Encode.null =>
231
+ whereParts->Array.push(
232
+ `${jsonTextC(f.name)} = ${b->param(JSON.Encode.string(valString(v)->Option.getOr("")))}`,
233
+ )
234
+ | _ => ()
235
+ }
236
+ if f.range {
237
+ switch filterDict->Dict.get(f.name ++ "From") {
238
+ | Some(v) when v != JSON.Encode.null =>
239
+ whereParts->Array.push(
240
+ `${jsonTextC(f.name)} >= ${b->param(
241
+ JSON.Encode.string(valString(v)->Option.getOr("")),
242
+ )}`,
243
+ )
244
+ | _ => ()
245
+ }
246
+ switch filterDict->Dict.get(f.name ++ "To") {
247
+ | Some(v) when v != JSON.Encode.null =>
248
+ whereParts->Array.push(
249
+ `${jsonTextC(f.name)} <= ${b->param(
250
+ JSON.Encode.string(valString(v)->Option.getOr("")),
251
+ )}`,
252
+ )
253
+ | _ => ()
254
+ }
255
+ }
256
+ })
257
+ let orderByDict = argsDict->Dict.get("orderBy")->Option.flatMap(JSON.Decode.object)
258
+ let orderByField =
259
+ orderByDict->Option.flatMap(ob => ob->Dict.get("field"))->Option.flatMap(JSON.Decode.string)
260
+ let isDesc =
261
+ orderByDict
262
+ ->Option.flatMap(ob => ob->Dict.get("direction"))
263
+ ->Option.flatMap(JSON.Decode.string)
264
+ ->Option.getOr("ASC") == "DESC"
265
+ let cursorExpr = switch orderByField {
266
+ | Some(f) => jsonTextC(f)
267
+ | None => idExprC
268
+ }
269
+ switch argsDict->Dict.get("after")->Option.flatMap(JSON.Decode.string) {
270
+ | Some(c) =>
271
+ whereParts->Array.push(
272
+ `${cursorExpr} ${isDesc ? "<" : ">"} ${b->param(
273
+ JSON.Encode.string(ReventlessCore.QueryDbListQuery.decodeCursor(c)),
274
+ )}`,
275
+ )
276
+ | None => ()
277
+ }
278
+ let orderClause = switch orderByField {
279
+ | Some(f) => `${jsonTextC(f)} ${isDesc ? "DESC" : "ASC"}, ${idExprC} ASC`
280
+ | None => `${idExprC} ASC`
281
+ }
282
+ let pageSize =
283
+ argsDict
284
+ ->Dict.get("first")
285
+ ->Option.flatMap(JSON.Decode.float)
286
+ ->Option.map(Float.toInt)
287
+ ->Option.getOr(ReventlessCore.QueryDbListQuery.defaultListPageSize)
288
+ let sql = `SELECT partition_key, item FROM ${table} WHERE ${whereParts->Array.join(
289
+ " AND ",
290
+ )} ORDER BY ${orderClause} LIMIT ${b->param(JSON.Encode.int(pageSize + 1))}`
291
+ let rows = (await P.pool->PgDriver.query(sql, b.params))->Array.map(decodeRow(~withId=true, ...))
292
+ let hasMore = rows->Array.length > pageSize
293
+ let pageItems = rows->Array.slice(~start=0, ~end=pageSize)
294
+ let cursorField = orderByField->Option.getOr("id")
295
+ let cursorValueOf = item =>
296
+ ReventlessCore.QueryDbListQuery.getFieldString(item, cursorField)->Option.getOr(
297
+ ReventlessCore.QueryDbListQuery.getId(item),
298
+ )
299
+ Some(
300
+ ReventlessCore.QueryDbListQuery.buildConnection(
301
+ ~pageItems,
302
+ ~hasNextPage=hasMore,
303
+ ~hasPreviousPage=false,
304
+ ~cursorValueOf,
305
+ ),
306
+ )
307
+ }
308
+ }
309
+
310
+ // Sub-id connection push-down: the `{single}Items(id, filter, first/after/
311
+ // last/before)` query. Keyset over `sub_key` WITHIN one partition — a page
312
+ // reads only what it returns. Reproduces QueryDbResolvers_GraphQL's items
313
+ // resolver (SortKey_Filter + forward/backward keyset), entirely in SQL since
314
+ // sub_key IS the sort key. Cursor = base64 of the sub_key value; comparisons
315
+ // use COLLATE "C" (byte order) to match JS string `<`. Unlike the main list
316
+ // there is no declined-shape fallback — every items shape maps to SQL.
317
+ let itemsPage = async (
318
+ ~readModelName,
319
+ ~subIdField as _: string,
320
+ ~id: string,
321
+ ~argsDict: dict<JSON.t>,
322
+ ~ownerScope: option<(string, string)>=?,
323
+ ): JSON.t => {
324
+ let table = QueryDbStorage_Postgres_Ops.tableName(readModelName)
325
+ let filterDict =
326
+ argsDict->Dict.get("filter")->Option.flatMap(JSON.Decode.object)->Option.getOr(Dict.make())
327
+ let fstr = k => filterDict->Dict.get(k)->Option.flatMap(JSON.Decode.string)
328
+ let orderDesc = fstr("order")->Option.mapOr(false, o => o == "DESC")
329
+ let last = argsDict->Dict.get("last")->Option.flatMap(JSON.Decode.float)->Option.map(Float.toInt)
330
+ let first = argsDict->Dict.get("first")->Option.flatMap(JSON.Decode.float)->Option.map(Float.toInt)
331
+ let after = argsDict->Dict.get("after")->Option.flatMap(JSON.Decode.string)
332
+ let before = argsDict->Dict.get("before")->Option.flatMap(JSON.Decode.string)
333
+ let isBackward = last->Option.isSome
334
+
335
+ let sk = `sub_key COLLATE "C"`
336
+ let b = {params: []}
337
+ let where = [`partition_key = ${b->param(JSON.Encode.string(id))}`, notExpired]
338
+ // Before the keyset window and the LIMIT, for the same reason as `listPage`.
339
+ switch ownerScope {
340
+ | Some((field, required)) =>
341
+ where->Array.push(`${jsonTextC(field)} = ${b->param(JSON.Encode.string(required))}`)
342
+ | None => ()
343
+ }
344
+ fstr("prefix")->Option.forEach(p =>
345
+ where->Array.push(`starts_with(sub_key, ${b->param(JSON.Encode.string(p))})`)
346
+ )
347
+ fstr("from")->Option.forEach(f => where->Array.push(`${sk} >= ${b->param(JSON.Encode.string(f))}`))
348
+ fstr("to")->Option.forEach(t => where->Array.push(`${sk} <= ${b->param(JSON.Encode.string(t))}`))
349
+ fstr("eq")->Option.forEach(e => where->Array.push(`${sk} = ${b->param(JSON.Encode.string(e))}`))
350
+ // Keyset: forward excludes ≤ after; backward excludes ≥ before.
351
+ switch (isBackward, after, before) {
352
+ | (false, Some(c), _) =>
353
+ where->Array.push(`${sk} > ${b->param(JSON.Encode.string(ReventlessCore.QueryDbListQuery.decodeCursor(c)))}`)
354
+ | (true, _, Some(c)) =>
355
+ where->Array.push(`${sk} < ${b->param(JSON.Encode.string(ReventlessCore.QueryDbListQuery.decodeCursor(c)))}`)
356
+ | _ => ()
357
+ }
358
+ // Page-fetch direction is the LOGICAL order forward, and its OPPOSITE
359
+ // backward (take the N nearest `before`, then reverse to logical) — mirrors
360
+ // the resolver's `reverse = isBackward ? !orderDesc : orderDesc`.
361
+ let fetchDesc = isBackward ? !orderDesc : orderDesc
362
+ let pageSize = (isBackward ? last : first)->Option.getOr(ReventlessCore.QueryDbListQuery.defaultListPageSize)
363
+ let sql = `SELECT partition_key, sub_key, item FROM ${table} WHERE ${where->Array.join(
364
+ " AND ",
365
+ )} ORDER BY ${sk} ${fetchDesc ? "DESC" : "ASC"} LIMIT ${b->param(JSON.Encode.int(pageSize + 1))}`
366
+ let rows = await P.pool->PgDriver.query(sql, b.params)
367
+ let hasMore = rows->Array.length > pageSize
368
+ let taken = rows->Array.slice(~start=0, ~end=pageSize)
369
+ // Backward fetched in reverse-logical order → flip back to logical.
370
+ let logical = isBackward ? taken->Array.toReversed : taken
371
+ let pageItems = logical->Array.map(decodeRow(~withId=false, ...))
372
+ // Cursor = the row's sub_key (== the item's subIdField value).
373
+ let subKeyOf = (row: dict<JSON.t>) =>
374
+ switch row->Dict.get("sub_key") {
375
+ | Some(JSON.String(s)) => s
376
+ | _ => ""
377
+ }
378
+ let cursors = logical->Array.map(subKeyOf)
379
+ let edges =
380
+ pageItems->Array.mapWithIndex((item, i) =>
381
+ Obj.magic({
382
+ "node": item,
383
+ "cursor": ReventlessCore.QueryDbListQuery.encodeCursor(cursors->Array.getUnsafe(i)),
384
+ })
385
+ )
386
+ let startCursor =
387
+ cursors->Array.get(0)->Option.map(ReventlessCore.QueryDbListQuery.encodeCursor)
388
+ let endCursor =
389
+ cursors->Array.get(cursors->Array.length - 1)->Option.map(ReventlessCore.QueryDbListQuery.encodeCursor)
390
+ Obj.magic({
391
+ "edges": edges,
392
+ "pageInfo": {
393
+ "hasNextPage": !isBackward && hasMore,
394
+ "hasPreviousPage": isBackward && hasMore,
395
+ "startCursor": startCursor->Nullable.fromOption,
396
+ "endCursor": endCursor->Nullable.fromOption,
397
+ },
398
+ })
399
+ }
127
400
  }