@evolu/common 6.0.1-preview.19 → 6.0.1-preview.20

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (140) hide show
  1. package/dist/src/Assert.d.ts.map +1 -1
  2. package/dist/src/Assert.js +1 -1
  3. package/dist/src/Buffer.d.ts +1 -1
  4. package/dist/src/Buffer.d.ts.map +1 -1
  5. package/dist/src/Buffer.js +1 -1
  6. package/dist/src/CallbackRegistry.d.ts +53 -0
  7. package/dist/src/CallbackRegistry.d.ts.map +1 -0
  8. package/dist/src/CallbackRegistry.js +25 -0
  9. package/dist/src/Console.d.ts +31 -6
  10. package/dist/src/Console.d.ts.map +1 -1
  11. package/dist/src/Console.js +72 -9
  12. package/dist/src/Crypto.d.ts +48 -37
  13. package/dist/src/Crypto.d.ts.map +1 -1
  14. package/dist/src/Crypto.js +27 -50
  15. package/dist/src/Evolu/Db.d.ts +138 -66
  16. package/dist/src/Evolu/Db.d.ts.map +1 -1
  17. package/dist/src/Evolu/Db.js +248 -645
  18. package/dist/src/Evolu/Diff.d.ts +3 -3
  19. package/dist/src/Evolu/Diff.d.ts.map +1 -1
  20. package/dist/src/Evolu/Diff.js +7 -5
  21. package/dist/src/Evolu/Evolu.d.ts +79 -116
  22. package/dist/src/Evolu/Evolu.d.ts.map +1 -1
  23. package/dist/src/Evolu/Evolu.js +275 -132
  24. package/dist/src/Evolu/Internal.d.ts +0 -2
  25. package/dist/src/Evolu/Internal.d.ts.map +1 -1
  26. package/dist/src/Evolu/Internal.js +0 -2
  27. package/dist/src/Evolu/LocalAuth.d.ts +144 -0
  28. package/dist/src/Evolu/LocalAuth.d.ts.map +1 -0
  29. package/dist/src/Evolu/LocalAuth.js +171 -0
  30. package/dist/src/Evolu/Owner.d.ts +129 -83
  31. package/dist/src/Evolu/Owner.d.ts.map +1 -1
  32. package/dist/src/Evolu/Owner.js +80 -89
  33. package/dist/src/Evolu/Platform.d.ts +9 -7
  34. package/dist/src/Evolu/Platform.d.ts.map +1 -1
  35. package/dist/src/Evolu/Protocol.d.ts +114 -191
  36. package/dist/src/Evolu/Protocol.d.ts.map +1 -1
  37. package/dist/src/Evolu/Protocol.js +409 -416
  38. package/dist/src/Evolu/Public.d.ts +6 -8
  39. package/dist/src/Evolu/Public.d.ts.map +1 -1
  40. package/dist/src/Evolu/Public.js +2 -3
  41. package/dist/src/Evolu/PublicKysely.js +3 -3
  42. package/dist/src/Evolu/Relay.d.ts +1 -2
  43. package/dist/src/Evolu/Relay.d.ts.map +1 -1
  44. package/dist/src/Evolu/Relay.js +11 -9
  45. package/dist/src/Evolu/Schema.d.ts +88 -27
  46. package/dist/src/Evolu/Schema.d.ts.map +1 -1
  47. package/dist/src/Evolu/Schema.js +141 -24
  48. package/dist/src/Evolu/Storage.d.ts +158 -14
  49. package/dist/src/Evolu/Storage.d.ts.map +1 -1
  50. package/dist/src/Evolu/Storage.js +32 -32
  51. package/dist/src/Evolu/Sync.d.ts +77 -13
  52. package/dist/src/Evolu/Sync.d.ts.map +1 -1
  53. package/dist/src/Evolu/Sync.js +453 -20
  54. package/dist/src/Evolu/Timestamp.d.ts +29 -27
  55. package/dist/src/Evolu/Timestamp.d.ts.map +1 -1
  56. package/dist/src/Evolu/Timestamp.js +20 -18
  57. package/dist/src/ManyToManyMap.d.ts +74 -10
  58. package/dist/src/ManyToManyMap.d.ts.map +1 -1
  59. package/dist/src/ManyToManyMap.js +41 -6
  60. package/dist/src/Random.d.ts +3 -2
  61. package/dist/src/Random.d.ts.map +1 -1
  62. package/dist/src/RefCountedResourceManager.d.ts +119 -0
  63. package/dist/src/RefCountedResourceManager.d.ts.map +1 -0
  64. package/dist/src/RefCountedResourceManager.js +197 -0
  65. package/dist/src/Result.d.ts +144 -22
  66. package/dist/src/Result.d.ts.map +1 -1
  67. package/dist/src/Result.js +5 -2
  68. package/dist/src/Sqlite.d.ts +20 -4
  69. package/dist/src/Sqlite.d.ts.map +1 -1
  70. package/dist/src/Sqlite.js +50 -8
  71. package/dist/src/Task.d.ts +511 -0
  72. package/dist/src/Task.d.ts.map +1 -0
  73. package/dist/src/Task.js +410 -0
  74. package/dist/src/Time.d.ts +59 -0
  75. package/dist/src/Time.d.ts.map +1 -1
  76. package/dist/src/Time.js +87 -4
  77. package/dist/src/Type.d.ts +431 -341
  78. package/dist/src/Type.d.ts.map +1 -1
  79. package/dist/src/Type.js +458 -466
  80. package/dist/src/WebSocket.d.ts +5 -2
  81. package/dist/src/WebSocket.d.ts.map +1 -1
  82. package/dist/src/WebSocket.js +12 -13
  83. package/dist/src/Worker.d.ts +39 -11
  84. package/dist/src/Worker.d.ts.map +1 -1
  85. package/dist/src/Worker.js +22 -4
  86. package/dist/src/index.d.ts +2 -3
  87. package/dist/src/index.d.ts.map +1 -1
  88. package/dist/src/index.js +2 -3
  89. package/package.json +7 -7
  90. package/src/Assert.ts +2 -4
  91. package/src/Buffer.ts +1 -1
  92. package/src/CallbackRegistry.ts +84 -0
  93. package/src/Console.ts +91 -11
  94. package/src/Crypto.ts +78 -91
  95. package/src/Evolu/Db.ts +455 -947
  96. package/src/Evolu/Diff.ts +7 -5
  97. package/src/Evolu/Evolu.ts +545 -307
  98. package/src/Evolu/Internal.ts +0 -2
  99. package/src/Evolu/LocalAuth.ts +422 -0
  100. package/src/Evolu/Owner.ts +191 -131
  101. package/src/Evolu/Platform.ts +9 -9
  102. package/src/Evolu/Protocol.ts +536 -653
  103. package/src/Evolu/Public.ts +7 -9
  104. package/src/Evolu/PublicKysely.ts +3 -3
  105. package/src/Evolu/Relay.ts +17 -12
  106. package/src/Evolu/Schema.ts +271 -66
  107. package/src/Evolu/Storage.ts +263 -55
  108. package/src/Evolu/Sync.ts +758 -37
  109. package/src/Evolu/Timestamp.ts +30 -35
  110. package/src/ManyToManyMap.ts +127 -24
  111. package/src/Random.ts +3 -2
  112. package/src/RefCountedResourceManager.ts +368 -0
  113. package/src/Result.ts +149 -23
  114. package/src/Sqlite.ts +59 -24
  115. package/src/Task.ts +779 -0
  116. package/src/Time.ts +168 -4
  117. package/src/Type.ts +657 -695
  118. package/src/WebSocket.ts +23 -17
  119. package/src/Worker.ts +72 -23
  120. package/src/index.ts +2 -3
  121. package/dist/src/Callbacks.d.ts +0 -20
  122. package/dist/src/Callbacks.d.ts.map +0 -1
  123. package/dist/src/Callbacks.js +0 -18
  124. package/dist/src/Evolu/Config.d.ts +0 -82
  125. package/dist/src/Evolu/Config.d.ts.map +0 -1
  126. package/dist/src/Evolu/Config.js +0 -9
  127. package/dist/src/Evolu/Kysely.d.ts +0 -6
  128. package/dist/src/Evolu/Kysely.d.ts.map +0 -1
  129. package/dist/src/Evolu/Kysely.js +0 -21
  130. package/dist/src/NanoId.d.ts +0 -27
  131. package/dist/src/NanoId.d.ts.map +0 -1
  132. package/dist/src/NanoId.js +0 -6
  133. package/dist/src/Promise.d.ts +0 -180
  134. package/dist/src/Promise.d.ts.map +0 -1
  135. package/dist/src/Promise.js +0 -176
  136. package/src/Callbacks.ts +0 -43
  137. package/src/Evolu/Config.ts +0 -97
  138. package/src/Evolu/Kysely.ts +0 -38
  139. package/src/NanoId.ts +0 -39
  140. package/src/Promise.ts +0 -295
