spacetimedb 2.4.1 → 2.6.0
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.
- package/LICENSE.txt +759 -759
- package/README.md +211 -120
- package/dist/angular/index.cjs.map +1 -1
- package/dist/angular/index.mjs.map +1 -1
- package/dist/browser/angular/index.mjs.map +1 -1
- package/dist/browser/react/index.mjs +129 -57
- package/dist/browser/react/index.mjs.map +1 -1
- package/dist/browser/solid/index.mjs +1933 -0
- package/dist/browser/solid/index.mjs.map +1 -0
- package/dist/browser/svelte/index.mjs.map +1 -1
- package/dist/browser/vue/index.mjs.map +1 -1
- package/dist/index.browser.mjs +10 -2
- package/dist/index.browser.mjs.map +1 -1
- package/dist/index.cjs +10 -2
- package/dist/index.cjs.map +1 -1
- package/dist/index.mjs +10 -2
- package/dist/index.mjs.map +1 -1
- package/dist/min/index.browser.mjs +1 -1
- package/dist/min/index.browser.mjs.map +1 -1
- package/dist/min/react/index.mjs +1 -1
- package/dist/min/react/index.mjs.map +1 -1
- package/dist/min/sdk/index.browser.mjs +1 -1
- package/dist/min/sdk/index.browser.mjs.map +1 -1
- package/dist/react/index.cjs +129 -57
- package/dist/react/index.cjs.map +1 -1
- package/dist/react/index.mjs +129 -57
- package/dist/react/index.mjs.map +1 -1
- package/dist/react/useTable.d.ts.map +1 -1
- package/dist/sdk/connection_manager.d.ts +8 -0
- package/dist/sdk/connection_manager.d.ts.map +1 -1
- package/dist/sdk/db_connection_impl.d.ts +7 -0
- package/dist/sdk/db_connection_impl.d.ts.map +1 -1
- package/dist/sdk/index.browser.mjs +10 -2
- package/dist/sdk/index.browser.mjs.map +1 -1
- package/dist/sdk/index.cjs +10 -2
- package/dist/sdk/index.cjs.map +1 -1
- package/dist/sdk/index.mjs +10 -2
- package/dist/sdk/index.mjs.map +1 -1
- package/dist/sdk/websocket_test_adapter.d.ts +2 -1
- package/dist/sdk/websocket_test_adapter.d.ts.map +1 -1
- package/dist/server/index.mjs.map +1 -1
- package/dist/server/runtime.d.ts.map +1 -1
- package/dist/solid/SpacetimeDBProvider.d.ts +7 -0
- package/dist/solid/SpacetimeDBProvider.d.ts.map +1 -0
- package/dist/solid/connection_state.d.ts +6 -0
- package/dist/solid/connection_state.d.ts.map +1 -0
- package/dist/solid/index.cjs +1939 -0
- package/dist/solid/index.cjs.map +1 -0
- package/dist/solid/index.d.ts +6 -0
- package/dist/solid/index.d.ts.map +1 -0
- package/dist/solid/index.mjs +1933 -0
- package/dist/solid/index.mjs.map +1 -0
- package/dist/solid/useProcedure.d.ts +4 -0
- package/dist/solid/useProcedure.d.ts.map +1 -0
- package/dist/solid/useReducer.d.ts +4 -0
- package/dist/solid/useReducer.d.ts.map +1 -0
- package/dist/solid/useSpacetimeDB.d.ts +4 -0
- package/dist/solid/useSpacetimeDB.d.ts.map +1 -0
- package/dist/solid/useTable.d.ts +32 -0
- package/dist/solid/useTable.d.ts.map +1 -0
- package/dist/svelte/index.cjs.map +1 -1
- package/dist/svelte/index.mjs.map +1 -1
- package/dist/tanstack/index.cjs +120 -50
- package/dist/tanstack/index.cjs.map +1 -1
- package/dist/tanstack/index.mjs +120 -50
- package/dist/tanstack/index.mjs.map +1 -1
- package/dist/vue/index.cjs.map +1 -1
- package/dist/vue/index.mjs.map +1 -1
- package/package.json +13 -3
- package/src/angular/connection_state.ts +19 -19
- package/src/angular/index.ts +3 -3
- package/src/angular/injectors/index.ts +4 -4
- package/src/angular/injectors/inject-reducer.ts +62 -62
- package/src/angular/injectors/inject-spacetimedb-connected.ts +13 -13
- package/src/angular/injectors/inject-spacetimedb.ts +10 -10
- package/src/angular/injectors/inject-table.ts +234 -234
- package/src/angular/providers/index.ts +1 -1
- package/src/angular/providers/provide-spacetimedb.ts +96 -96
- package/src/index.ts +16 -16
- package/src/lib/algebraic_type.ts +819 -819
- package/src/lib/algebraic_type_variants.ts +26 -26
- package/src/lib/algebraic_value.ts +10 -10
- package/src/lib/autogen/types.ts +746 -746
- package/src/lib/binary_reader.ts +188 -188
- package/src/lib/binary_writer.ts +213 -213
- package/src/lib/connection_id.ts +102 -102
- package/src/lib/constraints.ts +48 -48
- package/src/lib/errors.ts +26 -26
- package/src/lib/filter.ts +195 -195
- package/src/lib/identity.ts +83 -83
- package/src/lib/indexes.ts +251 -251
- package/src/lib/option.ts +34 -34
- package/src/lib/query.ts +1019 -1019
- package/src/lib/reducer_schema.ts +38 -38
- package/src/lib/reducers.ts +116 -116
- package/src/lib/result.ts +36 -36
- package/src/lib/schedule_at.ts +86 -86
- package/src/lib/schema.ts +420 -420
- package/src/lib/table.ts +548 -548
- package/src/lib/table_schema.ts +64 -64
- package/src/lib/time_duration.ts +77 -77
- package/src/lib/timestamp.ts +148 -148
- package/src/lib/type_builders.test-d.ts +128 -128
- package/src/lib/type_builders.ts +4014 -4014
- package/src/lib/type_util.ts +124 -124
- package/src/lib/util.ts +196 -196
- package/src/lib/uuid.ts +337 -337
- package/src/react/SpacetimeDBProvider.ts +84 -84
- package/src/react/connection_state.ts +6 -6
- package/src/react/index.ts +5 -5
- package/src/react/useProcedure.ts +60 -60
- package/src/react/useReducer.ts +53 -53
- package/src/react/useSpacetimeDB.ts +18 -18
- package/src/react/useTable.ts +256 -251
- package/src/sdk/client_api/index.ts +114 -114
- package/src/sdk/client_api/types/procedures.ts +8 -8
- package/src/sdk/client_api/types/reducers.ts +8 -8
- package/src/sdk/client_api/types.ts +288 -288
- package/src/sdk/client_cache.ts +129 -129
- package/src/sdk/client_table.ts +179 -179
- package/src/sdk/connection_manager.ts +352 -237
- package/src/sdk/db_connection_builder.ts +290 -290
- package/src/sdk/db_connection_impl.ts +1356 -1347
- package/src/sdk/db_context.ts +28 -28
- package/src/sdk/db_view.ts +12 -12
- package/src/sdk/decompress.ts +51 -51
- package/src/sdk/event.ts +18 -18
- package/src/sdk/event_context.ts +51 -51
- package/src/sdk/event_emitter.ts +32 -32
- package/src/sdk/index.ts +14 -14
- package/src/sdk/internal.ts +2 -2
- package/src/sdk/json_api.ts +46 -46
- package/src/sdk/logger.ts +134 -134
- package/src/sdk/message_types.ts +46 -46
- package/src/sdk/procedures.ts +83 -83
- package/src/sdk/reducer_event.ts +20 -20
- package/src/sdk/reducer_handle.ts +12 -12
- package/src/sdk/reducers.ts +159 -159
- package/src/sdk/schema.ts +45 -45
- package/src/sdk/spacetime_module.ts +28 -28
- package/src/sdk/subscription_builder_impl.ts +275 -275
- package/src/sdk/table_cache.ts +581 -581
- package/src/sdk/type_utils.ts +19 -19
- package/src/sdk/version.ts +133 -133
- package/src/sdk/websocket_decompress_adapter.ts +63 -63
- package/src/sdk/websocket_protocols.ts +25 -25
- package/src/sdk/websocket_test_adapter.ts +107 -100
- package/src/sdk/websocket_v3_frames.ts +126 -126
- package/src/sdk/ws.ts +105 -105
- package/src/server/console.ts +81 -81
- package/src/server/db_view.ts +21 -21
- package/src/server/errors.ts +138 -138
- package/src/server/http.test-d.ts +80 -80
- package/src/server/http.ts +14 -14
- package/src/server/http_handlers.ts +413 -413
- package/src/server/http_internal.ts +79 -79
- package/src/server/http_shared.ts +186 -186
- package/src/server/index.ts +37 -37
- package/src/server/polyfills.ts +4 -4
- package/src/server/procedures.ts +239 -239
- package/src/server/query.ts +1 -1
- package/src/server/range.ts +53 -53
- package/src/server/reducers.ts +113 -113
- package/src/server/rng.ts +113 -113
- package/src/server/runtime.ts +1102 -1102
- package/src/server/schema.test-d.ts +99 -99
- package/src/server/schema.ts +663 -663
- package/src/server/sys.d.ts +125 -125
- package/src/server/view.test-d.ts +194 -194
- package/src/server/views.ts +340 -340
- package/src/solid/SpacetimeDBProvider.ts +97 -0
- package/src/solid/connection_state.ts +6 -0
- package/src/solid/index.ts +5 -0
- package/src/solid/useProcedure.ts +57 -0
- package/src/solid/useReducer.ts +50 -0
- package/src/solid/useSpacetimeDB.ts +18 -0
- package/src/solid/useTable.ts +203 -0
- package/src/svelte/SpacetimeDBProvider.ts +101 -101
- package/src/svelte/connection_state.ts +16 -16
- package/src/svelte/index.ts +4 -4
- package/src/svelte/useReducer.ts +61 -61
- package/src/svelte/useSpacetimeDB.ts +22 -22
- package/src/svelte/useTable.ts +218 -218
- package/src/tanstack/SpacetimeDBQueryClient.ts +330 -330
- package/src/tanstack/hooks.ts +83 -83
- package/src/tanstack/index.ts +16 -16
- package/src/util-stub.ts +1 -1
- package/src/vue/SpacetimeDBProvider.ts +157 -157
- package/src/vue/connection_state.ts +19 -19
- package/src/vue/index.ts +5 -5
- package/src/vue/useProcedure.ts +62 -62
- package/src/vue/useReducer.ts +55 -55
- package/src/vue/useSpacetimeDB.ts +18 -18
- package/src/vue/useTable.ts +229 -229
package/src/lib/constraints.ts
CHANGED
|
@@ -1,48 +1,48 @@
|
|
|
1
|
-
import type { table, UntypedTableDef } from './table';
|
|
2
|
-
import type { ColumnMetadata } from './type_builders';
|
|
3
|
-
|
|
4
|
-
/**
|
|
5
|
-
* A helper type to determine if all columns in an index are unique.
|
|
6
|
-
*/
|
|
7
|
-
export type AllUnique<
|
|
8
|
-
TableDef extends UntypedTableDef,
|
|
9
|
-
Columns extends ReadonlyArray<keyof TableDef['columns']>,
|
|
10
|
-
> = Columns extends readonly [
|
|
11
|
-
infer Head extends keyof TableDef['columns'],
|
|
12
|
-
...infer Tail extends ReadonlyArray<keyof TableDef['columns']>,
|
|
13
|
-
]
|
|
14
|
-
? ColumnIsUnique<TableDef['columns'][Head]['columnMetadata']> extends true
|
|
15
|
-
? AllUnique<TableDef, Tail>
|
|
16
|
-
: false
|
|
17
|
-
: true;
|
|
18
|
-
|
|
19
|
-
/**
|
|
20
|
-
* A helper type to determine if a column is unique based on its metadata.
|
|
21
|
-
* A column is considered unique if it has either `isUnique` or `isPrimaryKey` set to true in its metadata.
|
|
22
|
-
* @template M - The column metadata to check.
|
|
23
|
-
* @returns `true` if the column is unique, otherwise `false`.
|
|
24
|
-
* @example
|
|
25
|
-
* ```typescript
|
|
26
|
-
* type Meta1 = { isUnique: true };
|
|
27
|
-
* type Meta2 = { isPrimaryKey: true };
|
|
28
|
-
* type Meta3 = { isUnique: false };
|
|
29
|
-
* type Meta4 = {};
|
|
30
|
-
* type Result1 = ColumnIsUnique<Meta1>; // true
|
|
31
|
-
* type Result2 = ColumnIsUnique<Meta2>; // true
|
|
32
|
-
* type Result3 = ColumnIsUnique<Meta3>; // false
|
|
33
|
-
* type Result4 = ColumnIsUnique<Meta4>; // false
|
|
34
|
-
* ```
|
|
35
|
-
*/
|
|
36
|
-
export type ColumnIsUnique<M extends ColumnMetadata<any>> = M extends
|
|
37
|
-
| { isUnique: true }
|
|
38
|
-
| { isPrimaryKey: true }
|
|
39
|
-
? true
|
|
40
|
-
: false;
|
|
41
|
-
|
|
42
|
-
/**
|
|
43
|
-
* Constraint helper type used *inside* {@link table} to enforce the type
|
|
44
|
-
* of constraint definitions.
|
|
45
|
-
*/
|
|
46
|
-
export type ConstraintOpts<AllowedCol extends string> = {
|
|
47
|
-
name?: string;
|
|
48
|
-
} & { constraint: 'unique'; columns: [AllowedCol] };
|
|
1
|
+
import type { table, UntypedTableDef } from './table';
|
|
2
|
+
import type { ColumnMetadata } from './type_builders';
|
|
3
|
+
|
|
4
|
+
/**
|
|
5
|
+
* A helper type to determine if all columns in an index are unique.
|
|
6
|
+
*/
|
|
7
|
+
export type AllUnique<
|
|
8
|
+
TableDef extends UntypedTableDef,
|
|
9
|
+
Columns extends ReadonlyArray<keyof TableDef['columns']>,
|
|
10
|
+
> = Columns extends readonly [
|
|
11
|
+
infer Head extends keyof TableDef['columns'],
|
|
12
|
+
...infer Tail extends ReadonlyArray<keyof TableDef['columns']>,
|
|
13
|
+
]
|
|
14
|
+
? ColumnIsUnique<TableDef['columns'][Head]['columnMetadata']> extends true
|
|
15
|
+
? AllUnique<TableDef, Tail>
|
|
16
|
+
: false
|
|
17
|
+
: true;
|
|
18
|
+
|
|
19
|
+
/**
|
|
20
|
+
* A helper type to determine if a column is unique based on its metadata.
|
|
21
|
+
* A column is considered unique if it has either `isUnique` or `isPrimaryKey` set to true in its metadata.
|
|
22
|
+
* @template M - The column metadata to check.
|
|
23
|
+
* @returns `true` if the column is unique, otherwise `false`.
|
|
24
|
+
* @example
|
|
25
|
+
* ```typescript
|
|
26
|
+
* type Meta1 = { isUnique: true };
|
|
27
|
+
* type Meta2 = { isPrimaryKey: true };
|
|
28
|
+
* type Meta3 = { isUnique: false };
|
|
29
|
+
* type Meta4 = {};
|
|
30
|
+
* type Result1 = ColumnIsUnique<Meta1>; // true
|
|
31
|
+
* type Result2 = ColumnIsUnique<Meta2>; // true
|
|
32
|
+
* type Result3 = ColumnIsUnique<Meta3>; // false
|
|
33
|
+
* type Result4 = ColumnIsUnique<Meta4>; // false
|
|
34
|
+
* ```
|
|
35
|
+
*/
|
|
36
|
+
export type ColumnIsUnique<M extends ColumnMetadata<any>> = M extends
|
|
37
|
+
| { isUnique: true }
|
|
38
|
+
| { isPrimaryKey: true }
|
|
39
|
+
? true
|
|
40
|
+
: false;
|
|
41
|
+
|
|
42
|
+
/**
|
|
43
|
+
* Constraint helper type used *inside* {@link table} to enforce the type
|
|
44
|
+
* of constraint definitions.
|
|
45
|
+
*/
|
|
46
|
+
export type ConstraintOpts<AllowedCol extends string> = {
|
|
47
|
+
name?: string;
|
|
48
|
+
} & { constraint: 'unique'; columns: [AllowedCol] };
|
package/src/lib/errors.ts
CHANGED
|
@@ -1,26 +1,26 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* An error thrown by a reducer that indicates a problem to the sender.
|
|
3
|
-
*
|
|
4
|
-
* When this error is thrown by a reducer, the sender will be notified
|
|
5
|
-
* that the reducer failed gracefully with the given message.
|
|
6
|
-
*/
|
|
7
|
-
export class SenderError extends Error {
|
|
8
|
-
constructor(message: string) {
|
|
9
|
-
super(message);
|
|
10
|
-
}
|
|
11
|
-
get name(): string {
|
|
12
|
-
return 'SenderError';
|
|
13
|
-
}
|
|
14
|
-
}
|
|
15
|
-
|
|
16
|
-
/**
|
|
17
|
-
* An internal reducer error returned by the server runtime.
|
|
18
|
-
*/
|
|
19
|
-
export class InternalError extends Error {
|
|
20
|
-
constructor(message: string) {
|
|
21
|
-
super(message);
|
|
22
|
-
}
|
|
23
|
-
get name(): string {
|
|
24
|
-
return 'InternalError';
|
|
25
|
-
}
|
|
26
|
-
}
|
|
1
|
+
/**
|
|
2
|
+
* An error thrown by a reducer that indicates a problem to the sender.
|
|
3
|
+
*
|
|
4
|
+
* When this error is thrown by a reducer, the sender will be notified
|
|
5
|
+
* that the reducer failed gracefully with the given message.
|
|
6
|
+
*/
|
|
7
|
+
export class SenderError extends Error {
|
|
8
|
+
constructor(message: string) {
|
|
9
|
+
super(message);
|
|
10
|
+
}
|
|
11
|
+
get name(): string {
|
|
12
|
+
return 'SenderError';
|
|
13
|
+
}
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
/**
|
|
17
|
+
* An internal reducer error returned by the server runtime.
|
|
18
|
+
*/
|
|
19
|
+
export class InternalError extends Error {
|
|
20
|
+
constructor(message: string) {
|
|
21
|
+
super(message);
|
|
22
|
+
}
|
|
23
|
+
get name(): string {
|
|
24
|
+
return 'InternalError';
|
|
25
|
+
}
|
|
26
|
+
}
|
package/src/lib/filter.ts
CHANGED
|
@@ -1,195 +1,195 @@
|
|
|
1
|
-
import type { RowType, UntypedTableDef } from './table';
|
|
2
|
-
import { Timestamp } from './timestamp';
|
|
3
|
-
import { Uuid } from './uuid';
|
|
4
|
-
|
|
5
|
-
export type Value = string | number | boolean | Uuid | Timestamp;
|
|
6
|
-
|
|
7
|
-
export type Expr<Column extends string> =
|
|
8
|
-
| { type: 'eq'; key: Column; value: Value }
|
|
9
|
-
| { type: 'and'; children: Expr<Column>[] }
|
|
10
|
-
| { type: 'or'; children: Expr<Column>[] };
|
|
11
|
-
|
|
12
|
-
export const eq = <Column extends string>(
|
|
13
|
-
key: Column,
|
|
14
|
-
value: Value
|
|
15
|
-
): Expr<Column> => ({ type: 'eq', key, value });
|
|
16
|
-
|
|
17
|
-
export const and = <Column extends string>(
|
|
18
|
-
...children: Expr<Column>[]
|
|
19
|
-
): Expr<Column> => {
|
|
20
|
-
const flat: Expr<Column>[] = [];
|
|
21
|
-
for (const c of children) {
|
|
22
|
-
if (!c) continue;
|
|
23
|
-
if (c.type === 'and') flat.push(...c.children);
|
|
24
|
-
else flat.push(c);
|
|
25
|
-
}
|
|
26
|
-
const pruned = flat.filter(Boolean);
|
|
27
|
-
if (pruned.length === 0) return { type: 'and', children: [] };
|
|
28
|
-
if (pruned.length === 1) return pruned[0];
|
|
29
|
-
return { type: 'and', children: pruned };
|
|
30
|
-
};
|
|
31
|
-
|
|
32
|
-
export const or = <Column extends string>(
|
|
33
|
-
...children: Expr<Column>[]
|
|
34
|
-
): Expr<Column> => {
|
|
35
|
-
const flat: Expr<Column>[] = [];
|
|
36
|
-
for (const c of children) {
|
|
37
|
-
if (!c) continue;
|
|
38
|
-
if (c.type === 'or') flat.push(...c.children);
|
|
39
|
-
else flat.push(c);
|
|
40
|
-
}
|
|
41
|
-
const pruned = flat.filter(Boolean);
|
|
42
|
-
if (pruned.length === 0) return { type: 'or', children: [] };
|
|
43
|
-
if (pruned.length === 1) return pruned[0];
|
|
44
|
-
return { type: 'or', children: pruned };
|
|
45
|
-
};
|
|
46
|
-
|
|
47
|
-
export const isEq = <Column extends string>(
|
|
48
|
-
e: Expr<Column>
|
|
49
|
-
): e is Extract<Expr<Column>, { type: 'eq' }> => e.type === 'eq';
|
|
50
|
-
export const isAnd = <Column extends string>(
|
|
51
|
-
e: Expr<Column>
|
|
52
|
-
): e is Extract<Expr<Column>, { type: 'and' }> => e.type === 'and';
|
|
53
|
-
export const isOr = <Column extends string>(
|
|
54
|
-
e: Expr<Column>
|
|
55
|
-
): e is Extract<Expr<Column>, { type: 'or' }> => e.type === 'or';
|
|
56
|
-
|
|
57
|
-
export function evaluate<Column extends string>(
|
|
58
|
-
expr: Expr<Column>,
|
|
59
|
-
row: Record<Column, any>
|
|
60
|
-
): boolean {
|
|
61
|
-
switch (expr.type) {
|
|
62
|
-
case 'eq': {
|
|
63
|
-
// The actual value of the Column
|
|
64
|
-
const v = row[expr.key];
|
|
65
|
-
if (
|
|
66
|
-
typeof v === 'string' ||
|
|
67
|
-
typeof v === 'number' ||
|
|
68
|
-
typeof v === 'boolean'
|
|
69
|
-
) {
|
|
70
|
-
return v === expr.value;
|
|
71
|
-
}
|
|
72
|
-
if (typeof v === 'object') {
|
|
73
|
-
// Value of the Column and passed Value are both a Uuid so do an integer comparison.
|
|
74
|
-
if (v instanceof Uuid && expr.value instanceof Uuid) {
|
|
75
|
-
return v.asBigInt() === expr.value.asBigInt();
|
|
76
|
-
}
|
|
77
|
-
// Value of the Column is a Uuid but passed Value is a String so compare them via string.
|
|
78
|
-
if (v instanceof Uuid && typeof expr.value === 'string') {
|
|
79
|
-
return v.toString() === expr.value;
|
|
80
|
-
}
|
|
81
|
-
|
|
82
|
-
if (v instanceof Timestamp) {
|
|
83
|
-
// Value of the Column and passed Value are both Timestamps so compare microseconds.
|
|
84
|
-
if (expr.value instanceof Timestamp) {
|
|
85
|
-
return v.microsSinceUnixEpoch === expr.value.microsSinceUnixEpoch;
|
|
86
|
-
}
|
|
87
|
-
}
|
|
88
|
-
}
|
|
89
|
-
return false;
|
|
90
|
-
}
|
|
91
|
-
case 'and':
|
|
92
|
-
return (
|
|
93
|
-
expr.children.length === 0 || expr.children.every(c => evaluate(c, row))
|
|
94
|
-
);
|
|
95
|
-
case 'or':
|
|
96
|
-
return (
|
|
97
|
-
expr.children.length !== 0 && expr.children.some(c => evaluate(c, row))
|
|
98
|
-
);
|
|
99
|
-
}
|
|
100
|
-
}
|
|
101
|
-
|
|
102
|
-
function formatValue(v: Value): string {
|
|
103
|
-
switch (typeof v) {
|
|
104
|
-
case 'string':
|
|
105
|
-
return `'${v.replace(/'/g, "''")}'`;
|
|
106
|
-
case 'number':
|
|
107
|
-
return Number.isFinite(v) ? String(v) : `'${String(v)}'`;
|
|
108
|
-
case 'boolean':
|
|
109
|
-
return v ? 'TRUE' : 'FALSE';
|
|
110
|
-
case 'object': {
|
|
111
|
-
if (v instanceof Uuid) {
|
|
112
|
-
return `'${v.toString()}'`;
|
|
113
|
-
}
|
|
114
|
-
if (v instanceof Timestamp) {
|
|
115
|
-
return `'${v.toISOString()}'`;
|
|
116
|
-
}
|
|
117
|
-
|
|
118
|
-
return '';
|
|
119
|
-
}
|
|
120
|
-
}
|
|
121
|
-
}
|
|
122
|
-
|
|
123
|
-
function escapeIdent(id: string): string {
|
|
124
|
-
if (/^[A-Za-z_][A-Za-z0-9_]*$/.test(id)) return id;
|
|
125
|
-
return `"${id.replace(/"/g, '""')}"`;
|
|
126
|
-
}
|
|
127
|
-
|
|
128
|
-
function parenthesize(s: string): string {
|
|
129
|
-
if (!s.includes(' AND ') && !s.includes(' OR ')) return s;
|
|
130
|
-
return `(${s})`;
|
|
131
|
-
}
|
|
132
|
-
|
|
133
|
-
export function toString<TableDef extends UntypedTableDef>(
|
|
134
|
-
tableDef: TableDef,
|
|
135
|
-
expr: Expr<ColumnsFromRow<RowType<TableDef>>>
|
|
136
|
-
): string {
|
|
137
|
-
switch (expr.type) {
|
|
138
|
-
case 'eq': {
|
|
139
|
-
const key = tableDef.columns[expr.key].columnMetadata.name ?? expr.key;
|
|
140
|
-
return `${escapeIdent(key)} = ${formatValue(expr.value)}`;
|
|
141
|
-
}
|
|
142
|
-
case 'and':
|
|
143
|
-
return parenthesize(
|
|
144
|
-
expr.children.map(expr => toString(tableDef, expr)).join(' AND ')
|
|
145
|
-
);
|
|
146
|
-
case 'or':
|
|
147
|
-
return parenthesize(
|
|
148
|
-
expr.children.map(expr => toString(tableDef, expr)).join(' OR ')
|
|
149
|
-
);
|
|
150
|
-
}
|
|
151
|
-
}
|
|
152
|
-
|
|
153
|
-
/**
|
|
154
|
-
* This is just the identity function to make things look like SQL.
|
|
155
|
-
* @param expr
|
|
156
|
-
* @returns
|
|
157
|
-
*/
|
|
158
|
-
export function where<Column extends string>(expr: Expr<Column>): Expr<Column> {
|
|
159
|
-
return expr;
|
|
160
|
-
}
|
|
161
|
-
|
|
162
|
-
type MembershipChange = 'enter' | 'leave' | 'stayIn' | 'stayOut';
|
|
163
|
-
|
|
164
|
-
export function classifyMembership<
|
|
165
|
-
Col extends string,
|
|
166
|
-
R extends Record<string, unknown>,
|
|
167
|
-
>(where: Expr<Col> | undefined, oldRow: R, newRow: R): MembershipChange {
|
|
168
|
-
// No filter: everything is in, so updates are always "stayIn".
|
|
169
|
-
if (!where) {
|
|
170
|
-
return 'stayIn';
|
|
171
|
-
}
|
|
172
|
-
|
|
173
|
-
const oldIn = evaluate(where, oldRow);
|
|
174
|
-
const newIn = evaluate(where, newRow);
|
|
175
|
-
|
|
176
|
-
if (oldIn && !newIn) {
|
|
177
|
-
return 'leave';
|
|
178
|
-
}
|
|
179
|
-
if (!oldIn && newIn) {
|
|
180
|
-
return 'enter';
|
|
181
|
-
}
|
|
182
|
-
if (oldIn && newIn) {
|
|
183
|
-
return 'stayIn';
|
|
184
|
-
}
|
|
185
|
-
return 'stayOut';
|
|
186
|
-
}
|
|
187
|
-
|
|
188
|
-
/**
|
|
189
|
-
* Extracts the column names from a RowType whose values are of type Value.
|
|
190
|
-
* Note that this will exclude columns that are of type object, array, etc.
|
|
191
|
-
*/
|
|
192
|
-
export type ColumnsFromRow<R> = {
|
|
193
|
-
[K in keyof R]-?: R[K] extends Value | undefined ? K : never;
|
|
194
|
-
}[keyof R] &
|
|
195
|
-
string;
|
|
1
|
+
import type { RowType, UntypedTableDef } from './table';
|
|
2
|
+
import { Timestamp } from './timestamp';
|
|
3
|
+
import { Uuid } from './uuid';
|
|
4
|
+
|
|
5
|
+
export type Value = string | number | boolean | Uuid | Timestamp;
|
|
6
|
+
|
|
7
|
+
export type Expr<Column extends string> =
|
|
8
|
+
| { type: 'eq'; key: Column; value: Value }
|
|
9
|
+
| { type: 'and'; children: Expr<Column>[] }
|
|
10
|
+
| { type: 'or'; children: Expr<Column>[] };
|
|
11
|
+
|
|
12
|
+
export const eq = <Column extends string>(
|
|
13
|
+
key: Column,
|
|
14
|
+
value: Value
|
|
15
|
+
): Expr<Column> => ({ type: 'eq', key, value });
|
|
16
|
+
|
|
17
|
+
export const and = <Column extends string>(
|
|
18
|
+
...children: Expr<Column>[]
|
|
19
|
+
): Expr<Column> => {
|
|
20
|
+
const flat: Expr<Column>[] = [];
|
|
21
|
+
for (const c of children) {
|
|
22
|
+
if (!c) continue;
|
|
23
|
+
if (c.type === 'and') flat.push(...c.children);
|
|
24
|
+
else flat.push(c);
|
|
25
|
+
}
|
|
26
|
+
const pruned = flat.filter(Boolean);
|
|
27
|
+
if (pruned.length === 0) return { type: 'and', children: [] };
|
|
28
|
+
if (pruned.length === 1) return pruned[0];
|
|
29
|
+
return { type: 'and', children: pruned };
|
|
30
|
+
};
|
|
31
|
+
|
|
32
|
+
export const or = <Column extends string>(
|
|
33
|
+
...children: Expr<Column>[]
|
|
34
|
+
): Expr<Column> => {
|
|
35
|
+
const flat: Expr<Column>[] = [];
|
|
36
|
+
for (const c of children) {
|
|
37
|
+
if (!c) continue;
|
|
38
|
+
if (c.type === 'or') flat.push(...c.children);
|
|
39
|
+
else flat.push(c);
|
|
40
|
+
}
|
|
41
|
+
const pruned = flat.filter(Boolean);
|
|
42
|
+
if (pruned.length === 0) return { type: 'or', children: [] };
|
|
43
|
+
if (pruned.length === 1) return pruned[0];
|
|
44
|
+
return { type: 'or', children: pruned };
|
|
45
|
+
};
|
|
46
|
+
|
|
47
|
+
export const isEq = <Column extends string>(
|
|
48
|
+
e: Expr<Column>
|
|
49
|
+
): e is Extract<Expr<Column>, { type: 'eq' }> => e.type === 'eq';
|
|
50
|
+
export const isAnd = <Column extends string>(
|
|
51
|
+
e: Expr<Column>
|
|
52
|
+
): e is Extract<Expr<Column>, { type: 'and' }> => e.type === 'and';
|
|
53
|
+
export const isOr = <Column extends string>(
|
|
54
|
+
e: Expr<Column>
|
|
55
|
+
): e is Extract<Expr<Column>, { type: 'or' }> => e.type === 'or';
|
|
56
|
+
|
|
57
|
+
export function evaluate<Column extends string>(
|
|
58
|
+
expr: Expr<Column>,
|
|
59
|
+
row: Record<Column, any>
|
|
60
|
+
): boolean {
|
|
61
|
+
switch (expr.type) {
|
|
62
|
+
case 'eq': {
|
|
63
|
+
// The actual value of the Column
|
|
64
|
+
const v = row[expr.key];
|
|
65
|
+
if (
|
|
66
|
+
typeof v === 'string' ||
|
|
67
|
+
typeof v === 'number' ||
|
|
68
|
+
typeof v === 'boolean'
|
|
69
|
+
) {
|
|
70
|
+
return v === expr.value;
|
|
71
|
+
}
|
|
72
|
+
if (typeof v === 'object') {
|
|
73
|
+
// Value of the Column and passed Value are both a Uuid so do an integer comparison.
|
|
74
|
+
if (v instanceof Uuid && expr.value instanceof Uuid) {
|
|
75
|
+
return v.asBigInt() === expr.value.asBigInt();
|
|
76
|
+
}
|
|
77
|
+
// Value of the Column is a Uuid but passed Value is a String so compare them via string.
|
|
78
|
+
if (v instanceof Uuid && typeof expr.value === 'string') {
|
|
79
|
+
return v.toString() === expr.value;
|
|
80
|
+
}
|
|
81
|
+
|
|
82
|
+
if (v instanceof Timestamp) {
|
|
83
|
+
// Value of the Column and passed Value are both Timestamps so compare microseconds.
|
|
84
|
+
if (expr.value instanceof Timestamp) {
|
|
85
|
+
return v.microsSinceUnixEpoch === expr.value.microsSinceUnixEpoch;
|
|
86
|
+
}
|
|
87
|
+
}
|
|
88
|
+
}
|
|
89
|
+
return false;
|
|
90
|
+
}
|
|
91
|
+
case 'and':
|
|
92
|
+
return (
|
|
93
|
+
expr.children.length === 0 || expr.children.every(c => evaluate(c, row))
|
|
94
|
+
);
|
|
95
|
+
case 'or':
|
|
96
|
+
return (
|
|
97
|
+
expr.children.length !== 0 && expr.children.some(c => evaluate(c, row))
|
|
98
|
+
);
|
|
99
|
+
}
|
|
100
|
+
}
|
|
101
|
+
|
|
102
|
+
function formatValue(v: Value): string {
|
|
103
|
+
switch (typeof v) {
|
|
104
|
+
case 'string':
|
|
105
|
+
return `'${v.replace(/'/g, "''")}'`;
|
|
106
|
+
case 'number':
|
|
107
|
+
return Number.isFinite(v) ? String(v) : `'${String(v)}'`;
|
|
108
|
+
case 'boolean':
|
|
109
|
+
return v ? 'TRUE' : 'FALSE';
|
|
110
|
+
case 'object': {
|
|
111
|
+
if (v instanceof Uuid) {
|
|
112
|
+
return `'${v.toString()}'`;
|
|
113
|
+
}
|
|
114
|
+
if (v instanceof Timestamp) {
|
|
115
|
+
return `'${v.toISOString()}'`;
|
|
116
|
+
}
|
|
117
|
+
|
|
118
|
+
return '';
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
}
|
|
122
|
+
|
|
123
|
+
function escapeIdent(id: string): string {
|
|
124
|
+
if (/^[A-Za-z_][A-Za-z0-9_]*$/.test(id)) return id;
|
|
125
|
+
return `"${id.replace(/"/g, '""')}"`;
|
|
126
|
+
}
|
|
127
|
+
|
|
128
|
+
function parenthesize(s: string): string {
|
|
129
|
+
if (!s.includes(' AND ') && !s.includes(' OR ')) return s;
|
|
130
|
+
return `(${s})`;
|
|
131
|
+
}
|
|
132
|
+
|
|
133
|
+
export function toString<TableDef extends UntypedTableDef>(
|
|
134
|
+
tableDef: TableDef,
|
|
135
|
+
expr: Expr<ColumnsFromRow<RowType<TableDef>>>
|
|
136
|
+
): string {
|
|
137
|
+
switch (expr.type) {
|
|
138
|
+
case 'eq': {
|
|
139
|
+
const key = tableDef.columns[expr.key].columnMetadata.name ?? expr.key;
|
|
140
|
+
return `${escapeIdent(key)} = ${formatValue(expr.value)}`;
|
|
141
|
+
}
|
|
142
|
+
case 'and':
|
|
143
|
+
return parenthesize(
|
|
144
|
+
expr.children.map(expr => toString(tableDef, expr)).join(' AND ')
|
|
145
|
+
);
|
|
146
|
+
case 'or':
|
|
147
|
+
return parenthesize(
|
|
148
|
+
expr.children.map(expr => toString(tableDef, expr)).join(' OR ')
|
|
149
|
+
);
|
|
150
|
+
}
|
|
151
|
+
}
|
|
152
|
+
|
|
153
|
+
/**
|
|
154
|
+
* This is just the identity function to make things look like SQL.
|
|
155
|
+
* @param expr
|
|
156
|
+
* @returns
|
|
157
|
+
*/
|
|
158
|
+
export function where<Column extends string>(expr: Expr<Column>): Expr<Column> {
|
|
159
|
+
return expr;
|
|
160
|
+
}
|
|
161
|
+
|
|
162
|
+
type MembershipChange = 'enter' | 'leave' | 'stayIn' | 'stayOut';
|
|
163
|
+
|
|
164
|
+
export function classifyMembership<
|
|
165
|
+
Col extends string,
|
|
166
|
+
R extends Record<string, unknown>,
|
|
167
|
+
>(where: Expr<Col> | undefined, oldRow: R, newRow: R): MembershipChange {
|
|
168
|
+
// No filter: everything is in, so updates are always "stayIn".
|
|
169
|
+
if (!where) {
|
|
170
|
+
return 'stayIn';
|
|
171
|
+
}
|
|
172
|
+
|
|
173
|
+
const oldIn = evaluate(where, oldRow);
|
|
174
|
+
const newIn = evaluate(where, newRow);
|
|
175
|
+
|
|
176
|
+
if (oldIn && !newIn) {
|
|
177
|
+
return 'leave';
|
|
178
|
+
}
|
|
179
|
+
if (!oldIn && newIn) {
|
|
180
|
+
return 'enter';
|
|
181
|
+
}
|
|
182
|
+
if (oldIn && newIn) {
|
|
183
|
+
return 'stayIn';
|
|
184
|
+
}
|
|
185
|
+
return 'stayOut';
|
|
186
|
+
}
|
|
187
|
+
|
|
188
|
+
/**
|
|
189
|
+
* Extracts the column names from a RowType whose values are of type Value.
|
|
190
|
+
* Note that this will exclude columns that are of type object, array, etc.
|
|
191
|
+
*/
|
|
192
|
+
export type ColumnsFromRow<R> = {
|
|
193
|
+
[K in keyof R]-?: R[K] extends Value | undefined ? K : never;
|
|
194
|
+
}[keyof R] &
|
|
195
|
+
string;
|