spacetimedb 2.5.0 → 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 -211
- 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 +120 -50
- package/dist/browser/solid/index.mjs.map +1 -1
- 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/index.cjs +120 -50
- package/dist/solid/index.cjs.map +1 -1
- package/dist/solid/index.mjs +120 -50
- package/dist/solid/index.mjs.map +1 -1
- 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 +1 -1
- 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 -97
- package/src/solid/connection_state.ts +6 -6
- package/src/solid/index.ts +5 -5
- package/src/solid/useProcedure.ts +57 -57
- package/src/solid/useReducer.ts +50 -50
- package/src/solid/useSpacetimeDB.ts +18 -18
- package/src/solid/useTable.ts +203 -203
- 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/identity.ts
CHANGED
|
@@ -1,83 +1,83 @@
|
|
|
1
|
-
import { AlgebraicType } from './algebraic_type';
|
|
2
|
-
import { hexStringToU256, u256ToHexString, u256ToUint8Array } from './util';
|
|
3
|
-
|
|
4
|
-
export type IdentityAlgebraicType = {
|
|
5
|
-
tag: 'Product';
|
|
6
|
-
value: {
|
|
7
|
-
elements: [{ name: '__identity__'; algebraicType: { tag: 'U256' } }];
|
|
8
|
-
};
|
|
9
|
-
};
|
|
10
|
-
|
|
11
|
-
/**
|
|
12
|
-
* A unique identifier for a user connected to a database.
|
|
13
|
-
*/
|
|
14
|
-
export class Identity {
|
|
15
|
-
__identity__: bigint;
|
|
16
|
-
|
|
17
|
-
/**
|
|
18
|
-
* Creates a new `Identity`.
|
|
19
|
-
*
|
|
20
|
-
* `data` can be a hexadecimal string or a `bigint`.
|
|
21
|
-
*/
|
|
22
|
-
constructor(data: string | bigint) {
|
|
23
|
-
// we get a JSON with __identity__ when getting a token with a JSON API
|
|
24
|
-
// and an bigint when using BSATN
|
|
25
|
-
this.__identity__ = typeof data === 'string' ? hexStringToU256(data) : data;
|
|
26
|
-
}
|
|
27
|
-
|
|
28
|
-
/**
|
|
29
|
-
* Get the algebraic type representation of the {@link Identity} type.
|
|
30
|
-
* @returns The algebraic type representation of the type.
|
|
31
|
-
*/
|
|
32
|
-
static getAlgebraicType(): IdentityAlgebraicType {
|
|
33
|
-
return AlgebraicType.Product({
|
|
34
|
-
elements: [{ name: '__identity__', algebraicType: AlgebraicType.U256 }],
|
|
35
|
-
});
|
|
36
|
-
}
|
|
37
|
-
|
|
38
|
-
/**
|
|
39
|
-
* Check if two identities are equal.
|
|
40
|
-
*/
|
|
41
|
-
isEqual(other: Identity): boolean {
|
|
42
|
-
return this.toHexString() === other.toHexString();
|
|
43
|
-
}
|
|
44
|
-
|
|
45
|
-
/**
|
|
46
|
-
* Check if two identities are equal.
|
|
47
|
-
*/
|
|
48
|
-
equals(other: Identity): boolean {
|
|
49
|
-
return this.isEqual(other);
|
|
50
|
-
}
|
|
51
|
-
|
|
52
|
-
/**
|
|
53
|
-
* Print the identity as a hexadecimal string.
|
|
54
|
-
*/
|
|
55
|
-
toHexString(): string {
|
|
56
|
-
return u256ToHexString(this.__identity__);
|
|
57
|
-
}
|
|
58
|
-
|
|
59
|
-
/**
|
|
60
|
-
* Convert the address to a Uint8Array.
|
|
61
|
-
*/
|
|
62
|
-
toUint8Array(): Uint8Array {
|
|
63
|
-
return u256ToUint8Array(this.__identity__);
|
|
64
|
-
}
|
|
65
|
-
|
|
66
|
-
/**
|
|
67
|
-
* Parse an Identity from a hexadecimal string.
|
|
68
|
-
*/
|
|
69
|
-
static fromString(str: string): Identity {
|
|
70
|
-
return new Identity(str);
|
|
71
|
-
}
|
|
72
|
-
|
|
73
|
-
/**
|
|
74
|
-
* Zero identity (0x0000000000000000000000000000000000000000000000000000000000000000)
|
|
75
|
-
*/
|
|
76
|
-
static zero(): Identity {
|
|
77
|
-
return new Identity(0n);
|
|
78
|
-
}
|
|
79
|
-
|
|
80
|
-
toString(): string {
|
|
81
|
-
return this.toHexString();
|
|
82
|
-
}
|
|
83
|
-
}
|
|
1
|
+
import { AlgebraicType } from './algebraic_type';
|
|
2
|
+
import { hexStringToU256, u256ToHexString, u256ToUint8Array } from './util';
|
|
3
|
+
|
|
4
|
+
export type IdentityAlgebraicType = {
|
|
5
|
+
tag: 'Product';
|
|
6
|
+
value: {
|
|
7
|
+
elements: [{ name: '__identity__'; algebraicType: { tag: 'U256' } }];
|
|
8
|
+
};
|
|
9
|
+
};
|
|
10
|
+
|
|
11
|
+
/**
|
|
12
|
+
* A unique identifier for a user connected to a database.
|
|
13
|
+
*/
|
|
14
|
+
export class Identity {
|
|
15
|
+
__identity__: bigint;
|
|
16
|
+
|
|
17
|
+
/**
|
|
18
|
+
* Creates a new `Identity`.
|
|
19
|
+
*
|
|
20
|
+
* `data` can be a hexadecimal string or a `bigint`.
|
|
21
|
+
*/
|
|
22
|
+
constructor(data: string | bigint) {
|
|
23
|
+
// we get a JSON with __identity__ when getting a token with a JSON API
|
|
24
|
+
// and an bigint when using BSATN
|
|
25
|
+
this.__identity__ = typeof data === 'string' ? hexStringToU256(data) : data;
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
/**
|
|
29
|
+
* Get the algebraic type representation of the {@link Identity} type.
|
|
30
|
+
* @returns The algebraic type representation of the type.
|
|
31
|
+
*/
|
|
32
|
+
static getAlgebraicType(): IdentityAlgebraicType {
|
|
33
|
+
return AlgebraicType.Product({
|
|
34
|
+
elements: [{ name: '__identity__', algebraicType: AlgebraicType.U256 }],
|
|
35
|
+
});
|
|
36
|
+
}
|
|
37
|
+
|
|
38
|
+
/**
|
|
39
|
+
* Check if two identities are equal.
|
|
40
|
+
*/
|
|
41
|
+
isEqual(other: Identity): boolean {
|
|
42
|
+
return this.toHexString() === other.toHexString();
|
|
43
|
+
}
|
|
44
|
+
|
|
45
|
+
/**
|
|
46
|
+
* Check if two identities are equal.
|
|
47
|
+
*/
|
|
48
|
+
equals(other: Identity): boolean {
|
|
49
|
+
return this.isEqual(other);
|
|
50
|
+
}
|
|
51
|
+
|
|
52
|
+
/**
|
|
53
|
+
* Print the identity as a hexadecimal string.
|
|
54
|
+
*/
|
|
55
|
+
toHexString(): string {
|
|
56
|
+
return u256ToHexString(this.__identity__);
|
|
57
|
+
}
|
|
58
|
+
|
|
59
|
+
/**
|
|
60
|
+
* Convert the address to a Uint8Array.
|
|
61
|
+
*/
|
|
62
|
+
toUint8Array(): Uint8Array {
|
|
63
|
+
return u256ToUint8Array(this.__identity__);
|
|
64
|
+
}
|
|
65
|
+
|
|
66
|
+
/**
|
|
67
|
+
* Parse an Identity from a hexadecimal string.
|
|
68
|
+
*/
|
|
69
|
+
static fromString(str: string): Identity {
|
|
70
|
+
return new Identity(str);
|
|
71
|
+
}
|
|
72
|
+
|
|
73
|
+
/**
|
|
74
|
+
* Zero identity (0x0000000000000000000000000000000000000000000000000000000000000000)
|
|
75
|
+
*/
|
|
76
|
+
static zero(): Identity {
|
|
77
|
+
return new Identity(0n);
|
|
78
|
+
}
|
|
79
|
+
|
|
80
|
+
toString(): string {
|
|
81
|
+
return this.toHexString();
|
|
82
|
+
}
|
|
83
|
+
}
|
package/src/lib/indexes.ts
CHANGED
|
@@ -1,251 +1,251 @@
|
|
|
1
|
-
import type { RowType, table, UntypedTableDef } from './table';
|
|
2
|
-
import type { ColumnMetadata, IndexTypes } from './type_builders';
|
|
3
|
-
import type { CollapseTuple, Prettify } from './type_util';
|
|
4
|
-
import { Range } from '../server/range';
|
|
5
|
-
import type { ColumnIsUnique } from './constraints';
|
|
6
|
-
|
|
7
|
-
/**
|
|
8
|
-
* Index helper type used *inside* {@link table} to enforce that only
|
|
9
|
-
* existing column names are referenced.
|
|
10
|
-
*/
|
|
11
|
-
export type IndexOpts<AllowedCol extends string> = {
|
|
12
|
-
accessor: string;
|
|
13
|
-
name?: string;
|
|
14
|
-
} & (
|
|
15
|
-
| { algorithm: 'btree'; columns: readonly AllowedCol[] }
|
|
16
|
-
| { algorithm: 'hash'; columns: readonly AllowedCol[] }
|
|
17
|
-
| { algorithm: 'direct'; column: AllowedCol }
|
|
18
|
-
);
|
|
19
|
-
|
|
20
|
-
/**
|
|
21
|
-
* An untyped representation of an index definition.
|
|
22
|
-
*/
|
|
23
|
-
export type UntypedIndex<AllowedCol extends string> = {
|
|
24
|
-
name: string;
|
|
25
|
-
unique?: boolean;
|
|
26
|
-
algorithm: 'btree' | 'direct' | 'hash';
|
|
27
|
-
columns: readonly AllowedCol[];
|
|
28
|
-
};
|
|
29
|
-
|
|
30
|
-
/**
|
|
31
|
-
* A helper type to extract the column names from an index definition.
|
|
32
|
-
*/
|
|
33
|
-
export type IndexColumns<I extends IndexOpts<any>> = I extends {
|
|
34
|
-
columns: readonly string[];
|
|
35
|
-
}
|
|
36
|
-
? readonly [...I['columns']]
|
|
37
|
-
: I extends { column: infer Name extends string }
|
|
38
|
-
? readonly [Name]
|
|
39
|
-
: never;
|
|
40
|
-
|
|
41
|
-
/**
|
|
42
|
-
* A type representing the indexes defined on a table.
|
|
43
|
-
*/
|
|
44
|
-
export type Indexes<
|
|
45
|
-
TableDef extends UntypedTableDef,
|
|
46
|
-
I extends Record<string, UntypedIndex<keyof TableDef['columns'] & string>>,
|
|
47
|
-
> = {
|
|
48
|
-
[k in keyof I]: Index<TableDef, I[k]>;
|
|
49
|
-
};
|
|
50
|
-
|
|
51
|
-
/**
|
|
52
|
-
* Check whether every column in an index is a primary key column.
|
|
53
|
-
*/
|
|
54
|
-
type AllColumnsPrimaryKey<
|
|
55
|
-
TableDef extends UntypedTableDef,
|
|
56
|
-
Columns extends readonly string[],
|
|
57
|
-
> = Columns extends readonly [
|
|
58
|
-
infer Head extends keyof TableDef['columns'] & string,
|
|
59
|
-
...infer Tail extends readonly string[],
|
|
60
|
-
]
|
|
61
|
-
? TableDef['columns'][Head]['columnMetadata'] extends { isPrimaryKey: true }
|
|
62
|
-
? AllColumnsPrimaryKey<TableDef, Tail>
|
|
63
|
-
: false
|
|
64
|
-
: true;
|
|
65
|
-
|
|
66
|
-
/**
|
|
67
|
-
* A type representing a database index,
|
|
68
|
-
* which can either be unique or filter for a single value or range of values.
|
|
69
|
-
* Unique indexes on primary key columns additionally support `update`.
|
|
70
|
-
*/
|
|
71
|
-
export type Index<
|
|
72
|
-
TableDef extends UntypedTableDef,
|
|
73
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
74
|
-
> = I['unique'] extends true
|
|
75
|
-
? AllColumnsPrimaryKey<TableDef, I['columns']> extends true
|
|
76
|
-
? UniqueIndex<TableDef, I> & {
|
|
77
|
-
update(row: Prettify<RowType<TableDef>>): Prettify<RowType<TableDef>>;
|
|
78
|
-
}
|
|
79
|
-
: UniqueIndex<TableDef, I>
|
|
80
|
-
: I['algorithm'] extends 'hash'
|
|
81
|
-
? PointIndex<TableDef, I>
|
|
82
|
-
: RangedIndex<TableDef, I>;
|
|
83
|
-
|
|
84
|
-
/**
|
|
85
|
-
* A type representing a collection of read-only indexes defined on a table.
|
|
86
|
-
*/
|
|
87
|
-
export type ReadonlyIndexes<
|
|
88
|
-
TableDef extends UntypedTableDef,
|
|
89
|
-
I extends Record<string, UntypedIndex<keyof TableDef['columns'] & string>>,
|
|
90
|
-
> = {
|
|
91
|
-
[k in keyof I]: ReadonlyIndex<TableDef, I[k]>;
|
|
92
|
-
};
|
|
93
|
-
|
|
94
|
-
/**
|
|
95
|
-
* A type representing a read-only database index,
|
|
96
|
-
* which can be either unique, pointed, or ranged.
|
|
97
|
-
* This type only exposes read-only operations.
|
|
98
|
-
*/
|
|
99
|
-
export type ReadonlyIndex<
|
|
100
|
-
TableDef extends UntypedTableDef,
|
|
101
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
102
|
-
> = I['unique'] extends true
|
|
103
|
-
? ReadonlyUniqueIndex<TableDef, I>
|
|
104
|
-
: I['algorithm'] extends 'hash'
|
|
105
|
-
? ReadonlyPointIndex<TableDef, I>
|
|
106
|
-
: ReadonlyRangedIndex<TableDef, I>;
|
|
107
|
-
|
|
108
|
-
/**
|
|
109
|
-
* A type representing a read-only unique index on a database table.
|
|
110
|
-
*/
|
|
111
|
-
export type ReadonlyUniqueIndex<
|
|
112
|
-
TableDef extends UntypedTableDef,
|
|
113
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
114
|
-
> = {
|
|
115
|
-
find(colVal: IndexVal<TableDef, I>): RowType<TableDef> | null;
|
|
116
|
-
};
|
|
117
|
-
|
|
118
|
-
/**
|
|
119
|
-
* A type representing a unique index on a database table.
|
|
120
|
-
* Unique indexes enforce that the indexed columns contain unique values.
|
|
121
|
-
*/
|
|
122
|
-
export interface UniqueIndex<
|
|
123
|
-
TableDef extends UntypedTableDef,
|
|
124
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
125
|
-
> extends ReadonlyUniqueIndex<TableDef, I> {
|
|
126
|
-
delete(colVal: IndexVal<TableDef, I>): boolean;
|
|
127
|
-
}
|
|
128
|
-
|
|
129
|
-
/**
|
|
130
|
-
* A type representing a read-only point index on a database table.
|
|
131
|
-
*/
|
|
132
|
-
export interface ReadonlyPointIndex<
|
|
133
|
-
TableDef extends UntypedTableDef,
|
|
134
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
135
|
-
> {
|
|
136
|
-
filter(
|
|
137
|
-
point: IndexVal<TableDef, I>
|
|
138
|
-
): IteratorObject<Prettify<RowType<TableDef>>, undefined>;
|
|
139
|
-
}
|
|
140
|
-
|
|
141
|
-
/**
|
|
142
|
-
* A type representing a point index on a database table.
|
|
143
|
-
* Point indexes allow for exact match queries on the indexed columns.
|
|
144
|
-
*/
|
|
145
|
-
export interface PointIndex<
|
|
146
|
-
TableDef extends UntypedTableDef,
|
|
147
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
148
|
-
> extends ReadonlyPointIndex<TableDef, I> {
|
|
149
|
-
delete(point: IndexVal<TableDef, I>): number;
|
|
150
|
-
}
|
|
151
|
-
|
|
152
|
-
/**
|
|
153
|
-
* A type representing a read-only ranged index on a database table.
|
|
154
|
-
*/
|
|
155
|
-
export interface ReadonlyRangedIndex<
|
|
156
|
-
TableDef extends UntypedTableDef,
|
|
157
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
158
|
-
> {
|
|
159
|
-
filter(
|
|
160
|
-
range: IndexScanRangeBounds<TableDef, I>
|
|
161
|
-
): IteratorObject<Prettify<RowType<TableDef>>, undefined>;
|
|
162
|
-
}
|
|
163
|
-
|
|
164
|
-
/**
|
|
165
|
-
* A type representing a ranged index on a database table.
|
|
166
|
-
* Ranged indexes allow for range queries on the indexed columns.
|
|
167
|
-
*/
|
|
168
|
-
export interface RangedIndex<
|
|
169
|
-
TableDef extends UntypedTableDef,
|
|
170
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
171
|
-
> extends ReadonlyRangedIndex<TableDef, I> {
|
|
172
|
-
delete(range: IndexScanRangeBounds<TableDef, I>): number;
|
|
173
|
-
}
|
|
174
|
-
|
|
175
|
-
/**
|
|
176
|
-
* A helper type to extract the value type of an index based on the table definition and index definition.
|
|
177
|
-
* This type constructs a tuple of the types of the columns that make up the index.
|
|
178
|
-
*/
|
|
179
|
-
export type IndexVal<
|
|
180
|
-
TableDef extends UntypedTableDef,
|
|
181
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
182
|
-
> = CollapseTuple<_IndexVal<TableDef, I['columns']>>;
|
|
183
|
-
|
|
184
|
-
/**
|
|
185
|
-
* A helper type to extract the types of the columns that make up an index.
|
|
186
|
-
*/
|
|
187
|
-
type _IndexVal<
|
|
188
|
-
TableDef extends UntypedTableDef,
|
|
189
|
-
Columns extends readonly string[],
|
|
190
|
-
> = Columns extends readonly [
|
|
191
|
-
infer Head extends string,
|
|
192
|
-
...infer Tail extends readonly string[],
|
|
193
|
-
]
|
|
194
|
-
? [
|
|
195
|
-
TableDef['columns'][Head]['typeBuilder']['type'],
|
|
196
|
-
..._IndexVal<TableDef, Tail>,
|
|
197
|
-
]
|
|
198
|
-
: [];
|
|
199
|
-
|
|
200
|
-
/**
|
|
201
|
-
* A helper type to define the bounds for scanning an index.
|
|
202
|
-
* This type allows for specifying exact values or ranges for each column in the index.
|
|
203
|
-
* It supports omitting trailing columns if the index is multi-column.
|
|
204
|
-
*/
|
|
205
|
-
export type IndexScanRangeBounds<
|
|
206
|
-
TableDef extends UntypedTableDef,
|
|
207
|
-
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
208
|
-
> = _IndexScanRangeBounds<_IndexVal<TableDef, I['columns']>>;
|
|
209
|
-
|
|
210
|
-
/**
|
|
211
|
-
* A helper type to define the bounds for scanning an index.
|
|
212
|
-
* This type allows for specifying exact values or ranges for each column in the index.
|
|
213
|
-
* It supports omitting trailing columns if the index is multi-column.
|
|
214
|
-
* This version only allows omitting the array if the index is single-column to avoid ambiguity.
|
|
215
|
-
*/
|
|
216
|
-
type _IndexScanRangeBounds<Columns extends readonly any[]> = Columns extends [
|
|
217
|
-
infer Term,
|
|
218
|
-
]
|
|
219
|
-
? Term | Range<Term>
|
|
220
|
-
: _IndexScanRangeBoundsCase<Columns>;
|
|
221
|
-
|
|
222
|
-
/**
|
|
223
|
-
* A helper type to define the bounds for scanning an index.
|
|
224
|
-
* This type allows for specifying exact values or ranges for each column in the index.
|
|
225
|
-
* It supports omitting trailing columns if the index is multi-column.
|
|
226
|
-
*/
|
|
227
|
-
type _IndexScanRangeBoundsCase<Columns extends readonly any[]> =
|
|
228
|
-
Columns extends [...infer Prefix, infer Term]
|
|
229
|
-
? readonly [...Prefix, Term | Range<Term>] | _IndexScanRangeBounds<Prefix>
|
|
230
|
-
: never;
|
|
231
|
-
|
|
232
|
-
/**
|
|
233
|
-
* A helper type representing a column index definition.
|
|
234
|
-
*/
|
|
235
|
-
export type ColumnIndex<
|
|
236
|
-
Name extends string,
|
|
237
|
-
M extends ColumnMetadata<any>,
|
|
238
|
-
> = Prettify<
|
|
239
|
-
{
|
|
240
|
-
name: Name;
|
|
241
|
-
unique: ColumnIsUnique<M>;
|
|
242
|
-
columns: readonly [Name];
|
|
243
|
-
algorithm: 'btree' | 'direct' | 'hash';
|
|
244
|
-
} & (M extends {
|
|
245
|
-
indexType: infer I extends NonNullable<IndexTypes>;
|
|
246
|
-
}
|
|
247
|
-
? { algorithm: I }
|
|
248
|
-
: ColumnIsUnique<M> extends true
|
|
249
|
-
? { algorithm: 'btree' }
|
|
250
|
-
: never)
|
|
251
|
-
>;
|
|
1
|
+
import type { RowType, table, UntypedTableDef } from './table';
|
|
2
|
+
import type { ColumnMetadata, IndexTypes } from './type_builders';
|
|
3
|
+
import type { CollapseTuple, Prettify } from './type_util';
|
|
4
|
+
import { Range } from '../server/range';
|
|
5
|
+
import type { ColumnIsUnique } from './constraints';
|
|
6
|
+
|
|
7
|
+
/**
|
|
8
|
+
* Index helper type used *inside* {@link table} to enforce that only
|
|
9
|
+
* existing column names are referenced.
|
|
10
|
+
*/
|
|
11
|
+
export type IndexOpts<AllowedCol extends string> = {
|
|
12
|
+
accessor: string;
|
|
13
|
+
name?: string;
|
|
14
|
+
} & (
|
|
15
|
+
| { algorithm: 'btree'; columns: readonly AllowedCol[] }
|
|
16
|
+
| { algorithm: 'hash'; columns: readonly AllowedCol[] }
|
|
17
|
+
| { algorithm: 'direct'; column: AllowedCol }
|
|
18
|
+
);
|
|
19
|
+
|
|
20
|
+
/**
|
|
21
|
+
* An untyped representation of an index definition.
|
|
22
|
+
*/
|
|
23
|
+
export type UntypedIndex<AllowedCol extends string> = {
|
|
24
|
+
name: string;
|
|
25
|
+
unique?: boolean;
|
|
26
|
+
algorithm: 'btree' | 'direct' | 'hash';
|
|
27
|
+
columns: readonly AllowedCol[];
|
|
28
|
+
};
|
|
29
|
+
|
|
30
|
+
/**
|
|
31
|
+
* A helper type to extract the column names from an index definition.
|
|
32
|
+
*/
|
|
33
|
+
export type IndexColumns<I extends IndexOpts<any>> = I extends {
|
|
34
|
+
columns: readonly string[];
|
|
35
|
+
}
|
|
36
|
+
? readonly [...I['columns']]
|
|
37
|
+
: I extends { column: infer Name extends string }
|
|
38
|
+
? readonly [Name]
|
|
39
|
+
: never;
|
|
40
|
+
|
|
41
|
+
/**
|
|
42
|
+
* A type representing the indexes defined on a table.
|
|
43
|
+
*/
|
|
44
|
+
export type Indexes<
|
|
45
|
+
TableDef extends UntypedTableDef,
|
|
46
|
+
I extends Record<string, UntypedIndex<keyof TableDef['columns'] & string>>,
|
|
47
|
+
> = {
|
|
48
|
+
[k in keyof I]: Index<TableDef, I[k]>;
|
|
49
|
+
};
|
|
50
|
+
|
|
51
|
+
/**
|
|
52
|
+
* Check whether every column in an index is a primary key column.
|
|
53
|
+
*/
|
|
54
|
+
type AllColumnsPrimaryKey<
|
|
55
|
+
TableDef extends UntypedTableDef,
|
|
56
|
+
Columns extends readonly string[],
|
|
57
|
+
> = Columns extends readonly [
|
|
58
|
+
infer Head extends keyof TableDef['columns'] & string,
|
|
59
|
+
...infer Tail extends readonly string[],
|
|
60
|
+
]
|
|
61
|
+
? TableDef['columns'][Head]['columnMetadata'] extends { isPrimaryKey: true }
|
|
62
|
+
? AllColumnsPrimaryKey<TableDef, Tail>
|
|
63
|
+
: false
|
|
64
|
+
: true;
|
|
65
|
+
|
|
66
|
+
/**
|
|
67
|
+
* A type representing a database index,
|
|
68
|
+
* which can either be unique or filter for a single value or range of values.
|
|
69
|
+
* Unique indexes on primary key columns additionally support `update`.
|
|
70
|
+
*/
|
|
71
|
+
export type Index<
|
|
72
|
+
TableDef extends UntypedTableDef,
|
|
73
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
74
|
+
> = I['unique'] extends true
|
|
75
|
+
? AllColumnsPrimaryKey<TableDef, I['columns']> extends true
|
|
76
|
+
? UniqueIndex<TableDef, I> & {
|
|
77
|
+
update(row: Prettify<RowType<TableDef>>): Prettify<RowType<TableDef>>;
|
|
78
|
+
}
|
|
79
|
+
: UniqueIndex<TableDef, I>
|
|
80
|
+
: I['algorithm'] extends 'hash'
|
|
81
|
+
? PointIndex<TableDef, I>
|
|
82
|
+
: RangedIndex<TableDef, I>;
|
|
83
|
+
|
|
84
|
+
/**
|
|
85
|
+
* A type representing a collection of read-only indexes defined on a table.
|
|
86
|
+
*/
|
|
87
|
+
export type ReadonlyIndexes<
|
|
88
|
+
TableDef extends UntypedTableDef,
|
|
89
|
+
I extends Record<string, UntypedIndex<keyof TableDef['columns'] & string>>,
|
|
90
|
+
> = {
|
|
91
|
+
[k in keyof I]: ReadonlyIndex<TableDef, I[k]>;
|
|
92
|
+
};
|
|
93
|
+
|
|
94
|
+
/**
|
|
95
|
+
* A type representing a read-only database index,
|
|
96
|
+
* which can be either unique, pointed, or ranged.
|
|
97
|
+
* This type only exposes read-only operations.
|
|
98
|
+
*/
|
|
99
|
+
export type ReadonlyIndex<
|
|
100
|
+
TableDef extends UntypedTableDef,
|
|
101
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
102
|
+
> = I['unique'] extends true
|
|
103
|
+
? ReadonlyUniqueIndex<TableDef, I>
|
|
104
|
+
: I['algorithm'] extends 'hash'
|
|
105
|
+
? ReadonlyPointIndex<TableDef, I>
|
|
106
|
+
: ReadonlyRangedIndex<TableDef, I>;
|
|
107
|
+
|
|
108
|
+
/**
|
|
109
|
+
* A type representing a read-only unique index on a database table.
|
|
110
|
+
*/
|
|
111
|
+
export type ReadonlyUniqueIndex<
|
|
112
|
+
TableDef extends UntypedTableDef,
|
|
113
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
114
|
+
> = {
|
|
115
|
+
find(colVal: IndexVal<TableDef, I>): RowType<TableDef> | null;
|
|
116
|
+
};
|
|
117
|
+
|
|
118
|
+
/**
|
|
119
|
+
* A type representing a unique index on a database table.
|
|
120
|
+
* Unique indexes enforce that the indexed columns contain unique values.
|
|
121
|
+
*/
|
|
122
|
+
export interface UniqueIndex<
|
|
123
|
+
TableDef extends UntypedTableDef,
|
|
124
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
125
|
+
> extends ReadonlyUniqueIndex<TableDef, I> {
|
|
126
|
+
delete(colVal: IndexVal<TableDef, I>): boolean;
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
/**
|
|
130
|
+
* A type representing a read-only point index on a database table.
|
|
131
|
+
*/
|
|
132
|
+
export interface ReadonlyPointIndex<
|
|
133
|
+
TableDef extends UntypedTableDef,
|
|
134
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
135
|
+
> {
|
|
136
|
+
filter(
|
|
137
|
+
point: IndexVal<TableDef, I>
|
|
138
|
+
): IteratorObject<Prettify<RowType<TableDef>>, undefined>;
|
|
139
|
+
}
|
|
140
|
+
|
|
141
|
+
/**
|
|
142
|
+
* A type representing a point index on a database table.
|
|
143
|
+
* Point indexes allow for exact match queries on the indexed columns.
|
|
144
|
+
*/
|
|
145
|
+
export interface PointIndex<
|
|
146
|
+
TableDef extends UntypedTableDef,
|
|
147
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
148
|
+
> extends ReadonlyPointIndex<TableDef, I> {
|
|
149
|
+
delete(point: IndexVal<TableDef, I>): number;
|
|
150
|
+
}
|
|
151
|
+
|
|
152
|
+
/**
|
|
153
|
+
* A type representing a read-only ranged index on a database table.
|
|
154
|
+
*/
|
|
155
|
+
export interface ReadonlyRangedIndex<
|
|
156
|
+
TableDef extends UntypedTableDef,
|
|
157
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
158
|
+
> {
|
|
159
|
+
filter(
|
|
160
|
+
range: IndexScanRangeBounds<TableDef, I>
|
|
161
|
+
): IteratorObject<Prettify<RowType<TableDef>>, undefined>;
|
|
162
|
+
}
|
|
163
|
+
|
|
164
|
+
/**
|
|
165
|
+
* A type representing a ranged index on a database table.
|
|
166
|
+
* Ranged indexes allow for range queries on the indexed columns.
|
|
167
|
+
*/
|
|
168
|
+
export interface RangedIndex<
|
|
169
|
+
TableDef extends UntypedTableDef,
|
|
170
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
171
|
+
> extends ReadonlyRangedIndex<TableDef, I> {
|
|
172
|
+
delete(range: IndexScanRangeBounds<TableDef, I>): number;
|
|
173
|
+
}
|
|
174
|
+
|
|
175
|
+
/**
|
|
176
|
+
* A helper type to extract the value type of an index based on the table definition and index definition.
|
|
177
|
+
* This type constructs a tuple of the types of the columns that make up the index.
|
|
178
|
+
*/
|
|
179
|
+
export type IndexVal<
|
|
180
|
+
TableDef extends UntypedTableDef,
|
|
181
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
182
|
+
> = CollapseTuple<_IndexVal<TableDef, I['columns']>>;
|
|
183
|
+
|
|
184
|
+
/**
|
|
185
|
+
* A helper type to extract the types of the columns that make up an index.
|
|
186
|
+
*/
|
|
187
|
+
type _IndexVal<
|
|
188
|
+
TableDef extends UntypedTableDef,
|
|
189
|
+
Columns extends readonly string[],
|
|
190
|
+
> = Columns extends readonly [
|
|
191
|
+
infer Head extends string,
|
|
192
|
+
...infer Tail extends readonly string[],
|
|
193
|
+
]
|
|
194
|
+
? [
|
|
195
|
+
TableDef['columns'][Head]['typeBuilder']['type'],
|
|
196
|
+
..._IndexVal<TableDef, Tail>,
|
|
197
|
+
]
|
|
198
|
+
: [];
|
|
199
|
+
|
|
200
|
+
/**
|
|
201
|
+
* A helper type to define the bounds for scanning an index.
|
|
202
|
+
* This type allows for specifying exact values or ranges for each column in the index.
|
|
203
|
+
* It supports omitting trailing columns if the index is multi-column.
|
|
204
|
+
*/
|
|
205
|
+
export type IndexScanRangeBounds<
|
|
206
|
+
TableDef extends UntypedTableDef,
|
|
207
|
+
I extends UntypedIndex<keyof TableDef['columns'] & string>,
|
|
208
|
+
> = _IndexScanRangeBounds<_IndexVal<TableDef, I['columns']>>;
|
|
209
|
+
|
|
210
|
+
/**
|
|
211
|
+
* A helper type to define the bounds for scanning an index.
|
|
212
|
+
* This type allows for specifying exact values or ranges for each column in the index.
|
|
213
|
+
* It supports omitting trailing columns if the index is multi-column.
|
|
214
|
+
* This version only allows omitting the array if the index is single-column to avoid ambiguity.
|
|
215
|
+
*/
|
|
216
|
+
type _IndexScanRangeBounds<Columns extends readonly any[]> = Columns extends [
|
|
217
|
+
infer Term,
|
|
218
|
+
]
|
|
219
|
+
? Term | Range<Term>
|
|
220
|
+
: _IndexScanRangeBoundsCase<Columns>;
|
|
221
|
+
|
|
222
|
+
/**
|
|
223
|
+
* A helper type to define the bounds for scanning an index.
|
|
224
|
+
* This type allows for specifying exact values or ranges for each column in the index.
|
|
225
|
+
* It supports omitting trailing columns if the index is multi-column.
|
|
226
|
+
*/
|
|
227
|
+
type _IndexScanRangeBoundsCase<Columns extends readonly any[]> =
|
|
228
|
+
Columns extends [...infer Prefix, infer Term]
|
|
229
|
+
? readonly [...Prefix, Term | Range<Term>] | _IndexScanRangeBounds<Prefix>
|
|
230
|
+
: never;
|
|
231
|
+
|
|
232
|
+
/**
|
|
233
|
+
* A helper type representing a column index definition.
|
|
234
|
+
*/
|
|
235
|
+
export type ColumnIndex<
|
|
236
|
+
Name extends string,
|
|
237
|
+
M extends ColumnMetadata<any>,
|
|
238
|
+
> = Prettify<
|
|
239
|
+
{
|
|
240
|
+
name: Name;
|
|
241
|
+
unique: ColumnIsUnique<M>;
|
|
242
|
+
columns: readonly [Name];
|
|
243
|
+
algorithm: 'btree' | 'direct' | 'hash';
|
|
244
|
+
} & (M extends {
|
|
245
|
+
indexType: infer I extends NonNullable<IndexTypes>;
|
|
246
|
+
}
|
|
247
|
+
? { algorithm: I }
|
|
248
|
+
: ColumnIsUnique<M> extends true
|
|
249
|
+
? { algorithm: 'btree' }
|
|
250
|
+
: never)
|
|
251
|
+
>;
|