@@ -0,0 +1,368 @@
1
+ import { err, ok, Result } from "./Result.js";
2
+ import { PositiveInt } from "./Type.js";
3
+
4
+ /**
5
+ * A generic resource manager that handles reference counting and delayed
6
+ * disposal of shared resources. Useful for managing expensive resources like
7
+ * WebSocket connections, database connections, or file handles that need to be
8
+ * shared among multiple consumers.
9
+ */
10
+ export interface RefCountedResourceManager<
11
+ TResource extends Disposable,
12
+ TResourceKey extends string,
13
+ TResourceConfig,
14
+ TConsumer,
15
+ TConsumerId extends string,
16
+ > extends Disposable {
17
+ /**
18
+ * Adds a consumer to resources, creating them if necessary. Increments
19
+ * reference counts for existing consumer-resource pairs.
20
+ */
21
+ readonly addConsumer: (
22
+ consumer: TConsumer,
23
+ resourceConfigs: ReadonlyArray<TResourceConfig>,
24
+ ) => void;
25
+
26
+ /**
27
+ * Removes a consumer from resources. Decrements reference counts and
28
+ * schedules disposal when no consumers remain.
29
+ *
30
+ * Returns an error if the resource doesn't exist or if the consumer wasn't
31
+ * added to the resource.
32
+ */
33
+ readonly removeConsumer: (
34
+ consumer: TConsumer,
35
+ resourceConfigs: ReadonlyArray<TResourceConfig>,
36
+ ) => Result<
37
+ void,
38
+ | ResourceNotFoundError<TResourceKey>
39
+ | ConsumerNotFoundError<TConsumerId, TResourceKey>
40
+ >;
41
+
42
+ /** Gets the resource for the specified key, or null if it doesn't exist. */
43
+ readonly getResource: (key: TResourceKey) => TResource | null;
44
+
45
+ /** Gets all consumer IDs currently using the specified resource key. */
46
+ readonly getConsumersForResource: (
47
+ key: TResourceKey,
48
+ ) => ReadonlyArray<TConsumerId>;
49
+
50
+ /** Checks if a consumer is currently using any resources. */
51
+ readonly hasConsumerAnyResource: (consumer: TConsumer) => boolean;
52
+
53
+ /**
54
+ * Gets the consumer for the specified consumer ID, or null if not found or
55
+ * not using any resources.
56
+ */
57
+ readonly getConsumer: (consumerId: TConsumerId) => TConsumer | null;
58
+ }
59
+
60
+ /** Error when trying to remove a consumer from a resource that doesn't exist. */
61
+ export interface ResourceNotFoundError<TResourceKey extends string = string> {
62
+ readonly type: "ResourceNotFoundError";
63
+ readonly resourceKey: TResourceKey;
64
+ }
65
+
66
+ /** Error when trying to remove a consumer that wasn't added to a resource. */
67
+ export interface ConsumerNotFoundError<
68
+ TConsumerId extends string = string,
69
+ TResourceKey extends string = string,
70
+ > {
71
+ readonly type: "ConsumerNotFoundError";
72
+ readonly consumerId: TConsumerId;
73
+ readonly resourceKey: TResourceKey;
74
+ }
75
+
76
+ export interface ResourceManagerConfig<
77
+ TResource extends Disposable,
78
+ TResourceKey extends string,
79
+ TResourceConfig,
80
+ TConsumer,
81
+ TConsumerId extends string,
82
+ > {
83
+ /** Creates a new resource for the given config. */
84
+ readonly createResource: (config: TResourceConfig) => TResource;
85
+
86
+ /** Extracts a unique key from a resource config for deduplication. */
87
+ readonly getResourceKey: (config: TResourceConfig) => TResourceKey;
88
+
89
+ /** Extracts a unique identifier from a consumer for reference counting. */
90
+ readonly getConsumerId: (consumer: TConsumer) => TConsumerId;
91
+
92
+ /**
93
+ * Delay in milliseconds before disposing unused resources. Helps avoid
94
+ * resource churn during rapid add/remove cycles. Defaults to 100ms.
95
+ */
96
+ readonly disposalDelay?: number;
97
+
98
+ /**
99
+ * Called when a consumer is added to a resource for the first time. This
100
+ * happens when the consumer's reference count goes from 0 to 1 for this
101
+ * resource.
102
+ */
103
+ readonly onConsumerAdded?: (
104
+ consumer: TConsumer,
105
+ resource: TResource,
106
+ resourceKey: TResourceKey,
107
+ ) => void;
108
+
109
+ /**
110
+ * Called when a consumer is completely removed from a resource. This happens
111
+ * when the consumer's reference count goes from 1 to 0 for this resource.
112
+ */
113
+ readonly onConsumerRemoved?: (
114
+ consumer: TConsumer,
115
+ resource: TResource,
116
+ resourceKey: TResourceKey,
117
+ ) => void;
118
+ }
119
+
120
+ /**
121
+ * Creates a reference-counted resource manager.
122
+ *
123
+ * This manager tracks which consumers are using which resources and maintains
124
+ * reference counts to know when it's safe to dispose resources. Resources are
125
+ * created on-demand and disposed with a configurable delay to avoid churn.
126
+ *
127
+ * ### Example Usage
128
+ *
129
+ * ```ts
130
+ * // WebSocket connections manager
131
+ * interface WebSocketConfig {
132
+ * readonly url: WebSocketUrl;
133
+ * }
134
+ *
135
+ * type WebSocketUrl = string & Brand<"WebSocketUrl">;
136
+ * type UserId = string & Brand<"UserId">;
137
+ *
138
+ * const wsManager = createRefCountedResourceManager<
139
+ * WebSocket,
140
+ * WebSocketUrl,
141
+ * WebSocketConfig,
142
+ * User,
143
+ * UserId
144
+ * >({
145
+ * createResource: (config) => new WebSocket(config.url),
146
+ * getResourceKey: (config) => config.url,
147
+ * getConsumerId: (user) => user.id,
148
+ * disposalDelay: 1000,
149
+ * });
150
+ *
151
+ * // Add users to WebSocket connections
152
+ * wsManager.addConsumer(user1, [
153
+ * { url: "ws://server1.com" as WebSocketUrl },
154
+ * { url: "ws://server2.com" as WebSocketUrl },
155
+ * ]);
156
+ * wsManager.addConsumer(user2, [
157
+ * { url: "ws://server1.com" as WebSocketUrl },
158
+ * ]);
159
+ *
160
+ * // Remove users - server1 stays alive (user2 still using it)
161
+ * wsManager.removeConsumer(user1, [
162
+ * { url: "ws://server1.com" as WebSocketUrl },
163
+ * { url: "ws://server2.com" as WebSocketUrl },
164
+ * ]);
165
+ *
166
+ * // server2 gets disposed after delay, server1 stays alive
167
+ * ```
168
+ */
169
+ export const createRefCountedResourceManager = <
170
+ TResource extends Disposable,
171
+ TResourceKey extends string,
172
+ TResourceConfig,
173
+ TConsumer,
174
+ TConsumerId extends string,
175
+ >(
176
+ config: ResourceManagerConfig<
177
+ TResource,
178
+ TResourceKey,
179
+ TResourceConfig,
180
+ TConsumer,
181
+ TConsumerId
182
+ >,
183
+ ): RefCountedResourceManager<
184
+ TResource,
185
+ TResourceKey,
186
+ TResourceConfig,
187
+ TConsumer,
188
+ TConsumerId
189
+ > => {
190
+ let isDisposed = false;
191
+
192
+ const resources = new Map<TResourceKey, TResource>();
193
+ const consumerCounts = new Map<TResourceKey, Map<TConsumerId, PositiveInt>>();
194
+ const consumers = new Map<TConsumerId, TConsumer>();
195
+ const disposalTimeouts = new Map<
196
+ TResourceKey,
197
+ ReturnType<typeof setTimeout>
198
+ >();
199
+
200
+ const disposalDelay = config.disposalDelay ?? 100;
201
+
202
+ const ensureResource = (resourceConfig: TResourceConfig) => {
203
+ const key = config.getResourceKey(resourceConfig);
204
+ const timeout = disposalTimeouts.get(key);
205
+ if (timeout) {
206
+ clearTimeout(timeout);
207
+ disposalTimeouts.delete(key);
208
+ }
209
+
210
+ if (!resources.has(key)) {
211
+ const resource = config.createResource(resourceConfig);
212
+ resources.set(key, resource);
213
+ }
214
+ };
215
+
216
+ const scheduleDisposal = (key: TResourceKey): void => {
217
+ const timeout = setTimeout(() => {
218
+ const resource = resources.get(key);
219
+ if (resource) {
220
+ resource[Symbol.dispose]();
221
+ resources.delete(key);
222
+ }
223
+ disposalTimeouts.delete(key);
224
+ }, disposalDelay);
225
+
226
+ disposalTimeouts.set(key, timeout);
227
+ };
228
+
229
+ const manager: RefCountedResourceManager<
230
+ TResource,
231
+ TResourceKey,
232
+ TResourceConfig,
233
+ TConsumer,
234
+ TConsumerId
235
+ > = {
236
+ addConsumer: (consumer, resourceConfigs) => {
237
+ if (isDisposed) return;
238
+
239
+ const consumerId = config.getConsumerId(consumer);
240
+
241
+ // Store consumer (last added consumer for this ID)
242
+ consumers.set(consumerId, consumer);
243
+
244
+ for (const resourceConfig of resourceConfigs) {
245
+ ensureResource(resourceConfig);
246
+ const resourceKey = config.getResourceKey(resourceConfig);
247
+
248
+ let counts = consumerCounts.get(resourceKey);
249
+ if (!counts) {
250
+ counts = new Map<TConsumerId, PositiveInt>();
251
+ consumerCounts.set(resourceKey, counts);
252
+ }
253
+
254
+ const currentCount = counts.get(consumerId) ?? 0;
255
+ const newCount = currentCount + 1;
256
+ counts.set(consumerId, PositiveInt.orThrow(newCount));
257
+
258
+ // Call onConsumerAdded callback only when consumer is added for the first time (0 -> 1)
259
+ if (currentCount === 0 && config.onConsumerAdded) {
260
+ const resource = resources.get(resourceKey);
261
+ if (resource) {
262
+ config.onConsumerAdded(consumer, resource, resourceKey);
263
+ }
264
+ }
265
+ }
266
+ },
267
+
268
+ removeConsumer: (consumer, resourceConfigs) => {
269
+ if (isDisposed) return ok();
270
+
271
+ const consumerId = config.getConsumerId(consumer);
272
+
273
+ for (const resourceConfig of resourceConfigs) {
274
+ const key = config.getResourceKey(resourceConfig);
275
+ const counts = consumerCounts.get(key);
276
+ if (!counts) {
277
+ return err({ type: "ResourceNotFoundError", resourceKey: key });
278
+ }
279
+
280
+ const currentCount = counts.get(consumerId);
281
+ if (currentCount == null) {
282
+ return err({
283
+ type: "ConsumerNotFoundError",
284
+ consumerId: consumerId,
285
+ resourceKey: key,
286
+ });
287
+ }
288
+
289
+ if (currentCount === 1) {
290
+ counts.delete(consumerId);
291
+
292
+ // Call onConsumerRemoved callback only when consumer is completely removed (1 -> 0)
293
+ if (config.onConsumerRemoved) {
294
+ const resource = resources.get(key);
295
+ if (resource) {
296
+ config.onConsumerRemoved(consumer, resource, key);
297
+ }
298
+ }
299
+
300
+ if (counts.size === 0) {
301
+ consumerCounts.delete(key);
302
+ scheduleDisposal(key);
303
+ }
304
+ } else {
305
+ counts.set(consumerId, PositiveInt.orThrow(currentCount - 1));
306
+ }
307
+ }
308
+
309
+ if (!manager.hasConsumerAnyResource(consumer)) {
310
+ consumers.delete(consumerId);
311
+ }
312
+
313
+ return ok();
314
+ },
315
+
316
+ getResource: (key) => {
317
+ if (isDisposed) return null;
318
+ return resources.get(key) ?? null;
319
+ },
320
+
321
+ getConsumersForResource: (key) => {
322
+ if (isDisposed) return [];
323
+ const counts = consumerCounts.get(key);
324
+ return counts ? Array.from(counts.keys()) : [];
325
+ },
326
+
327
+ hasConsumerAnyResource: (consumer) => {
328
+ if (isDisposed) return false;
329
+ const consumerId = config.getConsumerId(consumer);
330
+ // If slow, can be optimized with reverse index
331
+ return Array.from(consumerCounts.values()).some((counts) =>
332
+ counts.has(consumerId),
333
+ );
334
+ },
335
+
336
+ getConsumer: (consumerId) => {
337
+ if (isDisposed) return null;
338
+ const consumer = consumers.get(consumerId);
339
+ if (!consumer) return null;
340
+
341
+ // Only return consumer if it's currently using any resources
342
+ if (!manager.hasConsumerAnyResource(consumer)) {
343
+ return null;
344
+ }
345
+
346
+ return consumer;
347
+ },
348
+
349
+ [Symbol.dispose]: () => {
350
+ if (isDisposed) return;
351
+ isDisposed = true;
352
+
353
+ for (const timeout of disposalTimeouts.values()) {
354
+ clearTimeout(timeout);
355
+ }
356
+ disposalTimeouts.clear();
357
+
358
+ for (const resource of resources.values()) {
359
+ resource[Symbol.dispose]();
360
+ }
361
+ resources.clear();
362
+ consumerCounts.clear();
363
+ consumers.clear();
364
+ },
365
+ };
366
+
367
+ return manager;
368
+ };
package/src/Result.ts CHANGED
@@ -4,14 +4,16 @@
4
4
  * The problem with throwing an exception in JavaScript is that the caught error
