@evolu/common 1.0.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 +21 -0
- package/README.md +205 -0
- package/dist/src/Config.d.ts +20 -0
- package/dist/src/Config.d.ts.map +1 -0
- package/dist/src/Config.js +8 -0
- package/dist/src/Crypto.d.ts +42 -0
- package/dist/src/Crypto.d.ts.map +1 -0
- package/dist/src/Crypto.js +44 -0
- package/dist/src/Db.d.ts +60 -0
- package/dist/src/Db.d.ts.map +1 -0
- package/dist/src/Db.js +118 -0
- package/dist/src/DbWorker.d.ts +78 -0
- package/dist/src/DbWorker.d.ts.map +1 -0
- package/dist/src/DbWorker.js +282 -0
- package/dist/src/Diff.d.ts +19 -0
- package/dist/src/Diff.d.ts.map +1 -0
- package/dist/src/Diff.js +86 -0
- package/dist/src/Errors.d.ts +19 -0
- package/dist/src/Errors.d.ts.map +1 -0
- package/dist/src/Errors.js +11 -0
- package/dist/src/Evolu.d.ts +71 -0
- package/dist/src/Evolu.d.ts.map +1 -0
- package/dist/src/Evolu.js +235 -0
- package/dist/src/MerkleTree.d.ts +15 -0
- package/dist/src/MerkleTree.d.ts.map +1 -0
- package/dist/src/MerkleTree.js +49 -0
- package/dist/src/Model.d.ts +143 -0
- package/dist/src/Model.d.ts.map +1 -0
- package/dist/src/Model.js +103 -0
- package/dist/src/Murmurhash.d.ts +2 -0
- package/dist/src/Murmurhash.d.ts.map +1 -0
- package/dist/src/Murmurhash.js +60 -0
- package/dist/src/Platform.d.ts +29 -0
- package/dist/src/Platform.d.ts.map +1 -0
- package/dist/src/Platform.js +17 -0
- package/dist/src/Protobuf.d.ts +130 -0
- package/dist/src/Protobuf.d.ts.map +1 -0
- package/dist/src/Protobuf.js +100 -0
- package/dist/src/Public.d.ts +7 -0
- package/dist/src/Public.d.ts.map +1 -0
- package/dist/src/Public.js +2 -0
- package/dist/src/Sql.d.ts +12 -0
- package/dist/src/Sql.d.ts.map +1 -0
- package/dist/src/Sql.js +100 -0
- package/dist/src/Sqlite.d.ts +30 -0
- package/dist/src/Sqlite.d.ts.map +1 -0
- package/dist/src/Sqlite.js +41 -0
- package/dist/src/Store.d.ts +9 -0
- package/dist/src/Store.d.ts.map +1 -0
- package/dist/src/Store.js +18 -0
- package/dist/src/SyncWorker.d.ts +73 -0
- package/dist/src/SyncWorker.d.ts.map +1 -0
- package/dist/src/SyncWorker.js +136 -0
- package/dist/src/Timestamp.d.ts +44 -0
- package/dist/src/Timestamp.d.ts.map +1 -0
- package/dist/src/Timestamp.js +76 -0
- package/dist/src/index.d.ts +19 -0
- package/dist/src/index.d.ts.map +1 -0
- package/dist/src/index.js +18 -0
- package/package.json +76 -0
- package/src/Config.ts +33 -0
- package/src/Crypto.ts +113 -0
- package/src/Db.ts +323 -0
- package/src/DbWorker.ts +683 -0
- package/src/Diff.ts +113 -0
- package/src/Errors.ts +33 -0
- package/src/Evolu.ts +527 -0
- package/src/MerkleTree.ts +83 -0
- package/src/Model.ts +212 -0
- package/src/Murmurhash.ts +70 -0
- package/src/Platform.ts +63 -0
- package/src/Protobuf.ts +204 -0
- package/src/Public.ts +6 -0
- package/src/Sql.ts +114 -0
- package/src/Sqlite.ts +92 -0
- package/src/Store.ts +32 -0
- package/src/SyncWorker.ts +344 -0
- package/src/Timestamp.ts +192 -0
- package/src/index.ts +18 -0
package/src/Diff.ts
ADDED
|
@@ -0,0 +1,113 @@
|
|
|
1
|
+
import { Predicate } from "effect/index";
|
|
2
|
+
import { Query, Row, Value } from "./Sqlite.js";
|
|
3
|
+
|
|
4
|
+
export interface QueryPatches {
|
|
5
|
+
readonly query: Query;
|
|
6
|
+
readonly patches: ReadonlyArray<Patch>;
|
|
7
|
+
}
|
|
8
|
+
|
|
9
|
+
export type Patch = ReplaceAllPatch | ReplaceAtPatch;
|
|
10
|
+
|
|
11
|
+
export interface ReplaceAllPatch {
|
|
12
|
+
readonly op: "replaceAll";
|
|
13
|
+
readonly value: ReadonlyArray<Row>;
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
export interface ReplaceAtPatch {
|
|
17
|
+
readonly op: "replaceAt";
|
|
18
|
+
readonly index: number;
|
|
19
|
+
readonly value: Row;
|
|
20
|
+
}
|
|
21
|
+
|
|
22
|
+
export const applyPatches =
|
|
23
|
+
(patches: ReadonlyArray<Patch>) =>
|
|
24
|
+
(current: ReadonlyArray<Row>): ReadonlyArray<Row> =>
|
|
25
|
+
patches.reduce((a, patch) => {
|
|
26
|
+
switch (patch.op) {
|
|
27
|
+
case "replaceAll":
|
|
28
|
+
return patch.value;
|
|
29
|
+
case "replaceAt": {
|
|
30
|
+
if (a === undefined) return a;
|
|
31
|
+
const next = [...a];
|
|
32
|
+
next[patch.index] = patch.value;
|
|
33
|
+
return next;
|
|
34
|
+
}
|
|
35
|
+
}
|
|
36
|
+
}, current);
|
|
37
|
+
|
|
38
|
+
// We detect only a change in the whole result and in-place edits.
|
|
39
|
+
// In the future, we will add more heuristics. We will probably not implement
|
|
40
|
+
// the Myers diff algorithm because it's faster to rerender all than
|
|
41
|
+
// to compute many detailed patches. We will only implement a logic
|
|
42
|
+
// a developer would implement manually, if necessary.
|
|
43
|
+
// Another idea is to make makePatches configurable via custom functions.
|
|
44
|
+
export const makePatches = (
|
|
45
|
+
previousRows: ReadonlyArray<Row> | undefined,
|
|
46
|
+
nextRows: ReadonlyArray<Row>,
|
|
47
|
+
): readonly Patch[] => {
|
|
48
|
+
if (previousRows === undefined)
|
|
49
|
+
return [{ op: "replaceAll", value: nextRows }];
|
|
50
|
+
// TODO: Detect prepend and append, it's cheap.
|
|
51
|
+
if (previousRows.length !== nextRows.length) {
|
|
52
|
+
return [{ op: "replaceAll", value: nextRows }];
|
|
53
|
+
}
|
|
54
|
+
|
|
55
|
+
const length = previousRows.length;
|
|
56
|
+
const replaceAtPatches: ReplaceAtPatch[] = [];
|
|
57
|
+
|
|
58
|
+
for (let i = 0; i < length; i++) {
|
|
59
|
+
const previousRow = previousRows[i];
|
|
60
|
+
const nextRow = nextRows[i];
|
|
61
|
+
|
|
62
|
+
// We expect the same shape for both rows.
|
|
63
|
+
for (const key in previousRow)
|
|
64
|
+
if (!areEqual(previousRow[key], nextRow[key])) {
|
|
65
|
+
replaceAtPatches.push({ op: "replaceAt", value: nextRow, index: i });
|
|
66
|
+
break;
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
|
|
70
|
+
if (length > 0 && replaceAtPatches.length === length) {
|
|
71
|
+
return [{ op: "replaceAll", value: nextRows }];
|
|
72
|
+
}
|
|
73
|
+
return replaceAtPatches;
|
|
74
|
+
};
|
|
75
|
+
|
|
76
|
+
export const areEqual = (
|
|
77
|
+
a: Value | Row | ReadonlyArray<Row>,
|
|
78
|
+
b: Value | Row | ReadonlyArray<Row>,
|
|
79
|
+
): boolean => {
|
|
80
|
+
// Compare string, number, null ASAP.
|
|
81
|
+
if (a === b) return true;
|
|
82
|
+
// Different type works only for string and number, everything else is an object.
|
|
83
|
+
if (typeof a !== typeof b) return false;
|
|
84
|
+
// Both are nonnullable objects.
|
|
85
|
+
if (typeof a === "object" && a !== null && b !== null) {
|
|
86
|
+
const aIsUint8Array = Predicate.isUint8Array(a);
|
|
87
|
+
const bIsUint8Array = Predicate.isUint8Array(b);
|
|
88
|
+
if (aIsUint8Array && bIsUint8Array) {
|
|
89
|
+
if (a.length !== b.length) return false;
|
|
90
|
+
for (let i = 0; i < a.length; i++) if (a[i] !== b[i]) return false;
|
|
91
|
+
return true;
|
|
92
|
+
}
|
|
93
|
+
|
|
94
|
+
const aIsArray = Array.isArray(a);
|
|
95
|
+
const bIsArray = Array.isArray(b);
|
|
96
|
+
if (aIsArray && bIsArray) {
|
|
97
|
+
if (a.length !== b.length) return false;
|
|
98
|
+
for (let i = 0; i < a.length; i++)
|
|
99
|
+
if (!areEqual(a[i] as never, b[i] as never)) return false;
|
|
100
|
+
return true;
|
|
101
|
+
}
|
|
102
|
+
|
|
103
|
+
if (!aIsUint8Array && !bIsUint8Array && !aIsArray && !bIsArray) {
|
|
104
|
+
const aKeys = Object.keys(a);
|
|
105
|
+
const bKeys = Object.keys(b);
|
|
106
|
+
if (aKeys.length !== bKeys.length) return false;
|
|
107
|
+
for (const key of aKeys)
|
|
108
|
+
if (!areEqual((a as never)[key], (b as never)[key])) return false;
|
|
109
|
+
return true;
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
return false;
|
|
113
|
+
};
|
package/src/Errors.ts
ADDED
|
@@ -0,0 +1,33 @@
|
|
|
1
|
+
import { Effect } from "effect";
|
|
2
|
+
import { TimestampError } from "./Timestamp.js";
|
|
3
|
+
|
|
4
|
+
export type EvoluError = UnexpectedError | TimestampError;
|
|
5
|
+
|
|
6
|
+
/**
|
|
7
|
+
* We can't use the whole error because of WebWorker postMessage DataCloneError
|
|
8
|
+
* in Safari and Firefox.
|
|
9
|
+
* https://discord.com/channels/795981131316985866/795983589644304396/1096736473396564079
|
|
10
|
+
*/
|
|
11
|
+
interface TransferableError {
|
|
12
|
+
readonly message: string;
|
|
13
|
+
readonly stack: string | undefined;
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
export interface UnexpectedError {
|
|
17
|
+
readonly _tag: "UnexpectedError";
|
|
18
|
+
readonly error: TransferableError;
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
export const makeUnexpectedError = (
|
|
22
|
+
error: unknown,
|
|
23
|
+
): Effect.Effect<never, UnexpectedError, never> => {
|
|
24
|
+
const isError = error instanceof Error;
|
|
25
|
+
|
|
26
|
+
return Effect.fail({
|
|
27
|
+
_tag: "UnexpectedError",
|
|
28
|
+
error: {
|
|
29
|
+
message: isError ? error.message : String(error),
|
|
30
|
+
stack: isError ? error.stack : undefined,
|
|
31
|
+
},
|
|
32
|
+
});
|
|
33
|
+
};
|
package/src/Evolu.ts
ADDED
|
@@ -0,0 +1,527 @@
|
|
|
1
|
+
import {
|
|
2
|
+
Context,
|
|
3
|
+
Effect,
|
|
4
|
+
Either,
|
|
5
|
+
Function,
|
|
6
|
+
Layer,
|
|
7
|
+
Number,
|
|
8
|
+
Option,
|
|
9
|
+
ReadonlyArray,
|
|
10
|
+
absurd,
|
|
11
|
+
pipe,
|
|
12
|
+
} from "effect";
|
|
13
|
+
import { Simplify } from "kysely";
|
|
14
|
+
import { Config, ConfigLive } from "./Config.js";
|
|
15
|
+
import { Bip39, NanoId } from "./Crypto.js";
|
|
16
|
+
import {
|
|
17
|
+
CommonColumns,
|
|
18
|
+
CreateQuery,
|
|
19
|
+
NullableExceptOfId,
|
|
20
|
+
Owner,
|
|
21
|
+
Schema,
|
|
22
|
+
Tables,
|
|
23
|
+
makeCreateQuery,
|
|
24
|
+
} from "./Db.js";
|
|
25
|
+
import {
|
|
26
|
+
DbWorker,
|
|
27
|
+
DbWorkerOutputOnQuery,
|
|
28
|
+
MutateItem,
|
|
29
|
+
OnCompleteId,
|
|
30
|
+
RowsCacheMap,
|
|
31
|
+
} from "./DbWorker.js";
|
|
32
|
+
import { applyPatches } from "./Diff.js";
|
|
33
|
+
import { EvoluError } from "./Errors.js";
|
|
34
|
+
import { CastableForMutate, Id, cast } from "./Model.js";
|
|
35
|
+
import { AppState, FlushSync } from "./Platform.js";
|
|
36
|
+
import { Query, Row } from "./Sqlite.js";
|
|
37
|
+
import { Store, StoreListener, StoreUnsubscribe, makeStore } from "./Store.js";
|
|
38
|
+
import { SyncState } from "./SyncWorker.js";
|
|
39
|
+
import { Time, TimeLive } from "./Timestamp.js";
|
|
40
|
+
|
|
41
|
+
export interface Evolu<S extends Schema> {
|
|
42
|
+
readonly subscribeError: ErrorStore["subscribe"];
|
|
43
|
+
readonly getError: ErrorStore["getState"];
|
|
44
|
+
|
|
45
|
+
readonly subscribeOwner: OwnerStore["subscribe"];
|
|
46
|
+
readonly getOwner: OwnerStore["getState"];
|
|
47
|
+
|
|
48
|
+
readonly subscribeQuery: QueryStore["subscribe"];
|
|
49
|
+
readonly getQuery: QueryStore["getState"];
|
|
50
|
+
readonly createQuery: CreateQuery<S>;
|
|
51
|
+
readonly loadQuery: QueryStore["loadQuery"];
|
|
52
|
+
|
|
53
|
+
readonly subscribeSyncState: (listener: StoreListener) => StoreUnsubscribe;
|
|
54
|
+
readonly getSyncState: () => SyncState;
|
|
55
|
+
|
|
56
|
+
readonly create: Create<S>;
|
|
57
|
+
readonly update: Update<S>;
|
|
58
|
+
|
|
59
|
+
readonly ownerActions: OwnerActions;
|
|
60
|
+
readonly ensureSchema: (tables: Tables) => void;
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
export const Evolu = <T extends Schema>(): Context.Tag<Evolu<T>, Evolu<T>> =>
|
|
64
|
+
Context.Tag<Evolu<T>>("evolu/Evolu");
|
|
65
|
+
|
|
66
|
+
type ErrorStore = Store<EvoluError | null>;
|
|
67
|
+
|
|
68
|
+
type OwnerStore = Store<Owner | null>;
|
|
69
|
+
|
|
70
|
+
interface QueryStore {
|
|
71
|
+
readonly subscribe: (
|
|
72
|
+
query: Query | null,
|
|
73
|
+
) => (listener: StoreListener) => StoreUnsubscribe;
|
|
74
|
+
readonly getState: (query: Query | null) => ReadonlyArray<Row> | null;
|
|
75
|
+
readonly loadQuery: (query: Query) => Promise<ReadonlyArray<Row>>;
|
|
76
|
+
readonly onQuery: (output: DbWorkerOutputOnQuery) => void;
|
|
77
|
+
}
|
|
78
|
+
|
|
79
|
+
const QueryStore = Context.Tag<QueryStore>("evolu/QueryStore");
|
|
80
|
+
|
|
81
|
+
export type Create<S extends Schema> = <T extends keyof S>(
|
|
82
|
+
table: T,
|
|
83
|
+
values: Simplify<PartialOnlyForNullable<CastableForMutate<Omit<S[T], "id">>>>,
|
|
84
|
+
onComplete?: () => void,
|
|
85
|
+
) => {
|
|
86
|
+
readonly id: S[T]["id"];
|
|
87
|
+
};
|
|
88
|
+
|
|
89
|
+
// https://stackoverflow.com/a/54713648/233902
|
|
90
|
+
type PartialOnlyForNullable<
|
|
91
|
+
T,
|
|
92
|
+
NK extends keyof T = {
|
|
93
|
+
[K in keyof T]: null extends T[K] ? K : never;
|
|
94
|
+
}[keyof T],
|
|
95
|
+
NP = Pick<T, Exclude<keyof T, NK>> & Partial<Pick<T, NK>>,
|
|
96
|
+
> = { [K in keyof NP]: NP[K] };
|
|
97
|
+
|
|
98
|
+
export type Update<S extends Schema> = <T extends keyof S>(
|
|
99
|
+
table: T,
|
|
100
|
+
values: Simplify<
|
|
101
|
+
Partial<
|
|
102
|
+
CastableForMutate<Omit<S[T], "id"> & Pick<CommonColumns, "isDeleted">>
|
|
103
|
+
> & { readonly id: S[T]["id"] }
|
|
104
|
+
>,
|
|
105
|
+
onComplete?: () => void,
|
|
106
|
+
) => {
|
|
107
|
+
readonly id: S[T]["id"];
|
|
108
|
+
};
|
|
109
|
+
|
|
110
|
+
type Mutate<S extends Schema> = <
|
|
111
|
+
U extends SchemaForMutate<S>,
|
|
112
|
+
T extends keyof U,
|
|
113
|
+
>(
|
|
114
|
+
table: T,
|
|
115
|
+
values: Simplify<Partial<CastableForMutate<U[T]>>>,
|
|
116
|
+
onComplete?: () => void,
|
|
117
|
+
) => {
|
|
118
|
+
readonly id: U[T]["id"];
|
|
119
|
+
};
|
|
120
|
+
|
|
121
|
+
const Mutate = <T extends Schema>(): Context.Tag<Mutate<T>, Mutate<T>> =>
|
|
122
|
+
Context.Tag<Mutate<T>>("evolu/Mutate");
|
|
123
|
+
|
|
124
|
+
type SchemaForMutate<S extends Schema> = {
|
|
125
|
+
readonly [Table in keyof S]: NullableExceptOfId<
|
|
126
|
+
{
|
|
127
|
+
readonly [Column in keyof S[Table]]: S[Table][Column];
|
|
128
|
+
} & Pick<CommonColumns, "isDeleted">
|
|
129
|
+
>;
|
|
130
|
+
};
|
|
131
|
+
|
|
132
|
+
export interface OwnerActions {
|
|
133
|
+
/**
|
|
134
|
+
* Use `reset` to delete all local data from the current device.
|
|
135
|
+
* After the deletion, Evolu reloads all browser tabs that use Evolu.
|
|
136
|
+
*/
|
|
137
|
+
readonly reset: () => void;
|
|
138
|
+
|
|
139
|
+
/**
|
|
140
|
+
* Use `restore` to restore `Owner` with synced data on a different device.
|
|
141
|
+
*/
|
|
142
|
+
readonly restore: (
|
|
143
|
+
mnemonic: string,
|
|
144
|
+
) => Promise<Either.Either<RestoreOwnerError, void>>;
|
|
145
|
+
}
|
|
146
|
+
|
|
147
|
+
const OwnerActions = Context.Tag<OwnerActions>("evolu/OwnerActions");
|
|
148
|
+
|
|
149
|
+
interface RestoreOwnerError {
|
|
150
|
+
readonly _tag: "RestoreOwnerError";
|
|
151
|
+
}
|
|
152
|
+
|
|
153
|
+
type SubscribedQueries = Map<Query, number>;
|
|
154
|
+
|
|
155
|
+
const SubscribedQueries = Context.Tag<SubscribedQueries>(
|
|
156
|
+
"evolu/SubscribedQueries",
|
|
157
|
+
);
|
|
158
|
+
|
|
159
|
+
type OnCompletes = Map<OnCompleteId, OnComplete>;
|
|
160
|
+
|
|
161
|
+
const OnCompletes = Context.Tag<OnCompletes>("evolu/OnCompletes");
|
|
162
|
+
|
|
163
|
+
type OnComplete = () => void;
|
|
164
|
+
|
|
165
|
+
interface LoadingPromises {
|
|
166
|
+
readonly getPromise: (query: Query) => {
|
|
167
|
+
readonly promise: Promise<ReadonlyArray<Row>>;
|
|
168
|
+
readonly isNew: boolean;
|
|
169
|
+
};
|
|
170
|
+
readonly resolvePromise: (query: Query, rows: ReadonlyArray<Row>) => void;
|
|
171
|
+
readonly releasePromises: (ignoreQueries: ReadonlyArray<Query>) => void;
|
|
172
|
+
}
|
|
173
|
+
|
|
174
|
+
const LoadingPromises = Context.Tag<LoadingPromises>("evolu/LoadingPromises");
|
|
175
|
+
|
|
176
|
+
export const loadingPromisesPromiseProp = "rows";
|
|
177
|
+
|
|
178
|
+
const LoadingPromisesLive = Layer.effect(
|
|
179
|
+
LoadingPromises,
|
|
180
|
+
Effect.sync(() => {
|
|
181
|
+
const promises = new Map<
|
|
182
|
+
Query,
|
|
183
|
+
{
|
|
184
|
+
readonly promise: Promise<ReadonlyArray<Row>>;
|
|
185
|
+
readonly resolve: (rows: ReadonlyArray<Row>) => void;
|
|
186
|
+
}
|
|
187
|
+
>();
|
|
188
|
+
|
|
189
|
+
const getPromise: LoadingPromises["getPromise"] = (query) => {
|
|
190
|
+
const item = promises.get(query);
|
|
191
|
+
if (item) return { promise: item.promise, isNew: false };
|
|
192
|
+
let resolve: (rows: ReadonlyArray<Row>) => void = Function.constVoid;
|
|
193
|
+
const promise = new Promise<ReadonlyArray<Row>>((_resolve) => {
|
|
194
|
+
resolve = _resolve;
|
|
195
|
+
});
|
|
196
|
+
promises.set(query, { promise, resolve });
|
|
197
|
+
return { promise, isNew: true };
|
|
198
|
+
};
|
|
199
|
+
|
|
200
|
+
const resolvePromise: LoadingPromises["resolvePromise"] = (query, rows) => {
|
|
201
|
+
const item = promises.get(query);
|
|
202
|
+
if (!item) return;
|
|
203
|
+
// It's similar to what React will do.
|
|
204
|
+
void Object.assign(item.promise, { [loadingPromisesPromiseProp]: rows });
|
|
205
|
+
item.resolve(rows);
|
|
206
|
+
};
|
|
207
|
+
|
|
208
|
+
const releasePromises: LoadingPromises["releasePromises"] = (
|
|
209
|
+
ignoreQueries,
|
|
210
|
+
) => {
|
|
211
|
+
[...promises.keys()].forEach((query) => {
|
|
212
|
+
if (!ignoreQueries.includes(query)) promises.delete(query);
|
|
213
|
+
});
|
|
214
|
+
};
|
|
215
|
+
|
|
216
|
+
return { getPromise, resolvePromise, releasePromises };
|
|
217
|
+
}),
|
|
218
|
+
);
|
|
219
|
+
|
|
220
|
+
const QueryStoreLive = Layer.effect(
|
|
221
|
+
QueryStore,
|
|
222
|
+
Effect.gen(function* (_) {
|
|
223
|
+
const subscribedQueries = yield* _(SubscribedQueries);
|
|
224
|
+
const loadingPromises = yield* _(LoadingPromises);
|
|
225
|
+
const dbWorker = yield* _(DbWorker);
|
|
226
|
+
const flushSync = yield* _(FlushSync);
|
|
227
|
+
const onCompletes = yield* _(OnCompletes);
|
|
228
|
+
|
|
229
|
+
const rowsCacheStore = makeStore<RowsCacheMap>(new Map());
|
|
230
|
+
const queue = new Set<Query>();
|
|
231
|
+
|
|
232
|
+
const subscribe: QueryStore["subscribe"] = (query) => (listen) => {
|
|
233
|
+
if (query == null) return Function.constVoid;
|
|
234
|
+
subscribedQueries.set(
|
|
235
|
+
query,
|
|
236
|
+
Number.increment(subscribedQueries.get(query) ?? 0),
|
|
237
|
+
);
|
|
238
|
+
const unsubscribe = rowsCacheStore.subscribe(listen);
|
|
239
|
+
return () => {
|
|
240
|
+
// `as number`, because React mount/unmount are symmetric.
|
|
241
|
+
const count = subscribedQueries.get(query) as number;
|
|
242
|
+
if (count > 1) subscribedQueries.set(query, Number.decrement(count));
|
|
243
|
+
else subscribedQueries.delete(query);
|
|
244
|
+
unsubscribe();
|
|
245
|
+
};
|
|
246
|
+
};
|
|
247
|
+
|
|
248
|
+
const getState: QueryStore["getState"] = (query) =>
|
|
249
|
+
(query && rowsCacheStore.getState().get(query)) || null;
|
|
250
|
+
|
|
251
|
+
const loadQuery: QueryStore["loadQuery"] = (query) => {
|
|
252
|
+
const { promise, isNew } = loadingPromises.getPromise(query);
|
|
253
|
+
if (isNew) queue.add(query);
|
|
254
|
+
if (queue.size === 1) {
|
|
255
|
+
queueMicrotask(() => {
|
|
256
|
+
const queries = [...queue];
|
|
257
|
+
queue.clear();
|
|
258
|
+
if (ReadonlyArray.isNonEmptyReadonlyArray(queries))
|
|
259
|
+
dbWorker.postMessage({ _tag: "query", queries });
|
|
260
|
+
});
|
|
261
|
+
}
|
|
262
|
+
return promise;
|
|
263
|
+
};
|
|
264
|
+
|
|
265
|
+
const onQuery: QueryStore["onQuery"] = ({
|
|
266
|
+
queriesPatches,
|
|
267
|
+
onCompleteIds,
|
|
268
|
+
}) => {
|
|
269
|
+
const state = rowsCacheStore.getState();
|
|
270
|
+
const nextState = pipe(
|
|
271
|
+
queriesPatches,
|
|
272
|
+
ReadonlyArray.map(
|
|
273
|
+
({ query, patches }) =>
|
|
274
|
+
[query, applyPatches(patches)(state.get(query) || [])] as const,
|
|
275
|
+
),
|
|
276
|
+
(a): RowsCacheMap => new Map([...state, ...a]),
|
|
277
|
+
);
|
|
278
|
+
// Resolve all Promises belonging to queries.
|
|
279
|
+
queriesPatches.forEach(({ query }) => {
|
|
280
|
+
const rows = nextState.get(query) || [];
|
|
281
|
+
loadingPromises.resolvePromise(query, rows);
|
|
282
|
+
});
|
|
283
|
+
// No mutation is using onComplete, so we don't need flushSync.
|
|
284
|
+
if (onCompleteIds.length === 0) {
|
|
285
|
+
rowsCacheStore.setState(nextState);
|
|
286
|
+
return;
|
|
287
|
+
}
|
|
288
|
+
flushSync(() => rowsCacheStore.setState(nextState));
|
|
289
|
+
ReadonlyArray.filterMap(onCompleteIds, (id) => {
|
|
290
|
+
const onComplete = onCompletes.get(id);
|
|
291
|
+
onCompletes.delete(id);
|
|
292
|
+
return Option.fromNullable(onComplete);
|
|
293
|
+
}).forEach((onComplete) => onComplete());
|
|
294
|
+
};
|
|
295
|
+
|
|
296
|
+
return { subscribe, getState, loadQuery, onQuery };
|
|
297
|
+
}),
|
|
298
|
+
);
|
|
299
|
+
|
|
300
|
+
const MutateLive = <T extends Schema>(): Layer.Layer<
|
|
301
|
+
NanoId | OnCompletes | Time | SubscribedQueries | LoadingPromises | DbWorker,
|
|
302
|
+
never,
|
|
303
|
+
Mutate<T>
|
|
304
|
+
> =>
|
|
305
|
+
Layer.effect(
|
|
306
|
+
Mutate<T>(),
|
|
307
|
+
Effect.gen(function* (_) {
|
|
308
|
+
const nanoid = yield* _(NanoId);
|
|
309
|
+
const onCompletes = yield* _(OnCompletes);
|
|
310
|
+
const time = yield* _(Time);
|
|
311
|
+
const subscribedQueries = yield* _(SubscribedQueries);
|
|
312
|
+
const loadingPromises = yield* _(LoadingPromises);
|
|
313
|
+
const dbWorker = yield* _(DbWorker);
|
|
314
|
+
|
|
315
|
+
const queue: Array<MutateItem> = [];
|
|
316
|
+
|
|
317
|
+
return Mutate<T>().of((table, { id, ...values }, onComplete) => {
|
|
318
|
+
const isInsert = id == null;
|
|
319
|
+
if (isInsert) id = Effect.runSync(nanoid.nanoid) as never;
|
|
320
|
+
|
|
321
|
+
let onCompleteId = null;
|
|
322
|
+
if (onComplete) {
|
|
323
|
+
onCompleteId = Effect.runSync(nanoid.nanoid) as OnCompleteId;
|
|
324
|
+
onCompletes.set(onCompleteId, onComplete);
|
|
325
|
+
}
|
|
326
|
+
|
|
327
|
+
queue.push({
|
|
328
|
+
table: table.toString(),
|
|
329
|
+
id: id as Id,
|
|
330
|
+
values,
|
|
331
|
+
isInsert,
|
|
332
|
+
now: cast(new Date(Effect.runSync(time.now))),
|
|
333
|
+
onCompleteId,
|
|
334
|
+
});
|
|
335
|
+
|
|
336
|
+
if (queue.length === 1)
|
|
337
|
+
queueMicrotask(() => {
|
|
338
|
+
const items = [...queue];
|
|
339
|
+
queue.length = 0;
|
|
340
|
+
|
|
341
|
+
const queries = Array.from(subscribedQueries.keys());
|
|
342
|
+
// Just wipe-out LoadingPromises unused queries.
|
|
343
|
+
loadingPromises.releasePromises(queries);
|
|
344
|
+
|
|
345
|
+
if (ReadonlyArray.isNonEmptyReadonlyArray(items))
|
|
346
|
+
dbWorker.postMessage({ _tag: "mutate", items, queries });
|
|
347
|
+
});
|
|
348
|
+
|
|
349
|
+
return { id: id as never };
|
|
350
|
+
});
|
|
351
|
+
}),
|
|
352
|
+
);
|
|
353
|
+
|
|
354
|
+
const OwnerActionsLive = Layer.effect(
|
|
355
|
+
OwnerActions,
|
|
356
|
+
Effect.gen(function* (_) {
|
|
357
|
+
const dbWorker = yield* _(DbWorker);
|
|
358
|
+
const bip39 = yield* _(Bip39);
|
|
359
|
+
|
|
360
|
+
const reset: OwnerActions["reset"] = () => {
|
|
361
|
+
dbWorker.postMessage({ _tag: "reset" });
|
|
362
|
+
};
|
|
363
|
+
|
|
364
|
+
const restore: OwnerActions["restore"] = (mnemonic) =>
|
|
365
|
+
bip39.parse(mnemonic).pipe(
|
|
366
|
+
Effect.flatMap((mnemonic) =>
|
|
367
|
+
Effect.sync(() => {
|
|
368
|
+
dbWorker.postMessage({ _tag: "reset", mnemonic });
|
|
369
|
+
return Either.right(undefined);
|
|
370
|
+
}),
|
|
371
|
+
),
|
|
372
|
+
Effect.catchTag("InvalidMnemonicError", () =>
|
|
373
|
+
Effect.succeed(
|
|
374
|
+
Either.left<RestoreOwnerError>({ _tag: "RestoreOwnerError" }),
|
|
375
|
+
),
|
|
376
|
+
),
|
|
377
|
+
Effect.runPromise,
|
|
378
|
+
);
|
|
379
|
+
|
|
380
|
+
return { reset, restore };
|
|
381
|
+
}),
|
|
382
|
+
);
|
|
383
|
+
|
|
384
|
+
export const EvoluLive = <T extends Schema>(
|
|
385
|
+
tables: Tables,
|
|
386
|
+
): Layer.Layer<
|
|
387
|
+
DbWorker | Bip39 | Config | FlushSync | NanoId | Time | AppState,
|
|
388
|
+
never,
|
|
389
|
+
Evolu<T>
|
|
390
|
+
> =>
|
|
391
|
+
Layer.effect(
|
|
392
|
+
Evolu<T>(),
|
|
393
|
+
Effect.gen(function* (_) {
|
|
394
|
+
const dbWorker = yield* _(DbWorker);
|
|
395
|
+
const appState = yield* _(AppState);
|
|
396
|
+
const config = yield* _(Config);
|
|
397
|
+
|
|
398
|
+
const subscribedQueries: SubscribedQueries = new Map();
|
|
399
|
+
const onCompletes: OnCompletes = new Map();
|
|
400
|
+
const loadingPromises = Effect.provide(
|
|
401
|
+
LoadingPromises,
|
|
402
|
+
LoadingPromisesLive,
|
|
403
|
+
).pipe(Effect.runSync);
|
|
404
|
+
|
|
405
|
+
const errorStore = makeStore<EvoluError | null>(null);
|
|
406
|
+
const ownerStore = makeStore<Owner | null>(null);
|
|
407
|
+
const syncStateStore = makeStore<SyncState>({
|
|
408
|
+
_tag: "SyncStateInitial",
|
|
409
|
+
});
|
|
410
|
+
|
|
411
|
+
const Layers = Layer.mergeAll(
|
|
412
|
+
Layer.succeed(DbWorker, dbWorker),
|
|
413
|
+
Layer.succeed(SubscribedQueries, subscribedQueries),
|
|
414
|
+
Layer.succeed(OnCompletes, onCompletes),
|
|
415
|
+
Layer.succeed(LoadingPromises, loadingPromises),
|
|
416
|
+
Layer.succeed(FlushSync, yield* _(FlushSync)),
|
|
417
|
+
Layer.succeed(NanoId, yield* _(NanoId)),
|
|
418
|
+
Layer.succeed(Time, yield* _(Time)),
|
|
419
|
+
Layer.succeed(Bip39, yield* _(Bip39)),
|
|
420
|
+
);
|
|
421
|
+
|
|
422
|
+
const queryStore = Effect.provide(
|
|
423
|
+
QueryStore,
|
|
424
|
+
Layer.use(QueryStoreLive, Layers),
|
|
425
|
+
).pipe(Effect.runSync);
|
|
426
|
+
|
|
427
|
+
const mutate = Effect.provide(
|
|
428
|
+
Mutate<T>(),
|
|
429
|
+
Layer.use(MutateLive<T>(), Layers),
|
|
430
|
+
).pipe(Effect.runSync);
|
|
431
|
+
|
|
432
|
+
const ownerActions = Effect.provide(
|
|
433
|
+
OwnerActions,
|
|
434
|
+
Layer.use(OwnerActionsLive, Layers),
|
|
435
|
+
).pipe(Effect.runSync);
|
|
436
|
+
|
|
437
|
+
const ensureSchema: Evolu<T>["ensureSchema"] = (tables) => {
|
|
438
|
+
dbWorker.postMessage({ _tag: "ensureSchema", tables });
|
|
439
|
+
};
|
|
440
|
+
|
|
441
|
+
const getSubscribedQueries = (): ReadonlyArray<Query> =>
|
|
442
|
+
Array.from(subscribedQueries.keys());
|
|
443
|
+
|
|
444
|
+
dbWorker.onMessage = (output): void => {
|
|
445
|
+
// console.log(output);
|
|
446
|
+
switch (output._tag) {
|
|
447
|
+
case "onError":
|
|
448
|
+
if (process.env.NODE_ENV === "development")
|
|
449
|
+
// JSON.stringify, because Expo console needs strings.
|
|
450
|
+
// eslint-disable-next-line no-console
|
|
451
|
+
console.warn(JSON.stringify(output.error, null, 2));
|
|
452
|
+
errorStore.setState(output.error);
|
|
453
|
+
break;
|
|
454
|
+
case "onOwner":
|
|
455
|
+
ownerStore.setState(output.owner);
|
|
456
|
+
break;
|
|
457
|
+
case "onQuery":
|
|
458
|
+
queryStore.onQuery(output);
|
|
459
|
+
break;
|
|
460
|
+
case "onReceive": {
|
|
461
|
+
const queries = getSubscribedQueries();
|
|
462
|
+
if (ReadonlyArray.isNonEmptyReadonlyArray(queries))
|
|
463
|
+
dbWorker.postMessage({ _tag: "query", queries });
|
|
464
|
+
break;
|
|
465
|
+
}
|
|
466
|
+
case "onResetOrRestore":
|
|
467
|
+
Effect.runSync(appState.reset);
|
|
468
|
+
break;
|
|
469
|
+
case "onSyncState":
|
|
470
|
+
syncStateStore.setState(output.state);
|
|
471
|
+
break;
|
|
472
|
+
default:
|
|
473
|
+
absurd(output);
|
|
474
|
+
}
|
|
475
|
+
};
|
|
476
|
+
|
|
477
|
+
dbWorker.postMessage({ _tag: "init", config, tables });
|
|
478
|
+
|
|
479
|
+
appState.onFocus(() => {
|
|
480
|
+
// `queries` to refresh subscribed queries when a tab is changed.
|
|
481
|
+
dbWorker.postMessage({ _tag: "sync", queries: getSubscribedQueries() });
|
|
482
|
+
});
|
|
483
|
+
|
|
484
|
+
const sync = (): void =>
|
|
485
|
+
dbWorker.postMessage({ _tag: "sync", queries: [] });
|
|
486
|
+
appState.onReconnect(sync);
|
|
487
|
+
sync();
|
|
488
|
+
|
|
489
|
+
return Evolu<T>().of({
|
|
490
|
+
subscribeError: errorStore.subscribe,
|
|
491
|
+
getError: errorStore.getState,
|
|
492
|
+
|
|
493
|
+
subscribeOwner: ownerStore.subscribe,
|
|
494
|
+
getOwner: ownerStore.getState,
|
|
495
|
+
|
|
496
|
+
createQuery: makeCreateQuery<T>(),
|
|
497
|
+
subscribeQuery: queryStore.subscribe,
|
|
498
|
+
getQuery: queryStore.getState,
|
|
499
|
+
loadQuery: queryStore.loadQuery,
|
|
500
|
+
|
|
501
|
+
subscribeSyncState: syncStateStore.subscribe,
|
|
502
|
+
getSyncState: syncStateStore.getState,
|
|
503
|
+
|
|
504
|
+
create: mutate as Create<T>,
|
|
505
|
+
update: mutate as Update<T>,
|
|
506
|
+
ownerActions,
|
|
507
|
+
ensureSchema,
|
|
508
|
+
});
|
|
509
|
+
}),
|
|
510
|
+
);
|
|
511
|
+
|
|
512
|
+
export const makeEvoluForPlatform = <T extends Schema>(
|
|
513
|
+
PlatformLayer: Layer.Layer<
|
|
514
|
+
never,
|
|
515
|
+
never,
|
|
516
|
+
DbWorker | Bip39 | NanoId | FlushSync | AppState
|
|
517
|
+
>,
|
|
518
|
+
tables: Tables,
|
|
519
|
+
config?: Partial<Config>,
|
|
520
|
+
): Evolu<T> =>
|
|
521
|
+
Effect.provide(
|
|
522
|
+
Evolu<T>(),
|
|
523
|
+
Layer.use(
|
|
524
|
+
EvoluLive<T>(tables),
|
|
525
|
+
Layer.mergeAll(PlatformLayer, ConfigLive(config), TimeLive),
|
|
526
|
+
),
|
|
527
|
+
).pipe(Effect.runSync);
|