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
|
@@ -1,38 +1,38 @@
|
|
|
1
|
-
import type { ProductType } from './algebraic_type';
|
|
2
|
-
import type { RawReducerDefV9 } from './autogen/types';
|
|
3
|
-
import type { ParamsObj } from './reducers';
|
|
4
|
-
import type { RowBuilder, RowObj } from './type_builders';
|
|
5
|
-
import type { CamelCase } from './type_util';
|
|
6
|
-
|
|
7
|
-
/**
|
|
8
|
-
* Represents a handle to a database reducer, including its name and argument type.
|
|
9
|
-
*/
|
|
10
|
-
export type ReducerSchema<
|
|
11
|
-
ReducerName extends string,
|
|
12
|
-
Params extends ParamsObj | RowObj,
|
|
13
|
-
> = {
|
|
14
|
-
/**
|
|
15
|
-
* The name of the reducer.
|
|
16
|
-
*/
|
|
17
|
-
readonly reducerName: ReducerName;
|
|
18
|
-
|
|
19
|
-
/**
|
|
20
|
-
* The accessor name for the reducer.
|
|
21
|
-
*/
|
|
22
|
-
readonly accessorName: CamelCase<ReducerName>;
|
|
23
|
-
|
|
24
|
-
/**
|
|
25
|
-
* The TypeBuilder representation of the reducer's parameter type.
|
|
26
|
-
*/
|
|
27
|
-
readonly params: RowBuilder<Params>;
|
|
28
|
-
|
|
29
|
-
/**
|
|
30
|
-
* The {@link ProductType} representing the structure of the reducer's parameters.
|
|
31
|
-
*/
|
|
32
|
-
readonly paramsSpacetimeType: ProductType;
|
|
33
|
-
|
|
34
|
-
/**
|
|
35
|
-
* The {@link RawReducerDefV9} of the configured reducer.
|
|
36
|
-
*/
|
|
37
|
-
readonly reducerDef: RawReducerDefV9;
|
|
38
|
-
};
|
|
1
|
+
import type { ProductType } from './algebraic_type';
|
|
2
|
+
import type { RawReducerDefV9 } from './autogen/types';
|
|
3
|
+
import type { ParamsObj } from './reducers';
|
|
4
|
+
import type { RowBuilder, RowObj } from './type_builders';
|
|
5
|
+
import type { CamelCase } from './type_util';
|
|
6
|
+
|
|
7
|
+
/**
|
|
8
|
+
* Represents a handle to a database reducer, including its name and argument type.
|
|
9
|
+
*/
|
|
10
|
+
export type ReducerSchema<
|
|
11
|
+
ReducerName extends string,
|
|
12
|
+
Params extends ParamsObj | RowObj,
|
|
13
|
+
> = {
|
|
14
|
+
/**
|
|
15
|
+
* The name of the reducer.
|
|
16
|
+
*/
|
|
17
|
+
readonly reducerName: ReducerName;
|
|
18
|
+
|
|
19
|
+
/**
|
|
20
|
+
* The accessor name for the reducer.
|
|
21
|
+
*/
|
|
22
|
+
readonly accessorName: CamelCase<ReducerName>;
|
|
23
|
+
|
|
24
|
+
/**
|
|
25
|
+
* The TypeBuilder representation of the reducer's parameter type.
|
|
26
|
+
*/
|
|
27
|
+
readonly params: RowBuilder<Params>;
|
|
28
|
+
|
|
29
|
+
/**
|
|
30
|
+
* The {@link ProductType} representing the structure of the reducer's parameters.
|
|
31
|
+
*/
|
|
32
|
+
readonly paramsSpacetimeType: ProductType;
|
|
33
|
+
|
|
34
|
+
/**
|
|
35
|
+
* The {@link RawReducerDefV9} of the configured reducer.
|
|
36
|
+
*/
|
|
37
|
+
readonly reducerDef: RawReducerDefV9;
|
|
38
|
+
};
|
package/src/lib/reducers.ts
CHANGED
|
@@ -1,116 +1,116 @@
|
|
|
1
|
-
import type { DbView } from '../server/db_view';
|
|
2
|
-
import type { Random } from '../server/rng';
|
|
3
|
-
import type { ConnectionId } from './connection_id';
|
|
4
|
-
import type { Identity } from './identity';
|
|
5
|
-
import { type UntypedSchemaDef } from './schema';
|
|
6
|
-
import { type Timestamp } from './timestamp';
|
|
7
|
-
import {
|
|
8
|
-
ColumnBuilder,
|
|
9
|
-
type InferTypeOfRow,
|
|
10
|
-
type TypeBuilder,
|
|
11
|
-
} from './type_builders';
|
|
12
|
-
import { Uuid } from './uuid.ts';
|
|
13
|
-
|
|
14
|
-
/**
|
|
15
|
-
* Helper to extract the parameter types from an object type
|
|
16
|
-
*/
|
|
17
|
-
export type ParamsObj = Record<
|
|
18
|
-
string,
|
|
19
|
-
TypeBuilder<any, any> | ColumnBuilder<any, any, any>
|
|
20
|
-
>;
|
|
21
|
-
|
|
22
|
-
/**
|
|
23
|
-
* Helper to convert a ParamsObj or RowObj into an object type
|
|
24
|
-
*/
|
|
25
|
-
export type ParamsAsObject<ParamDef extends ParamsObj> =
|
|
26
|
-
InferTypeOfRow<ParamDef>;
|
|
27
|
-
|
|
28
|
-
/**
|
|
29
|
-
* Defines a SpacetimeDB reducer function.
|
|
30
|
-
* Reducers are the primary way to modify the state of your SpacetimeDB application.
|
|
31
|
-
* They are atomic, meaning that either all operations within a reducer succeed,
|
|
32
|
-
* or none of them do.
|
|
33
|
-
* @template S - The inferred schema type of the SpacetimeDB module.
|
|
34
|
-
* @template Params - The type of the parameters object expected by the reducer.
|
|
35
|
-
* @param ctx - The reducer context, providing access to `sender`, `timestamp`, `connection_id`, and `db`.
|
|
36
|
-
* @param payload - An object containing the arguments passed to the reducer, typed according to `params`.
|
|
37
|
-
* @example
|
|
38
|
-
* ```typescript
|
|
39
|
-
* // Define a reducer named 'create_user' that takes 'username' (string) and 'email' (string)
|
|
40
|
-
* reducer(
|
|
41
|
-
* 'create_user',
|
|
42
|
-
* {
|
|
43
|
-
* username: t.string(),
|
|
44
|
-
* email: t.string(),
|
|
45
|
-
* },
|
|
46
|
-
* (ctx, { username, email }) => {
|
|
47
|
-
* // Access the 'user' table from the database view in the context
|
|
48
|
-
* ctx.db.user.insert({ username, email, created_at: ctx.timestamp });
|
|
49
|
-
* console.log(`User ${username} created by ${ctx.sender.identityId}`);
|
|
50
|
-
* }
|
|
51
|
-
* );
|
|
52
|
-
* ```
|
|
53
|
-
*/
|
|
54
|
-
export type Reducer<S extends UntypedSchemaDef, Params extends ParamsObj> = (
|
|
55
|
-
ctx: ReducerCtx<S>,
|
|
56
|
-
payload: ParamsAsObject<Params>
|
|
57
|
-
) => void;
|
|
58
|
-
|
|
59
|
-
/**
|
|
60
|
-
* Authentication information for the caller of a reducer.
|
|
61
|
-
*/
|
|
62
|
-
export type AuthCtx = Readonly<{
|
|
63
|
-
/** Whether the caller is an internal system process. */
|
|
64
|
-
isInternal: boolean;
|
|
65
|
-
/** Whether the caller has authenticated with a JWT token. */
|
|
66
|
-
hasJWT: boolean;
|
|
67
|
-
/** The JWT claims associated with the caller, or null if hasJWT == false. */
|
|
68
|
-
jwt: JwtClaims | null;
|
|
69
|
-
}>;
|
|
70
|
-
|
|
71
|
-
export type JsonValue =
|
|
72
|
-
| string
|
|
73
|
-
| number
|
|
74
|
-
| boolean
|
|
75
|
-
| null
|
|
76
|
-
| Array<JsonValue>
|
|
77
|
-
| JsonObject;
|
|
78
|
-
|
|
79
|
-
export interface JsonObject {
|
|
80
|
-
[key: string]: JsonValue;
|
|
81
|
-
}
|
|
82
|
-
|
|
83
|
-
/**
|
|
84
|
-
* Auth Claims extracted from the payload of a JWT token
|
|
85
|
-
*/
|
|
86
|
-
export interface JwtClaims {
|
|
87
|
-
/** The full payload as a JSON string */
|
|
88
|
-
readonly rawPayload: string;
|
|
89
|
-
/** The subject of the JWT token ('sub') */
|
|
90
|
-
readonly subject: string;
|
|
91
|
-
/** The issuer of the JWT token ('iss') */
|
|
92
|
-
readonly issuer: string;
|
|
93
|
-
/** The audience of the JWT token ('aud') */
|
|
94
|
-
readonly audience: readonly string[];
|
|
95
|
-
/** The identity associated with the JWT token, which is based on the sub and iss */
|
|
96
|
-
readonly identity: Identity;
|
|
97
|
-
/** The full payload as a JsonObject */
|
|
98
|
-
readonly fullPayload: JsonObject;
|
|
99
|
-
}
|
|
100
|
-
|
|
101
|
-
/**
|
|
102
|
-
* Reducer context parametrized by the inferred Schema
|
|
103
|
-
*/
|
|
104
|
-
export type ReducerCtx<SchemaDef extends UntypedSchemaDef> = Readonly<{
|
|
105
|
-
sender: Identity;
|
|
106
|
-
databaseIdentity: Identity;
|
|
107
|
-
/** @deprecated Use `databaseIdentity` instead. */
|
|
108
|
-
identity: Identity;
|
|
109
|
-
timestamp: Timestamp;
|
|
110
|
-
connectionId: ConnectionId | null;
|
|
111
|
-
db: DbView<SchemaDef>;
|
|
112
|
-
senderAuth: AuthCtx;
|
|
113
|
-
newUuidV4(): Uuid;
|
|
114
|
-
newUuidV7(): Uuid;
|
|
115
|
-
random: Random;
|
|
116
|
-
}>;
|
|
1
|
+
import type { DbView } from '../server/db_view';
|
|
2
|
+
import type { Random } from '../server/rng';
|
|
3
|
+
import type { ConnectionId } from './connection_id';
|
|
4
|
+
import type { Identity } from './identity';
|
|
5
|
+
import { type UntypedSchemaDef } from './schema';
|
|
6
|
+
import { type Timestamp } from './timestamp';
|
|
7
|
+
import {
|
|
8
|
+
ColumnBuilder,
|
|
9
|
+
type InferTypeOfRow,
|
|
10
|
+
type TypeBuilder,
|
|
11
|
+
} from './type_builders';
|
|
12
|
+
import { Uuid } from './uuid.ts';
|
|
13
|
+
|
|
14
|
+
/**
|
|
15
|
+
* Helper to extract the parameter types from an object type
|
|
16
|
+
*/
|
|
17
|
+
export type ParamsObj = Record<
|
|
18
|
+
string,
|
|
19
|
+
TypeBuilder<any, any> | ColumnBuilder<any, any, any>
|
|
20
|
+
>;
|
|
21
|
+
|
|
22
|
+
/**
|
|
23
|
+
* Helper to convert a ParamsObj or RowObj into an object type
|
|
24
|
+
*/
|
|
25
|
+
export type ParamsAsObject<ParamDef extends ParamsObj> =
|
|
26
|
+
InferTypeOfRow<ParamDef>;
|
|
27
|
+
|
|
28
|
+
/**
|
|
29
|
+
* Defines a SpacetimeDB reducer function.
|
|
30
|
+
* Reducers are the primary way to modify the state of your SpacetimeDB application.
|
|
31
|
+
* They are atomic, meaning that either all operations within a reducer succeed,
|
|
32
|
+
* or none of them do.
|
|
33
|
+
* @template S - The inferred schema type of the SpacetimeDB module.
|
|
34
|
+
* @template Params - The type of the parameters object expected by the reducer.
|
|
35
|
+
* @param ctx - The reducer context, providing access to `sender`, `timestamp`, `connection_id`, and `db`.
|
|
36
|
+
* @param payload - An object containing the arguments passed to the reducer, typed according to `params`.
|
|
37
|
+
* @example
|
|
38
|
+
* ```typescript
|
|
39
|
+
* // Define a reducer named 'create_user' that takes 'username' (string) and 'email' (string)
|
|
40
|
+
* reducer(
|
|
41
|
+
* 'create_user',
|
|
42
|
+
* {
|
|
43
|
+
* username: t.string(),
|
|
44
|
+
* email: t.string(),
|
|
45
|
+
* },
|
|
46
|
+
* (ctx, { username, email }) => {
|
|
47
|
+
* // Access the 'user' table from the database view in the context
|
|
48
|
+
* ctx.db.user.insert({ username, email, created_at: ctx.timestamp });
|
|
49
|
+
* console.log(`User ${username} created by ${ctx.sender.identityId}`);
|
|
50
|
+
* }
|
|
51
|
+
* );
|
|
52
|
+
* ```
|
|
53
|
+
*/
|
|
54
|
+
export type Reducer<S extends UntypedSchemaDef, Params extends ParamsObj> = (
|
|
55
|
+
ctx: ReducerCtx<S>,
|
|
56
|
+
payload: ParamsAsObject<Params>
|
|
57
|
+
) => void;
|
|
58
|
+
|
|
59
|
+
/**
|
|
60
|
+
* Authentication information for the caller of a reducer.
|
|
61
|
+
*/
|
|
62
|
+
export type AuthCtx = Readonly<{
|
|
63
|
+
/** Whether the caller is an internal system process. */
|
|
64
|
+
isInternal: boolean;
|
|
65
|
+
/** Whether the caller has authenticated with a JWT token. */
|
|
66
|
+
hasJWT: boolean;
|
|
67
|
+
/** The JWT claims associated with the caller, or null if hasJWT == false. */
|
|
68
|
+
jwt: JwtClaims | null;
|
|
69
|
+
}>;
|
|
70
|
+
|
|
71
|
+
export type JsonValue =
|
|
72
|
+
| string
|
|
73
|
+
| number
|
|
74
|
+
| boolean
|
|
75
|
+
| null
|
|
76
|
+
| Array<JsonValue>
|
|
77
|
+
| JsonObject;
|
|
78
|
+
|
|
79
|
+
export interface JsonObject {
|
|
80
|
+
[key: string]: JsonValue;
|
|
81
|
+
}
|
|
82
|
+
|
|
83
|
+
/**
|
|
84
|
+
* Auth Claims extracted from the payload of a JWT token
|
|
85
|
+
*/
|
|
86
|
+
export interface JwtClaims {
|
|
87
|
+
/** The full payload as a JSON string */
|
|
88
|
+
readonly rawPayload: string;
|
|
89
|
+
/** The subject of the JWT token ('sub') */
|
|
90
|
+
readonly subject: string;
|
|
91
|
+
/** The issuer of the JWT token ('iss') */
|
|
92
|
+
readonly issuer: string;
|
|
93
|
+
/** The audience of the JWT token ('aud') */
|
|
94
|
+
readonly audience: readonly string[];
|
|
95
|
+
/** The identity associated with the JWT token, which is based on the sub and iss */
|
|
96
|
+
readonly identity: Identity;
|
|
97
|
+
/** The full payload as a JsonObject */
|
|
98
|
+
readonly fullPayload: JsonObject;
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
/**
|
|
102
|
+
* Reducer context parametrized by the inferred Schema
|
|
103
|
+
*/
|
|
104
|
+
export type ReducerCtx<SchemaDef extends UntypedSchemaDef> = Readonly<{
|
|
105
|
+
sender: Identity;
|
|
106
|
+
databaseIdentity: Identity;
|
|
107
|
+
/** @deprecated Use `databaseIdentity` instead. */
|
|
108
|
+
identity: Identity;
|
|
109
|
+
timestamp: Timestamp;
|
|
110
|
+
connectionId: ConnectionId | null;
|
|
111
|
+
db: DbView<SchemaDef>;
|
|
112
|
+
senderAuth: AuthCtx;
|
|
113
|
+
newUuidV4(): Uuid;
|
|
114
|
+
newUuidV7(): Uuid;
|
|
115
|
+
random: Random;
|
|
116
|
+
}>;
|
package/src/lib/result.ts
CHANGED
|
@@ -1,36 +1,36 @@
|
|
|
1
|
-
import { AlgebraicType } from './algebraic_type';
|
|
2
|
-
|
|
3
|
-
export type ResultAlgebraicType<
|
|
4
|
-
T extends AlgebraicType = AlgebraicType,
|
|
5
|
-
E extends AlgebraicType = AlgebraicType,
|
|
6
|
-
> = {
|
|
7
|
-
tag: 'Sum';
|
|
8
|
-
value: {
|
|
9
|
-
variants: [
|
|
10
|
-
{ name: 'ok'; algebraicType: T },
|
|
11
|
-
{ name: 'err'; algebraicType: E },
|
|
12
|
-
];
|
|
13
|
-
};
|
|
14
|
-
};
|
|
15
|
-
|
|
16
|
-
export const Result: {
|
|
17
|
-
getAlgebraicType<
|
|
18
|
-
T extends AlgebraicType = AlgebraicType,
|
|
19
|
-
E extends AlgebraicType = AlgebraicType,
|
|
20
|
-
>(
|
|
21
|
-
okType: T,
|
|
22
|
-
errType: E
|
|
23
|
-
): ResultAlgebraicType<T, E>;
|
|
24
|
-
} = {
|
|
25
|
-
getAlgebraicType<
|
|
26
|
-
T extends AlgebraicType = AlgebraicType,
|
|
27
|
-
E extends AlgebraicType = AlgebraicType,
|
|
28
|
-
>(okType: T, errType: E): ResultAlgebraicType<T, E> {
|
|
29
|
-
return AlgebraicType.Sum({
|
|
30
|
-
variants: [
|
|
31
|
-
{ name: 'ok', algebraicType: okType },
|
|
32
|
-
{ name: 'err', algebraicType: errType },
|
|
33
|
-
],
|
|
34
|
-
});
|
|
35
|
-
},
|
|
36
|
-
};
|
|
1
|
+
import { AlgebraicType } from './algebraic_type';
|
|
2
|
+
|
|
3
|
+
export type ResultAlgebraicType<
|
|
4
|
+
T extends AlgebraicType = AlgebraicType,
|
|
5
|
+
E extends AlgebraicType = AlgebraicType,
|
|
6
|
+
> = {
|
|
7
|
+
tag: 'Sum';
|
|
8
|
+
value: {
|
|
9
|
+
variants: [
|
|
10
|
+
{ name: 'ok'; algebraicType: T },
|
|
11
|
+
{ name: 'err'; algebraicType: E },
|
|
12
|
+
];
|
|
13
|
+
};
|
|
14
|
+
};
|
|
15
|
+
|
|
16
|
+
export const Result: {
|
|
17
|
+
getAlgebraicType<
|
|
18
|
+
T extends AlgebraicType = AlgebraicType,
|
|
19
|
+
E extends AlgebraicType = AlgebraicType,
|
|
20
|
+
>(
|
|
21
|
+
okType: T,
|
|
22
|
+
errType: E
|
|
23
|
+
): ResultAlgebraicType<T, E>;
|
|
24
|
+
} = {
|
|
25
|
+
getAlgebraicType<
|
|
26
|
+
T extends AlgebraicType = AlgebraicType,
|
|
27
|
+
E extends AlgebraicType = AlgebraicType,
|
|
28
|
+
>(okType: T, errType: E): ResultAlgebraicType<T, E> {
|
|
29
|
+
return AlgebraicType.Sum({
|
|
30
|
+
variants: [
|
|
31
|
+
{ name: 'ok', algebraicType: okType },
|
|
32
|
+
{ name: 'err', algebraicType: errType },
|
|
33
|
+
],
|
|
34
|
+
});
|
|
35
|
+
},
|
|
36
|
+
};
|
package/src/lib/schedule_at.ts
CHANGED
|
@@ -1,86 +1,86 @@
|
|
|
1
|
-
import { AlgebraicType } from './algebraic_type';
|
|
2
|
-
import { TimeDuration, type TimeDurationAlgebraicType } from './time_duration';
|
|
3
|
-
import { Timestamp, type TimestampAlgebraicType } from './timestamp';
|
|
4
|
-
|
|
5
|
-
export type ScheduleAtAlgebraicType = {
|
|
6
|
-
tag: 'Sum';
|
|
7
|
-
value: {
|
|
8
|
-
variants: [
|
|
9
|
-
{ name: 'Interval'; algebraicType: TimeDurationAlgebraicType },
|
|
10
|
-
{ name: 'Time'; algebraicType: TimestampAlgebraicType },
|
|
11
|
-
];
|
|
12
|
-
};
|
|
13
|
-
};
|
|
14
|
-
|
|
15
|
-
type ScheduleAtType = Interval | Time;
|
|
16
|
-
|
|
17
|
-
export const ScheduleAt: {
|
|
18
|
-
interval: (micros: bigint) => ScheduleAtType;
|
|
19
|
-
time: (microsSinceUnixEpoch: bigint) => ScheduleAtType;
|
|
20
|
-
/**
|
|
21
|
-
* Get the algebraic type representation of the {@link ScheduleAt} type.
|
|
22
|
-
* @returns The algebraic type representation of the type.
|
|
23
|
-
*/
|
|
24
|
-
getAlgebraicType(): ScheduleAtAlgebraicType;
|
|
25
|
-
isScheduleAt(
|
|
26
|
-
algebraicType: AlgebraicType
|
|
27
|
-
): algebraicType is ScheduleAtAlgebraicType;
|
|
28
|
-
} = {
|
|
29
|
-
interval(value: bigint): ScheduleAtType {
|
|
30
|
-
return Interval(value);
|
|
31
|
-
},
|
|
32
|
-
time(value: bigint): ScheduleAtType {
|
|
33
|
-
return Time(value);
|
|
34
|
-
},
|
|
35
|
-
getAlgebraicType(): ScheduleAtAlgebraicType {
|
|
36
|
-
return AlgebraicType.Sum({
|
|
37
|
-
variants: [
|
|
38
|
-
{
|
|
39
|
-
name: 'Interval',
|
|
40
|
-
algebraicType: TimeDuration.getAlgebraicType(),
|
|
41
|
-
},
|
|
42
|
-
{ name: 'Time', algebraicType: Timestamp.getAlgebraicType() },
|
|
43
|
-
],
|
|
44
|
-
});
|
|
45
|
-
},
|
|
46
|
-
isScheduleAt(
|
|
47
|
-
algebraicType: AlgebraicType
|
|
48
|
-
): algebraicType is ScheduleAtAlgebraicType {
|
|
49
|
-
if (algebraicType.tag !== 'Sum') {
|
|
50
|
-
return false;
|
|
51
|
-
}
|
|
52
|
-
const variants = algebraicType.value.variants;
|
|
53
|
-
if (variants.length !== 2) {
|
|
54
|
-
return false;
|
|
55
|
-
}
|
|
56
|
-
const intervalVariant = variants.find(v => v.name === 'Interval');
|
|
57
|
-
const timeVariant = variants.find(v => v.name === 'Time');
|
|
58
|
-
if (!intervalVariant || !timeVariant) {
|
|
59
|
-
return false;
|
|
60
|
-
}
|
|
61
|
-
return (
|
|
62
|
-
TimeDuration.isTimeDuration(intervalVariant.algebraicType) &&
|
|
63
|
-
Timestamp.isTimestamp(timeVariant.algebraicType)
|
|
64
|
-
);
|
|
65
|
-
},
|
|
66
|
-
};
|
|
67
|
-
|
|
68
|
-
export type Interval = {
|
|
69
|
-
tag: 'Interval';
|
|
70
|
-
value: TimeDuration;
|
|
71
|
-
};
|
|
72
|
-
export const Interval = (micros: bigint): Interval => ({
|
|
73
|
-
tag: 'Interval',
|
|
74
|
-
value: new TimeDuration(micros),
|
|
75
|
-
});
|
|
76
|
-
export type Time = {
|
|
77
|
-
tag: 'Time';
|
|
78
|
-
value: Timestamp;
|
|
79
|
-
};
|
|
80
|
-
export const Time = (microsSinceUnixEpoch: bigint): Time => ({
|
|
81
|
-
tag: 'Time',
|
|
82
|
-
value: new Timestamp(microsSinceUnixEpoch),
|
|
83
|
-
});
|
|
84
|
-
|
|
85
|
-
export default ScheduleAt;
|
|
86
|
-
export type ScheduleAt = ScheduleAtType;
|
|
1
|
+
import { AlgebraicType } from './algebraic_type';
|
|
2
|
+
import { TimeDuration, type TimeDurationAlgebraicType } from './time_duration';
|
|
3
|
+
import { Timestamp, type TimestampAlgebraicType } from './timestamp';
|
|
4
|
+
|
|
5
|
+
export type ScheduleAtAlgebraicType = {
|
|
6
|
+
tag: 'Sum';
|
|
7
|
+
value: {
|
|
8
|
+
variants: [
|
|
9
|
+
{ name: 'Interval'; algebraicType: TimeDurationAlgebraicType },
|
|
10
|
+
{ name: 'Time'; algebraicType: TimestampAlgebraicType },
|
|
11
|
+
];
|
|
12
|
+
};
|
|
13
|
+
};
|
|
14
|
+
|
|
15
|
+
type ScheduleAtType = Interval | Time;
|
|
16
|
+
|
|
17
|
+
export const ScheduleAt: {
|
|
18
|
+
interval: (micros: bigint) => ScheduleAtType;
|
|
19
|
+
time: (microsSinceUnixEpoch: bigint) => ScheduleAtType;
|
|
20
|
+
/**
|
|
21
|
+
* Get the algebraic type representation of the {@link ScheduleAt} type.
|
|
22
|
+
* @returns The algebraic type representation of the type.
|
|
23
|
+
*/
|
|
24
|
+
getAlgebraicType(): ScheduleAtAlgebraicType;
|
|
25
|
+
isScheduleAt(
|
|
26
|
+
algebraicType: AlgebraicType
|
|
27
|
+
): algebraicType is ScheduleAtAlgebraicType;
|
|
28
|
+
} = {
|
|
29
|
+
interval(value: bigint): ScheduleAtType {
|
|
30
|
+
return Interval(value);
|
|
31
|
+
},
|
|
32
|
+
time(value: bigint): ScheduleAtType {
|
|
33
|
+
return Time(value);
|
|
34
|
+
},
|
|
35
|
+
getAlgebraicType(): ScheduleAtAlgebraicType {
|
|
36
|
+
return AlgebraicType.Sum({
|
|
37
|
+
variants: [
|
|
38
|
+
{
|
|
39
|
+
name: 'Interval',
|
|
40
|
+
algebraicType: TimeDuration.getAlgebraicType(),
|
|
41
|
+
},
|
|
42
|
+
{ name: 'Time', algebraicType: Timestamp.getAlgebraicType() },
|
|
43
|
+
],
|
|
44
|
+
});
|
|
45
|
+
},
|
|
46
|
+
isScheduleAt(
|
|
47
|
+
algebraicType: AlgebraicType
|
|
48
|
+
): algebraicType is ScheduleAtAlgebraicType {
|
|
49
|
+
if (algebraicType.tag !== 'Sum') {
|
|
50
|
+
return false;
|
|
51
|
+
}
|
|
52
|
+
const variants = algebraicType.value.variants;
|
|
53
|
+
if (variants.length !== 2) {
|
|
54
|
+
return false;
|
|
55
|
+
}
|
|
56
|
+
const intervalVariant = variants.find(v => v.name === 'Interval');
|
|
57
|
+
const timeVariant = variants.find(v => v.name === 'Time');
|
|
58
|
+
if (!intervalVariant || !timeVariant) {
|
|
59
|
+
return false;
|
|
60
|
+
}
|
|
61
|
+
return (
|
|
62
|
+
TimeDuration.isTimeDuration(intervalVariant.algebraicType) &&
|
|
63
|
+
Timestamp.isTimestamp(timeVariant.algebraicType)
|
|
64
|
+
);
|
|
65
|
+
},
|
|
66
|
+
};
|
|
67
|
+
|
|
68
|
+
export type Interval = {
|
|
69
|
+
tag: 'Interval';
|
|
70
|
+
value: TimeDuration;
|
|
71
|
+
};
|
|
72
|
+
export const Interval = (micros: bigint): Interval => ({
|
|
73
|
+
tag: 'Interval',
|
|
74
|
+
value: new TimeDuration(micros),
|
|
75
|
+
});
|
|
76
|
+
export type Time = {
|
|
77
|
+
tag: 'Time';
|
|
78
|
+
value: Timestamp;
|
|
79
|
+
};
|
|
80
|
+
export const Time = (microsSinceUnixEpoch: bigint): Time => ({
|
|
81
|
+
tag: 'Time',
|
|
82
|
+
value: new Timestamp(microsSinceUnixEpoch),
|
|
83
|
+
});
|
|
84
|
+
|
|
85
|
+
export default ScheduleAt;
|
|
86
|
+
export type ScheduleAt = ScheduleAtType;
|