5
5
  * is always of an unknown type. The unknown type is a problem because we can't
6
6
  * be sure all errors have been handled because the TypeScript compiler can't
7
- * tell us. Some other languages like Rust 🦀 or Haskell 📚 use a type-safe
8
- * approach to error handling, where errors are explicitly represented as part
9
- * of the return type, such as Result or Either, allowing the developer to
10
- * handle all errors safely. ✅
7
+ * tell us.
11
8
  *
12
- * This type models that approach in TypeScript. A `Result` can be either
13
- * {@link Ok} (success) or {@link Err} (error). Use {@link ok} to create a
14
- * successful result and {@link err} to create an error result.
9
+ * Languages like Rust 🦀 or Haskell 📚 use a type-safe approach to error
10
+ * handling, where errors are explicitly represented as part of the return type,
11
+ * such as Result or Either, allowing the developer to handle errors safely.
12
+ * TypeScript can have this too via the `Result` type.
13
+ *
14
+ * The `Result` type can be either {@link Ok} (success) or {@link Err} (error).
15
+ * Use {@link ok} to create a successful result and {@link err} to create an error
16
+ * result.
15
17
  *
16
18
  * Now let's look at how `Result` can be used for safe JSON parsing:
17
19
  *
@@ -58,12 +60,10 @@
58
60
  *
