@procedures/collections 0.0.0-stage → 0.1.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.
Files changed (205) hide show
  1. package/CHANGELOG.md +5 -0
  2. package/LICENSE +21 -0
  3. package/README.md +394 -2
  4. package/dist/.tsbuildinfo +1 -0
  5. package/dist/async/async-queue.d.ts +155 -0
  6. package/dist/async/async-queue.d.ts.map +1 -0
  7. package/dist/async/async-queue.js +342 -0
  8. package/dist/async/async-queue.js.map +1 -0
  9. package/dist/async/channels.d.ts +188 -0
  10. package/dist/async/channels.d.ts.map +1 -0
  11. package/dist/async/channels.js +314 -0
  12. package/dist/async/channels.js.map +1 -0
  13. package/dist/behaviors/bounded.d.ts +79 -0
  14. package/dist/behaviors/bounded.d.ts.map +1 -0
  15. package/dist/behaviors/bounded.js +384 -0
  16. package/dist/behaviors/bounded.js.map +1 -0
  17. package/dist/behaviors/composite.d.ts +17 -0
  18. package/dist/behaviors/composite.d.ts.map +1 -0
  19. package/dist/behaviors/composite.js +93 -0
  20. package/dist/behaviors/composite.js.map +1 -0
  21. package/dist/behaviors/evented.d.ts +154 -0
  22. package/dist/behaviors/evented.d.ts.map +1 -0
  23. package/dist/behaviors/evented.js +299 -0
  24. package/dist/behaviors/evented.js.map +1 -0
  25. package/dist/behaviors/lru.d.ts +84 -0
  26. package/dist/behaviors/lru.d.ts.map +1 -0
  27. package/dist/behaviors/lru.js +376 -0
  28. package/dist/behaviors/lru.js.map +1 -0
  29. package/dist/behaviors/readonly.d.ts +73 -0
  30. package/dist/behaviors/readonly.d.ts.map +1 -0
  31. package/dist/behaviors/readonly.js +177 -0
  32. package/dist/behaviors/readonly.js.map +1 -0
  33. package/dist/behaviors/safe.d.ts +163 -0
  34. package/dist/behaviors/safe.d.ts.map +1 -0
  35. package/dist/behaviors/safe.js +176 -0
  36. package/dist/behaviors/safe.js.map +1 -0
  37. package/dist/behaviors/synchronized.d.ts +88 -0
  38. package/dist/behaviors/synchronized.d.ts.map +1 -0
  39. package/dist/behaviors/synchronized.js +285 -0
  40. package/dist/behaviors/synchronized.js.map +1 -0
  41. package/dist/behaviors/ttl.d.ts +118 -0
  42. package/dist/behaviors/ttl.d.ts.map +1 -0
  43. package/dist/behaviors/ttl.js +354 -0
  44. package/dist/behaviors/ttl.js.map +1 -0
  45. package/dist/contracts/model.d.ts +29 -0
  46. package/dist/contracts/model.d.ts.map +1 -0
  47. package/dist/contracts/model.js +26 -0
  48. package/dist/contracts/model.js.map +1 -0
  49. package/dist/core/effects.d.ts +176 -0
  50. package/dist/core/effects.d.ts.map +1 -0
  51. package/dist/core/effects.js +180 -0
  52. package/dist/core/effects.js.map +1 -0
  53. package/dist/core/events.d.ts +192 -0
  54. package/dist/core/events.d.ts.map +1 -0
  55. package/dist/core/events.js +291 -0
  56. package/dist/core/events.js.map +1 -0
  57. package/dist/core/middleware.d.ts +231 -0
  58. package/dist/core/middleware.d.ts.map +1 -0
  59. package/dist/core/middleware.js +161 -0
  60. package/dist/core/middleware.js.map +1 -0
  61. package/dist/core/policies.d.ts +220 -0
  62. package/dist/core/policies.d.ts.map +1 -0
  63. package/dist/core/policies.js +48 -0
  64. package/dist/core/policies.js.map +1 -0
  65. package/dist/core/traits.d.ts +142 -0
  66. package/dist/core/traits.d.ts.map +1 -0
  67. package/dist/core/traits.js +8 -0
  68. package/dist/core/traits.js.map +1 -0
  69. package/dist/fx/collectors.d.ts +193 -0
  70. package/dist/fx/collectors.d.ts.map +1 -0
  71. package/dist/fx/collectors.js +375 -0
  72. package/dist/fx/collectors.js.map +1 -0
  73. package/dist/fx/iter.d.ts +166 -0
  74. package/dist/fx/iter.d.ts.map +1 -0
  75. package/dist/fx/iter.js +421 -0
  76. package/dist/fx/iter.js.map +1 -0
  77. package/dist/impl/array-deque.d.ts +112 -0
  78. package/dist/impl/array-deque.d.ts.map +1 -0
  79. package/dist/impl/array-deque.js +380 -0
  80. package/dist/impl/array-deque.js.map +1 -0
  81. package/dist/impl/array-list.d.ts +101 -0
  82. package/dist/impl/array-list.d.ts.map +1 -0
  83. package/dist/impl/array-list.js +387 -0
  84. package/dist/impl/array-list.js.map +1 -0
  85. package/dist/impl/hash-map.d.ts +149 -0
  86. package/dist/impl/hash-map.d.ts.map +1 -0
  87. package/dist/impl/hash-map.js +473 -0
  88. package/dist/impl/hash-map.js.map +1 -0
  89. package/dist/impl/hash-set.d.ts +125 -0
  90. package/dist/impl/hash-set.d.ts.map +1 -0
  91. package/dist/impl/hash-set.js +264 -0
  92. package/dist/impl/hash-set.js.map +1 -0
  93. package/dist/impl/linked-hash-map.d.ts +141 -0
  94. package/dist/impl/linked-hash-map.d.ts.map +1 -0
  95. package/dist/impl/linked-hash-map.js +442 -0
  96. package/dist/impl/linked-hash-map.js.map +1 -0
  97. package/dist/impl/linked-list.d.ts +109 -0
  98. package/dist/impl/linked-list.d.ts.map +1 -0
  99. package/dist/impl/linked-list.js +494 -0
  100. package/dist/impl/linked-list.js.map +1 -0
  101. package/dist/impl/priority-queue.d.ts +139 -0
  102. package/dist/impl/priority-queue.d.ts.map +1 -0
  103. package/dist/impl/priority-queue.js +343 -0
  104. package/dist/impl/priority-queue.js.map +1 -0
  105. package/dist/impl/tree-map.d.ts +153 -0
  106. package/dist/impl/tree-map.d.ts.map +1 -0
  107. package/dist/impl/tree-map.js +788 -0
  108. package/dist/impl/tree-map.js.map +1 -0
  109. package/dist/impl/tree-set.d.ts +112 -0
  110. package/dist/impl/tree-set.d.ts.map +1 -0
  111. package/dist/impl/tree-set.js +374 -0
  112. package/dist/impl/tree-set.js.map +1 -0
  113. package/dist/index.d.ts +106 -0
  114. package/dist/index.d.ts.map +1 -0
  115. package/dist/index.js +139 -0
  116. package/dist/index.js.map +1 -0
  117. package/dist/interfaces/collection.d.ts +119 -0
  118. package/dist/interfaces/collection.d.ts.map +1 -0
  119. package/dist/interfaces/collection.js +8 -0
  120. package/dist/interfaces/collection.js.map +1 -0
  121. package/dist/interfaces/list.d.ts +247 -0
  122. package/dist/interfaces/list.d.ts.map +1 -0
  123. package/dist/interfaces/list.js +8 -0
  124. package/dist/interfaces/list.js.map +1 -0
  125. package/dist/interfaces/map.d.ts +344 -0
  126. package/dist/interfaces/map.d.ts.map +1 -0
  127. package/dist/interfaces/map.js +8 -0
  128. package/dist/interfaces/map.js.map +1 -0
  129. package/dist/interfaces/queue.d.ts +304 -0
  130. package/dist/interfaces/queue.d.ts.map +1 -0
  131. package/dist/interfaces/queue.js +8 -0
  132. package/dist/interfaces/queue.js.map +1 -0
  133. package/dist/interfaces/set.d.ts +137 -0
  134. package/dist/interfaces/set.d.ts.map +1 -0
  135. package/dist/interfaces/set.js +8 -0
  136. package/dist/interfaces/set.js.map +1 -0
  137. package/dist/register.d.ts +8 -0
  138. package/dist/register.d.ts.map +1 -0
  139. package/dist/register.js +8 -0
  140. package/dist/register.js.map +1 -0
  141. package/dist/storage/index.d.ts +15 -0
  142. package/dist/storage/index.d.ts.map +1 -0
  143. package/dist/storage/index.js +14 -0
  144. package/dist/storage/index.js.map +1 -0
  145. package/dist/storage/interface.d.ts +141 -0
  146. package/dist/storage/interface.d.ts.map +1 -0
  147. package/dist/storage/interface.js +23 -0
  148. package/dist/storage/interface.js.map +1 -0
  149. package/dist/storage/memory.d.ts +68 -0
  150. package/dist/storage/memory.d.ts.map +1 -0
  151. package/dist/storage/memory.js +154 -0
  152. package/dist/storage/memory.js.map +1 -0
  153. package/dist/utils/defaults.d.ts +135 -0
  154. package/dist/utils/defaults.d.ts.map +1 -0
  155. package/dist/utils/defaults.js +322 -0
  156. package/dist/utils/defaults.js.map +1 -0
  157. package/dist/utils/factories.d.ts +144 -0
  158. package/dist/utils/factories.d.ts.map +1 -0
  159. package/dist/utils/factories.js +293 -0
  160. package/dist/utils/factories.js.map +1 -0
  161. package/dist/utils/helpers.d.ts +137 -0
  162. package/dist/utils/helpers.d.ts.map +1 -0
  163. package/dist/utils/helpers.js +221 -0
  164. package/dist/utils/helpers.js.map +1 -0
  165. package/package.json +68 -3
  166. package/src/async/async-queue.ts +417 -0
  167. package/src/async/channels.ts +374 -0
  168. package/src/behaviors/bounded.ts +477 -0
  169. package/src/behaviors/composite.ts +99 -0
  170. package/src/behaviors/evented.ts +464 -0
  171. package/src/behaviors/lru.ts +447 -0
  172. package/src/behaviors/readonly.ts +224 -0
  173. package/src/behaviors/safe.ts +372 -0
  174. package/src/behaviors/synchronized.ts +316 -0
  175. package/src/behaviors/ttl.ts +462 -0
  176. package/src/contracts/model.ts +44 -0
  177. package/src/core/effects.ts +323 -0
  178. package/src/core/events.ts +356 -0
  179. package/src/core/middleware.ts +415 -0
  180. package/src/core/policies.ts +316 -0
  181. package/src/core/traits.ts +164 -0
  182. package/src/fx/collectors.ts +500 -0
  183. package/src/fx/iter.ts +536 -0
  184. package/src/impl/array-deque.ts +463 -0
  185. package/src/impl/array-list.ts +490 -0
  186. package/src/impl/hash-map.ts +623 -0
  187. package/src/impl/hash-set.ts +342 -0
  188. package/src/impl/linked-hash-map.ts +572 -0
  189. package/src/impl/linked-list.ts +606 -0
  190. package/src/impl/priority-queue.ts +448 -0
  191. package/src/impl/tree-map.ts +912 -0
  192. package/src/impl/tree-set.ts +469 -0
  193. package/src/index.ts +277 -0
  194. package/src/interfaces/collection.ts +141 -0
  195. package/src/interfaces/list.ts +281 -0
  196. package/src/interfaces/map.ts +405 -0
  197. package/src/interfaces/queue.ts +353 -0
  198. package/src/interfaces/set.ts +158 -0
  199. package/src/register.ts +8 -0
  200. package/src/storage/index.ts +16 -0
  201. package/src/storage/interface.ts +179 -0
  202. package/src/storage/memory.ts +180 -0
  203. package/src/utils/defaults.ts +345 -0
  204. package/src/utils/factories.ts +357 -0
  205. package/src/utils/helpers.ts +248 -0
