@clayroach/effect 3.19.14-source-capture.8 → 3.19.14-source-trace.1

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 (452) hide show
  1. package/SourceLocation/package.json +6 -0
  2. package/dist/cjs/Effect.js +2 -28
  3. package/dist/cjs/Effect.js.map +1 -1
  4. package/dist/cjs/FiberRef.js +12 -1
  5. package/dist/cjs/FiberRef.js.map +1 -1
  6. package/dist/cjs/Layer.js +2 -24
  7. package/dist/cjs/Layer.js.map +1 -1
  8. package/dist/cjs/RuntimeFlags.js +1 -29
  9. package/dist/cjs/RuntimeFlags.js.map +1 -1
  10. package/dist/cjs/SourceLocation.js +60 -0
  11. package/dist/cjs/SourceLocation.js.map +1 -0
  12. package/dist/cjs/Tracer.js +1 -15
  13. package/dist/cjs/Tracer.js.map +1 -1
  14. package/dist/cjs/Utils.js +1 -1
  15. package/dist/cjs/Utils.js.map +1 -1
  16. package/dist/cjs/index.js +3 -1
  17. package/dist/cjs/index.js.map +1 -1
  18. package/dist/cjs/internal/clock.js +1 -1
  19. package/dist/cjs/internal/clock.js.map +1 -1
  20. package/dist/cjs/internal/core.js +17 -50
  21. package/dist/cjs/internal/core.js.map +1 -1
  22. package/dist/cjs/internal/effect/circular.js +18 -30
  23. package/dist/cjs/internal/effect/circular.js.map +1 -1
  24. package/dist/cjs/internal/fiberRuntime.js +16 -65
  25. package/dist/cjs/internal/fiberRuntime.js.map +1 -1
  26. package/dist/cjs/internal/layer/circular.js +1 -5
  27. package/dist/cjs/internal/layer/circular.js.map +1 -1
  28. package/dist/cjs/internal/layer.js +1 -3
  29. package/dist/cjs/internal/layer.js.map +1 -1
  30. package/dist/cjs/internal/logger.js +25 -2
  31. package/dist/cjs/internal/logger.js.map +1 -1
  32. package/dist/cjs/internal/runtimeFlags.js +2 -11
  33. package/dist/cjs/internal/runtimeFlags.js.map +1 -1
  34. package/dist/cjs/internal/tracer.js +1 -114
  35. package/dist/cjs/internal/tracer.js.map +1 -1
  36. package/dist/dts/Config.d.ts +2 -2
  37. package/dist/dts/Config.d.ts.map +1 -1
  38. package/dist/dts/Effect.d.ts +8 -29
  39. package/dist/dts/Effect.d.ts.map +1 -1
  40. package/dist/dts/FiberRef.d.ts +12 -0
  41. package/dist/dts/FiberRef.d.ts.map +1 -1
  42. package/dist/dts/Layer.d.ts +0 -22
  43. package/dist/dts/Layer.d.ts.map +1 -1
  44. package/dist/dts/RuntimeFlags.d.ts +0 -28
  45. package/dist/dts/RuntimeFlags.d.ts.map +1 -1
  46. package/dist/dts/SourceLocation.d.ts +88 -0
  47. package/dist/dts/SourceLocation.d.ts.map +1 -0
  48. package/dist/dts/Tracer.d.ts +0 -15
  49. package/dist/dts/Tracer.d.ts.map +1 -1
  50. package/dist/dts/index.d.ts +6 -0
  51. package/dist/dts/index.d.ts.map +1 -1
  52. package/dist/dts/internal/core.d.ts.map +1 -1
  53. package/dist/dts/internal/layer.d.ts.map +1 -1
  54. package/dist/dts/internal/runtimeFlags.d.ts.map +1 -1
  55. package/dist/esm/Effect.js +0 -26
  56. package/dist/esm/Effect.js.map +1 -1
  57. package/dist/esm/FiberRef.js +11 -0
  58. package/dist/esm/FiberRef.js.map +1 -1
  59. package/dist/esm/Layer.js +0 -22
  60. package/dist/esm/Layer.js.map +1 -1
  61. package/dist/esm/RuntimeFlags.js +0 -28
  62. package/dist/esm/RuntimeFlags.js.map +1 -1
  63. package/dist/esm/SourceLocation.js +51 -0
  64. package/dist/esm/SourceLocation.js.map +1 -0
  65. package/dist/esm/Tracer.js +0 -14
  66. package/dist/esm/Tracer.js.map +1 -1
  67. package/dist/esm/Utils.js +1 -1
  68. package/dist/esm/Utils.js.map +1 -1
  69. package/dist/esm/index.js +6 -0
  70. package/dist/esm/index.js.map +1 -1
  71. package/dist/esm/internal/clock.js +1 -1
  72. package/dist/esm/internal/clock.js.map +1 -1
  73. package/dist/esm/internal/core.js +12 -45
  74. package/dist/esm/internal/core.js.map +1 -1
  75. package/dist/esm/internal/effect/circular.js +18 -30
  76. package/dist/esm/internal/effect/circular.js.map +1 -1
  77. package/dist/esm/internal/fiberRuntime.js +13 -60
  78. package/dist/esm/internal/fiberRuntime.js.map +1 -1
  79. package/dist/esm/internal/layer/circular.js +0 -4
  80. package/dist/esm/internal/layer/circular.js.map +1 -1
  81. package/dist/esm/internal/layer.js +0 -2
  82. package/dist/esm/internal/layer.js.map +1 -1
  83. package/dist/esm/internal/logger.js +25 -2
  84. package/dist/esm/internal/logger.js.map +1 -1
  85. package/dist/esm/internal/runtimeFlags.js +1 -9
  86. package/dist/esm/internal/runtimeFlags.js.map +1 -1
  87. package/dist/esm/internal/tracer.js +0 -111
  88. package/dist/esm/internal/tracer.js.map +1 -1
  89. package/package.json +12 -1
  90. package/src/Arbitrary.ts +1101 -0
  91. package/src/Array.ts +3589 -0
  92. package/src/BigDecimal.ts +1349 -0
  93. package/src/BigInt.ts +643 -0
  94. package/src/Boolean.ts +287 -0
  95. package/src/Brand.ts +360 -0
  96. package/src/Cache.ts +281 -0
  97. package/src/Cause.ts +1555 -0
  98. package/src/Channel.ts +2355 -0
  99. package/src/ChildExecutorDecision.ts +146 -0
  100. package/src/Chunk.ts +1495 -0
  101. package/src/Clock.ts +111 -0
  102. package/src/Config.ts +542 -0
  103. package/src/ConfigError.ts +270 -0
  104. package/src/ConfigProvider.ts +333 -0
  105. package/src/ConfigProviderPathPatch.ts +100 -0
  106. package/src/Console.ts +226 -0
  107. package/src/Context.ts +585 -0
  108. package/src/Cron.ts +706 -0
  109. package/src/Data.ts +596 -0
  110. package/src/DateTime.ts +1686 -0
  111. package/src/DefaultServices.ts +34 -0
  112. package/src/Deferred.ts +301 -0
  113. package/src/Differ.ts +450 -0
  114. package/src/Duration.ts +1000 -0
  115. package/src/Effect.ts +14817 -0
  116. package/src/Effectable.ts +107 -0
  117. package/src/Either.ts +1040 -0
  118. package/src/Encoding.ts +195 -0
  119. package/src/Equal.ts +98 -0
  120. package/src/Equivalence.ts +235 -0
  121. package/src/ExecutionPlan.ts +308 -0
  122. package/src/ExecutionStrategy.ts +119 -0
  123. package/src/Exit.ts +467 -0
  124. package/src/FastCheck.ts +9 -0
  125. package/src/Fiber.ts +744 -0
  126. package/src/FiberHandle.ts +540 -0
  127. package/src/FiberId.ts +195 -0
  128. package/src/FiberMap.ts +656 -0
  129. package/src/FiberRef.ts +444 -0
  130. package/src/FiberRefs.ts +204 -0
  131. package/src/FiberRefsPatch.ts +105 -0
  132. package/src/FiberSet.ts +491 -0
  133. package/src/FiberStatus.ts +108 -0
  134. package/src/Function.ts +1222 -0
  135. package/src/GlobalValue.ts +53 -0
  136. package/src/Graph.ts +3732 -0
  137. package/src/GroupBy.ts +103 -0
  138. package/src/HKT.ts +45 -0
  139. package/src/Hash.ts +195 -0
  140. package/src/HashMap.ts +519 -0
  141. package/src/HashRing.ts +317 -0
  142. package/src/HashSet.ts +2346 -0
  143. package/src/Inspectable.ts +287 -0
  144. package/src/Iterable.ts +1119 -0
  145. package/src/JSONSchema.ts +1044 -0
  146. package/src/KeyedPool.ts +167 -0
  147. package/src/Layer.ts +1228 -0
  148. package/src/LayerMap.ts +436 -0
  149. package/src/List.ts +977 -0
  150. package/src/LogLevel.ts +285 -0
  151. package/src/LogSpan.ts +25 -0
  152. package/src/Logger.ts +702 -0
  153. package/src/Mailbox.ts +268 -0
  154. package/src/ManagedRuntime.ts +180 -0
  155. package/src/Match.ts +1477 -0
  156. package/src/MergeDecision.ts +95 -0
  157. package/src/MergeState.ts +172 -0
  158. package/src/MergeStrategy.ts +107 -0
  159. package/src/Metric.ts +780 -0
  160. package/src/MetricBoundaries.ts +69 -0
  161. package/src/MetricHook.ts +151 -0
  162. package/src/MetricKey.ts +224 -0
  163. package/src/MetricKeyType.ts +262 -0
  164. package/src/MetricLabel.ts +47 -0
  165. package/src/MetricPair.ts +71 -0
  166. package/src/MetricPolling.ts +148 -0
  167. package/src/MetricRegistry.ts +48 -0
  168. package/src/MetricState.ts +257 -0
  169. package/src/Micro.ts +4405 -0
  170. package/src/ModuleVersion.ts +18 -0
  171. package/src/MutableHashMap.ts +411 -0
  172. package/src/MutableHashSet.ts +706 -0
  173. package/src/MutableList.ts +297 -0
  174. package/src/MutableQueue.ts +227 -0
  175. package/src/MutableRef.ts +202 -0
  176. package/src/NonEmptyIterable.ts +32 -0
  177. package/src/Number.ts +1071 -0
  178. package/src/Option.ts +2170 -0
  179. package/src/Order.ts +373 -0
  180. package/src/Ordering.ts +111 -0
  181. package/src/ParseResult.ts +2031 -0
  182. package/src/PartitionedSemaphore.ts +200 -0
  183. package/src/Pipeable.ts +566 -0
  184. package/src/Pool.ts +204 -0
  185. package/src/Predicate.ts +1405 -0
  186. package/src/Pretty.ts +205 -0
  187. package/src/PrimaryKey.ts +23 -0
  188. package/src/PubSub.ts +182 -0
  189. package/src/Queue.ts +644 -0
  190. package/src/Random.ts +204 -0
  191. package/src/RateLimiter.ts +138 -0
  192. package/src/RcMap.ts +141 -0
  193. package/src/RcRef.ts +122 -0
  194. package/src/Readable.ts +93 -0
  195. package/src/Record.ts +1274 -0
  196. package/src/RedBlackTree.ts +421 -0
  197. package/src/Redacted.ts +144 -0
  198. package/src/Ref.ts +180 -0
  199. package/src/RegExp.ts +38 -0
  200. package/src/Reloadable.ts +127 -0
  201. package/src/Request.ts +347 -0
  202. package/src/RequestBlock.ts +118 -0
  203. package/src/RequestResolver.ts +366 -0
  204. package/src/Resource.ts +119 -0
  205. package/src/Runtime.ts +383 -0
  206. package/src/RuntimeFlags.ts +336 -0
  207. package/src/RuntimeFlagsPatch.ts +183 -0
  208. package/src/STM.ts +2045 -0
  209. package/src/Schedule.ts +2219 -0
  210. package/src/ScheduleDecision.ts +62 -0
  211. package/src/ScheduleInterval.ts +151 -0
  212. package/src/ScheduleIntervals.ts +122 -0
  213. package/src/Scheduler.ts +353 -0
  214. package/src/Schema.ts +10914 -0
  215. package/src/SchemaAST.ts +3043 -0
  216. package/src/Scope.ts +204 -0
  217. package/src/ScopedCache.ts +151 -0
  218. package/src/ScopedRef.ts +117 -0
  219. package/src/Secret.ts +88 -0
  220. package/src/SingleProducerAsyncInput.ts +67 -0
  221. package/src/Sink.ts +1461 -0
  222. package/src/SortedMap.ts +287 -0
  223. package/src/SortedSet.ts +390 -0
  224. package/src/SourceLocation.ts +108 -0
  225. package/src/Stream.ts +6468 -0
  226. package/src/StreamEmit.ts +136 -0
  227. package/src/StreamHaltStrategy.ts +123 -0
  228. package/src/Streamable.ts +45 -0
  229. package/src/String.ts +778 -0
  230. package/src/Struct.ts +243 -0
  231. package/src/Subscribable.ts +100 -0
  232. package/src/SubscriptionRef.ts +298 -0
  233. package/src/Supervisor.ts +240 -0
  234. package/src/Symbol.ts +29 -0
  235. package/src/SynchronizedRef.ts +270 -0
  236. package/src/TArray.ts +495 -0
  237. package/src/TDeferred.ts +100 -0
  238. package/src/TMap.ts +515 -0
  239. package/src/TPriorityQueue.ts +223 -0
  240. package/src/TPubSub.ts +200 -0
  241. package/src/TQueue.ts +432 -0
  242. package/src/TRandom.ts +129 -0
  243. package/src/TReentrantLock.ts +224 -0
  244. package/src/TRef.ts +178 -0
  245. package/src/TSemaphore.ts +129 -0
  246. package/src/TSet.ts +365 -0
  247. package/src/TSubscriptionRef.ts +192 -0
  248. package/src/Take.ts +258 -0
  249. package/src/TestAnnotation.ts +158 -0
  250. package/src/TestAnnotationMap.ts +119 -0
  251. package/src/TestAnnotations.ts +117 -0
  252. package/src/TestClock.ts +556 -0
  253. package/src/TestConfig.ts +47 -0
  254. package/src/TestContext.ts +36 -0
  255. package/src/TestLive.ts +53 -0
  256. package/src/TestServices.ts +390 -0
  257. package/src/TestSized.ts +55 -0
  258. package/src/Tracer.ts +182 -0
  259. package/src/Trie.ts +840 -0
  260. package/src/Tuple.ts +305 -0
  261. package/src/Types.ts +353 -0
  262. package/src/Unify.ts +113 -0
  263. package/src/UpstreamPullRequest.ts +117 -0
  264. package/src/UpstreamPullStrategy.ts +121 -0
  265. package/src/Utils.ts +809 -0
  266. package/src/index.ts +1568 -0
  267. package/src/internal/array.ts +8 -0
  268. package/src/internal/blockedRequests.ts +520 -0
  269. package/src/internal/cache.ts +733 -0
  270. package/src/internal/cause.ts +1050 -0
  271. package/src/internal/channel/channelExecutor.ts +1200 -0
  272. package/src/internal/channel/channelState.ts +134 -0
  273. package/src/internal/channel/childExecutorDecision.ts +96 -0
  274. package/src/internal/channel/continuation.ts +200 -0
  275. package/src/internal/channel/mergeDecision.ts +113 -0
  276. package/src/internal/channel/mergeState.ts +120 -0
  277. package/src/internal/channel/mergeStrategy.ts +72 -0
  278. package/src/internal/channel/singleProducerAsyncInput.ts +259 -0
  279. package/src/internal/channel/subexecutor.ts +229 -0
  280. package/src/internal/channel/upstreamPullRequest.ts +84 -0
  281. package/src/internal/channel/upstreamPullStrategy.ts +87 -0
  282. package/src/internal/channel.ts +2603 -0
  283. package/src/internal/clock.ts +95 -0
  284. package/src/internal/completedRequestMap.ts +9 -0
  285. package/src/internal/concurrency.ts +54 -0
  286. package/src/internal/config.ts +716 -0
  287. package/src/internal/configError.ts +304 -0
  288. package/src/internal/configProvider/pathPatch.ts +97 -0
  289. package/src/internal/configProvider.ts +799 -0
  290. package/src/internal/console.ts +153 -0
  291. package/src/internal/context.ts +337 -0
  292. package/src/internal/core-effect.ts +2293 -0
  293. package/src/internal/core-stream.ts +998 -0
  294. package/src/internal/core.ts +3189 -0
  295. package/src/internal/data.ts +36 -0
  296. package/src/internal/dataSource.ts +327 -0
  297. package/src/internal/dateTime.ts +1277 -0
  298. package/src/internal/defaultServices/console.ts +100 -0
  299. package/src/internal/defaultServices.ts +163 -0
  300. package/src/internal/deferred.ts +46 -0
  301. package/src/internal/differ/chunkPatch.ts +211 -0
  302. package/src/internal/differ/contextPatch.ts +232 -0
  303. package/src/internal/differ/hashMapPatch.ts +220 -0
  304. package/src/internal/differ/hashSetPatch.ts +176 -0
  305. package/src/internal/differ/orPatch.ts +311 -0
  306. package/src/internal/differ/readonlyArrayPatch.ts +210 -0
  307. package/src/internal/differ.ts +200 -0
  308. package/src/internal/doNotation.ts +80 -0
  309. package/src/internal/effect/circular.ts +895 -0
  310. package/src/internal/effectable.ts +131 -0
  311. package/src/internal/either.ts +110 -0
  312. package/src/internal/encoding/base64.ts +286 -0
  313. package/src/internal/encoding/base64Url.ts +29 -0
  314. package/src/internal/encoding/common.ts +51 -0
  315. package/src/internal/encoding/hex.ts +315 -0
  316. package/src/internal/errors.ts +7 -0
  317. package/src/internal/executionPlan.ts +114 -0
  318. package/src/internal/executionStrategy.ts +74 -0
  319. package/src/internal/fiber.ts +388 -0
  320. package/src/internal/fiberId.ts +267 -0
  321. package/src/internal/fiberMessage.ts +82 -0
  322. package/src/internal/fiberRefs/patch.ts +144 -0
  323. package/src/internal/fiberRefs.ts +297 -0
  324. package/src/internal/fiberRuntime.ts +3842 -0
  325. package/src/internal/fiberScope.ts +71 -0
  326. package/src/internal/fiberStatus.ts +119 -0
  327. package/src/internal/groupBy.ts +530 -0
  328. package/src/internal/hashMap/array.ts +49 -0
  329. package/src/internal/hashMap/bitwise.ts +32 -0
  330. package/src/internal/hashMap/config.ts +14 -0
  331. package/src/internal/hashMap/keySet.ts +8 -0
  332. package/src/internal/hashMap/node.ts +391 -0
  333. package/src/internal/hashMap.ts +586 -0
  334. package/src/internal/hashSet.ts +323 -0
  335. package/src/internal/keyedPool.ts +244 -0
  336. package/src/internal/layer/circular.ts +214 -0
  337. package/src/internal/layer.ts +1483 -0
  338. package/src/internal/logSpan.ts +20 -0
  339. package/src/internal/logger-circular.ts +24 -0
  340. package/src/internal/logger.ts +522 -0
  341. package/src/internal/mailbox.ts +561 -0
  342. package/src/internal/managedRuntime/circular.ts +6 -0
  343. package/src/internal/managedRuntime.ts +134 -0
  344. package/src/internal/matcher.ts +652 -0
  345. package/src/internal/metric/boundaries.ts +75 -0
  346. package/src/internal/metric/hook.ts +483 -0
  347. package/src/internal/metric/key.ts +167 -0
  348. package/src/internal/metric/keyType.ts +238 -0
  349. package/src/internal/metric/label.ts +41 -0
  350. package/src/internal/metric/pair.ts +48 -0
  351. package/src/internal/metric/polling.ts +149 -0
  352. package/src/internal/metric/registry.ts +187 -0
  353. package/src/internal/metric/state.ts +290 -0
  354. package/src/internal/metric.ts +577 -0
  355. package/src/internal/opCodes/cause.ts +35 -0
  356. package/src/internal/opCodes/channel.ts +83 -0
  357. package/src/internal/opCodes/channelChildExecutorDecision.ts +17 -0
  358. package/src/internal/opCodes/channelMergeDecision.ts +11 -0
  359. package/src/internal/opCodes/channelMergeState.ts +17 -0
  360. package/src/internal/opCodes/channelMergeStrategy.ts +11 -0
  361. package/src/internal/opCodes/channelState.ts +23 -0
  362. package/src/internal/opCodes/channelUpstreamPullRequest.ts +11 -0
  363. package/src/internal/opCodes/channelUpstreamPullStrategy.ts +11 -0
  364. package/src/internal/opCodes/config.ts +65 -0
  365. package/src/internal/opCodes/configError.ts +35 -0
  366. package/src/internal/opCodes/continuation.ts +11 -0
  367. package/src/internal/opCodes/deferred.ts +11 -0
  368. package/src/internal/opCodes/effect.ts +89 -0
  369. package/src/internal/opCodes/layer.ts +59 -0
  370. package/src/internal/opCodes/streamHaltStrategy.ts +23 -0
  371. package/src/internal/option.ts +80 -0
  372. package/src/internal/pool.ts +432 -0
  373. package/src/internal/pubsub.ts +1762 -0
  374. package/src/internal/query.ts +204 -0
  375. package/src/internal/queue.ts +766 -0
  376. package/src/internal/random.ts +161 -0
  377. package/src/internal/rateLimiter.ts +93 -0
  378. package/src/internal/rcMap.ts +285 -0
  379. package/src/internal/rcRef.ts +192 -0
  380. package/src/internal/redBlackTree/iterator.ts +200 -0
  381. package/src/internal/redBlackTree/node.ts +68 -0
  382. package/src/internal/redBlackTree.ts +1245 -0
  383. package/src/internal/redacted.ts +73 -0
  384. package/src/internal/ref.ts +171 -0
  385. package/src/internal/reloadable.ts +140 -0
  386. package/src/internal/request.ts +177 -0
  387. package/src/internal/resource.ts +76 -0
  388. package/src/internal/ringBuffer.ts +68 -0
  389. package/src/internal/runtime.ts +558 -0
  390. package/src/internal/runtimeFlags.ts +178 -0
  391. package/src/internal/runtimeFlagsPatch.ts +103 -0
  392. package/src/internal/schedule/decision.ts +47 -0
  393. package/src/internal/schedule/interval.ts +101 -0
  394. package/src/internal/schedule/intervals.ts +180 -0
  395. package/src/internal/schedule.ts +2199 -0
  396. package/src/internal/schema/errors.ts +191 -0
  397. package/src/internal/schema/schemaId.ts +106 -0
  398. package/src/internal/schema/util.ts +50 -0
  399. package/src/internal/scopedCache.ts +644 -0
  400. package/src/internal/scopedRef.ts +118 -0
  401. package/src/internal/secret.ts +89 -0
  402. package/src/internal/singleShotGen.ts +35 -0
  403. package/src/internal/sink.ts +2120 -0
  404. package/src/internal/stack.ts +10 -0
  405. package/src/internal/stm/core.ts +817 -0
  406. package/src/internal/stm/entry.ts +59 -0
  407. package/src/internal/stm/journal.ts +123 -0
  408. package/src/internal/stm/opCodes/stm.ts +71 -0
  409. package/src/internal/stm/opCodes/stmState.ts +17 -0
  410. package/src/internal/stm/opCodes/strategy.ts +17 -0
  411. package/src/internal/stm/opCodes/tExit.ts +29 -0
  412. package/src/internal/stm/opCodes/tryCommit.ts +11 -0
  413. package/src/internal/stm/stm.ts +1453 -0
  414. package/src/internal/stm/stmState.ts +136 -0
  415. package/src/internal/stm/tArray.ts +550 -0
  416. package/src/internal/stm/tDeferred.ts +81 -0
  417. package/src/internal/stm/tExit.ts +190 -0
  418. package/src/internal/stm/tMap.ts +824 -0
  419. package/src/internal/stm/tPriorityQueue.ts +267 -0
  420. package/src/internal/stm/tPubSub.ts +551 -0
  421. package/src/internal/stm/tQueue.ts +393 -0
  422. package/src/internal/stm/tRandom.ts +140 -0
  423. package/src/internal/stm/tReentrantLock.ts +352 -0
  424. package/src/internal/stm/tRef.ts +195 -0
  425. package/src/internal/stm/tSemaphore.ts +113 -0
  426. package/src/internal/stm/tSet.ts +259 -0
  427. package/src/internal/stm/tSubscriptionRef.ts +286 -0
  428. package/src/internal/stm/tryCommit.ts +34 -0
  429. package/src/internal/stm/txnId.ts +14 -0
  430. package/src/internal/stm/versioned.ts +4 -0
  431. package/src/internal/stream/debounceState.ts +57 -0
  432. package/src/internal/stream/emit.ts +123 -0
  433. package/src/internal/stream/haltStrategy.ts +94 -0
  434. package/src/internal/stream/handoff.ts +187 -0
  435. package/src/internal/stream/handoffSignal.ts +59 -0
  436. package/src/internal/stream/pull.ts +34 -0
  437. package/src/internal/stream/sinkEndReason.ts +30 -0
  438. package/src/internal/stream/zipAllState.ts +88 -0
  439. package/src/internal/stream/zipChunksState.ts +56 -0
  440. package/src/internal/stream.ts +8801 -0
  441. package/src/internal/string-utils.ts +107 -0
  442. package/src/internal/subscriptionRef.ts +138 -0
  443. package/src/internal/supervisor/patch.ts +190 -0
  444. package/src/internal/supervisor.ts +303 -0
  445. package/src/internal/synchronizedRef.ts +114 -0
  446. package/src/internal/take.ts +199 -0
  447. package/src/internal/testing/sleep.ts +27 -0
  448. package/src/internal/testing/suspendedWarningData.ts +85 -0
  449. package/src/internal/testing/warningData.ts +94 -0
  450. package/src/internal/tracer.ts +150 -0
  451. package/src/internal/trie.ts +722 -0
  452. package/src/internal/version.ts +7 -0