59
61
  * Let's summarize it:
60
62
  *
61
- * - For synchronous safe code, use `ok` and `err`.
63
+ * - For safe code, use `ok` and `err`.
62
64
  * - For unsafe code, use `trySync` or `tryAsync`.
63
- * - For asynchronous safe code, use `Promise` with {@link Result}.
64
65
  *
65
- * Asynchronous safe (because of a Promise using Result) code is
66
- * straightforward:
66
+ * Asynchronous safe (because of a Promise using Result) code:
67
67
  *
68
68
  * ```ts
69
69
  * const fetchUser = async (
@@ -84,9 +84,33 @@
84
84
  * };
85
85
  * ```
86
86
  *
87
- * ## Examples
87
+ * ### Naming Convention
88
+ *
89
+ * - For values: `const user = getUser()`
90
+ * - For void operations: `const result = foo()` (unless it would clash)
91
+ * - For clashes, suffix the name: `const saveResult = save()`
92
+ *
93
+ * ```ts
94
+ * const processUser = () => {
95
+ * // we have a value
96
+ * const user = getUser();
97
+ * if (!user.ok) return user;
98
+ *
99
+ * // void operation
100
+ * const result = saveToDatabase(user.value);
101
+ * if (!result.ok) return result;
102
+ *
103
+ * // avoiding clash
104
+ * const deleteFromCacheResult = deleteFromCache();
105
+ * if (!deleteFromCacheResult.ok) return deleteFromCacheResult;
106
+ *
107
+ * return ok();
108
+ * };
109
+ * ```
110
+ *
111
+ * ### Examples
88
112
  *
