@procedures/collections 0.47.1 → 0.48.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 (238) hide show
  1. package/CHANGELOG.md +32 -8
  2. package/README.md +3 -1
  3. package/dist/.tsbuildinfo +1 -1
  4. package/dist/index.d.ts +1 -59
  5. package/dist/index.d.ts.map +1 -1
  6. package/dist/index.js +3 -95
  7. package/dist/index.js.map +1 -1
  8. package/dist/storage/index.d.ts +2 -2
  9. package/dist/storage/index.d.ts.map +1 -1
  10. package/dist/storage/index.js +1 -1
  11. package/dist/storage/index.js.map +1 -1
  12. package/dist/storage/memory.d.ts +1 -1
  13. package/dist/storage/memory.d.ts.map +1 -1
  14. package/dist/storage/memory.js +1 -1
  15. package/dist/storage/memory.js.map +1 -1
  16. package/dist/testing/index.d.ts +1 -1
  17. package/dist/testing/index.d.ts.map +1 -1
  18. package/dist/testing/index.js +1 -1
  19. package/dist/testing/index.js.map +1 -1
  20. package/dist/testing/storage-contract.js +1 -1
  21. package/dist/testing/storage-contract.js.map +1 -1
  22. package/dist/undo/index.d.ts +1 -1
  23. package/dist/undo/index.js +1 -1
  24. package/dist/undo/undo-log.d.ts +1 -1
  25. package/dist/undo/undo-log.js +1 -1
  26. package/package.json +5 -5
  27. package/src/index.ts +338 -214
  28. package/src/storage/index.ts +2 -2
  29. package/src/storage/memory.ts +1 -1
  30. package/src/testing/index.ts +1 -1
  31. package/src/testing/storage-contract.ts +1 -1
  32. package/src/undo/index.ts +1 -1
  33. package/src/undo/undo-log.ts +1 -1
  34. package/dist/async/async-queue.d.ts +0 -170
  35. package/dist/async/async-queue.d.ts.map +0 -1
  36. package/dist/async/async-queue.js +0 -404
  37. package/dist/async/async-queue.js.map +0 -1
  38. package/dist/async/channels.d.ts +0 -211
  39. package/dist/async/channels.d.ts.map +0 -1
  40. package/dist/async/channels.js +0 -393
  41. package/dist/async/channels.js.map +0 -1
  42. package/dist/async/settled.d.ts +0 -23
  43. package/dist/async/settled.d.ts.map +0 -1
  44. package/dist/async/settled.js +0 -32
  45. package/dist/async/settled.js.map +0 -1
  46. package/dist/behaviors/bounded.d.ts +0 -79
  47. package/dist/behaviors/bounded.d.ts.map +0 -1
  48. package/dist/behaviors/bounded.js +0 -393
  49. package/dist/behaviors/bounded.js.map +0 -1
  50. package/dist/behaviors/composite.d.ts +0 -17
  51. package/dist/behaviors/composite.d.ts.map +0 -1
  52. package/dist/behaviors/composite.js +0 -93
  53. package/dist/behaviors/composite.js.map +0 -1
  54. package/dist/behaviors/evented.d.ts +0 -154
  55. package/dist/behaviors/evented.d.ts.map +0 -1
  56. package/dist/behaviors/evented.js +0 -299
  57. package/dist/behaviors/evented.js.map +0 -1
  58. package/dist/behaviors/lru.d.ts +0 -84
  59. package/dist/behaviors/lru.d.ts.map +0 -1
  60. package/dist/behaviors/lru.js +0 -376
  61. package/dist/behaviors/lru.js.map +0 -1
  62. package/dist/behaviors/readonly.d.ts +0 -73
  63. package/dist/behaviors/readonly.d.ts.map +0 -1
  64. package/dist/behaviors/readonly.js +0 -189
  65. package/dist/behaviors/readonly.js.map +0 -1
  66. package/dist/behaviors/safe.d.ts +0 -163
  67. package/dist/behaviors/safe.d.ts.map +0 -1
  68. package/dist/behaviors/safe.js +0 -176
  69. package/dist/behaviors/safe.js.map +0 -1
  70. package/dist/behaviors/synchronized.d.ts +0 -88
  71. package/dist/behaviors/synchronized.d.ts.map +0 -1
  72. package/dist/behaviors/synchronized.js +0 -285
  73. package/dist/behaviors/synchronized.js.map +0 -1
  74. package/dist/behaviors/ttl.d.ts +0 -118
  75. package/dist/behaviors/ttl.d.ts.map +0 -1
  76. package/dist/behaviors/ttl.js +0 -354
  77. package/dist/behaviors/ttl.js.map +0 -1
  78. package/dist/contracts/model.d.ts +0 -29
  79. package/dist/contracts/model.d.ts.map +0 -1
  80. package/dist/contracts/model.js +0 -26
  81. package/dist/contracts/model.js.map +0 -1
  82. package/dist/core/effects.d.ts +0 -176
  83. package/dist/core/effects.d.ts.map +0 -1
  84. package/dist/core/effects.js +0 -180
  85. package/dist/core/effects.js.map +0 -1
  86. package/dist/core/events.d.ts +0 -192
  87. package/dist/core/events.d.ts.map +0 -1
  88. package/dist/core/events.js +0 -291
  89. package/dist/core/events.js.map +0 -1
  90. package/dist/core/middleware.d.ts +0 -231
  91. package/dist/core/middleware.d.ts.map +0 -1
  92. package/dist/core/middleware.js +0 -161
  93. package/dist/core/middleware.js.map +0 -1
  94. package/dist/core/policies.d.ts +0 -220
  95. package/dist/core/policies.d.ts.map +0 -1
  96. package/dist/core/policies.js +0 -48
  97. package/dist/core/policies.js.map +0 -1
  98. package/dist/core/traits.d.ts +0 -142
  99. package/dist/core/traits.d.ts.map +0 -1
  100. package/dist/core/traits.js +0 -8
  101. package/dist/core/traits.js.map +0 -1
  102. package/dist/fx/collectors.d.ts +0 -193
  103. package/dist/fx/collectors.d.ts.map +0 -1
  104. package/dist/fx/collectors.js +0 -375
  105. package/dist/fx/collectors.js.map +0 -1
  106. package/dist/fx/iter.d.ts +0 -166
  107. package/dist/fx/iter.d.ts.map +0 -1
  108. package/dist/fx/iter.js +0 -421
  109. package/dist/fx/iter.js.map +0 -1
  110. package/dist/impl/array-deque.d.ts +0 -112
  111. package/dist/impl/array-deque.d.ts.map +0 -1
  112. package/dist/impl/array-deque.js +0 -380
  113. package/dist/impl/array-deque.js.map +0 -1
  114. package/dist/impl/array-list.d.ts +0 -101
  115. package/dist/impl/array-list.d.ts.map +0 -1
  116. package/dist/impl/array-list.js +0 -387
  117. package/dist/impl/array-list.js.map +0 -1
  118. package/dist/impl/hash-map.d.ts +0 -149
  119. package/dist/impl/hash-map.d.ts.map +0 -1
  120. package/dist/impl/hash-map.js +0 -473
  121. package/dist/impl/hash-map.js.map +0 -1
  122. package/dist/impl/hash-set.d.ts +0 -125
  123. package/dist/impl/hash-set.d.ts.map +0 -1
  124. package/dist/impl/hash-set.js +0 -264
  125. package/dist/impl/hash-set.js.map +0 -1
  126. package/dist/impl/linked-hash-map.d.ts +0 -141
  127. package/dist/impl/linked-hash-map.d.ts.map +0 -1
  128. package/dist/impl/linked-hash-map.js +0 -442
  129. package/dist/impl/linked-hash-map.js.map +0 -1
  130. package/dist/impl/linked-list.d.ts +0 -109
  131. package/dist/impl/linked-list.d.ts.map +0 -1
  132. package/dist/impl/linked-list.js +0 -494
  133. package/dist/impl/linked-list.js.map +0 -1
  134. package/dist/impl/priority-queue.d.ts +0 -139
  135. package/dist/impl/priority-queue.d.ts.map +0 -1
  136. package/dist/impl/priority-queue.js +0 -343
  137. package/dist/impl/priority-queue.js.map +0 -1
  138. package/dist/impl/summary-tree.d.ts +0 -146
  139. package/dist/impl/summary-tree.d.ts.map +0 -1
  140. package/dist/impl/summary-tree.js +0 -524
  141. package/dist/impl/summary-tree.js.map +0 -1
  142. package/dist/impl/tree-map.d.ts +0 -153
  143. package/dist/impl/tree-map.d.ts.map +0 -1
  144. package/dist/impl/tree-map.js +0 -788
  145. package/dist/impl/tree-map.js.map +0 -1
  146. package/dist/impl/tree-set.d.ts +0 -112
  147. package/dist/impl/tree-set.d.ts.map +0 -1
  148. package/dist/impl/tree-set.js +0 -374
  149. package/dist/impl/tree-set.js.map +0 -1
  150. package/dist/interfaces/collection.d.ts +0 -119
  151. package/dist/interfaces/collection.d.ts.map +0 -1
  152. package/dist/interfaces/collection.js +0 -8
  153. package/dist/interfaces/collection.js.map +0 -1
  154. package/dist/interfaces/list.d.ts +0 -247
  155. package/dist/interfaces/list.d.ts.map +0 -1
  156. package/dist/interfaces/list.js +0 -8
  157. package/dist/interfaces/list.js.map +0 -1
  158. package/dist/interfaces/map.d.ts +0 -344
  159. package/dist/interfaces/map.d.ts.map +0 -1
  160. package/dist/interfaces/map.js +0 -8
  161. package/dist/interfaces/map.js.map +0 -1
  162. package/dist/interfaces/queue.d.ts +0 -304
  163. package/dist/interfaces/queue.d.ts.map +0 -1
  164. package/dist/interfaces/queue.js +0 -8
  165. package/dist/interfaces/queue.js.map +0 -1
  166. package/dist/interfaces/set.d.ts +0 -137
  167. package/dist/interfaces/set.d.ts.map +0 -1
  168. package/dist/interfaces/set.js +0 -8
  169. package/dist/interfaces/set.js.map +0 -1
  170. package/dist/order/index.d.ts +0 -7
  171. package/dist/order/index.d.ts.map +0 -1
  172. package/dist/order/index.js +0 -7
  173. package/dist/order/index.js.map +0 -1
  174. package/dist/order/rank.d.ts +0 -100
  175. package/dist/order/rank.d.ts.map +0 -1
  176. package/dist/order/rank.js +0 -286
  177. package/dist/order/rank.js.map +0 -1
  178. package/dist/storage/listeners.d.ts +0 -39
  179. package/dist/storage/listeners.d.ts.map +0 -1
  180. package/dist/storage/listeners.js +0 -65
  181. package/dist/storage/listeners.js.map +0 -1
  182. package/dist/testing/check.d.ts +0 -25
  183. package/dist/testing/check.d.ts.map +0 -1
  184. package/dist/testing/check.js +0 -85
  185. package/dist/testing/check.js.map +0 -1
  186. package/dist/utils/defaults.d.ts +0 -135
  187. package/dist/utils/defaults.d.ts.map +0 -1
  188. package/dist/utils/defaults.js +0 -322
  189. package/dist/utils/defaults.js.map +0 -1
  190. package/dist/utils/factories.d.ts +0 -144
  191. package/dist/utils/factories.d.ts.map +0 -1
  192. package/dist/utils/factories.js +0 -293
  193. package/dist/utils/factories.js.map +0 -1
  194. package/dist/utils/helpers.d.ts +0 -137
  195. package/dist/utils/helpers.d.ts.map +0 -1
  196. package/dist/utils/helpers.js +0 -221
  197. package/dist/utils/helpers.js.map +0 -1
  198. package/src/async/async-queue.ts +0 -481
  199. package/src/async/channels.ts +0 -450
  200. package/src/async/settled.ts +0 -41
  201. package/src/behaviors/bounded.ts +0 -485
  202. package/src/behaviors/composite.ts +0 -99
  203. package/src/behaviors/evented.ts +0 -464
  204. package/src/behaviors/lru.ts +0 -447
  205. package/src/behaviors/readonly.ts +0 -236
  206. package/src/behaviors/safe.ts +0 -372
  207. package/src/behaviors/synchronized.ts +0 -316
  208. package/src/behaviors/ttl.ts +0 -462
  209. package/src/contracts/model.ts +0 -44
  210. package/src/core/effects.ts +0 -323
  211. package/src/core/events.ts +0 -356
  212. package/src/core/middleware.ts +0 -415
  213. package/src/core/policies.ts +0 -316
  214. package/src/core/traits.ts +0 -164
  215. package/src/fx/collectors.ts +0 -500
  216. package/src/fx/iter.ts +0 -536
  217. package/src/impl/array-deque.ts +0 -463
  218. package/src/impl/array-list.ts +0 -490
  219. package/src/impl/hash-map.ts +0 -623
  220. package/src/impl/hash-set.ts +0 -342
  221. package/src/impl/linked-hash-map.ts +0 -572
  222. package/src/impl/linked-list.ts +0 -606
  223. package/src/impl/priority-queue.ts +0 -448
  224. package/src/impl/summary-tree.ts +0 -586
  225. package/src/impl/tree-map.ts +0 -912
  226. package/src/impl/tree-set.ts +0 -469
  227. package/src/interfaces/collection.ts +0 -141
  228. package/src/interfaces/list.ts +0 -281
  229. package/src/interfaces/map.ts +0 -405
  230. package/src/interfaces/queue.ts +0 -353
  231. package/src/interfaces/set.ts +0 -158
  232. package/src/order/index.ts +0 -6
  233. package/src/order/rank.ts +0 -271
  234. package/src/storage/listeners.ts +0 -72
  235. package/src/testing/check.ts +0 -81
  236. package/src/utils/defaults.ts +0 -345
  237. package/src/utils/factories.ts +0 -357
  238. package/src/utils/helpers.ts +0 -248