@@ -0,0 +1,354 @@
1
+ /**
2
+ * TTL (Time-To-Live) expiration behavior.
3
+ *
4
+ * Automatically expires elements after a specified time period.
5
+ * Perfect for temporary caches and time-limited data.
6
+ *
7
+ * @example
8
+ * const cache = compose(
9
+ * ttlMap({ ttl: 60000 }) // 60 seconds
10
+ * )(hashMap<string, Data>())
11
+ *
12
+ * cache.set('key', data)
13
+ * // After 60 seconds, 'key' is automatically removed
14
+ */
15
+ import { compositeMapMethod } from "./composite.js";
16
+ /**
17
+ * Start the background expiration checker without keeping a Node.js process alive.
18
+ * (In a browser, setInterval returns a number and there is nothing to unref.)
19
+ */
20
+ function startExpirationTimer(check, interval) {
21
+ const timer = setInterval(check, interval);
22
+ timer.unref?.();
23
+ return timer;
24
+ }
25
+ /**
26
+ * Creates a TTL Map middleware.
27
+ *
28
+ * Automatically removes entries after TTL expires.
29
+ * Uses a background interval to check for expired entries.
30
+ */
31
+ export function ttlMap(options) {
32
+ const { ttl, checkInterval = 1000, onExpire } = options;
33
+ return (next) => {
34
+ const metadata = new Map();
35
+ let intervalId = null;
36
+ const checkExpired = () => {
37
+ const now = Date.now();
38
+ const expired = [];
39
+ for (const [key, entry] of metadata) {
40
+ if (now >= entry.expiresAt) {
41
+ expired.push(key);
42
+ }
43
+ }
44
+ for (const key of expired) {
45
+ const entry = metadata.get(key);
46
+ if (entry) {
47
+ next.delete(key);
48
+ metadata.delete(key);
49
+ if (onExpire) {
50
+ onExpire({
51
+ key,
52
+ value: entry.value,
53
+ createdAt: entry.createdAt,
54
+ expiredAt: now,
55
+ });
56
+ }
57
+ }
58
+ }
59
+ };
60
+ // Start background expiration checker
61
+ intervalId = startExpirationTimer(checkExpired, checkInterval);
62
+ const dispose = () => {
63
+ if (intervalId) {
64
+ clearInterval(intervalId);
65
+ intervalId = null;
66
+ }
67
+ };
68
+ return new Proxy(next, {
69
+ get(target, prop, receiver) {
70
+ // Add dispose method
71
+ if (prop === "dispose") {
72
+ return dispose;
73
+ }
74
+ // Composite methods (setIfAbsent, compute, merge, putAll and others) go through this
75
+ // proxy's own primitives, so they keep the expiry rules (BUGS-2026-07 L13)
76
+ const composite = compositeMapMethod(receiver, prop);
77
+ if (composite) {
78
+ return composite;
79
+ }
80
+ const value = Reflect.get(target, prop, receiver);
81
+ if (typeof value === "function") {
82
+ switch (prop) {
83
+ case "get":
84
+ return function (key) {
85
+ // Check if expired before returning
86
+ const entry = metadata.get(key);
87
+ if (entry && Date.now() >= entry.expiresAt) {
88
+ target.delete(key);
89
+ metadata.delete(key);
90
+ throw new Error(`Key expired: ${key}`);
91
+ }
92
+ return value.call(target, key);
93
+ };
94
+ case "has":
95
+ return function (key) {
96
+ // Check if expired
97
+ const entry = metadata.get(key);
98
+ if (entry && Date.now() >= entry.expiresAt) {
99
+ target.delete(key);
100
+ metadata.delete(key);
101
+ return false;
102
+ }
103
+ return value.call(target, key);
104
+ };
105
+ case "set":
106
+ return function (key, val) {
107
+ const now = Date.now();
108
+ const result = value.call(target, key, val);
109
+ metadata.set(key, {
110
+ value: val,
111
+ expiresAt: now + ttl,
112
+ createdAt: now,
113
+ });
114
+ return result;
115
+ };
116
+ case "delete":
117
+ return function (key) {
118
+ const result = value.call(target, key);
119
+ metadata.delete(key);
120
+ return result;
121
+ };
122
+ case "clear":
123
+ return function () {
124
+ value.call(target);
125
+ metadata.clear();
126
+ };
127
+ }
128
+ }
129
+ return value;
130
+ },
131
+ });
132
+ };
133
+ }
134
+ /**
135
+ * Creates a TTL Collection middleware.
136
+ *
137
+ * Note: This is less precise than TTL map because collections don't have keys.
138
+ * Elements are tracked by reference, which may not work for primitive types.
139
+ */
140
+ export function ttlCollection(options) {
141
+ const { ttl, checkInterval = 1000, onExpire } = options;
142
+ return (next) => {
143
+ const metadata = new Map();
144
+ let intervalId = null;
145
+ const checkExpired = () => {
146
+ const now = Date.now();
147
+ const expired = [];
148
+ for (const [element, entry] of metadata) {
149
+ if (now >= entry.expiresAt) {
150
+ expired.push(element);
151
+ }
152
+ }
153
+ for (const element of expired) {
154
+ const entry = metadata.get(element);
155
+ if (entry) {
156
+ next.remove(element);
157
+ metadata.delete(element);
158
+ if (onExpire) {
159
+ onExpire({
160
+ element,
161
+ createdAt: entry.createdAt,
162
+ expiredAt: now,
163
+ });
164
+ }
165
+ }
166
+ }
167
+ };
168
+ intervalId = startExpirationTimer(checkExpired, checkInterval);
169
+ const dispose = () => {
170
+ if (intervalId) {
171
+ clearInterval(intervalId);
172
+ intervalId = null;
173
+ }
174
+ };
175
+ return new Proxy(next, {
176
+ get(target, prop, receiver) {
177
+ if (prop === "dispose") {
178
+ return dispose;
179
+ }
180
+ const value = Reflect.get(target, prop, receiver);
181
+ if (typeof value === "function") {
182
+ switch (prop) {
183
+ case "add":
184
+ return function (element) {
185
+ const result = value.call(target, element);
186
+ if (result) {
187
+ const now = Date.now();
188
+ metadata.set(element, {
189
+ expiresAt: now + ttl,
190
+ createdAt: now,
191
+ });
192
+ }
193
+ return result;
194
+ };
195
+ case "remove":
196
+ return function (element) {
197
+ const result = value.call(target, element);
198
+ if (result) {
199
+ metadata.delete(element);
200
+ }
201
+ return result;
202
+ };
203
+ case "clear":
204
+ return function () {
205
+ value.call(target);
206
+ metadata.clear();
207
+ };
208
+ }
209
+ }
210
+ return value;
211
+ },
212
+ });
213
+ };
214
+ }
215
+ /**
216
+ * Standalone TTL cache with Map-like API.
217
+ *
218
+ * @example
219
+ * const cache = new TTLCache<string, number>(60000) // 60 second TTL
220
+ * cache.set('key', 42)
221
+ * setTimeout(() => {
222
+ * cache.get('key') // undefined (expired)
223
+ * }, 61000)
224
+ */
225
+ export class TTLCache {
226
+ ttl;
227
+ checkInterval;
228
+ onExpire;
229
+ map = new Map();
230
+ intervalId = null;
231
+ constructor(ttl, checkInterval = 1000, onExpire) {
232
+ this.ttl = ttl;
233
+ this.checkInterval = checkInterval;
234
+ this.onExpire = onExpire;
235
+ this.startExpirationCheck();
236
+ }
237
+ get size() {
238
+ this.cleanup();
239
+ return this.map.size;
240
+ }
241
+ get(key) {
242
+ const entry = this.map.get(key);
243
+ if (!entry)
244
+ return undefined;
245
+ if (Date.now() >= entry.expiresAt) {
246
+ this.map.delete(key);
247
+ if (this.onExpire) {
248
+ this.onExpire(key, entry.value);
249
+ }
250
+ return undefined;
251
+ }
252
+ return entry.value;
253
+ }
254
+ set(key, value, customTTL) {
255
+ const now = Date.now();
256
+ const ttlToUse = customTTL !== undefined ? customTTL : this.ttl;
257
+ this.map.set(key, {
258
+ value,
259
+ expiresAt: now + ttlToUse,
260
+ createdAt: now,
261
+ });
262
+ }
263
+ has(key) {
264
+ return this.get(key) !== undefined;
265
+ }
266
+ delete(key) {
267
+ return this.map.delete(key);
268
+ }
269
+ clear() {
270
+ this.map.clear();
271
+ }
272
+ /**
273
+ * Manually trigger cleanup of expired entries.
274
+ */
275
+ cleanup() {
276
+ const now = Date.now();
277
+ const expired = [];
278
+ for (const [key, entry] of this.map) {
279
+ if (now >= entry.expiresAt) {
280
+ expired.push(key);
281
+ }
282
+ }
283
+ for (const key of expired) {
284
+ const entry = this.map.get(key);
285
+ if (entry) {
286
+ this.map.delete(key);
287
+ if (this.onExpire) {
288
+ this.onExpire(key, entry.value);
289
+ }
290
+ }
291
+ }
292
+ }
293
+ /**
294
+ * Get remaining TTL for a key in milliseconds.
295
+ * Returns undefined if key doesn't exist or is expired.
296
+ */
297
+ getTTL(key) {
298
+ const entry = this.map.get(key);
299
+ if (!entry)
300
+ return undefined;
301
+ const remaining = entry.expiresAt - Date.now();
302
+ return remaining > 0 ? remaining : undefined;
303
+ }
304
+ /**
305
+ * Update TTL for an existing key.
306
+ */
307
+ touch(key, customTTL) {
308
+ const entry = this.map.get(key);
309
+ if (!entry)
310
+ return false;
311
+ if (Date.now() >= entry.expiresAt) {
312
+ this.map.delete(key);
313
+ return false;
314
+ }
315
+ const ttlToUse = customTTL !== undefined ? customTTL : this.ttl;
316
+ entry.expiresAt = Date.now() + ttlToUse;
317
+ return true;
318
+ }
319
+ startExpirationCheck() {
320
+ this.intervalId = startExpirationTimer(() => this.cleanup(), this.checkInterval);
321
+ }
322
+ /**
323
+ * Stop the background expiration checker and clean up.
324
+ */
325
+ dispose() {
326
+ if (this.intervalId) {
327
+ clearInterval(this.intervalId);
328
+ this.intervalId = null;
329
+ }
330
+ }
331
+ *keys() {
332
+ this.cleanup();
333
+ yield* this.map.keys();
334
+ }
335
+ *values() {
336
+ this.cleanup();
337
+ for (const entry of this.map.values()) {
338
+ yield entry.value;
339
+ }
340
+ }
341
+ *entries() {
342
+ this.cleanup();
343
+ for (const [key, entry] of this.map) {
344
+ yield [key, entry.value];
345
+ }
346
+ }
347
+ }
348
+ /**
349
+ * Factory function to create a TTL cache.
350
+ */
351
+ export function ttlCache(ttl, options) {
352
+ return new TTLCache(ttl, options?.checkInterval, options?.onExpire);
353
+ }
354
+ //# sourceMappingURL=ttl.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"ttl.js","sourceRoot":"","sources":["../../src/behaviors/ttl.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAGpD;;;GAGG;AACH,SAAS,oBAAoB,CAAC,KAAiB,EAAE,QAAgB;IAC/D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1C,KAA2C,CAAC,KAAK,EAAE,EAAE,CAAC;IACvD,OAAO,KAAK,CAAC;AACf,CAAC;AAiCD;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CACpB,OAAmB;IAEnB,MAAM,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAExD,OAAO,CACL,IAAmB,EAC+B,EAAE;QACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;QAC3C,IAAI,UAAU,GAA0C,IAAI,CAAC;QAE7D,MAAM,YAAY,GAAG,GAAS,EAAE;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,MAAM,OAAO,GAAQ,EAAE,CAAC;YAExB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACpC,IAAI,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;oBAC3B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBAC1B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChC,IAAI,KAAK,EAAE,CAAC;oBACV,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACjB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBAErB,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC;4BACP,GAAG;4BACH,KAAK,EAAE,KAAK,CAAC,KAAK;4BAClB,SAAS,EAAE,KAAK,CAAC,SAAS;4BAC1B,SAAS,EAAE,GAAG;yBACf,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,sCAAsC;QACtC,UAAU,GAAG,oBAAoB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QAE/D,MAAM,OAAO,GAAG,GAAS,EAAE;YACzB,IAAI,UAAU,EAAE,CAAC;gBACf,aAAa,CAAC,UAAU,CAAC,CAAC;gBAC1B,UAAU,GAAG,IAAI,CAAC;YACpB,CAAC;QACH,CAAC,CAAC;QAEF,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE;YACrB,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ;gBACxB,qBAAqB;gBACrB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,OAAO,OAAO,CAAC;gBACjB,CAAC;gBAED,qFAAqF;gBACrF,2EAA2E;gBAC3E,MAAM,SAAS,GAAG,kBAAkB,CAAC,QAAyB,EAAE,IAAI,CAAC,CAAC;gBACtE,IAAI,SAAS,EAAE,CAAC;oBACd,OAAO,SAAS,CAAC;gBACnB,CAAC;gBAED,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAElD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;oBAChC,QAAQ,IAAI,EAAE,CAAC;wBACb,KAAK,KAAK;4BACR,OAAO,UAAU,GAAM;gCACrB,oCAAoC;gCACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gCAChC,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;oCAC3C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oCACnB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oCACrB,MAAM,IAAI,KAAK,CAAC,gBAAgB,GAAG,EAAE,CAAC,CAAC;gCACzC,CAAC;gCACD,OAAQ,KAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;4BAC/C,CAAC,CAAC;wBAEJ,KAAK,KAAK;4BACR,OAAO,UAAU,GAAM;gCACrB,mBAAmB;gCACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gCAChC,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;oCAC3C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oCACnB,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oCACrB,OAAO,KAAK,CAAC;gCACf,CAAC;gCACD,OAAQ,KAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;4BAC/C,CAAC,CAAC;wBAEJ,KAAK,KAAK;4BACR,OAAO,UAAU,GAAM,EAAE,GAAM;gCAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;gCACvB,MAAM,MAAM,GAAI,KAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;gCAE1D,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE;oCAChB,KAAK,EAAE,GAAG;oCACV,SAAS,EAAE,GAAG,GAAG,GAAG;oCACpB,SAAS,EAAE,GAAG;iCACf,CAAC,CAAC;gCAEH,OAAO,MAAM,CAAC;4BAChB,CAAC,CAAC;wBAEJ,KAAK,QAAQ;4BACX,OAAO,UAAU,GAAM;gCACrB,MAAM,MAAM,GAAI,KAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gCACrD,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gCACrB,OAAO,MAAM,CAAC;4BAChB,CAAC,CAAC;wBAEJ,KAAK,OAAO;4BACV,OAAO;gCACJ,KAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gCACjC,QAAQ,CAAC,KAAK,EAAE,CAAC;4BACnB,CAAC,CAAC;oBACN,CAAC;gBACH,CAAC;gBAED,OAAO,KAAK,CAAC;YACf,CAAC;SACF,CAAqD,CAAC;IACzD,CAAC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,OAEC;IAED,MAAM,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAExD,OAAO,CACL,IAAmB,EAC+B,EAAE;QACpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+C,CAAC;QACxE,IAAI,UAAU,GAA0C,IAAI,CAAC;QAE7D,MAAM,YAAY,GAAG,GAAS,EAAE;YAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;YACvB,MAAM,OAAO,GAAQ,EAAE,CAAC;YAExB,KAAK,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACxC,IAAI,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;oBAC3B,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;YAED,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACpC,IAAI,KAAK,EAAE,CAAC;oBACV,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBACrB,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;oBAEzB,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC;4BACP,OAAO;4BACP,SAAS,EAAE,KAAK,CAAC,SAAS;4BAC1B,SAAS,EAAE,GAAG;yBACf,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QAEF,UAAU,GAAG,oBAAoB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;QAE/D,MAAM,OAAO,GAAG,GAAS,EAAE;YACzB,IAAI,UAAU,EAAE,CAAC;gBACf,aAAa,CAAC,UAAU,CAAC,CAAC;gBAC1B,UAAU,GAAG,IAAI,CAAC;YACpB,CAAC;QACH,CAAC,CAAC;QAEF,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE;YACrB,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ;gBACxB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,OAAO,OAAO,CAAC;gBACjB,CAAC;gBAED,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAElD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;oBAChC,QAAQ,IAAI,EAAE,CAAC;wBACb,KAAK,KAAK;4BACR,OAAO,UAAU,OAAU;gCACzB,MAAM,MAAM,GAAI,KAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gCACzD,IAAI,MAAM,EAAE,CAAC;oCACX,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oCACvB,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE;wCACpB,SAAS,EAAE,GAAG,GAAG,GAAG;wCACpB,SAAS,EAAE,GAAG;qCACf,CAAC,CAAC;gCACL,CAAC;gCACD,OAAO,MAAM,CAAC;4BAChB,CAAC,CAAC;wBAEJ,KAAK,QAAQ;4BACX,OAAO,UAAU,OAAU;gCACzB,MAAM,MAAM,GAAI,KAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gCACzD,IAAI,MAAM,EAAE,CAAC;oCACX,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gCAC3B,CAAC;gCACD,OAAO,MAAM,CAAC;4BAChB,CAAC,CAAC;wBAEJ,KAAK,OAAO;4BACV,OAAO;gCACJ,KAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gCACjC,QAAQ,CAAC,KAAK,EAAE,CAAC;4BACnB,CAAC,CAAC;oBACN,CAAC;gBACH,CAAC;gBAED,OAAO,KAAK,CAAC;YACf,CAAC;SACF,CAAqD,CAAC;IACzD,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,QAAQ;IAKA,GAAG;IACH,aAAa;IACb,QAAQ;IANnB,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChC,UAAU,GAA0C,IAAI,CAAC;IAEjE,YACmB,GAAW,EACX,aAAa,GAAW,IAAI,EAC5B,QAAqC;mBAFrC,GAAG;6BACH,aAAa;wBACb,QAAQ;QAEzB,IAAI,CAAC,oBAAoB,EAAE,CAAC;IAC9B,CAAC;IAED,IAAI,IAAI;QACN,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IACvB,CAAC;IAED,GAAG,CAAC,GAAM;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACrB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAClC,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,OAAO,KAAK,CAAC,KAAK,CAAC;IACrB,CAAC;IAED,GAAG,CAAC,GAAM,EAAE,KAAQ,EAAE,SAAkB;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAEhE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE;YAChB,KAAK;YACL,SAAS,EAAE,GAAG,GAAG,QAAQ;YACzB,SAAS,EAAE,GAAG;SACf,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,GAAM;QACR,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;IACrC,CAAC;IAED,MAAM,CAAC,GAAM;QACX,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK;QACH,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC;IAED;;OAEG;IACH,OAAO;QACL,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,OAAO,GAAQ,EAAE,CAAC;QAExB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACpC,IAAI,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBACrB,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAClB,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,GAAM;QACX,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,SAAS,CAAC;QAE7B,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/C,OAAO,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,GAAM,EAAE,SAAkB;QAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QAEzB,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACrB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,QAAQ,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAChE,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,QAAQ,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,oBAAoB;QAC1B,IAAI,CAAC,UAAU,GAAG,oBAAoB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IACnF,CAAC;IAED;;OAEG;IACH,OAAO;QACL,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/B,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;QACzB,CAAC;IACH,CAAC;IAED,CAAC,IAAI;QACH,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IACzB,CAAC;IAED,CAAC,MAAM;QACL,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;YACtC,MAAM,KAAK,CAAC,KAAK,CAAC;QACpB,CAAC;IACH,CAAC;IAED,CAAC,OAAO;QACN,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,QAAQ,CACtB,GAAW,EACX,OAGC;IAED,OAAO,IAAI,QAAQ,CACjB,GAAG,EACH,OAAO,EAAE,aAAa,EACtB,OAAO,EAAE,QAAQ,CAClB,CAAC;AACJ,CAAC"}
@@ -0,0 +1,29 @@
1
+ /**
2
+ * Helpers for the contract tests: random operation sequences that run against an implementation
3
+ * and a plain JavaScript model, with a check after each operation (ARCHITECTURE-PROPOSALS P8).
4
+ */
5
+ import fc from "fast-check";
6
+ /** One operation of a sequence: it changes the implementation and the model in the same way. */
7
+ export interface Step<S, M> {
8
+ readonly label: string;
9
+ run(sut: S, model: M): void;
10
+ }
11
+ /** Small integers: many duplicates and collisions, so the edge cases come up often. */
12
+ export declare const smallInt: fc.Arbitrary<number>;
13
+ /**
14
+ * This function runs random sequences of steps against a new implementation and a new model,
15
+ * and calls `check` after each step. fast-check shrinks a failure to a short sequence.
16
+ */
17
+ export declare function runModel<S, M>(options: {
18
+ create: () => {
19
+ sut: S;
20
+ model: M;
21
+ };
22
+ steps: fc.Arbitrary<Step<S, M>>;
23
+ check: (sut: S, model: M) => void;
24
+ maxSteps?: number;
25
+ numRuns?: number;
26
+ }): void;
27
+ /** A step with a label that shows in a failure report. */
28
+ export declare function step<S, M>(label: string, run: (sut: S, model: M) => void): Step<S, M>;
29
+ //# sourceMappingURL=model.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../../src/contracts/model.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,gGAAgG;AAChG,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC;CAC7B;AAED,uFAAuF;AACvF,eAAO,MAAM,QAAQ,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,CAAqC,CAAC;AAEhF;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE;IACtC,MAAM,EAAE,MAAM;QAAE,GAAG,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC;IACnC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChC,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC;IAClC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,GAAG,IAAI,CAYP;AAED,0DAA0D;AAC1D,wBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAErF"}
@@ -0,0 +1,26 @@
1
+ /**
2
+ * Helpers for the contract tests: random operation sequences that run against an implementation
3
+ * and a plain JavaScript model, with a check after each operation (ARCHITECTURE-PROPOSALS P8).
4
+ */
5
+ import fc from "fast-check";
6
+ /** Small integers: many duplicates and collisions, so the edge cases come up often. */
7
+ export const smallInt = fc.integer({ min: -20, max: 20 });
8
+ /**
9
+ * This function runs random sequences of steps against a new implementation and a new model,
10
+ * and calls `check` after each step. fast-check shrinks a failure to a short sequence.
11
+ */
12
+ export function runModel(options) {
13
+ fc.assert(fc.property(fc.array(options.steps, { maxLength: options.maxSteps ?? 120 }), (steps) => {
14
+ const { sut, model } = options.create();
15
+ options.check(sut, model);
16
+ for (const step of steps) {
17
+ step.run(sut, model);
18
+ options.check(sut, model);
19
+ }
20
+ }), { numRuns: options.numRuns ?? 200 });
21
+ }
22
+ /** A step with a label that shows in a failure report. */
23
+ export function step(label, run) {
24
+ return { label, run, toString: () => label };
25
+ }
26
+ //# sourceMappingURL=model.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/contracts/model.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAQ5B,uFAAuF;AACvF,MAAM,CAAC,MAAM,QAAQ,GAAyB,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;AAEhF;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAO,OAM9B;IACC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,QAAQ,IAAI,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE;QACrF,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACxC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACrB,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,GAAG,EAAE,CACpC,CAAC;AACJ,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,IAAI,CAAO,KAAa,EAAE,GAA+B;IACvE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,EAAgB,CAAC;AAC7D,CAAC"}
@@ -0,0 +1,176 @@
1
+ /**
2
+ * Functional effect types for error handling and optional values.
3
+ *
4
+ * Provides Option<T> and Result<T,E> types for explicit, type-safe
5
+ * error handling without exceptions. Includes async variants.
6
+ */
7
+ /**
8
+ * Represents the absence of a value.
9
+ */
10
+ export interface None {
11
+ readonly _tag: "None";
12
+ }
13
+ /**
14
+ * Represents the presence of a value.
15
+ */
16
+ export interface Some<T> {
17
+ readonly _tag: "Some";
18
+ readonly value: T;
19
+ }
20
+ /**
21
+ * Option<T> represents a value that may or may not be present.
22
+ * This is a type-safe alternative to null/undefined.
23
+ *
24
+ * @example
25
+ * function findUser(id: string): Option<User> {
26
+ * const user = db.get(id);
27
+ * return user ? Some(user) : None;
28
+ * }
29
+ */
30
+ export type Option<T> = None | Some<T>;
31
+ /**
32
+ * The singleton None value.
33
+ */
34
+ export declare const None: None;
35
+ /**
36
+ * Constructs a Some value containing the given value.
37
+ */
38
+ export declare const Some: <T>(value: T) => Some<T>;
39
+ /**
40
+ * Type guard to check if an Option is None.
41
+ */
42
+ export declare const isNone: <T>(opt: Option<T>) => opt is None;
43
+ /**
44
+ * Type guard to check if an Option is Some.
45
+ */
46
+ export declare const isSome: <T>(opt: Option<T>) => opt is Some<T>;
47
+ /**
48
+ * Extracts the value from a Some, or returns the default value if None.
49
+ */
50
+ export declare const getOrElse: <T>(opt: Option<T>, defaultValue: T) => T;
51
+ /**
52
+ * Extracts the value from a Some, or throws an error if None.
53
+ */
54
+ export declare const unwrap: <T>(opt: Option<T>) => T;
55
+ /**
56
+ * Maps a function over the value in a Some, or returns None.
57
+ */
58
+ export declare const mapOption: <T, U>(opt: Option<T>, f: (value: T) => U) => Option<U>;
59
+ /**
60
+ * Chains Option-returning operations.
61
+ */
62
+ export declare const flatMapOption: <T, U>(opt: Option<T>, f: (value: T) => Option<U>) => Option<U>;
63
+ /**
64
+ * Converts a nullable value to an Option.
65
+ */
66
+ export declare const fromNullable: <T>(value: T | null | undefined) => Option<T>;
67
+ /**
68
+ * Converts an Option to a nullable value.
69
+ */
70
+ export declare const toNullable: <T>(opt: Option<T>) => T | undefined;
71
+ /**
72
+ * Represents a successful result containing a value.
73
+ */
74
+ export interface Ok<T> {
75
+ readonly _tag: "Ok";
76
+ readonly value: T;
77
+ }
78
+ /**
79
+ * Represents a failed result containing an error.
80
+ */
81
+ export interface Err<E> {
82
+ readonly _tag: "Err";
83
+ readonly error: E;
84
+ }
85
+ /**
86
+ * Result<T, E> represents the result of an operation that may fail.
87
+ * It contains either a success value (Ok) or an error value (Err).
88
+ *
89
+ * @example
90
+ * function divide(a: number, b: number): Result<number, string> {
91
+ * if (b === 0) return Err("Division by zero");
92
+ * return Ok(a / b);
93
+ * }
94
+ */
95
+ export type Result<T, E> = Ok<T> | Err<E>;
96
+ /**
97
+ * Constructs an Ok result containing the given value.
98
+ */
99
+ export declare const Ok: <T>(value: T) => Ok<T>;
100
+ /**
101
+ * Constructs an Err result containing the given error.
102
+ */
103
+ export declare const Err: <E>(error: E) => Err<E>;
104
+ /**
105
+ * Type guard to check if a Result is Ok.
106
+ */
107
+ export declare const isOk: <T, E>(result: Result<T, E>) => result is Ok<T>;
108
+ /**
109
+ * Type guard to check if a Result is Err.
110
+ */
111
+ export declare const isErr: <T, E>(result: Result<T, E>) => result is Err<E>;
112
+ /**
113
+ * Extracts the value from an Ok, or returns the default value if Err.
114
+ */
115
+ export declare const getOrElseResult: <T, E>(result: Result<T, E>, defaultValue: T) => T;
116
+ /**
117
+ * Extracts the value from an Ok, or throws the error if Err.
118
+ */
119
+ export declare const unwrapResult: <T, E>(result: Result<T, E>) => T;
120
+ /**
121
+ * Maps a function over the value in an Ok, or returns the Err unchanged.
122
+ */
123
+ export declare const mapResult: <T, U, E>(result: Result<T, E>, f: (value: T) => U) => Result<U, E>;
124
+ /**
125
+ * Maps a function over the error in an Err, or returns the Ok unchanged.
126
+ */
127
+ export declare const mapError: <T, E, F>(result: Result<T, E>, f: (error: E) => F) => Result<T, F>;
128
+ /**
129
+ * Chains Result-returning operations.
130
+ */
131
+ export declare const flatMapResult: <T, U, E>(result: Result<T, E>, f: (value: T) => Result<U, E>) => Result<U, E>;
132
+ /**
133
+ * Converts a throwing function into a Result-returning function.
134
+ */
135
+ export declare const tryCatch: <T, E = unknown>(fn: () => T, onError?: (error: unknown) => E) => Result<T, E>;
136
+ /**
137
+ * Converts an async throwing function into a Result-returning async function.
138
+ */
139
+ export declare const tryCatchAsync: <T, E = unknown>(fn: () => Promise<T>, onError?: (error: unknown) => E) => Promise<Result<T, E>>;
140
+ /**
141
+ * Async variant of Option<T>.
142
+ */
143
+ export type AsyncOption<T> = Promise<Option<T>>;
144
+ /**
145
+ * Async variant of Result<T, E>.
146
+ */
147
+ export type AsyncResult<T, E> = Promise<Result<T, E>>;
148
+ /**
149
+ * Maps a function over an async Option.
150
+ */
151
+ export declare const mapAsyncOption: <T, U>(opt: AsyncOption<T>, f: (value: T) => U | Promise<U>) => AsyncOption<U>;
152
+ /**
153
+ * Maps a function over an async Result.
154
+ */
155
+ export declare const mapAsyncResult: <T, U, E>(result: AsyncResult<T, E>, f: (value: T) => U | Promise<U>) => AsyncResult<U, E>;
156
+ /**
157
+ * Converts an Option to a Result.
158
+ * None becomes Err with the provided error.
159
+ */
160
+ export declare const optionToResult: <T, E>(opt: Option<T>, error: E) => Result<T, E>;
161
+ /**
162
+ * Converts a Result to an Option.
163
+ * Err becomes None, discarding the error.
164
+ */
165
+ export declare const resultToOption: <T, E>(result: Result<T, E>) => Option<T>;
166
+ /**
167
+ * Combines multiple Options into an Option of an array.
168
+ * Returns None if any input is None.
169
+ */
170
+ export declare const sequence: <T>(opts: Option<T>[]) => Option<T[]>;
171
+ /**
172
+ * Combines multiple Results into a Result of an array.
173
+ * Returns the first Err encountered, or Ok with all values.
174
+ */
175
+ export declare const sequenceResults: <T, E>(results: Result<T, E>[]) => Result<T[], E>;
176
+ //# sourceMappingURL=effects.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"effects.d.ts","sourceRoot":"","sources":["../../src/core/effects.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CACnB;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AAEvC;;GAEG;AACH,eAAO,MAAM,IAAI,EAAE,IAAsC,CAAC;AAE1D;;GAEG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,CAAC,KAAG,IAAI,CAAC,CAAC,CACD,CAAC;AAEzC;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAG,GAAG,IAAI,IAA2B,CAAC;AAE9E;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAG,GAAG,IAAI,IAAI,CAAC,CAAC,CACnC,CAAC;AAEtB;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAG,CACvB,CAAC;AAEzC;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAG,CAG1C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,OACvB,MAAM,CAAC,CAAC,CAAC,KACX,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KACjB,MAAM,CAAC,CAAC,CAA8C,CAAC;AAE1D;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,OAC3B,MAAM,CAAC,CAAC,CAAC,KACX,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,KACzB,MAAM,CAAC,CAAC,CAAwC,CAAC;AAEpD;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,SAAS,KAAG,MAAM,CAAC,CAAC,CAClC,CAAC;AAErC;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAG,CAAC,GAAG,SACd,CAAC;AAMtC;;GAEG;AACH,MAAM,WAAW,EAAE,CAAC,CAAC;IACnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,GAAG,CAAC,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;CACnB;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AAE1C;;GAEG;AACH,eAAO,MAAM,EAAE,GAAI,CAAC,SAAS,CAAC,KAAG,EAAE,CAAC,CAAC,CAMjC,CAAC;AAEL;;GAEG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,CAAC,KAAG,GAAG,CAAC,CAAC,CAMnC,CAAC;AAEL;;GAEG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,IAAI,EAAE,CAAC,CAAC,CAC1C,CAAC;AAEvB;;GAEG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,IAAI,GAAG,CAAC,CAAC,CAC3C,CAAC;AAExB;;GAEG;AACH,eAAO,MAAM,eAAe,GAAI,CAAC,EAAE,CAAC,UAC1B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,gBACN,CAAC,KACd,CAAiD,CAAC;AAErD;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,CAGzD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UACvB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACjB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KACjB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAkD,CAAC;AAEjE;;GAEG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UACtB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACjB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,KACjB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAoD,CAAC;AAEnE;;GAEG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAC3B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KACjB,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAC5B,MAAM,CAAC,CAAC,EAAE,CAAC,CAA8C,CAAC;AAE7D;;GAEG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,GAAG,OAAO,MACjC,MAAM,CAAC,YACD,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,KAC9B,MAAM,CAAC,CAAC,EAAE,CAAC,CAMb,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,aAAa,GAAU,CAAC,EAAE,CAAC,GAAG,OAAO,MAC5C,MAAM,OAAO,CAAC,CAAC,CAAC,YACV,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,KAC9B,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAMtB,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEtD;;GAEG;AACH,eAAO,MAAM,cAAc,GAAU,CAAC,EAAE,CAAC,OAClC,WAAW,CAAC,CAAC,CAAC,KAChB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAC9B,WAAW,CAAC,CAAC,CAMf,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,cAAc,GAAU,CAAC,EAAE,CAAC,EAAE,CAAC,UAClC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KACtB,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAC9B,WAAW,CAAC,CAAC,EAAE,CAAC,CAMlB,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CACjC,CAAC;AAE3C;;;GAGG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,CAAC,CAAC,CAC1B,CAAC;AAE3C;;;GAGG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,QAAQ,MAAM,CAAC,CAAC,CAAC,EAAE,KAAG,MAAM,CAAC,CAAC,EAAE,CAOzD,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,eAAe,GAAI,CAAC,EAAE,CAAC,WACzB,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KACtB,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAOf,CAAC"}