89
- * ### Sequential Operations with Short-Circuiting
113
+ * #### Sequential Operations with Short-Circuiting
90
114
  *
91
115
  * When performing a sequence of operations where any failure should stop
92
116
  * further processing, use the `Result` type with early returns.
@@ -136,30 +160,114 @@
136
160
  * This approach ensures type-safe error handling, avoids nested try/catch
137
161
  * blocks, and clearly communicates the control flow.
138
162
  *
139
- * ### A function with two different errors:
163
+ * #### A function with two different errors:
140
164
  *
141
165
  * ```ts
142
166
  * const example = (value: string): Result<number, FooError | BarError> => {
143
167
  * const foo = getFoo(value);
144
168
  * if (!foo.ok) return foo;
145
169
  *
146
- * const bar = barize(foo.value);
170
+ * const bar = getBar(foo.value);
147
171
  * if (!bar.ok) return bar;
148
172
  *
149
173
  * return ok(barToNumber(bar.value));
150
174
  * };
151
175
  * ```
152
176
  *
153
- * ## FAQ
177
+ * ### Handling Unexpected Errors
178
+ *
179
+ * Even with disciplined use of `trySync` and `tryAsync`, unexpected errors can
180
+ * still occur due to programming mistakes, third-party library bugs, or edge
181
+ * cases. These should be logged for debugging, but **unexpected errors are not
182
+ * recoverable** - they represent bugs that must be fixed.
183
+ *
184
+ * **Important**: "Graceful shutdown" and error recovery can only come from
185
+ * expected errors handled via the `Result` type. Unexpected errors should fail
186
+ * fast - the operation fails immediately and the error bubbles up.
187
+ *
188
+ * #### In Browser Environments
189
+ *
190
+ * ```ts
191
+ * // Global error handler for unexpected errors
192
+ * window.addEventListener("error", (event) => {
193
+ * console.error("Uncaught error:", event.error);
194
+ * // Send to error reporting service
195
+ * errorReportingService.report(event.error);
196
+ * });
197
+ *
198
+ * // For unhandled promise rejections
199
+ * window.addEventListener("unhandledrejection", (event) => {
200
+ * console.error("Unhandled promise rejection:", event.reason);
201
+ * errorReportingService.report(event.reason);
202
+ * });
203
+ * ```
204
+ *
205
+ * #### In Node.js Environments
206
+ *
207
+ * ```ts
208
+ * // Handle uncaught exceptions - log and fail fast
209
+ * process.on("uncaughtException", (error) => {
210
+ * console.error("Uncaught exception:", error);
211
+ * errorReportingService.report(error);
212
+ * // Exit immediately - unexpected errors are not recoverable
213
+ * process.exit(1);
214
+ * });
215
+ *
216
+ * // Handle unhandled promise rejections
217
+ * process.on("unhandledRejection", (reason) => {
218
+ * console.error("Unhandled promise rejection:", reason);
219
+ * errorReportingService.report(reason);
220
+ * });
221
+ * ```
222
+ *
223
+ * These global handlers serve as a safety net to log and report unexpected
224
+ * errors for debugging purposes. They do not attempt recovery - unexpected
225
+ * errors represent bugs that must be fixed. The discipline of explicit error
226
+ * handling through the `Result` pattern remains the primary approach for all
227
+ * recoverable scenarios.
228
+ *
229
+ * ### FAQ
154
230
  *