@@ -0,0 +1,722 @@
1
+ import * as Equal from "../Equal.js"
2
+ import { dual, identity, pipe } from "../Function.js"
3
+ import * as Hash from "../Hash.js"
4
+ import { format, NodeInspectSymbol, toJSON } from "../Inspectable.js"
5
+ import * as Option from "../Option.js"
6
+ import type * as Ordering from "../Ordering.js"
7
+ import { pipeArguments } from "../Pipeable.js"
8
+ import { hasProperty } from "../Predicate.js"
9
+ import type * as TR from "../Trie.js"
10
+ import type { NoInfer } from "../Types.js"
11
+
12
+ const TrieSymbolKey = "effect/Trie"
13
+
14
+ /** @internal */
15
+ export const TrieTypeId: TR.TypeId = Symbol.for(TrieSymbolKey) as TR.TypeId
16
+
17
+ type TraversalMap<K, V, A> = (k: K, v: V) => A
18
+
19
+ type TraversalFilter<K, V> = (k: K, v: V) => boolean
20
+
21
+ /** @internal */
22
+ export interface TrieImpl<in out V> extends TR.Trie<V> {
23
+ readonly _root: Node<V> | undefined
24
+ readonly _count: number
25
+ }
26
+
27
+ const trieVariance = {
28
+ /* c8 ignore next */
29
+ _Value: (_: never) => _
30
+ }
31
+
32
+ const TrieProto: TR.Trie<unknown> = {
33
+ [TrieTypeId]: trieVariance,
34
+ [Symbol.iterator]<V>(this: TrieImpl<V>): Iterator<[string, V]> {
35
+ return new TrieIterator(this, (k, v) => [k, v], () => true)
36
+ },
37
+ [Hash.symbol](this: TR.Trie<unknown>): number {
38
+ let hash = Hash.hash(TrieSymbolKey)
39
+ for (const item of this) {
40
+ hash ^= pipe(Hash.hash(item[0]), Hash.combine(Hash.hash(item[1])))
41
+ }
42
+ return Hash.cached(this, hash)
43
+ },
44
+ [Equal.symbol]<V>(this: TrieImpl<V>, that: unknown): boolean {
45
+ if (isTrie(that)) {
46
+ const entries = Array.from(that)
47
+ return Array.from(this).every((itemSelf, i) => {
48
+ const itemThat = entries[i]
49
+ return Equal.equals(itemSelf[0], itemThat[0]) && Equal.equals(itemSelf[1], itemThat[1])
50
+ })
51
+ }
52
+ return false
53
+ },
54
+ toString() {
55
+ return format(this.toJSON())
56
+ },
57
+ toJSON() {
58
+ return {
59
+ _id: "Trie",
60
+ values: Array.from(this).map(toJSON)
61
+ }
62
+ },
63
+ [NodeInspectSymbol]() {
64
+ return this.toJSON()
65
+ },
66
+ pipe() {
67
+ return pipeArguments(this, arguments)
68
+ }
69
+ }
70
+
71
+ const makeImpl = <V>(root: Node<V> | undefined): TrieImpl<V> => {
72
+ const trie = Object.create(TrieProto)
73
+ trie._root = root
74
+ trie._count = root?.count ?? 0
75
+ return trie
76
+ }
77
+
78
+ class TrieIterator<in out V, out T> implements IterableIterator<T> {
79
+ stack: Array<[Node<V>, string, boolean]> = []
80
+
81
+ constructor(
82
+ readonly trie: TrieImpl<V>,
83
+ readonly f: TraversalMap<string, V, T>,
84
+ readonly filter: TraversalFilter<string, V>
85
+ ) {
86
+ const root = trie._root !== undefined ? trie._root : undefined
87
+ if (root !== undefined) {
88
+ this.stack.push([root, "", false])
89
+ }
90
+ }
91
+
92
+ next(): IteratorResult<T> {
93
+ while (this.stack.length > 0) {
94
+ const [node, keyString, isAdded] = this.stack.pop()!
95
+
96
+ if (isAdded) {
97
+ const value = node.value
98
+ if (value !== undefined) {
99
+ const key = keyString + node.key
100
+ if (this.filter(key, value)) {
101
+ return { done: false, value: this.f(key, value) }
102
+ }
103
+ }
104
+ } else {
105
+ this.addToStack(node, keyString)
106
+ }
107
+ }
108
+
109
+ return { done: true, value: undefined }
110
+ }
111
+
112
+ addToStack(node: Node<V>, keyString: string) {
113
+ if (node.right !== undefined) {
114
+ this.stack.push([node.right, keyString, false])
115
+ }
116
+ if (node.mid !== undefined) {
117
+ this.stack.push([node.mid, keyString + node.key, false])
118
+ }
119
+ this.stack.push([node, keyString, true])
120
+ if (node.left !== undefined) {
121
+ this.stack.push([node.left, keyString, false])
122
+ }
123
+ }
124
+
125
+ [Symbol.iterator](): IterableIterator<T> {
126
+ return new TrieIterator(this.trie, this.f, this.filter)
127
+ }
128
+ }
129
+
130
+ /** @internal */
131
+ export const isTrie: {
132
+ <V>(u: Iterable<readonly [string, V]>): u is TR.Trie<V>
133
+ (u: unknown): u is TR.Trie<unknown>
134
+ } = (u: unknown): u is TR.Trie<unknown> => hasProperty(u, TrieTypeId)
135
+
136
+ /** @internal */
137
+ export const empty = <V = never>(): TR.Trie<V> => makeImpl<V>(undefined)
138
+
139
+ /** @internal */
140
+ export const fromIterable = <V>(entries: Iterable<readonly [string, V]>) => {
141
+ let trie = empty<V>()
142
+ for (const [key, value] of entries) {
143
+ trie = insert(trie, key, value)
144
+ }
145
+ return trie
146
+ }
147
+
148
+ /** @internal */
149
+ export const make = <Entries extends Array<readonly [string, any]>>(...entries: Entries): TR.Trie<
150
+ Entries[number] extends readonly [any, infer V] ? V : never
151
+ > => {
152
+ return fromIterable(entries)
153
+ }
154
+
155
+ /** @internal */
156
+ export const insert = dual<
157
+ <V>(key: string, value: V) => (self: TR.Trie<V>) => TR.Trie<V>,
158
+ <V>(self: TR.Trie<V>, key: string, value: V) => TR.Trie<V>
159
+ >(3, <V>(self: TR.Trie<V>, key: string, value: V) => {
160
+ if (key.length === 0) return self
161
+
162
+ // -1:left | 0:mid | 1:right
163
+ const dStack: Array<Ordering.Ordering> = []
164
+ const nStack: Array<Node<V>> = []
165
+ let n: Node<V> = (self as TrieImpl<V>)._root ?? {
166
+ key: key[0],
167
+ count: 0
168
+ }
169
+ const count = n.count + 1
170
+ let cIndex = 0
171
+
172
+ while (cIndex < key.length) {
173
+ const c = key[cIndex]
174
+ nStack.push(n)
175
+ if (c > n.key) {
176
+ dStack.push(1)
177
+ if (n.right === undefined) {
178
+ n = { key: c, count }
179
+ } else {
180
+ n = n.right
181
+ }
182
+ } else if (c < n.key) {
183
+ dStack.push(-1)
184
+ if (n.left === undefined) {
185
+ n = { key: c, count }
186
+ } else {
187
+ n = n.left
188
+ }
189
+ } else {
190
+ if (cIndex === key.length - 1) {
191
+ n.value = value
192
+ } else if (n.mid === undefined) {
193
+ dStack.push(0)
194
+ n = { key: key[cIndex + 1], count }
195
+ } else {
196
+ dStack.push(0)
197
+ n = n.mid
198
+ }
199
+
200
+ cIndex += 1
201
+ }
202
+ }
203
+
204
+ // Rebuild path to leaf node (Path-copying immutability)
205
+ for (let s = nStack.length - 2; s >= 0; --s) {
206
+ const n2 = nStack[s]
207
+ const d = dStack[s]
208
+ if (d === -1) {
209
+ // left
210
+ nStack[s] = {
211
+ key: n2.key,
212
+ count,
213
+ value: n2.value,
214
+ left: nStack[s + 1],
215
+ mid: n2.mid,
216
+ right: n2.right
217
+ }
218
+ } else if (d === 1) {
219
+ // right
220
+ nStack[s] = {
221
+ key: n2.key,
222
+ count,
223
+ value: n2.value,
224
+ left: n2.left,
225
+ mid: n2.mid,
226
+ right: nStack[s + 1]
227
+ }
228
+ } else {
229
+ // mid
230
+ nStack[s] = {
231
+ key: n2.key,
232
+ count,
233
+ value: n2.value,
234
+ left: n2.left,
235
+ mid: nStack[s + 1],
236
+ right: n2.right
237
+ }
238
+ }
239
+ }
240
+
241
+ nStack[0].count = count
242
+ return makeImpl(nStack[0])
243
+ })
244
+
245
+ /** @internal */
246
+ export const size = <V>(self: TR.Trie<V>): number => (self as TrieImpl<V>)._root?.count ?? 0
247
+
248
+ /** @internal */
249
+ export const isEmpty = <V>(self: TR.Trie<V>): boolean => size(self) === 0
250
+
251
+ /** @internal */
252
+ export const keys = <V>(self: TR.Trie<V>): IterableIterator<string> =>
253
+ new TrieIterator(self as TrieImpl<V>, (key) => key, () => true)
254
+
255
+ /** @internal */
256
+ export const values = <V>(self: TR.Trie<V>): IterableIterator<V> =>
257
+ new TrieIterator(self as TrieImpl<V>, (_, value) => value, () => true)
258
+
259
+ /** @internal */
260
+ export const entries = <V>(self: TR.Trie<V>): IterableIterator<[string, V]> =>
261
+ new TrieIterator(self as TrieImpl<V>, (key, value) => [key, value], () => true)
262
+
263
+ /** @internal */
264
+ export const reduce = dual<
265
+ <Z, V>(
266
+ zero: Z,
267
+ f: (accumulator: Z, value: V, key: string) => Z
268
+ ) => (self: TR.Trie<V>) => Z,
269
+ <Z, V>(self: TR.Trie<V>, zero: Z, f: (accumulator: Z, value: V, key: string) => Z) => Z
270
+ >(3, (self, zero, f) => {
271
+ let accumulator = zero
272
+ for (const entry of self) {
273
+ accumulator = f(accumulator, entry[1], entry[0])
274
+ }
275
+ return accumulator
276
+ })
277
+
278
+ /** @internal */
279
+ export const map = dual<
280
+ <A, V>(f: (value: V, key: string) => A) => (self: TR.Trie<V>) => TR.Trie<A>,
281
+ <V, A>(self: TR.Trie<V>, f: (value: V, key: string) => A) => TR.Trie<A>
282
+ >(2, (self, f) =>
283
+ reduce(
284
+ self,
285
+ empty(),
286
+ (trie, value, key) => insert(trie, key, f(value, key))
287
+ ))
288
+
289
+ /** @internal */
290
+ export const filter: {
291
+ <A, B extends A>(f: (a: NoInfer<A>, k: string) => a is B): (self: TR.Trie<A>) => TR.Trie<B>
292
+ <A>(f: (a: NoInfer<A>, k: string) => boolean): (self: TR.Trie<A>) => TR.Trie<A>
293
+ <A, B extends A>(self: TR.Trie<A>, f: (a: A, k: string) => a is B): TR.Trie<B>
294
+ <A>(self: TR.Trie<A>, f: (a: A, k: string) => boolean): TR.Trie<A>
295
+ } = dual(
296
+ 2,
297
+ <A>(self: TR.Trie<A>, f: (a: A, k: string) => boolean): TR.Trie<A> =>
298
+ reduce(
299
+ self,
300
+ empty(),
301
+ (trie, value, key) => f(value, key) ? insert(trie, key, value) : trie
302
+ )
303
+ )
304
+
305
+ /** @internal */
306
+ export const filterMap = dual<
307
+ <A, B>(
308
+ f: (value: A, key: string) => Option.Option<B>
309
+ ) => (self: TR.Trie<A>) => TR.Trie<B>,
310
+ <A, B>(self: TR.Trie<A>, f: (value: A, key: string) => Option.Option<B>) => TR.Trie<B>
311
+ >(2, (self, f) =>
312
+ reduce(
313
+ self,
314
+ empty(),
315
+ (trie, value, key) => {
316
+ const option = f(value, key)
317
+ return Option.isSome(option) ? insert(trie, key, option.value) : trie
318
+ }
319
+ ))
320
+
321
+ /** @internal */
322
+ export const compact = <A>(self: TR.Trie<Option.Option<A>>) => filterMap(self, identity)
323
+
324
+ /** @internal */
325
+ export const forEach = dual<
326
+ <V>(f: (value: V, key: string) => void) => (self: TR.Trie<V>) => void,
327
+ <V>(self: TR.Trie<V>, f: (value: V, key: string) => void) => void
328
+ >(2, (self, f) => reduce(self, void 0 as void, (_, value, key) => f(value, key)))
329
+
330
+ /** @internal */
331
+ export const keysWithPrefix = dual<
332
+ (prefix: string) => <V>(self: TR.Trie<V>) => IterableIterator<string>,
333
+ <V>(self: TR.Trie<V>, prefix: string) => IterableIterator<string>
334
+ >(
335
+ 2,
336
+ <V>(self: TR.Trie<V>, prefix: string): IterableIterator<string> =>
337
+ new TrieIterator(self as TrieImpl<V>, (key) => key, (key) => key.startsWith(prefix))
338
+ )
339
+
340
+ /** @internal */
341
+ export const valuesWithPrefix = dual<
342
+ (prefix: string) => <V>(self: TR.Trie<V>) => IterableIterator<V>,
343
+ <V>(self: TR.Trie<V>, prefix: string) => IterableIterator<V>
344
+ >(
345
+ 2,
346
+ <V>(self: TR.Trie<V>, prefix: string): IterableIterator<V> =>
347
+ new TrieIterator(self as TrieImpl<V>, (_, value) => value, (key) => key.startsWith(prefix))
348
+ )
349
+
350
+ /** @internal */
351
+ export const entriesWithPrefix = dual<
352
+ (prefix: string) => <V>(self: TR.Trie<V>) => IterableIterator<[string, V]>,
353
+ <V>(self: TR.Trie<V>, prefix: string) => IterableIterator<[string, V]>
354
+ >(
355
+ 2,
356
+ <V>(self: TR.Trie<V>, prefix: string): IterableIterator<[string, V]> =>
357
+ new TrieIterator(self as TrieImpl<V>, (key, value) => [key, value], (key) => key.startsWith(prefix))
358
+ )
359
+
360
+ /** @internal */
361
+ export const toEntriesWithPrefix = dual<
362
+ (prefix: string) => <V>(self: TR.Trie<V>) => Array<[string, V]>,
363
+ <V>(self: TR.Trie<V>, prefix: string) => Array<[string, V]>
364
+ >(
365
+ 2,
366
+ <V>(self: TR.Trie<V>, prefix: string): Array<[string, V]> => Array.from(entriesWithPrefix(self, prefix))
367
+ )
368
+
369
+ /** @internal */
370
+ export const get = dual<
371
+ (key: string) => <V>(self: TR.Trie<V>) => Option.Option<V>,
372
+ <V>(self: TR.Trie<V>, key: string) => Option.Option<V>
373
+ >(
374
+ 2,
375
+ <V>(self: TR.Trie<V>, key: string) => {
376
+ let n: Node<V> | undefined = (self as TrieImpl<V>)._root
377
+ if (n === undefined || key.length === 0) return Option.none()
378
+ let cIndex = 0
379
+ while (cIndex < key.length) {
380
+ const c = key[cIndex]
381
+ if (c > n.key) {
382
+ if (n.right === undefined) {
383
+ return Option.none()
384
+ } else {
385
+ n = n.right
386
+ }
387
+ } else if (c < n.key) {
388
+ if (n.left === undefined) {
389
+ return Option.none()
390
+ } else {
391
+ n = n.left
392
+ }
393
+ } else {
394
+ if (cIndex === key.length - 1) {
395
+ return Option.fromNullable(n.value)
396
+ } else {
397
+ if (n.mid === undefined) {
398
+ return Option.none()
399
+ } else {
400
+ n = n.mid
401
+ cIndex += 1
402
+ }
403
+ }
404
+ }
405
+ }
406
+ return Option.none()
407
+ }
408
+ )
409
+
410
+ /** @internal */
411
+ export const has = dual<
412
+ (key: string) => <V>(self: TR.Trie<V>) => boolean,
413
+ <V>(self: TR.Trie<V>, key: string) => boolean
414
+ >(2, (self, key) => Option.isSome(get(self, key)))
415
+
416
+ /** @internal */
417
+ export const unsafeGet = dual<
418
+ (key: string) => <V>(self: TR.Trie<V>) => V,
419
+ <V>(self: TR.Trie<V>, key: string) => V
420
+ >(2, (self, key) => {
421
+ const element = get(self, key)
422
+ if (Option.isNone(element)) {
423
+ throw new Error("Expected trie to contain key")
424
+ }
425
+ return element.value
426
+ })
427
+
428
+ /** @internal */
429
+ export const remove = dual<
430
+ (key: string) => <V>(self: TR.Trie<V>) => TR.Trie<V>,
431
+ <V>(self: TR.Trie<V>, key: string) => TR.Trie<V>
432
+ >(
433
+ 2,
434
+ <V>(self: TR.Trie<V>, key: string) => {
435
+ let n: Node<V> | undefined = (self as TrieImpl<V>)._root
436
+ if (n === undefined || key.length === 0) return self
437
+
438
+ const count = n.count - 1
439
+ // -1:left | 0:mid | 1:right
440
+ const dStack: Array<Ordering.Ordering> = []
441
+ const nStack: Array<Node<V>> = []
442
+
443
+ let cIndex = 0
444
+ while (cIndex < key.length) {
445
+ const c = key[cIndex]
446
+ if (c > n.key) {
447
+ if (n.right === undefined) {
448
+ return self
449
+ } else {
450
+ nStack.push(n)
451
+ dStack.push(1)
452
+ n = n.right
453
+ }
454
+ } else if (c < n.key) {
455
+ if (n.left === undefined) {
456
+ return self
457
+ } else {
458
+ nStack.push(n)
459
+ dStack.push(-1)
460
+ n = n.left
461
+ }
462
+ } else {
463
+ if (cIndex === key.length - 1) {
464
+ if (n.value !== undefined) {
465
+ nStack.push(n)
466
+ dStack.push(0)
467
+ cIndex += 1
468
+ } else {
469
+ return self
470
+ }
471
+ } else {
472
+ if (n.mid === undefined) {
473
+ return self
474
+ } else {
475
+ nStack.push(n)
476
+ dStack.push(0)
477
+ n = n.mid
478
+ cIndex += 1
479
+ }
480
+ }
481
+ }
482
+ }
483
+
484
+ const removeNode = nStack[nStack.length - 1]
485
+ nStack[nStack.length - 1] = {
486
+ key: removeNode.key,
487
+ count,
488
+ left: removeNode.left,
489
+ mid: removeNode.mid,
490
+ right: removeNode.right
491
+ }
492
+
493
+ // Rebuild path to leaf node (Path-copying immutability)
494
+ for (let s = nStack.length - 2; s >= 0; --s) {
495
+ const n2 = nStack[s]
496
+ const d = dStack[s]
497
+ const child = nStack[s + 1]
498
+ const nc = child.left === undefined && child.mid === undefined && child.right === undefined ? undefined : child
499
+ if (d === -1) {
500
+ // left
501
+ nStack[s] = {
502
+ key: n2.key,
503
+ count,
504
+ value: n2.value,
505
+ left: nc,
506
+ mid: n2.mid,
507
+ right: n2.right
508
+ }
509
+ } else if (d === 1) {
510
+ // right
511
+ nStack[s] = {
512
+ key: n2.key,
513
+ count,
514
+ value: n2.value,
515
+ left: n2.left,
516
+ mid: n2.mid,
517
+ right: nc
518
+ }
519
+ } else {
520
+ // mid
521
+ nStack[s] = {
522
+ key: n2.key,
523
+ count,
524
+ value: n2.value,
525
+ left: n2.left,
526
+ mid: nc,
527
+ right: n2.right
528
+ }
529
+ }
530
+ }
531
+
532
+ nStack[0].count = count
533
+ return makeImpl(nStack[0])
534
+ }
535
+ )
536
+
537
+ /** @internal */
538
+ export const removeMany = dual<
539
+ (keys: Iterable<string>) => <V>(self: TR.Trie<V>) => TR.Trie<V>,
540
+ <V>(self: TR.Trie<V>, keys: Iterable<string>) => TR.Trie<V>
541
+ >(2, (self, keys) => {
542
+ let trie = self
543
+ for (const key of keys) {
544
+ trie = remove(key)(trie)
545
+ }
546
+ return trie
547
+ })
548
+
549
+ /** @internal */
550
+ export const insertMany = dual<
551
+ <V>(iter: Iterable<[string, V]>) => (self: TR.Trie<V>) => TR.Trie<V>,
552
+ <V>(self: TR.Trie<V>, iter: Iterable<[string, V]>) => TR.Trie<V>
553
+ >(2, (self, iter) => {
554
+ let trie = self
555
+ for (const [key, value] of iter) {
556
+ trie = insert(key, value)(trie)
557
+ }
558
+ return trie
559
+ })
560
+
561
+ /** @internal */
562
+ export const modify = dual<
563
+ <V>(key: string, f: (v: V) => V) => (self: TR.Trie<V>) => TR.Trie<V>,
564
+ <V>(self: TR.Trie<V>, key: string, f: (v: V) => V) => TR.Trie<V>
565
+ >(
566
+ 3,
567
+ <V>(self: TR.Trie<V>, key: string, f: (v: V) => V): TR.Trie<V> => {
568
+ let n: Node<V> | undefined = (self as TrieImpl<V>)._root
569
+ if (n === undefined || key.length === 0) return self
570
+
571
+ // -1:left | 0:mid | 1:right
572
+ const dStack: Array<Ordering.Ordering> = []
573
+ const nStack: Array<Node<V>> = []
574
+
575
+ let cIndex = 0
576
+ while (cIndex < key.length) {
577
+ const c = key[cIndex]
578
+ if (c > n.key) {
579
+ if (n.right === undefined) {
580
+ return self
581
+ } else {
582
+ nStack.push(n)
583
+ dStack.push(1)
584
+ n = n.right
585
+ }
586
+ } else if (c < n.key) {
587
+ if (n.left === undefined) {
588
+ return self
589
+ } else {
590
+ nStack.push(n)
591
+ dStack.push(-1)
592
+ n = n.left
593
+ }
594
+ } else {
595
+ if (cIndex === key.length - 1) {
596
+ if (n.value !== undefined) {
597
+ nStack.push(n)
598
+ dStack.push(0)
599
+ cIndex += 1
600
+ } else {
601
+ return self
602
+ }
603
+ } else {
604
+ if (n.mid === undefined) {
605
+ return self
606
+ } else {
607
+ nStack.push(n)
608
+ dStack.push(0)
609
+ n = n.mid
610
+ cIndex += 1
611
+ }
612
+ }
613
+ }
614
+ }
615
+
616
+ const updateNode = nStack[nStack.length - 1]
617
+ if (updateNode.value === undefined) {
618
+ return self
619
+ }
620
+
621
+ nStack[nStack.length - 1] = {
622
+ key: updateNode.key,
623
+ count: updateNode.count,
624
+ value: f(updateNode.value), // Update
625
+ left: updateNode.left,
626
+ mid: updateNode.mid,
627
+ right: updateNode.right
628
+ }
629
+
630
+ // Rebuild path to leaf node (Path-copying immutability)
631
+ for (let s = nStack.length - 2; s >= 0; --s) {
632
+ const n2 = nStack[s]
633
+ const d = dStack[s]
634
+ const child = nStack[s + 1]
635
+ if (d === -1) {
636
+ // left
637
+ nStack[s] = {
638
+ key: n2.key,
639
+ count: n2.count,
640
+ value: n2.value,
641
+ left: child,
642
+ mid: n2.mid,
643
+ right: n2.right
644
+ }
645
+ } else if (d === 1) {
646
+ // right
647
+ nStack[s] = {
648
+ key: n2.key,
649
+ count: n2.count,
650
+ value: n2.value,
651
+ left: n2.left,
652
+ mid: n2.mid,
653
+ right: child
654
+ }
655
+ } else {
656
+ // mid
657
+ nStack[s] = {
658
+ key: n2.key,
659
+ count: n2.count,
660
+ value: n2.value,
661
+ left: n2.left,
662
+ mid: child,
663
+ right: n2.right
664
+ }
665
+ }
666
+ }
667
+
668
+ return makeImpl(nStack[0])
669
+ }
670
+ )
671
+
672
+ /** @internal */
673
+ export const longestPrefixOf = dual<
674
+ (key: string) => <V>(self: TR.Trie<V>) => Option.Option<[string, V]>,
675
+ <V>(self: TR.Trie<V>, key: string) => Option.Option<[string, V]>
676
+ >(
677
+ 2,
678
+ <V>(self: TR.Trie<V>, key: string) => {
679
+ let n: Node<V> | undefined = (self as TrieImpl<V>)._root
680
+ if (n === undefined || key.length === 0) return Option.none()
681
+ let longestPrefixNode: [string, V] | undefined = undefined
682
+ let cIndex = 0
683
+ while (cIndex < key.length) {
684
+ const c = key[cIndex]
685
+ if (n.value !== undefined) {
686
+ longestPrefixNode = [key.slice(0, cIndex + 1), n.value]
687
+ }
688
+
689
+ if (c > n.key) {
690
+ if (n.right === undefined) {
691
+ break
692
+ } else {
693
+ n = n.right
694
+ }
695
+ } else if (c < n.key) {
696
+ if (n.left === undefined) {
697
+ break
698
+ } else {
699
+ n = n.left
700
+ }
701
+ } else {
702
+ if (n.mid === undefined) {
703
+ break
704
+ } else {
705
+ n = n.mid
706
+ cIndex += 1
707
+ }
708
+ }
709
+ }
710
+
711
+ return Option.fromNullable(longestPrefixNode)
712
+ }
713
+ )
714
+
715
+ interface Node<V> {
716
+ key: string
717
+ count: number
718
+ value?: V | undefined
719
+ left?: Node<V> | undefined
720
+ mid?: Node<V> | undefined
721
+ right?: Node<V> | undefined
722
+ }