@@ -1,343 +0,0 @@
1
- /**
2
- * PriorityQueue implementation - A binary heap-based priority queue.
3
- *
4
- * Elements are ordered according to their natural ordering (via comparator).
5
- * The head of the queue is the least element according to the comparator.
6
- * Provides O(log n) enqueue and O(log n) dequeue operations.
7
- * Mirrors java.util.PriorityQueue.
8
- *
9
- * @example
10
- * const pq = priorityQueue<number>((a, b) => a - b) // Min heap
11
- * pq.offer(5)
12
- * pq.offer(2)
13
- * pq.offer(8)
14
- * pq.poll() // 2 (smallest element)
15
- */
16
- import { defaultEq, defaultCompare } from "../utils/defaults.js";
17
- /**
18
- * PriorityQueue<T> - Binary heap implementation of priority queue.
19
- *
20
- * Elements are always retrieved in priority order (according to comparator).
21
- * Not a FIFO queue - order depends on priority, not insertion order.
22
- *
23
- * The heap is a min heap by default (smallest element has highest priority).
24
- * For max heap, use reversed comparator: (a, b) => compare(b, a)
25
- *
26
- * Not thread-safe. Use synchronized() behavior for concurrent access.
27
- */
28
- export class PriorityQueue {
29
- _heap;
30
- _compare;
31
- _eq;
32
- constructor(options = {}) {
33
- const { compare = defaultCompare, eq = defaultEq, } = options;
34
- // The heap starts empty: a JavaScript array grows by itself, so initialCapacity is only a
35
- // hint. (Before, `new Array(initialCapacity)` made 11 holes: an empty queue had size 11,
36
- // and the heap compared holes. BUGS-2026-07 C9.)
37
- this._heap = [];
38
- this._compare = compare;
39
- this._eq = eq;
40
- }
41
- // ========================================================================
42
- // Size
43
- // ========================================================================
44
- get size() {
45
- return this._heap.length;
46
- }
47
- get isEmpty() {
48
- return this._heap.length === 0;
49
- }
50
- get eq() {
51
- return this._eq;
52
- }
53
- get compare() {
54
- return this._compare;
55
- }
56
- get comparator() {
57
- return this._compare;
58
- }
59
- // ========================================================================
60
- // Priority queue operations
61
- // ========================================================================
62
- offer(element) {
63
- this._heap.push(element);
64
- this.bubbleUp(this._heap.length - 1);
65
- return true;
66
- }
67
- poll() {
68
- if (this.isEmpty) {
69
- throw new Error("Priority queue is empty");
70
- }
71
- return this.pollOrUndefined();
72
- }
73
- pollOrUndefined() {
74
- if (this.isEmpty) {
75
- return undefined;
76
- }
77
- const result = this._heap[0];
78
- if (this._heap.length === 1) {
79
- this._heap.pop();
80
- }
81
- else {
82
- this._heap[0] = this._heap.pop();
83
- this.bubbleDown(0);
84
- }
85
- return result;
86
- }
87
- peek() {
88
- if (this.isEmpty) {
89
- throw new Error("Priority queue is empty");
90
- }
91
- return this._heap[0];
92
- }
93
- peekOrUndefined() {
94
- return this.isEmpty ? undefined : this._heap[0];
95
- }
96
- // ========================================================================
97
- // Queue interface compatibility
98
- // ========================================================================
99
- enqueue(element) {
100
- return this.offer(element);
101
- }
102
- dequeue() {
103
- return this.poll();
104
- }
105
- // ========================================================================
106
- // Collection operations
107
- // ========================================================================
108
- add(element) {
109
- return this.offer(element);
110
- }
111
- addAll(other) {
112
- let modified = false;
113
- for (const element of other) {
114
- this.offer(element);
115
- modified = true;
116
- }
117
- return modified;
118
- }
119
- contains(element) {
120
- for (const item of this._heap) {
121
- if (this._eq(item, element)) {
122
- return true;
123
- }
124
- }
125
- return false;
126
- }
127
- containsAll(other) {
128
- for (const element of other) {
129
- if (!this.contains(element)) {
130
- return false;
131
- }
132
- }
133
- return true;
134
- }
135
- remove(element) {
136
- const index = this._heap.findIndex((item) => this._eq(item, element));
137
- if (index === -1) {
138
- return false;
139
- }
140
- if (index === this._heap.length - 1) {
141
- this._heap.pop();
142
- }
143
- else {
144
- this._heap[index] = this._heap.pop();
145
- this.bubbleDown(index);
146
- this.bubbleUp(index);
147
- }
148
- return true;
149
- }
150
- removeAll(other) {
151
- let modified = false;
152
- for (const element of other) {
153
- while (this.remove(element)) {
154
- modified = true;
155
- }
156
- }
157
- return modified;
158
- }
159
- retainAll(other) {
160
- const toRetain = new Set(other);
161
- const newHeap = [];
162
- for (const element of this._heap) {
163
- let shouldRetain = false;
164
- for (const retainElement of toRetain) {
165
- if (this._eq(element, retainElement)) {
166
- shouldRetain = true;
167
- break;
168
- }
169
- }
170
- if (shouldRetain) {
171
- newHeap.push(element);
172
- }
173
- }
174
- const modified = newHeap.length !== this._heap.length;
175
- this._heap = newHeap;
176
- this.heapify();
177
- return modified;
178
- }
179
- clear() {
180
- this._heap = [];
181
- }
182
- // ========================================================================
183
- // Iteration
184
- // ========================================================================
185
- /**
186
- * Iterator returns elements in arbitrary order (not priority order).
187
- * To get elements in priority order, repeatedly call poll().
188
- */
189
- *[Symbol.iterator]() {
190
- yield* this._heap;
191
- }
192
- forEach(action) {
193
- this._heap.forEach((element, index) => action(element, index));
194
- }
195
- /**
196
- * Returns elements in arbitrary heap order (not sorted).
197
- */
198
- toArray() {
199
- return this._heap.slice();
200
- }
201
- /**
202
- * Returns elements in priority order (sorted).
203
- * This is a destructive operation that drains the queue.
204
- */
205
- toSortedArray() {
206
- const result = [];
207
- const clone = this.clone();
208
- while (!clone.isEmpty) {
209
- result.push(clone.poll());
210
- }
211
- return result;
212
- }
213
- // ========================================================================
214
- // Heap operations
215
- // ========================================================================
216
- /**
217
- * Bubbles an element up the heap to maintain heap property.
218
- */
219
- bubbleUp(index) {
220
- const element = this._heap[index];
221
- while (index > 0) {
222
- const parentIndex = Math.floor((index - 1) / 2);
223
- const parent = this._heap[parentIndex];
224
- if (this._compare(element, parent) >= 0) {
225
- break;
226
- }
227
- this._heap[index] = parent;
228
- index = parentIndex;
229
- }
230
- this._heap[index] = element;
231
- }
232
- /**
233
- * Bubbles an element down the heap to maintain heap property.
234
- *
235
- * The element moves down through a hole: a smaller child moves up into the hole, and the
236
- * element goes into the last hole. The children are compared with the element. (Before, they
237
- * were compared with `_heap[index]`, which after the first step is a copy of the child that
238
- * moved up: a poll could leave a larger element above a smaller one.)
239
- */
240
- bubbleDown(index) {
241
- const length = this._heap.length;
242
- const element = this._heap[index];
243
- while (true) {
244
- const leftChildIndex = 2 * index + 1;
245
- const rightChildIndex = 2 * index + 2;
246
- if (leftChildIndex >= length) {
247
- break;
248
- }
249
- let childIndex = leftChildIndex;
250
- if (rightChildIndex < length &&
251
- this._compare(this._heap[rightChildIndex], this._heap[leftChildIndex]) < 0) {
252
- childIndex = rightChildIndex;
253
- }
254
- if (this._compare(this._heap[childIndex], element) >= 0) {
255
- break;
256
- }
257
- this._heap[index] = this._heap[childIndex];
258
- index = childIndex;
259
- }
260
- this._heap[index] = element;
261
- }
262
- /**
263
- * Rebuilds the heap from an arbitrary array.
264
- * Uses Floyd's algorithm (O(n) time).
265
- */
266
- heapify() {
267
- // Start from last non-leaf node and bubble down
268
- for (let i = Math.floor(this._heap.length / 2) - 1; i >= 0; i--) {
269
- this.bubbleDown(i);
270
- }
271
- }
272
- // ========================================================================
273
- // Utility methods
274
- // ========================================================================
275
- /**
276
- * Creates a shallow copy of this priority queue.
277
- */
278
- clone() {
279
- const clone = new PriorityQueue({
280
- compare: this._compare,
281
- eq: this._eq,
282
- });
283
- clone._heap = this._heap.slice();
284
- return clone;
285
- }
286
- /**
287
- * Validates the heap property (for debugging).
288
- * Returns true if the heap is valid.
289
- */
290
- validate() {
291
- for (let i = 0; i < this._heap.length; i++) {
292
- const leftChildIndex = 2 * i + 1;
293
- const rightChildIndex = 2 * i + 2;
294
- if (leftChildIndex < this._heap.length &&
295
- this._compare(this._heap[i], this._heap[leftChildIndex]) > 0) {
296
- return false;
297
- }
298
- if (rightChildIndex < this._heap.length &&
299
- this._compare(this._heap[i], this._heap[rightChildIndex]) > 0) {
300
- return false;
301
- }
302
- }
303
- return true;
304
- }
305
- /**
306
- * Returns a string representation for debugging.
307
- */
308
- toString() {
309
- return `PriorityQueue[${this._heap.join(", ")}]`;
310
- }
311
- }
312
- /**
313
- * Factory function to create a PriorityQueue.
314
- *
315
- * @example
316
- * // Min heap (default)
317
- * const minHeap = priorityQueue<number>()
318
- *
319
- * // Max heap
320
- * const maxHeap = priorityQueue<number>((a, b) => b - a)
321
- *
322
- * // From array
323
- * const pq = priorityQueue([5, 2, 8, 1, 9])
324
- *
325
- * // With custom comparator
326
- * const pq = priorityQueue<Task>((a, b) => a.priority - b.priority)
327
- */
328
- export function priorityQueue(optionsOrElementsOrComparator) {
329
- // If it's a function, treat it as a comparator
330
- if (typeof optionsOrElementsOrComparator === "function") {
331
- return new PriorityQueue({
332
- compare: optionsOrElementsOrComparator,
333
- });
334
- }
335
- // Check if it's an iterable (not options)
336
- if (optionsOrElementsOrComparator && Symbol.iterator in optionsOrElementsOrComparator) {
337
- const pq = new PriorityQueue();
338
- pq.addAll(optionsOrElementsOrComparator);
339
- return pq;
340
- }
341
- return new PriorityQueue(optionsOrElementsOrComparator);
342
- }
343
- //# sourceMappingURL=priority-queue.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"priority-queue.js","sourceRoot":"","sources":["../../src/impl/priority-queue.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AA0BjE;;;;;;;;;;GAUG;AACH,MAAM,OAAO,aAAa;IAChB,KAAK,CAAM;IACF,QAAQ,CAAa;IACrB,GAAG,CAAQ;IAE5B,YAAY,OAAO,GAA4B,EAAE;QAC/C,MAAM,EACJ,OAAO,GAAG,cAAc,EACxB,EAAE,GAAG,SAAS,GACf,GAAG,OAAO,CAAC;QAEZ,0FAA0F;QAC1F,yFAAyF;QACzF,iDAAiD;QACjD,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;QAChB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;IAChB,CAAC;IAED,2EAA2E;IAC3E,OAAO;IACP,2EAA2E;IAE3E,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,IAAI,EAAE;QACJ,OAAO,IAAI,CAAC,GAAG,CAAC;IAClB,CAAC;IAED,IAAI,OAAO;QACT,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED,2EAA2E;IAC3E,4BAA4B;IAC5B,2EAA2E;IAE3E,KAAK,CAAC,OAAU;QACd,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI;QACF,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC,eAAe,EAAG,CAAC;IACjC,CAAC;IAED,eAAe;QACb,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAE7B,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAG,CAAC;YAClC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI;QACF,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;IACxB,CAAC;IAED,eAAe;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IAED,2EAA2E;IAC3E,gCAAgC;IAChC,2EAA2E;IAE3E,OAAO,CAAC,OAAU;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,OAAO;QACL,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;IAED,2EAA2E;IAC3E,wBAAwB;IACxB,2EAA2E;IAE3E,GAAG,CAAC,OAAU;QACZ,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,CAAC,KAAkB;QACvB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACpB,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,QAAQ,CAAC,OAAU;QACjB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,WAAW,CAAC,KAAkB;QAC5B,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,OAAU;QACf,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAG,CAAC;YACtC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACvB,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,CAAC,KAAkB;QAC1B,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC5B,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,SAAS,CAAC,KAAkB;QAC1B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,OAAO,GAAQ,EAAE,CAAC;QAExB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACjC,IAAI,YAAY,GAAG,KAAK,CAAC;YACzB,KAAK,MAAM,aAAa,IAAI,QAAQ,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC;oBACrC,YAAY,GAAG,IAAI,CAAC;oBACpB,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,YAAY,EAAE,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QAED,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QACtD,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,EAAE,CAAC;QAEf,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,KAAK;QACH,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;IAClB,CAAC;IAED,2EAA2E;IAC3E,YAAY;IACZ,2EAA2E;IAE3E;;;OAGG;IACH,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;QAChB,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IAED,OAAO,CAAC,MAA2C;QACjD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IAED;;OAEG;IACH,OAAO;QACL,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IAC5B,CAAC;IAED;;;OAGG;IACH,aAAa;QACX,MAAM,MAAM,GAAQ,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAE3B,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,2EAA2E;IAC3E,kBAAkB;IAClB,2EAA2E;IAE3E;;OAEG;IACK,QAAQ,CAAC,KAAa;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC;QAEnC,OAAO,KAAK,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAChD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAE,CAAC;YAExC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,MAAM;YACR,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;YAC3B,KAAK,GAAG,WAAW,CAAC;QACtB,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;IAC9B,CAAC;IAED;;;;;;;OAOG;IACK,UAAU,CAAC,KAAa;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAE,CAAC;QAEnC,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,cAAc,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;YACrC,MAAM,eAAe,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;YACtC,IAAI,cAAc,IAAI,MAAM,EAAE,CAAC;gBAC7B,MAAM;YACR,CAAC;YAED,IAAI,UAAU,GAAG,cAAc,CAAC;YAChC,IACE,eAAe,GAAG,MAAM;gBACxB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAE,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAE,CAAC,GAAG,CAAC,EAC5E,CAAC;gBACD,UAAU,GAAG,eAAe,CAAC;YAC/B,CAAC;YAED,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAE,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzD,MAAM;YACR,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAE,CAAC;YAC5C,KAAK,GAAG,UAAU,CAAC;QACrB,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACK,OAAO;QACb,gDAAgD;QAChD,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAChE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,kBAAkB;IAClB,2EAA2E;IAE3E;;OAEG;IACH,KAAK;QACH,MAAM,KAAK,GAAG,IAAI,aAAa,CAAI;YACjC,OAAO,EAAE,IAAI,CAAC,QAAQ;YACtB,EAAE,EAAE,IAAI,CAAC,GAAG;SACb,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;OAGG;IACH,QAAQ;QACN,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjC,MAAM,eAAe,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAElC,IACE,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM;gBAClC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAE,CAAC,GAAG,CAAC,EAC9D,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IACE,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM;gBACnC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAE,CAAC,GAAG,CAAC,EAC/D,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,iBAAiB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnD,CAAC;CACF;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,aAAa,CAC3B,6BAGc;IAEd,+CAA+C;IAC/C,IAAI,OAAO,6BAA6B,KAAK,UAAU,EAAE,CAAC;QACxD,OAAO,IAAI,aAAa,CAAI;YAC1B,OAAO,EAAE,6BAA2C;SACrD,CAAC,CAAC;IACL,CAAC;IAED,0CAA0C;IAC1C,IAAI,6BAA6B,IAAI,MAAM,CAAC,QAAQ,IAAI,6BAA6B,EAAE,CAAC;QACtF,MAAM,EAAE,GAAG,IAAI,aAAa,EAAK,CAAC;QAClC,EAAE,CAAC,MAAM,CAAC,6BAA4C,CAAC,CAAC;QACxD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,IAAI,aAAa,CACtB,6BAAwD,CACzD,CAAC;AACJ,CAAC"}
@@ -1,146 +0,0 @@
1
- /**
2
- * SummaryTree: a persistent sequence of leaves with a summary of each part.
3
- *
4
- * The tree is a balanced binary tree (AVL) with one leaf in each node. Each node keeps the summary of its subtree.
5
- * A summary is a value of a monoid: the caller gives the monoid as data, with `empty` and `combine`. The order of the
6
- * leaves is kept, so `combine` must be associative, but it can be non-commutative.
7
- *
8
- * Each operation returns a new tree and keeps the old tree. The two trees share the nodes that did not change.
9
- * Concatenation, a split at an index or at a summary search, an edit and a lookup are O(log n).
10
- *
11
- * The algorithms are the "join" algorithms of Blelloch, Ferizovic and Sun, "Just Join for Parallel Ordered Sets"
12
- * (SPAA 2016).
13
- *
14
- * @example
15
- * // The number of leaves and the total length of the strings
16
- * const spec = {
17
- * monoid: { empty: { count: 0, length: 0 }, combine: (a, b) => ({ count: a.count + b.count, length: a.length + b.length }) },
18
- * measure: (leaf: string) => ({ count: 1, length: leaf.length }),
19
- * };
20
- * const tree = summaryTree(spec, ["ab", "cde", "f"]);
21
- * tree.summary; // { count: 3, length: 6 }
22
- * const [left, right] = tree.split((prefix) => prefix.length > 2); // left: ["ab"], right: ["cde", "f"]
23
- */
24
- /** A monoid as data: the identity value `empty` and an associative operation `combine`. */
25
- export interface SummaryMonoid<Summary> {
26
- /** The summary of a sequence with no leaf. `combine(empty, s)` and `combine(s, empty)` are equal to `s`. */
27
- readonly empty: Summary;
28
- /** This function gives the summary of a sequence from the summaries of its two parts, left first. */
29
- readonly combine: (left: Summary, right: Summary) => Summary;
30
- }
31
- /** The data that a tree needs: the monoid of the summaries and the summary of one leaf. */
32
- export interface SummarySpec<Leaf, Summary> {
33
- readonly monoid: SummaryMonoid<Summary>;
34
- /** This function gives the summary of one leaf. */
35
- readonly measure: (leaf: Leaf) => Summary;
36
- /**
37
- * This optional function joins two neighbor leaves at a seam into one leaf, or gives `undefined` to keep both. A seam
38
- * is the place where `concat`, `append`, `prepend`, `splice`, `insert` or `remove` puts two leaves next to each other.
39
- * The tree calls it once at each seam, and not between the leaves that one call inserts. `set` does not call it.
40
- */
41
- readonly merge?: (left: Leaf, right: Leaf) => Leaf | undefined;
42
- }
43
- /** The result of a summary search: the first leaf whose prefix summary satisfies the predicate. */
44
- export interface SummarySearch<Leaf, Summary> {
45
- /** The index of the leaf. */
46
- readonly index: number;
47
- readonly leaf: Leaf;
48
- /** The summary of the leaves before the leaf. */
49
- readonly before: Summary;
50
- /** The summary of the leaves before the leaf, and of the leaf. */
51
- readonly through: Summary;
52
- }
53
- /** The result of `locate`: the leaf that holds a position of an additive key, and the position in that leaf. */
54
- export interface SummaryLocation<Leaf> {
55
- /** The index of the leaf. */
56
- readonly index: number;
57
- readonly leaf: Leaf;
58
- /** The position in the leaf: the target minus the key of the leaves before the leaf. */
59
- readonly offset: number;
60
- }
61
- /**
62
- * A persistent sequence of leaves with a summary of each part. Make one with `summaryTree`. Each method that changes
63
- * the sequence returns a new tree.
64
- */
65
- export declare class SummaryTree<Leaf, Summary> implements Iterable<Leaf> {
66
- private readonly builder;
67
- private readonly root;
68
- private constructor();
69
- /** This function makes a tree of a spec from leaves, as `summaryTree` does. */
70
- static of<Leaf, Summary>(spec: SummarySpec<Leaf, Summary>, leaves?: Iterable<Leaf>): SummaryTree<Leaf, Summary>;
71
- private wrap;
72
- private treeOf;
73
- /** The spec of the tree: its monoid and its measure. */
74
- get spec(): SummarySpec<Leaf, Summary>;
75
- /** The number of leaves. */
76
- get size(): number;
77
- get isEmpty(): boolean;
78
- /** The summary of all the leaves, in their order. An empty tree has the summary `monoid.empty`. */
79
- get summary(): Summary;
80
- /** The height of the tree: 0 for an empty tree. The height is at most 1.45 log2(size + 2). */
81
- get height(): number;
82
- /**
83
- * This function gives the leaf at an index, or `undefined` when the index is not in the tree. A negative index counts
84
- * from the end, as `Array.prototype.at` does.
85
- */
86
- at(index: number): Leaf | undefined;
87
- /** This function gives the summary of the leaves from `start` to `end`, with `end` not included. */
88
- summaryOf(start?: number, end?: number): Summary;
89
- /** This function gives the tree of the leaves of this tree, then the leaves of `other`. The two trees must have the same spec. */
90
- concat(other: SummaryTree<Leaf, Summary> | Iterable<Leaf>): SummaryTree<Leaf, Summary>;
91
- /** This function splits the tree into its first `index` leaves and the other leaves. */
92
- splitAt(index: number): [SummaryTree<Leaf, Summary>, SummaryTree<Leaf, Summary>];
93
- /**
94
- * This function splits the tree before the first leaf whose prefix summary satisfies the predicate. The prefix of a
95
- * leaf includes the leaf. The predicate must be monotone: after it is true for a prefix, it is true for each longer
96
- * prefix. When no prefix satisfies it, the right tree is empty.
97
- */
98
- split(predicate: (prefix: Summary) => boolean): [SummaryTree<Leaf, Summary>, SummaryTree<Leaf, Summary>];
99
- /**
100
- * This function finds the first leaf whose prefix summary satisfies a monotone predicate, as `split` does. It changes
101
- * nothing. It gives `undefined` when no prefix satisfies the predicate.
102
- */
103
- search(predicate: (prefix: Summary) => boolean): SummarySearch<Leaf, Summary> | undefined;
104
- /**
105
- * This function finds the leaf that holds a position of an additive key, and it calls no `combine`. The key must be
106
- * additive and not negative: `key(combine(a, b))` is `key(a) + key(b)`. The function descends by the key of each left
107
- * subtree and of each leaf, and subtracts it from the target. It gives the first leaf whose prefix key is more than
108
- * the target, or `undefined` when the target is not in `[0, key(summary))`.
109
- *
110
- * @example
111
- * // The leaf and the offset in it of the code unit at position 1000 of a rope
112
- * const at = rope.locate((s) => s.length, 1000);
113
- */
114
- locate(key: (summary: Summary) => number, target: number): SummaryLocation<Leaf> | undefined;
115
- /** This function gives the tree of the leaves from `start` to `end`, with `end` not included. A negative index counts from the end. */
116
- slice(start?: number, end?: number): SummaryTree<Leaf, Summary>;
117
- /**
118
- * This function removes `deleteCount` leaves at `start` and puts the leaves of `inserted` there, as
119
- * `Array.prototype.splice` does. It returns the new tree, not the removed leaves.
120
- */
121
- splice(start: number, deleteCount?: number, inserted?: SummaryTree<Leaf, Summary> | Iterable<Leaf>): SummaryTree<Leaf, Summary>;
122
- /** This function puts the leaves of `inserted` before the leaf at `index`. */
123
- insert(index: number, inserted: SummaryTree<Leaf, Summary> | Iterable<Leaf>): SummaryTree<Leaf, Summary>;
124
- /** This function removes the leaves from `start` to `end`, with `end` not included. */
125
- remove(start: number, end?: number): SummaryTree<Leaf, Summary>;
126
- /**
127
- * This function replaces the leaf at an index. A negative index counts from the end, as `Array.prototype.with` does.
128
- * An index that is not in the tree changes nothing. It copies only the path to the leaf, and it does not call
129
- * `spec.merge`.
130
- */
131
- set(index: number, leaf: Leaf): SummaryTree<Leaf, Summary>;
132
- /** This function adds leaves after the last leaf. */
133
- append(...leaves: Leaf[]): SummaryTree<Leaf, Summary>;
134
- /** This function adds leaves before the first leaf. */
135
- prepend(...leaves: Leaf[]): SummaryTree<Leaf, Summary>;
136
- /** This function gives the leaves in their order. */
137
- [Symbol.iterator](): Iterator<Leaf>;
138
- /** This function gives the leaves in an array. */
139
- toArray(): Leaf[];
140
- }
141
- /**
142
- * This function makes a persistent tree of leaves with a summary of each part. Use the same `spec` object for each
143
- * tree that `concat` or `splice` joins.
144
- */
145
- export declare function summaryTree<Leaf, Summary>(spec: SummarySpec<Leaf, Summary>, leaves?: Iterable<Leaf>): SummaryTree<Leaf, Summary>;
146
- //# sourceMappingURL=summary-tree.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"summary-tree.d.ts","sourceRoot":"","sources":["../../src/impl/summary-tree.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,2FAA2F;AAC3F,MAAM,WAAW,aAAa,CAAC,OAAO;IACpC,4GAA4G;IAC5G,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;CAC9D;AAED,2FAA2F;AAC3F,MAAM,WAAW,WAAW,CAAC,IAAI,EAAE,OAAO;IACxC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACxC,mDAAmD;IACnD,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,IAAI,GAAG,SAAS,CAAC;CAChE;AAED,mGAAmG;AACnG,MAAM,WAAW,aAAa,CAAC,IAAI,EAAE,OAAO;IAC1C,6BAA6B;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,gHAAgH;AAChH,MAAM,WAAW,eAAe,CAAC,IAAI;IACnC,6BAA6B;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,wFAAwF;IACxF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AA8PD;;;GAGG;AACH,qBAAa,WAAW,CAAC,IAAI,EAAE,OAAO,CAAE,YAAW,QAAQ,CAAC,IAAI,CAAC;IAE7D,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,IAAI;IAFvB,OAAO,eAGH;IAEJ,+EAA+E;IAC/E,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,GAAE,QAAQ,CAAC,IAAI,CAAM,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAIlH;IAED,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,MAAM;IASd,wDAAwD;IACxD,IAAI,IAAI,IAAI,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAErC;IAED,4BAA4B;IAC5B,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,OAAO,IAAI,OAAO,CAErB;IAED,mGAAmG;IACnG,IAAI,OAAO,IAAI,OAAO,CAErB;IAED,8FAA8F;IAC9F,IAAI,MAAM,IAAI,MAAM,CAEnB;IAED;;;OAGG;IACH,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAGlC;IAED,oGAAoG;IACpG,SAAS,CAAC,KAAK,SAAI,EAAE,GAAG,GAAE,MAAkB,GAAG,OAAO,CAErD;IAED,kIAAkI;IAClI,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAGrF;IAED,wFAAwF;IACxF,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAG/E;IAED;;;;OAIG;IACH,KAAK,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAGvG;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,SAAS,CAkBxF;IAED;;;;;;;;;OASG;IACH,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,SAAS,CAsB3F;IAED,uIAAuI;IACvI,KAAK,CAAC,KAAK,SAAI,EAAE,GAAG,GAAE,MAAkB,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAOpE;IAED;;;OAGG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,GAAE,MAAkB,EAAE,QAAQ,GAAE,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAM,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CA8B7I;IAED,8EAA8E;IAC9E,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAEvG;IAED,uFAAuF;IACvF,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,GAAE,MAAkB,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAGzE;IAED;;;;OAIG;IACH,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAGzD;IAED,qDAAqD;IACrD,MAAM,CAAC,GAAG,MAAM,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAEpD;IAED,uDAAuD;IACvD,OAAO,CAAC,GAAG,MAAM,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAGrD;IAED,qDAAqD;IACrD,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAElC;IAED,kDAAkD;IAClD,OAAO,IAAI,IAAI,EAAE,CAEhB;CACF;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,MAAM,GAAE,QAAQ,CAAC,IAAI,CAAM,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAEpI"}