155
- * ### What if my function doesn't return a value on success?
231
+ * #### What if my function doesn't return a value on success?
156
232
  *
157
233
  * If your function performs an operation but doesn't need to return a value on
158
234
  * success, you can use `Result<void, E>`. Using `Result<void, E>` is clearer
159
235
  * than using `Result<true, E>` or `Result<null, E>` because it communicates
160
236
  * that the function doesn't produce a value but can produce errors.
161
237
  *
162
- * ### How do I short-circuit processing of an array on the first error?
238
+ * #### When can a function return `void` instead of `Result<void, E>`?
239
+ *
240
+ * A function can safely return `void` (instead of `Result<void, E>`) when all
241
+ * unsafe code within it is properly wrapped with `trySync` or `tryAsync`. If
242
+ * developers consistently wrap all potentially throwing operations, then any
243
+ * function returning `void` is guaranteed not to throw and can be called
244
+ * without error handling.
245
+ *
246
+ * ```ts
247
+ * // ✅ Safe to return void - all unsafe code is wrapped
248
+ * const processData = (data: string): void => {
249
+ * const parseResult = trySync(
250
+ * () => JSON.parse(data),
251
+ * (error) => ({ type: "ParseError", message: String(error) }),
252
+ * );
253
+ *
254
+ * if (!parseResult.ok) {
255
+ * logError(parseResult.error); // Handle error appropriately
256
+ * return;
257
+ * }
258
+ *
259
+ * // Continue with safe operations...
260
+ * };
261
+ *
262
+ * // ✅ Can call without try-catch since it returns void
263
+ * processData(jsonString);
264
+ * ```
265
+ *
266
+ * This approach creates a clear contract: functions returning `void` are safe
267
+ * to call, while functions returning `Result<T, E>` require explicit error
268
+ * handling.
269
+ *
270
+ * #### How do I short-circuit processing of an array on the first error?
163
271
  *
164
272
  * If you want to stop processing as soon as an error occurs (short-circuit),
165
273
  * you should produce and check each `Result` inside a loop:
@@ -175,7 +283,7 @@
175
283
  * // All queries succeeded
176
284
  * ```
177
285
  *
178
- * ### How do I handle an array of operations and short-circuit on the first error?
286
+ * #### How do I handle an array of operations and short-circuit on the first error?
179
287
  *
180
288
  * If you have an array of operations (not results), you should make them
181
289
  * _lazy_—that is, represent each operation as a function. This way, you only
@@ -212,8 +320,7 @@
212
320
  * above) over monadic helpers. Imperative code is generally more readable,
213
321
  * easier to debug, and more familiar to most JavaScript and TypeScript
214
322
  * developers. While monads and functional helpers can be powerful, they often
215
- * obscure control flow and make debugging harder. Evolu's approach keeps error
216
- * handling explicit and straightforward.
323
+ * obscure control flow and make debugging harder.
217
324
  */
218
325
  export type Result<T, E> = Ok<T> | Err<E>;
219
326
 
@@ -272,6 +379,22 @@ export interface Err<E> {
272
379
  readonly error: E;
273
380
  }
274
381
 
382
+ /**
383
+ * Extracts the value type from a {@link Result}.
384
+ *
385
+ * @category Utilities
386
+ */
387
+ export type InferOk<R extends Result<any, any>> =
388
+ R extends Ok<infer T> ? T : never;
389
+
390
+ /**
391
+ * Extracts the error type from a {@link Result}.
392
+ *
393
+ * @category Utilities
394
+ */
395
+ export type InferErr<R extends Result<any, any>> =
396
+ R extends Err<infer E> ? E : never;
397
+
275
398
  /**
276
399
  * Creates an {@link Ok} result.
277
400
  *
@@ -333,7 +456,7 @@ export const getOrThrow = <T, E>(result: Result<T, E>): T => {
333
456
  if (result.ok) {
334
457
  return result.value;
335
458
  } else {
336
- throw new Error("getOrThrow failed", { cause: result.error });
459
+ throw new Error("getOrThrow", { cause: result.error });
337
460
  }
338
461
  };
339
462
 
@@ -357,7 +480,10 @@ export const getOrThrow = <T, E>(result: Result<T, E>): T => {
357
480
  * const parseJson = (value: string): Result<unknown, ParseJsonError> =>
358
481
  * trySync(
359
482
  * () => JSON.parse(value) as unknown,
360
- * (error) => ({ type: "ParseJsonError", message: String(error) }),
483
+ * (error): ParseJsonError => ({
484
+ * type: "ParseJsonError",
485
+ * message: String(error),
486
+ * }),
361
487
  * );
362
488
  * ```
363
489
  */