@typed/fx 2.0.0-beta.1 → 2.0.0-beta.11

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 (664) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +35 -21
  3. package/dist/Fx/Fx.d.ts +371 -19
  4. package/dist/Fx/Fx.d.ts.map +1 -1
  5. package/dist/Fx/Fx.js +37 -6
  6. package/dist/Fx/TypeId.d.ts +52 -6
  7. package/dist/Fx/TypeId.d.ts.map +1 -1
  8. package/dist/Fx/TypeId.js +41 -4
  9. package/dist/Fx/combinators/additive.d.ts +162 -11
  10. package/dist/Fx/combinators/additive.d.ts.map +1 -1
  11. package/dist/Fx/combinators/additive.js +162 -11
  12. package/dist/Fx/combinators/catch.d.ts +202 -29
  13. package/dist/Fx/combinators/catch.d.ts.map +1 -1
  14. package/dist/Fx/combinators/catch.js +193 -23
  15. package/dist/Fx/combinators/causes.d.ts +25 -2
  16. package/dist/Fx/combinators/causes.d.ts.map +1 -1
  17. package/dist/Fx/combinators/causes.js +25 -2
  18. package/dist/Fx/combinators/changesWithEffect.d.ts +21 -1
  19. package/dist/Fx/combinators/changesWithEffect.d.ts.map +1 -1
  20. package/dist/Fx/combinators/changesWithEffect.js +21 -1
  21. package/dist/Fx/combinators/compact.d.ts +18 -1
  22. package/dist/Fx/combinators/compact.d.ts.map +1 -1
  23. package/dist/Fx/combinators/compact.js +18 -1
  24. package/dist/Fx/combinators/concatMap.d.ts +86 -0
  25. package/dist/Fx/combinators/concatMap.d.ts.map +1 -0
  26. package/dist/Fx/combinators/concatMap.js +86 -0
  27. package/dist/Fx/combinators/continueWith.d.ts +113 -5
  28. package/dist/Fx/combinators/continueWith.d.ts.map +1 -1
  29. package/dist/Fx/combinators/continueWith.js +113 -5
  30. package/dist/Fx/combinators/debounce.d.ts +34 -0
  31. package/dist/Fx/combinators/debounce.d.ts.map +1 -0
  32. package/dist/Fx/combinators/debounce.js +35 -0
  33. package/dist/Fx/combinators/delay.d.ts +36 -0
  34. package/dist/Fx/combinators/delay.d.ts.map +1 -0
  35. package/dist/Fx/combinators/delay.js +33 -0
  36. package/dist/Fx/combinators/dropUntil.d.ts +44 -2
  37. package/dist/Fx/combinators/dropUntil.d.ts.map +1 -1
  38. package/dist/Fx/combinators/dropUntil.js +44 -2
  39. package/dist/Fx/combinators/during.d.ts +38 -0
  40. package/dist/Fx/combinators/during.d.ts.map +1 -0
  41. package/dist/Fx/combinators/during.js +85 -0
  42. package/dist/Fx/combinators/ensuring.d.ts +34 -4
  43. package/dist/Fx/combinators/ensuring.d.ts.map +1 -1
  44. package/dist/Fx/combinators/ensuring.js +34 -4
  45. package/dist/Fx/combinators/exhaustLatestMap.d.ts +41 -5
  46. package/dist/Fx/combinators/exhaustLatestMap.d.ts.map +1 -1
  47. package/dist/Fx/combinators/exhaustLatestMap.js +41 -5
  48. package/dist/Fx/combinators/exhaustLatestMapEffect.d.ts +40 -4
  49. package/dist/Fx/combinators/exhaustLatestMapEffect.d.ts.map +1 -1
  50. package/dist/Fx/combinators/exhaustLatestMapEffect.js +40 -4
  51. package/dist/Fx/combinators/exhaustMap.d.ts +38 -1
  52. package/dist/Fx/combinators/exhaustMap.d.ts.map +1 -1
  53. package/dist/Fx/combinators/exhaustMap.js +38 -1
  54. package/dist/Fx/combinators/exhaustMapEffect.d.ts +33 -1
  55. package/dist/Fx/combinators/exhaustMapEffect.d.ts.map +1 -1
  56. package/dist/Fx/combinators/exhaustMapEffect.js +33 -1
  57. package/dist/Fx/combinators/exit.d.ts +23 -2
  58. package/dist/Fx/combinators/exit.d.ts.map +1 -1
  59. package/dist/Fx/combinators/exit.js +23 -2
  60. package/dist/Fx/combinators/filter.d.ts +17 -1
  61. package/dist/Fx/combinators/filter.d.ts.map +1 -1
  62. package/dist/Fx/combinators/filter.js +17 -1
  63. package/dist/Fx/combinators/filterEffect.d.ts +22 -1
  64. package/dist/Fx/combinators/filterEffect.d.ts.map +1 -1
  65. package/dist/Fx/combinators/filterEffect.js +22 -1
  66. package/dist/Fx/combinators/filterMap.d.ts +20 -1
  67. package/dist/Fx/combinators/filterMap.d.ts.map +1 -1
  68. package/dist/Fx/combinators/filterMap.js +20 -1
  69. package/dist/Fx/combinators/filterMapEffect.d.ts +21 -1
  70. package/dist/Fx/combinators/filterMapEffect.d.ts.map +1 -1
  71. package/dist/Fx/combinators/filterMapEffect.js +21 -1
  72. package/dist/Fx/combinators/filterMapLoop.d.ts +20 -1
  73. package/dist/Fx/combinators/filterMapLoop.d.ts.map +1 -1
  74. package/dist/Fx/combinators/filterMapLoop.js +20 -1
  75. package/dist/Fx/combinators/filterMapLoopCause.d.ts +21 -1
  76. package/dist/Fx/combinators/filterMapLoopCause.d.ts.map +1 -1
  77. package/dist/Fx/combinators/filterMapLoopCause.js +21 -1
  78. package/dist/Fx/combinators/filterMapLoopCauseEffect.d.ts +21 -1
  79. package/dist/Fx/combinators/filterMapLoopCauseEffect.d.ts.map +1 -1
  80. package/dist/Fx/combinators/filterMapLoopCauseEffect.js +21 -1
  81. package/dist/Fx/combinators/filterMapLoopEffect.d.ts +21 -1
  82. package/dist/Fx/combinators/filterMapLoopEffect.d.ts.map +1 -1
  83. package/dist/Fx/combinators/filterMapLoopEffect.js +21 -1
  84. package/dist/Fx/combinators/flatMap.d.ts +50 -5
  85. package/dist/Fx/combinators/flatMap.d.ts.map +1 -1
  86. package/dist/Fx/combinators/flatMap.js +36 -3
  87. package/dist/Fx/combinators/flatMapConcurrently.d.ts +51 -4
  88. package/dist/Fx/combinators/flatMapConcurrently.d.ts.map +1 -1
  89. package/dist/Fx/combinators/flatMapConcurrently.js +48 -2
  90. package/dist/Fx/combinators/flatMapConcurrentlyEffect.d.ts +48 -4
  91. package/dist/Fx/combinators/flatMapConcurrentlyEffect.d.ts.map +1 -1
  92. package/dist/Fx/combinators/flatMapConcurrentlyEffect.js +40 -2
  93. package/dist/Fx/combinators/flatMapEffect.d.ts +46 -4
  94. package/dist/Fx/combinators/flatMapEffect.d.ts.map +1 -1
  95. package/dist/Fx/combinators/flatMapEffect.js +32 -2
  96. package/dist/Fx/combinators/flip.d.ts +34 -2
  97. package/dist/Fx/combinators/flip.d.ts.map +1 -1
  98. package/dist/Fx/combinators/flip.js +34 -2
  99. package/dist/Fx/combinators/gen.d.ts +29 -10
  100. package/dist/Fx/combinators/gen.d.ts.map +1 -1
  101. package/dist/Fx/combinators/gen.js +28 -4
  102. package/dist/Fx/combinators/genScoped.d.ts +33 -10
  103. package/dist/Fx/combinators/genScoped.d.ts.map +1 -1
  104. package/dist/Fx/combinators/genScoped.js +31 -3
  105. package/dist/Fx/combinators/grouped.d.ts +89 -0
  106. package/dist/Fx/combinators/grouped.d.ts.map +1 -0
  107. package/dist/Fx/combinators/grouped.js +146 -0
  108. package/dist/Fx/combinators/index.d.ts +35 -0
  109. package/dist/Fx/combinators/index.d.ts.map +1 -1
  110. package/dist/Fx/combinators/index.js +35 -0
  111. package/dist/Fx/combinators/keyed.d.ts +123 -9
  112. package/dist/Fx/combinators/keyed.d.ts.map +1 -1
  113. package/dist/Fx/combinators/keyed.js +69 -11
  114. package/dist/Fx/combinators/loop.d.ts +17 -1
  115. package/dist/Fx/combinators/loop.d.ts.map +1 -1
  116. package/dist/Fx/combinators/loop.js +17 -1
  117. package/dist/Fx/combinators/loopCause.d.ts +18 -1
  118. package/dist/Fx/combinators/loopCause.d.ts.map +1 -1
  119. package/dist/Fx/combinators/loopCause.js +18 -1
  120. package/dist/Fx/combinators/loopCauseEffect.d.ts +19 -1
  121. package/dist/Fx/combinators/loopCauseEffect.d.ts.map +1 -1
  122. package/dist/Fx/combinators/loopCauseEffect.js +19 -1
  123. package/dist/Fx/combinators/loopEffect.d.ts +24 -1
  124. package/dist/Fx/combinators/loopEffect.d.ts.map +1 -1
  125. package/dist/Fx/combinators/loopEffect.js +24 -1
  126. package/dist/Fx/combinators/map.d.ts +46 -1
  127. package/dist/Fx/combinators/map.d.ts.map +1 -1
  128. package/dist/Fx/combinators/map.js +43 -1
  129. package/dist/Fx/combinators/mapBoth.d.ts +20 -1
  130. package/dist/Fx/combinators/mapBoth.d.ts.map +1 -1
  131. package/dist/Fx/combinators/mapBoth.js +20 -1
  132. package/dist/Fx/combinators/mapEffect.d.ts +25 -1
  133. package/dist/Fx/combinators/mapEffect.d.ts.map +1 -1
  134. package/dist/Fx/combinators/mapEffect.js +25 -1
  135. package/dist/Fx/combinators/mapError.d.ts +21 -5
  136. package/dist/Fx/combinators/mapError.d.ts.map +1 -1
  137. package/dist/Fx/combinators/mapError.js +21 -5
  138. package/dist/Fx/combinators/mergeAll.d.ts +35 -1
  139. package/dist/Fx/combinators/mergeAll.d.ts.map +1 -1
  140. package/dist/Fx/combinators/mergeAll.js +35 -1
  141. package/dist/Fx/combinators/mergeOrdered.d.ts +36 -4
  142. package/dist/Fx/combinators/mergeOrdered.d.ts.map +1 -1
  143. package/dist/Fx/combinators/mergeOrdered.js +68 -14
  144. package/dist/Fx/combinators/onError.d.ts +34 -4
  145. package/dist/Fx/combinators/onError.d.ts.map +1 -1
  146. package/dist/Fx/combinators/onError.js +34 -4
  147. package/dist/Fx/combinators/onExit.d.ts +29 -3
  148. package/dist/Fx/combinators/onExit.d.ts.map +1 -1
  149. package/dist/Fx/combinators/onExit.js +29 -3
  150. package/dist/Fx/combinators/onInterrupt.d.ts +49 -4
  151. package/dist/Fx/combinators/onInterrupt.d.ts.map +1 -1
  152. package/dist/Fx/combinators/onInterrupt.js +49 -4
  153. package/dist/Fx/combinators/pairwise.d.ts +28 -0
  154. package/dist/Fx/combinators/pairwise.d.ts.map +1 -0
  155. package/dist/Fx/combinators/pairwise.js +31 -0
  156. package/dist/Fx/combinators/provide.d.ts +141 -20
  157. package/dist/Fx/combinators/provide.d.ts.map +1 -1
  158. package/dist/Fx/combinators/provide.js +137 -16
  159. package/dist/Fx/combinators/race.d.ts +92 -0
  160. package/dist/Fx/combinators/race.d.ts.map +1 -0
  161. package/dist/Fx/combinators/race.js +149 -0
  162. package/dist/Fx/combinators/repeat.d.ts +41 -0
  163. package/dist/Fx/combinators/repeat.d.ts.map +1 -0
  164. package/dist/Fx/combinators/repeat.js +57 -0
  165. package/dist/Fx/combinators/result.d.ts +23 -1
  166. package/dist/Fx/combinators/result.d.ts.map +1 -1
  167. package/dist/Fx/combinators/result.js +27 -13
  168. package/dist/Fx/combinators/retry.d.ts +53 -0
  169. package/dist/Fx/combinators/retry.d.ts.map +1 -0
  170. package/dist/Fx/combinators/retry.js +71 -0
  171. package/dist/Fx/combinators/sample.d.ts +31 -0
  172. package/dist/Fx/combinators/sample.d.ts.map +1 -0
  173. package/dist/Fx/combinators/sample.js +42 -0
  174. package/dist/Fx/combinators/scan.d.ts +41 -2
  175. package/dist/Fx/combinators/scan.d.ts.map +1 -1
  176. package/dist/Fx/combinators/scan.js +43 -4
  177. package/dist/Fx/combinators/since.d.ts +30 -0
  178. package/dist/Fx/combinators/since.d.ts.map +1 -0
  179. package/dist/Fx/combinators/since.js +39 -0
  180. package/dist/Fx/combinators/skip.d.ts +33 -2
  181. package/dist/Fx/combinators/skip.d.ts.map +1 -1
  182. package/dist/Fx/combinators/skip.js +33 -2
  183. package/dist/Fx/combinators/skipRepeats.d.ts +17 -1
  184. package/dist/Fx/combinators/skipRepeats.d.ts.map +1 -1
  185. package/dist/Fx/combinators/skipRepeats.js +17 -1
  186. package/dist/Fx/combinators/skipRepeatsWith.d.ts +18 -1
  187. package/dist/Fx/combinators/skipRepeatsWith.d.ts.map +1 -1
  188. package/dist/Fx/combinators/skipRepeatsWith.js +18 -1
  189. package/dist/Fx/combinators/skipWhile.d.ts +72 -4
  190. package/dist/Fx/combinators/skipWhile.d.ts.map +1 -1
  191. package/dist/Fx/combinators/skipWhile.js +72 -4
  192. package/dist/Fx/combinators/slice.d.ts +85 -3
  193. package/dist/Fx/combinators/slice.d.ts.map +1 -1
  194. package/dist/Fx/combinators/slice.js +35 -2
  195. package/dist/Fx/combinators/switchMap.d.ts +39 -1
  196. package/dist/Fx/combinators/switchMap.d.ts.map +1 -1
  197. package/dist/Fx/combinators/switchMap.js +43 -5
  198. package/dist/Fx/combinators/switchMapEffect.d.ts +38 -1
  199. package/dist/Fx/combinators/switchMapEffect.d.ts.map +1 -1
  200. package/dist/Fx/combinators/switchMapEffect.js +38 -1
  201. package/dist/Fx/combinators/take.d.ts +34 -2
  202. package/dist/Fx/combinators/take.d.ts.map +1 -1
  203. package/dist/Fx/combinators/take.js +34 -2
  204. package/dist/Fx/combinators/takeUntil.d.ts +49 -3
  205. package/dist/Fx/combinators/takeUntil.d.ts.map +1 -1
  206. package/dist/Fx/combinators/takeUntil.js +49 -3
  207. package/dist/Fx/combinators/takeWhile.d.ts +33 -2
  208. package/dist/Fx/combinators/takeWhile.d.ts.map +1 -1
  209. package/dist/Fx/combinators/takeWhile.js +33 -2
  210. package/dist/Fx/combinators/tapEffect.d.ts +17 -1
  211. package/dist/Fx/combinators/tapEffect.d.ts.map +1 -1
  212. package/dist/Fx/combinators/tapEffect.js +17 -1
  213. package/dist/Fx/combinators/throttle.d.ts +79 -0
  214. package/dist/Fx/combinators/throttle.d.ts.map +1 -0
  215. package/dist/Fx/combinators/throttle.js +99 -0
  216. package/dist/Fx/combinators/timeout.d.ts +76 -0
  217. package/dist/Fx/combinators/timeout.d.ts.map +1 -0
  218. package/dist/Fx/combinators/timeout.js +110 -0
  219. package/dist/Fx/combinators/tuple.d.ts +32 -2
  220. package/dist/Fx/combinators/tuple.d.ts.map +1 -1
  221. package/dist/Fx/combinators/tuple.js +36 -5
  222. package/dist/Fx/combinators/until.d.ts +27 -0
  223. package/dist/Fx/combinators/until.d.ts.map +1 -0
  224. package/dist/Fx/combinators/until.js +56 -0
  225. package/dist/Fx/combinators/unwrap.d.ts +31 -2
  226. package/dist/Fx/combinators/unwrap.d.ts.map +1 -1
  227. package/dist/Fx/combinators/unwrap.js +30 -1
  228. package/dist/Fx/combinators/unwrapScoped.d.ts +34 -1
  229. package/dist/Fx/combinators/unwrapScoped.d.ts.map +1 -1
  230. package/dist/Fx/combinators/unwrapScoped.js +34 -1
  231. package/dist/Fx/combinators/when.d.ts +37 -2
  232. package/dist/Fx/combinators/when.d.ts.map +1 -1
  233. package/dist/Fx/combinators/when.js +38 -3
  234. package/dist/Fx/combinators/withLatestFrom.d.ts +58 -0
  235. package/dist/Fx/combinators/withLatestFrom.d.ts.map +1 -0
  236. package/dist/Fx/combinators/withLatestFrom.js +68 -0
  237. package/dist/Fx/combinators/withSpan.d.ts +35 -1
  238. package/dist/Fx/combinators/withSpan.d.ts.map +1 -1
  239. package/dist/Fx/combinators/withSpan.js +34 -3
  240. package/dist/Fx/combinators/zip.d.ts +64 -4
  241. package/dist/Fx/combinators/zip.d.ts.map +1 -1
  242. package/dist/Fx/combinators/zip.js +64 -4
  243. package/dist/Fx/constructors/at.d.ts +21 -1
  244. package/dist/Fx/constructors/at.d.ts.map +1 -1
  245. package/dist/Fx/constructors/at.js +21 -1
  246. package/dist/Fx/constructors/die.d.ts +22 -1
  247. package/dist/Fx/constructors/die.d.ts.map +1 -1
  248. package/dist/Fx/constructors/die.js +22 -1
  249. package/dist/Fx/constructors/empty.d.ts +19 -1
  250. package/dist/Fx/constructors/empty.d.ts.map +1 -1
  251. package/dist/Fx/constructors/empty.js +19 -1
  252. package/dist/Fx/constructors/fail.d.ts +22 -1
  253. package/dist/Fx/constructors/fail.d.ts.map +1 -1
  254. package/dist/Fx/constructors/fail.js +22 -1
  255. package/dist/Fx/constructors/failCause.d.ts +23 -1
  256. package/dist/Fx/constructors/failCause.d.ts.map +1 -1
  257. package/dist/Fx/constructors/failCause.js +23 -1
  258. package/dist/Fx/constructors/fn.d.ts +116 -16
  259. package/dist/Fx/constructors/fn.d.ts.map +1 -1
  260. package/dist/Fx/constructors/fn.js +36 -0
  261. package/dist/Fx/constructors/fromEffect.d.ts +45 -3
  262. package/dist/Fx/constructors/fromEffect.d.ts.map +1 -1
  263. package/dist/Fx/constructors/fromEffect.js +45 -3
  264. package/dist/Fx/constructors/fromFailures.d.ts +25 -1
  265. package/dist/Fx/constructors/fromFailures.d.ts.map +1 -1
  266. package/dist/Fx/constructors/fromFailures.js +25 -1
  267. package/dist/Fx/constructors/fromIterable.d.ts +23 -1
  268. package/dist/Fx/constructors/fromIterable.d.ts.map +1 -1
  269. package/dist/Fx/constructors/fromIterable.js +23 -1
  270. package/dist/Fx/constructors/fromSchedule.d.ts +26 -1
  271. package/dist/Fx/constructors/fromSchedule.d.ts.map +1 -1
  272. package/dist/Fx/constructors/fromSchedule.js +28 -3
  273. package/dist/Fx/constructors/index.d.ts +2 -1
  274. package/dist/Fx/constructors/index.d.ts.map +1 -1
  275. package/dist/Fx/constructors/index.js +2 -1
  276. package/dist/Fx/constructors/interrupt.d.ts +22 -2
  277. package/dist/Fx/constructors/interrupt.d.ts.map +1 -1
  278. package/dist/Fx/constructors/interrupt.js +22 -2
  279. package/dist/Fx/constructors/make.d.ts +151 -4
  280. package/dist/Fx/constructors/make.d.ts.map +1 -1
  281. package/dist/Fx/constructors/make.js +60 -7
  282. package/dist/Fx/constructors/periodic.d.ts +30 -1
  283. package/dist/Fx/constructors/periodic.d.ts.map +1 -1
  284. package/dist/Fx/constructors/periodic.js +30 -1
  285. package/dist/Fx/constructors/succeed.d.ts +79 -7
  286. package/dist/Fx/constructors/succeed.d.ts.map +1 -1
  287. package/dist/Fx/constructors/succeed.js +79 -7
  288. package/dist/Fx/constructors/suspend.d.ts +28 -0
  289. package/dist/Fx/constructors/suspend.d.ts.map +1 -1
  290. package/dist/Fx/constructors/suspend.js +28 -0
  291. package/dist/Fx/constructors/sync.d.ts +32 -0
  292. package/dist/Fx/constructors/sync.d.ts.map +1 -0
  293. package/dist/Fx/constructors/sync.js +32 -0
  294. package/dist/Fx/internal/DeferredRef.d.ts +259 -7
  295. package/dist/Fx/internal/DeferredRef.d.ts.map +1 -1
  296. package/dist/Fx/internal/DeferredRef.js +260 -9
  297. package/dist/Fx/internal/UnionToTuple.d.ts +22 -0
  298. package/dist/Fx/internal/UnionToTuple.d.ts.map +1 -1
  299. package/dist/Fx/internal/diff.d.ts +586 -0
  300. package/dist/Fx/internal/diff.d.ts.map +1 -1
  301. package/dist/Fx/internal/diff.js +120 -9
  302. package/dist/Fx/internal/effectableEvaluateKey.d.ts +30 -0
  303. package/dist/Fx/internal/effectableEvaluateKey.d.ts.map +1 -0
  304. package/dist/Fx/internal/effectableEvaluateKey.js +29 -0
  305. package/dist/Fx/internal/effectableWithOverride.d.ts +70 -0
  306. package/dist/Fx/internal/effectableWithOverride.d.ts.map +1 -0
  307. package/dist/Fx/internal/effectableWithOverride.js +54 -0
  308. package/dist/Fx/internal/equivalence.d.ts +29 -0
  309. package/dist/Fx/internal/equivalence.d.ts.map +1 -1
  310. package/dist/Fx/internal/equivalence.js +29 -0
  311. package/dist/Fx/internal/multicast.d.ts +145 -2
  312. package/dist/Fx/internal/multicast.d.ts.map +1 -1
  313. package/dist/Fx/internal/multicast.js +146 -4
  314. package/dist/Fx/internal/ring-buffer.d.ts +149 -0
  315. package/dist/Fx/internal/ring-buffer.d.ts.map +1 -1
  316. package/dist/Fx/internal/ring-buffer.js +155 -0
  317. package/dist/Fx/internal/scope.d.ts +184 -0
  318. package/dist/Fx/internal/scope.d.ts.map +1 -1
  319. package/dist/Fx/internal/scope.js +150 -0
  320. package/dist/Fx/internal/yieldable.d.ts +117 -2
  321. package/dist/Fx/internal/yieldable.d.ts.map +1 -1
  322. package/dist/Fx/internal/yieldable.js +86 -3
  323. package/dist/Fx/run/collect.d.ts +93 -4
  324. package/dist/Fx/run/collect.d.ts.map +1 -1
  325. package/dist/Fx/run/collect.js +94 -5
  326. package/dist/Fx/run/first.d.ts +23 -1
  327. package/dist/Fx/run/first.d.ts.map +1 -1
  328. package/dist/Fx/run/first.js +23 -1
  329. package/dist/Fx/run/fork.d.ts +52 -2
  330. package/dist/Fx/run/fork.d.ts.map +1 -1
  331. package/dist/Fx/run/fork.js +52 -2
  332. package/dist/Fx/run/observe.d.ts +112 -4
  333. package/dist/Fx/run/observe.d.ts.map +1 -1
  334. package/dist/Fx/run/observe.js +137 -16
  335. package/dist/Fx/run/runPromise.d.ts +45 -2
  336. package/dist/Fx/run/runPromise.d.ts.map +1 -1
  337. package/dist/Fx/run/runPromise.js +45 -2
  338. package/dist/Fx/stream.d.ts +92 -0
  339. package/dist/Fx/stream.d.ts.map +1 -1
  340. package/dist/Fx/stream.js +60 -1
  341. package/dist/Push/Push.d.ts +1229 -104
  342. package/dist/Push/Push.d.ts.map +1 -1
  343. package/dist/Push/Push.js +1024 -95
  344. package/dist/RefArray.d.ts +2 -0
  345. package/dist/RefArray.d.ts.map +1 -0
  346. package/dist/RefArray.js +1 -0
  347. package/dist/RefBigDecimal.d.ts +2 -0
  348. package/dist/RefBigDecimal.d.ts.map +1 -0
  349. package/dist/RefBigDecimal.js +1 -0
  350. package/dist/RefBigInt.d.ts +2 -0
  351. package/dist/RefBigInt.d.ts.map +1 -0
  352. package/dist/RefBigInt.js +1 -0
  353. package/dist/RefBoolean.d.ts +2 -0
  354. package/dist/RefBoolean.d.ts.map +1 -0
  355. package/dist/RefBoolean.js +1 -0
  356. package/dist/RefCause.d.ts +2 -0
  357. package/dist/RefCause.d.ts.map +1 -0
  358. package/dist/RefCause.js +1 -0
  359. package/dist/RefChunk.d.ts +2 -0
  360. package/dist/RefChunk.d.ts.map +1 -0
  361. package/dist/RefChunk.js +1 -0
  362. package/dist/RefDateTime.d.ts +2 -0
  363. package/dist/RefDateTime.d.ts.map +1 -0
  364. package/dist/RefDateTime.js +1 -0
  365. package/dist/RefDuration.d.ts +2 -0
  366. package/dist/RefDuration.d.ts.map +1 -0
  367. package/dist/RefDuration.js +1 -0
  368. package/dist/RefGraph.d.ts +2 -0
  369. package/dist/RefGraph.d.ts.map +1 -0
  370. package/dist/RefGraph.js +1 -0
  371. package/dist/RefHashMap.d.ts +2 -0
  372. package/dist/RefHashMap.d.ts.map +1 -0
  373. package/dist/RefHashMap.js +1 -0
  374. package/dist/RefHashRing.d.ts +2 -0
  375. package/dist/RefHashRing.d.ts.map +1 -0
  376. package/dist/RefHashRing.js +1 -0
  377. package/dist/RefHashSet.d.ts +2 -0
  378. package/dist/RefHashSet.d.ts.map +1 -0
  379. package/dist/RefHashSet.js +1 -0
  380. package/dist/RefIterable.d.ts +2 -0
  381. package/dist/RefIterable.d.ts.map +1 -0
  382. package/dist/RefIterable.js +1 -0
  383. package/dist/RefOption.d.ts +2 -0
  384. package/dist/RefOption.d.ts.map +1 -0
  385. package/dist/RefOption.js +1 -0
  386. package/dist/RefRecord.d.ts +2 -0
  387. package/dist/RefRecord.d.ts.map +1 -0
  388. package/dist/RefRecord.js +1 -0
  389. package/dist/RefResult.d.ts +2 -0
  390. package/dist/RefResult.d.ts.map +1 -0
  391. package/dist/RefResult.js +1 -0
  392. package/dist/RefString.d.ts +2 -0
  393. package/dist/RefString.d.ts.map +1 -0
  394. package/dist/RefString.js +1 -0
  395. package/dist/RefStruct.d.ts +2 -0
  396. package/dist/RefStruct.d.ts.map +1 -0
  397. package/dist/RefStruct.js +1 -0
  398. package/dist/RefSubject/Hydration.d.ts +504 -0
  399. package/dist/RefSubject/Hydration.d.ts.map +1 -0
  400. package/dist/RefSubject/Hydration.js +300 -0
  401. package/dist/RefSubject/RefArray.d.ts +382 -35
  402. package/dist/RefSubject/RefArray.d.ts.map +1 -1
  403. package/dist/RefSubject/RefArray.js +374 -40
  404. package/dist/RefSubject/RefBigDecimal.d.ts +241 -21
  405. package/dist/RefSubject/RefBigDecimal.d.ts.map +1 -1
  406. package/dist/RefSubject/RefBigDecimal.js +229 -20
  407. package/dist/RefSubject/RefBigInt.d.ts +181 -16
  408. package/dist/RefSubject/RefBigInt.d.ts.map +1 -1
  409. package/dist/RefSubject/RefBigInt.js +169 -15
  410. package/dist/RefSubject/RefBoolean.d.ts +181 -16
  411. package/dist/RefSubject/RefBoolean.d.ts.map +1 -1
  412. package/dist/RefSubject/RefBoolean.js +169 -15
  413. package/dist/RefSubject/RefCause.d.ts +133 -12
  414. package/dist/RefSubject/RefCause.d.ts.map +1 -1
  415. package/dist/RefSubject/RefCause.js +121 -11
  416. package/dist/RefSubject/RefChunk.d.ts +481 -76
  417. package/dist/RefSubject/RefChunk.d.ts.map +1 -1
  418. package/dist/RefSubject/RefChunk.js +471 -75
  419. package/dist/RefSubject/RefDateTime.d.ts +133 -12
  420. package/dist/RefSubject/RefDateTime.d.ts.map +1 -1
  421. package/dist/RefSubject/RefDateTime.js +122 -12
  422. package/dist/RefSubject/RefDuration.d.ts +169 -15
  423. package/dist/RefSubject/RefDuration.d.ts.map +1 -1
  424. package/dist/RefSubject/RefDuration.js +157 -14
  425. package/dist/RefSubject/RefGraph.d.ts +349 -35
  426. package/dist/RefSubject/RefGraph.d.ts.map +1 -1
  427. package/dist/RefSubject/RefGraph.js +334 -32
  428. package/dist/RefSubject/RefHashMap.d.ts +323 -28
  429. package/dist/RefSubject/RefHashMap.d.ts.map +1 -1
  430. package/dist/RefSubject/RefHashMap.js +317 -29
  431. package/dist/RefSubject/RefHashRing.d.ts +159 -15
  432. package/dist/RefSubject/RefHashRing.d.ts.map +1 -1
  433. package/dist/RefSubject/RefHashRing.js +145 -12
  434. package/dist/RefSubject/RefHashSet.d.ts +251 -22
  435. package/dist/RefSubject/RefHashSet.d.ts.map +1 -1
  436. package/dist/RefSubject/RefHashSet.js +238 -20
  437. package/dist/RefSubject/RefIterable.d.ts +358 -32
  438. package/dist/RefSubject/RefIterable.d.ts.map +1 -1
  439. package/dist/RefSubject/RefIterable.js +350 -30
  440. package/dist/RefSubject/RefOption.d.ts +157 -14
  441. package/dist/RefSubject/RefOption.d.ts.map +1 -1
  442. package/dist/RefSubject/RefOption.js +145 -13
  443. package/dist/RefSubject/RefRecord.d.ts +402 -64
  444. package/dist/RefSubject/RefRecord.d.ts.map +1 -1
  445. package/dist/RefSubject/RefRecord.js +364 -39
  446. package/dist/RefSubject/RefResult.d.ts +167 -35
  447. package/dist/RefSubject/RefResult.d.ts.map +1 -1
  448. package/dist/RefSubject/RefResult.js +133 -12
  449. package/dist/RefSubject/RefString.d.ts +205 -18
  450. package/dist/RefSubject/RefString.d.ts.map +1 -1
  451. package/dist/RefSubject/RefString.js +193 -17
  452. package/dist/RefSubject/RefStruct.d.ts +169 -14
  453. package/dist/RefSubject/RefStruct.d.ts.map +1 -1
  454. package/dist/RefSubject/RefStruct.js +157 -13
  455. package/dist/RefSubject/RefSubject.d.ts +1197 -45
  456. package/dist/RefSubject/RefSubject.d.ts.map +1 -1
  457. package/dist/RefSubject/RefSubject.js +935 -88
  458. package/dist/RefSubject/RefTrie.d.ts +323 -37
  459. package/dist/RefSubject/RefTrie.d.ts.map +1 -1
  460. package/dist/RefSubject/RefTrie.js +311 -31
  461. package/dist/RefSubject/RefTuple.d.ts +127 -11
  462. package/dist/RefSubject/RefTuple.d.ts.map +1 -1
  463. package/dist/RefSubject/RefTuple.js +114 -9
  464. package/dist/RefSubject/index.d.ts +1 -0
  465. package/dist/RefSubject/index.d.ts.map +1 -1
  466. package/dist/RefSubject/index.js +1 -0
  467. package/dist/RefSubject.d.ts +2 -1
  468. package/dist/RefSubject.d.ts.map +1 -1
  469. package/dist/RefSubject.js +2 -1
  470. package/dist/RefTrie.d.ts +2 -0
  471. package/dist/RefTrie.d.ts.map +1 -0
  472. package/dist/RefTrie.js +1 -0
  473. package/dist/RefTuple.d.ts +2 -0
  474. package/dist/RefTuple.d.ts.map +1 -0
  475. package/dist/RefTuple.js +1 -0
  476. package/dist/Sink/Sink.d.ts +396 -23
  477. package/dist/Sink/Sink.d.ts.map +1 -1
  478. package/dist/Sink/Sink.js +55 -7
  479. package/dist/Sink/combinators.d.ts +740 -11
  480. package/dist/Sink/combinators.d.ts.map +1 -1
  481. package/dist/Sink/combinators.js +716 -14
  482. package/dist/Subject/Subject.d.ts +1022 -27
  483. package/dist/Subject/Subject.d.ts.map +1 -1
  484. package/dist/Subject/Subject.js +909 -43
  485. package/dist/Versioned/Versioned.d.ts +447 -27
  486. package/dist/Versioned/Versioned.d.ts.map +1 -1
  487. package/dist/Versioned/Versioned.js +282 -48
  488. package/dist/index.d.ts +22 -3
  489. package/dist/index.d.ts.map +1 -1
  490. package/dist/index.js +22 -3
  491. package/package.json +126 -16
  492. package/dist/Fx/constructors/fromYieldable.d.ts +0 -12
  493. package/dist/Fx/constructors/fromYieldable.d.ts.map +0 -1
  494. package/dist/Fx/constructors/fromYieldable.js +0 -12
  495. package/src/Fx/Fx.ts +0 -164
  496. package/src/Fx/TypeId.ts +0 -25
  497. package/src/Fx/combinators/additive.ts +0 -142
  498. package/src/Fx/combinators/catch.ts +0 -421
  499. package/src/Fx/combinators/causes.ts +0 -23
  500. package/src/Fx/combinators/changesWithEffect.ts +0 -66
  501. package/src/Fx/combinators/compact.ts +0 -15
  502. package/src/Fx/combinators/continueWith.ts +0 -78
  503. package/src/Fx/combinators/dropUntil.ts +0 -47
  504. package/src/Fx/combinators/ensuring.ts +0 -23
  505. package/src/Fx/combinators/exhaustLatestMap.ts +0 -74
  506. package/src/Fx/combinators/exhaustLatestMapEffect.ts +0 -25
  507. package/src/Fx/combinators/exhaustMap.ts +0 -36
  508. package/src/Fx/combinators/exhaustMapEffect.ts +0 -23
  509. package/src/Fx/combinators/exit.ts +0 -15
  510. package/src/Fx/combinators/filter.ts +0 -22
  511. package/src/Fx/combinators/filterEffect.ts +0 -31
  512. package/src/Fx/combinators/filterMap.ts +0 -23
  513. package/src/Fx/combinators/filterMapEffect.ts +0 -32
  514. package/src/Fx/combinators/filterMapLoop.ts +0 -35
  515. package/src/Fx/combinators/filterMapLoopCause.ts +0 -36
  516. package/src/Fx/combinators/filterMapLoopCauseEffect.ts +0 -46
  517. package/src/Fx/combinators/filterMapLoopEffect.ts +0 -36
  518. package/src/Fx/combinators/flatMap.ts +0 -51
  519. package/src/Fx/combinators/flatMapConcurrently.ts +0 -39
  520. package/src/Fx/combinators/flatMapConcurrentlyEffect.ts +0 -26
  521. package/src/Fx/combinators/flatMapEffect.ts +0 -42
  522. package/src/Fx/combinators/flip.ts +0 -14
  523. package/src/Fx/combinators/gen.ts +0 -24
  524. package/src/Fx/combinators/genScoped.ts +0 -24
  525. package/src/Fx/combinators/index.ts +0 -61
  526. package/src/Fx/combinators/keyed.ts +0 -369
  527. package/src/Fx/combinators/loop.ts +0 -27
  528. package/src/Fx/combinators/loopCause.ts +0 -34
  529. package/src/Fx/combinators/loopCauseEffect.ts +0 -36
  530. package/src/Fx/combinators/loopEffect.ts +0 -34
  531. package/src/Fx/combinators/map.ts +0 -22
  532. package/src/Fx/combinators/mapBoth.ts +0 -40
  533. package/src/Fx/combinators/mapEffect.ts +0 -32
  534. package/src/Fx/combinators/mapError.ts +0 -28
  535. package/src/Fx/combinators/mergeAll.ts +0 -22
  536. package/src/Fx/combinators/mergeOrdered.ts +0 -123
  537. package/src/Fx/combinators/onError.ts +0 -40
  538. package/src/Fx/combinators/onExit.ts +0 -82
  539. package/src/Fx/combinators/onInterrupt.ts +0 -87
  540. package/src/Fx/combinators/provide.ts +0 -124
  541. package/src/Fx/combinators/result.ts +0 -39
  542. package/src/Fx/combinators/scan.ts +0 -82
  543. package/src/Fx/combinators/skip.ts +0 -41
  544. package/src/Fx/combinators/skipRepeats.ts +0 -15
  545. package/src/Fx/combinators/skipRepeatsWith.ts +0 -40
  546. package/src/Fx/combinators/skipWhile.ts +0 -100
  547. package/src/Fx/combinators/slice.ts +0 -55
  548. package/src/Fx/combinators/switchMap.ts +0 -55
  549. package/src/Fx/combinators/switchMapEffect.ts +0 -25
  550. package/src/Fx/combinators/take.ts +0 -38
  551. package/src/Fx/combinators/takeUntil.ts +0 -88
  552. package/src/Fx/combinators/takeWhile.ts +0 -47
  553. package/src/Fx/combinators/tapEffect.ts +0 -39
  554. package/src/Fx/combinators/tuple.ts +0 -79
  555. package/src/Fx/combinators/unwrap.ts +0 -21
  556. package/src/Fx/combinators/unwrapScoped.ts +0 -26
  557. package/src/Fx/combinators/when.ts +0 -64
  558. package/src/Fx/combinators/withSpan.ts +0 -24
  559. package/src/Fx/combinators/zip.ts +0 -175
  560. package/src/Fx/constructors/at.ts +0 -23
  561. package/src/Fx/constructors/die.ts +0 -17
  562. package/src/Fx/constructors/empty.ts +0 -10
  563. package/src/Fx/constructors/fail.ts +0 -14
  564. package/src/Fx/constructors/failCause.ts +0 -14
  565. package/src/Fx/constructors/fn.ts +0 -245
  566. package/src/Fx/constructors/fromEffect.ts +0 -24
  567. package/src/Fx/constructors/fromFailures.ts +0 -19
  568. package/src/Fx/constructors/fromIterable.ts +0 -15
  569. package/src/Fx/constructors/fromSchedule.ts +0 -18
  570. package/src/Fx/constructors/fromYieldable.ts +0 -17
  571. package/src/Fx/constructors/index.ts +0 -15
  572. package/src/Fx/constructors/interrupt.ts +0 -13
  573. package/src/Fx/constructors/make.ts +0 -103
  574. package/src/Fx/constructors/periodic.ts +0 -15
  575. package/src/Fx/constructors/succeed.ts +0 -37
  576. package/src/Fx/constructors/suspend.ts +0 -6
  577. package/src/Fx/index.ts +0 -6
  578. package/src/Fx/internal/DeferredRef.ts +0 -87
  579. package/src/Fx/internal/UnionToTuple.ts +0 -12
  580. package/src/Fx/internal/diff.ts +0 -191
  581. package/src/Fx/internal/equivalence.ts +0 -12
  582. package/src/Fx/internal/multicast.ts +0 -51
  583. package/src/Fx/internal/ring-buffer.ts +0 -60
  584. package/src/Fx/internal/scope.ts +0 -58
  585. package/src/Fx/internal/yieldable.ts +0 -31
  586. package/src/Fx/run/collect.ts +0 -79
  587. package/src/Fx/run/first.ts +0 -20
  588. package/src/Fx/run/fork.ts +0 -40
  589. package/src/Fx/run/index.ts +0 -5
  590. package/src/Fx/run/observe.ts +0 -114
  591. package/src/Fx/run/runPromise.ts +0 -32
  592. package/src/Fx/stream.ts +0 -42
  593. package/src/Fx.additive-combinators.test.ts +0 -126
  594. package/src/Fx.catch-additive.test.ts +0 -206
  595. package/src/Fx.catch.test.ts +0 -60
  596. package/src/Fx.dropUntil.test.ts +0 -61
  597. package/src/Fx.fn.test.ts +0 -51
  598. package/src/Fx.lifecycle.test.ts +0 -79
  599. package/src/Fx.mapError-mapBoth.test.ts +0 -101
  600. package/src/Fx.provide-combinators.test.ts +0 -94
  601. package/src/Fx.result-changesWithEffect.test.ts +0 -112
  602. package/src/Fx.scan.test.ts +0 -73
  603. package/src/Fx.takeWhile-skipWhile.test.ts +0 -84
  604. package/src/Fx.test.ts +0 -71
  605. package/src/Fx.ts +0 -1
  606. package/src/Fx.zip-merge-additive.test.ts +0 -171
  607. package/src/Fx.zip.test.ts +0 -133
  608. package/src/Push/Push.ts +0 -1072
  609. package/src/Push/index.ts +0 -1
  610. package/src/Push.additive.test.ts +0 -256
  611. package/src/Push.test.ts +0 -26
  612. package/src/Push.ts +0 -1
  613. package/src/RefSubject/RefArray.ts +0 -512
  614. package/src/RefSubject/RefBigDecimal.test.ts +0 -56
  615. package/src/RefSubject/RefBigDecimal.ts +0 -295
  616. package/src/RefSubject/RefBigInt.test.ts +0 -56
  617. package/src/RefSubject/RefBigInt.ts +0 -189
  618. package/src/RefSubject/RefBoolean.test.ts +0 -57
  619. package/src/RefSubject/RefBoolean.ts +0 -185
  620. package/src/RefSubject/RefCause.test.ts +0 -53
  621. package/src/RefSubject/RefCause.ts +0 -146
  622. package/src/RefSubject/RefChunk.ts +0 -510
  623. package/src/RefSubject/RefDateTime.test.ts +0 -43
  624. package/src/RefSubject/RefDateTime.ts +0 -264
  625. package/src/RefSubject/RefDuration.test.ts +0 -49
  626. package/src/RefSubject/RefDuration.ts +0 -188
  627. package/src/RefSubject/RefGraph.ts +0 -650
  628. package/src/RefSubject/RefHashMap.ts +0 -465
  629. package/src/RefSubject/RefHashRing.ts +0 -262
  630. package/src/RefSubject/RefHashSet.ts +0 -308
  631. package/src/RefSubject/RefIterable.ts +0 -445
  632. package/src/RefSubject/RefOption.test.ts +0 -67
  633. package/src/RefSubject/RefOption.ts +0 -193
  634. package/src/RefSubject/RefRecord.ts +0 -612
  635. package/src/RefSubject/RefResult.test.ts +0 -63
  636. package/src/RefSubject/RefResult.ts +0 -209
  637. package/src/RefSubject/RefString.test.ts +0 -61
  638. package/src/RefSubject/RefString.ts +0 -256
  639. package/src/RefSubject/RefStruct.test.ts +0 -60
  640. package/src/RefSubject/RefStruct.ts +0 -253
  641. package/src/RefSubject/RefSubject.ts +0 -2646
  642. package/src/RefSubject/RefTrie.ts +0 -356
  643. package/src/RefSubject/RefTuple.test.ts +0 -60
  644. package/src/RefSubject/RefTuple.ts +0 -231
  645. package/src/RefSubject/index.ts +0 -21
  646. package/src/RefSubject.additive-parity.test.ts +0 -101
  647. package/src/RefSubject.test.ts +0 -65
  648. package/src/RefSubject.ts +0 -1
  649. package/src/Sink/Sink.ts +0 -159
  650. package/src/Sink/combinators.ts +0 -1115
  651. package/src/Sink/index.ts +0 -2
  652. package/src/Sink.combinators.test.ts +0 -88
  653. package/src/Sink.reduce-collect-head-last.test.ts +0 -107
  654. package/src/Sink.ts +0 -1
  655. package/src/Subject/Subject.ts +0 -441
  656. package/src/Subject/index.ts +0 -1
  657. package/src/Subject.test.ts +0 -47
  658. package/src/Subject.ts +0 -1
  659. package/src/Versioned/Versioned.ts +0 -597
  660. package/src/Versioned/index.ts +0 -1
  661. package/src/Versioned.filterMap.test.ts +0 -91
  662. package/src/Versioned.test.ts +0 -23
  663. package/src/Versioned.ts +0 -1
  664. package/src/index.ts +0 -7
@@ -1,597 +0,0 @@
1
- /** @effect-diagnostics missingEffectError:skip-file */
2
- /** @effect-diagnostics missingEffectContext:skip-file */
3
-
4
- /**
5
- * Versioned is a special Fx which is also an Effect, and keeps track of a version number of the
6
- * current value it holds. The Fx portion is used to subscribe to changes, the Effect portion to
7
- * sample the current value. The version can be utilized to avoid computing work related to this value.
8
- * @since 1.0.0
9
- */
10
-
11
- import * as Effect from "effect/Effect";
12
- import * as Exit from "effect/Exit";
13
- import { dual, flow, identity } from "effect/Function";
14
- import * as Layer from "effect/Layer";
15
- import { sum } from "effect/Number";
16
- import * as Option from "effect/Option";
17
- import { pipeArguments } from "effect/Pipeable";
18
- import type * as Scope from "effect/Scope";
19
- import * as ServiceMap from "effect/ServiceMap";
20
- import { filterMap as fxFilterMap } from "../Fx/combinators/filterMap.js";
21
- import { filterMapEffect as fxFilterMapEffect } from "../Fx/combinators/filterMapEffect.js";
22
- import { map as fxMap } from "../Fx/combinators/map.js";
23
- import { mapEffect as fxMapEffect } from "../Fx/combinators/mapEffect.js";
24
- import {
25
- provide as fxProvide,
26
- provideServices as fxProvideServices,
27
- } from "../Fx/combinators/provide.js";
28
- import { struct as fxStruct, tuple as fxTuple } from "../Fx/combinators/tuple.js";
29
- import { succeed as fxSucceed } from "../Fx/constructors/succeed.js";
30
- import type * as Fx from "../Fx/Fx.js";
31
- import { MulticastEffect } from "../Fx/internal/multicast.js";
32
- import { YieldableFx } from "../Fx/internal/yieldable.js";
33
- import { FxTypeId } from "../Fx/TypeId.js";
34
- import type * as Sink from "../Sink/Sink.js";
35
- import * as Subject from "../Subject/Subject.js";
36
-
37
- // TODO: dualize
38
- // TODO: context abstraction
39
- // TODO: More operators
40
-
41
- /**
42
- * A Versioned value is a value that changes over time, and each change is associated with a version number.
43
- * It combines the capabilities of an `Fx` (to observe changes) and an `Effect` (to get the current value).
44
- *
45
- * @since 1.0.0
46
- * @category models
47
- */
48
- export interface Versioned<out R1, out E1, out A2, out E2, out R2, out A3, out E3, out R3>
49
- extends
50
- Fx.Fx<A2, E2, R2>,
51
- Effect.Yieldable<Versioned<R1, E1, A2, E2, R2, A3, E3, R3>, A3, E3, R3> {
52
- readonly version: Effect.Effect<number, E1, R1>;
53
- readonly interrupt: Effect.Effect<void, never, R1>;
54
- }
55
-
56
- export namespace Versioned {
57
- /**
58
- * Unifies a Versioned type.
59
- * @since 1.0.0
60
- * @category type-level
61
- */
62
- export type Unify<T> = T extends
63
- | Versioned<infer R1, infer E1, infer R2, infer E2, infer A2, infer R3, infer E3, infer A3>
64
- | (infer _)
65
- ? Versioned<R1, E1, A2, E2, R2, A3, E3, R3>
66
- : never;
67
-
68
- /**
69
- * Extracts the context required to get the version.
70
- * @since 1.0.0
71
- * @category type-level
72
- */
73
- export type VersionContext<T> =
74
- T extends Versioned<infer R, any, any, any, any, any, any, any> ? R : never;
75
-
76
- /**
77
- * Extracts the error type of the version effect.
78
- * @since 1.0.0
79
- * @category type-level
80
- */
81
- export type VersionError<T> =
82
- T extends Versioned<any, infer E, any, any, any, any, any, any> ? E : never;
83
-
84
- export interface Service<Self, Id extends string, E1, A2, E2, A3, E3> extends Versioned<
85
- Self,
86
- E1,
87
- A2,
88
- E2,
89
- Self,
90
- A3,
91
- E3,
92
- Self
93
- > {
94
- readonly id: Id;
95
- readonly service: ServiceMap.Service<Self, Versioned<never, E1, A2, E2, never, A3, E3, never>>;
96
- readonly make: <R1 = never, R2 = never, R3 = never>(
97
- version: Effect.Effect<number, E1, R1>,
98
- fx: Fx.Fx<A2, E2, R2>,
99
- effect: Effect.Yieldable<any, A3, E3, R3>,
100
- ) => Layer.Layer<Self, never, Exclude<R1 | R2 | R3, Scope.Scope>>;
101
- }
102
-
103
- export interface Class<Self, Id extends string, E1, A2, E2, A3, E3> extends Service<
104
- Self,
105
- Id,
106
- E1,
107
- A2,
108
- E2,
109
- A3,
110
- E3
111
- > {
112
- new (): Service<Self, Id, E1, A2, E2, A3, E3>;
113
- }
114
- }
115
-
116
- /**
117
- * Creates a Versioned value from its components.
118
- *
119
- * @param version - An effect that retrieves the current version number.
120
- * @param fx - The stream of updates.
121
- * @param effect - An effect that retrieves the current value.
122
- * @returns A `Versioned` value.
123
- * @since 1.0.0
124
- * @category constructors
125
- */
126
- export function make<R1, E1, A2, E2, R2, A3, E3, R3>(
127
- version: Effect.Effect<number, E1, R1>,
128
- fx: Fx.Fx<A2, E2, R2>,
129
- effect: Effect.Yieldable<any, A3, E3, R3>,
130
- ): Versioned<R1, E1, A2, E2, R2, A3, E3, R3> {
131
- return new VersionedImpl(version, fx, effect.asEffect());
132
- }
133
-
134
- class VersionedImpl<R1, E1, A2, E2, R2, A3, E3, R3>
135
- extends YieldableFx<A2, E2, R2, A3, E3, R3>
136
- implements Versioned<R1, E1, A2, E2, R2, A3, E3, R3>
137
- {
138
- readonly version: Effect.Effect<number, E1, R1>;
139
- readonly fx: Fx.Fx<A2, E2, R2>;
140
- readonly effect: MulticastEffect<A3, E3, R3>;
141
-
142
- constructor(
143
- version: Effect.Effect<number, E1, R1>,
144
- fx: Fx.Fx<A2, E2, R2>,
145
- effect: Effect.Effect<A3, E3, R3>,
146
- ) {
147
- super();
148
- this.version = version;
149
- this.fx = fx;
150
- this.effect = new MulticastEffect(effect);
151
- }
152
-
153
- run<R3>(sink: Sink.Sink<A2, E2, R3>): Effect.Effect<unknown, never, R2 | R3> {
154
- return this.fx.run(sink);
155
- }
156
-
157
- toEffect(): Effect.Effect<A3, E3, R3> {
158
- return this.effect.asEffect();
159
- }
160
-
161
- interrupt = Effect.suspend(() => this.effect.interrupt());
162
- }
163
-
164
- /**
165
- * Transforms a Versioned value into another Versioned value.
166
- *
167
- * @param input - The source Versioned value.
168
- * @param transformFx - A function to transform the update stream.
169
- * @param transformGet - A function to transform the current value effect.
170
- * @returns A new `Versioned` value.
171
- * @since 1.0.0
172
- * @category combinators
173
- */
174
- export function transform<R0, E0, A, E, R, B, E2, R2, C, E3, R3, D, E4, R4>(
175
- input: Versioned<R0, E0, A, E, R, B, E2, R2>,
176
- transformFx: (fx: Fx.Fx<A, E, R>) => Fx.Fx<C, E3, R3>,
177
- transformGet: (effect: Effect.Effect<B, E2, R2>) => Effect.Effect<D, E4, R4>,
178
- ): Versioned<never, never, C, E3, R3, D, E0 | E4, R0 | R4> {
179
- if (isVersionedTransform(input)) {
180
- return new VersionedTransform(
181
- input.input,
182
- flow(input._transformFx, transformFx),
183
- flow(input._transformEffect, transformGet),
184
- );
185
- } else {
186
- return new VersionedTransform(input, transformFx, transformGet);
187
- }
188
- }
189
-
190
- /**
191
- * @internal
192
- */
193
- export class VersionedTransform<R0, E0, A, E, R, B, E2, R2, C, E3, R3, D, E4, R4>
194
- extends YieldableFx<C, E3, R3, D, E0 | E4, R0 | R4>
195
- implements Versioned<never, never, C, E3, R3, D, E0 | E4, R0 | R4>
196
- {
197
- public _version = -1;
198
- public _currentValue: Option.Option<Exit.Exit<D, E0 | E4>> = Option.none();
199
- public _fx: Fx.Fx<C, E3, R3>;
200
-
201
- readonly input: Versioned<R0, E0, A, E, R, B, E2, R2>;
202
- readonly _transformFx: (fx: Fx.Fx<A, E, R>) => Fx.Fx<C, E3, R3>;
203
- readonly _transformEffect: (effect: Effect.Effect<B, E2, R2>) => Effect.Effect<D, E4, R4>;
204
-
205
- constructor(
206
- input: Versioned<R0, E0, A, E, R, B, E2, R2>,
207
- _transformFx: (fx: Fx.Fx<A, E, R>) => Fx.Fx<C, E3, R3>,
208
- _transformEffect: (effect: Effect.Effect<B, E2, R2>) => Effect.Effect<D, E4, R4>,
209
- ) {
210
- super();
211
-
212
- this.input = input;
213
- this._transformFx = _transformFx;
214
- this._transformEffect = _transformEffect;
215
- this._fx = _transformFx(this.input);
216
- }
217
-
218
- readonly version = Effect.sync(() => this._version);
219
-
220
- run<R5>(sink: Sink.Sink<C, E3, R5>): Effect.Effect<unknown, never, R3 | R5> {
221
- return this._fx.run(sink);
222
- }
223
-
224
- toEffect(): Effect.Effect<D, E0 | E4, R0 | R4> {
225
- const transformed = this._transformEffect(this.input.asEffect());
226
- const update = (v: number) =>
227
- Effect.tapCause(
228
- Effect.tap(transformed, (value) =>
229
- Effect.sync(() => {
230
- this._currentValue = Option.some(Exit.succeed(value));
231
- this._version = v;
232
- }),
233
- ),
234
- (cause) =>
235
- Effect.sync(() => {
236
- this._currentValue = Option.some(Exit.failCause(cause));
237
- this._version = v;
238
- }),
239
- );
240
-
241
- const multicastEffect = new MulticastEffect(
242
- Effect.flatMap(this.input.version, (version) => {
243
- if (version === this._version && Option.isSome(this._currentValue)) {
244
- return this._currentValue.value;
245
- }
246
-
247
- return update(version);
248
- }),
249
- );
250
-
251
- return multicastEffect.asEffect();
252
- }
253
-
254
- interrupt: Effect.Effect<void, never, never> = Effect.suspend(() => {
255
- if (!this._effect) return Effect.void;
256
- const me = this._effect as unknown as MulticastEffect<D, E0 | E4, R0 | R4>;
257
- return me.interrupt();
258
- });
259
- }
260
-
261
- function isVersionedTransform(
262
- u: unknown,
263
- ): u is VersionedTransform<any, any, any, any, any, any, any, any, any, any, any, any, any, any> {
264
- return u instanceof VersionedTransform;
265
- }
266
-
267
- /**
268
- * Transform a Versioned's output value as both an Fx and Effect.
269
- * @since 1.18.0
270
- * @category combinators
271
- */
272
- export const map: {
273
- <A, E, R, C, B, D>(options: {
274
- onFx: (a: A) => C;
275
- onEffect: (b: B) => D;
276
- }): <R0, E0, R2, E2>(
277
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
278
- ) => Versioned<never, never, C, E, R, D, E0 | E2, R0 | R2>;
279
-
280
- <R0, E0, A, E, R, B, E2, R2, C, D>(
281
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
282
- options: {
283
- onFx: (a: A) => C;
284
- onEffect: (b: B) => D;
285
- },
286
- ): Versioned<never, never, C, E, R, D, E0 | E2, R0 | R2>;
287
- } = dual(
288
- 2,
289
- function map<R0, E0, A, E, R, B, E2, R2, C, D>(
290
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
291
- options: {
292
- onFx: (a: A) => C;
293
- onEffect: (b: B) => D;
294
- },
295
- ): Versioned<never, never, C, E, R, D, E0 | E2, R0 | R2> {
296
- return transform(versioned, (fx) => fxMap(fx, options.onFx), Effect.map(options.onEffect));
297
- },
298
- );
299
-
300
- /**
301
- * Transform a Versioned's output value as both an Fx and Effect using an Effect.
302
- * @since 1.18.0
303
- * @category combinators
304
- */
305
- export const mapEffect: {
306
- <A, C, E3, R3, B, D, E4, R4>(options: {
307
- onFx: (a: A) => Effect.Effect<C, E3, R3>;
308
- onEffect: (b: B) => Effect.Effect<D, E4, R4>;
309
- }): <R0, E0, R, E, R2, E2>(
310
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
311
- ) => Versioned<never, never, C, E | E3, R | R3, D, E0 | E2 | E4, R0 | R2 | R4>;
312
-
313
- <R0, E0, A, E, R, B, E2, R2, C, E3, R3, D, E4, R4>(
314
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
315
- options: {
316
- onFx: (a: A) => Effect.Effect<C, E3, R3>;
317
- onEffect: (b: B) => Effect.Effect<D, E4, R4>;
318
- },
319
- ): Versioned<never, never, C, E | E3, R | R3, D, E0 | E2 | E4, R0 | R2 | R4>;
320
- } = dual(
321
- 2,
322
- function mapEffect<R0, E0, A, E, R, B, E2, R2, C, E3, R3, D, E4, R4>(
323
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
324
- options: {
325
- onFx: (a: A) => Effect.Effect<C, E3, R3>;
326
- onEffect: (b: B) => Effect.Effect<D, E4, R4>;
327
- },
328
- ): Versioned<never, never, C, E | E3, R | R3, D, E0 | E2 | E4, R0 | R2 | R4> {
329
- return transform(
330
- versioned,
331
- (fx) => fxMapEffect(fx, options.onFx),
332
- Effect.flatMap(options.onEffect),
333
- );
334
- },
335
- );
336
-
337
- /**
338
- * Filter-maps a Versioned's output as both an Fx and Effect; the Effect value becomes `Option` (Some when the predicate holds, None otherwise).
339
- * @since 1.18.0
340
- * @category combinators
341
- */
342
- export const filterMap: {
343
- <A, E, R, C, B, D>(options: {
344
- onFx: (a: A) => Option.Option<C>;
345
- onEffect: (b: B) => Option.Option<D>;
346
- }): <R0, E0, R2, E2>(
347
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
348
- ) => Versioned<never, never, C, E, R, Option.Option<D>, E0 | E2, R0 | R2>;
349
-
350
- <R0, E0, A, E, R, B, E2, R2, C, D>(
351
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
352
- options: {
353
- onFx: (a: A) => Option.Option<C>;
354
- onEffect: (b: B) => Option.Option<D>;
355
- },
356
- ): Versioned<never, never, C, E, R, Option.Option<D>, E0 | E2, R0 | R2>;
357
- } = dual(
358
- 2,
359
- function filterMap<R0, E0, A, E, R, B, E2, R2, C, D>(
360
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
361
- options: {
362
- onFx: (a: A) => Option.Option<C>;
363
- onEffect: (b: B) => Option.Option<D>;
364
- },
365
- ): Versioned<never, never, C, E, R, Option.Option<D>, E0 | E2, R0 | R2> {
366
- return transform(
367
- versioned,
368
- (fx) => fxFilterMap(fx, options.onFx),
369
- (effect) => Effect.map(effect, options.onEffect),
370
- );
371
- },
372
- );
373
-
374
- /**
375
- * Filter-maps a Versioned's output as both an Fx and Effect using an Effect; the Effect value becomes `Option`.
376
- * @since 1.18.0
377
- * @category combinators
378
- */
379
- export const filterMapEffect: {
380
- <A, C, E3, R3, B, D, E4, R4>(options: {
381
- onFx: (a: A) => Effect.Effect<Option.Option<C>, E3, R3>;
382
- onEffect: (b: B) => Effect.Effect<Option.Option<D>, E4, R4>;
383
- }): <R0, E0, R, E, R2, E2>(
384
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
385
- ) => Versioned<never, never, C, E | E3, R | R3, Option.Option<D>, E0 | E2 | E4, R0 | R2 | R4>;
386
-
387
- <R0, E0, A, E, R, B, E2, R2, C, E3, R3, D, E4, R4>(
388
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
389
- options: {
390
- onFx: (a: A) => Effect.Effect<Option.Option<C>, E3, R3>;
391
- onEffect: (b: B) => Effect.Effect<Option.Option<D>, E4, R4>;
392
- },
393
- ): Versioned<never, never, C, E | E3, R | R3, Option.Option<D>, E0 | E2 | E4, R0 | R2 | R4>;
394
- } = dual(
395
- 2,
396
- function filterMapEffect<R0, E0, A, E, R, B, E2, R2, C, E3, R3, D, E4, R4>(
397
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
398
- options: {
399
- onFx: (a: A) => Effect.Effect<Option.Option<C>, E3, R3>;
400
- onEffect: (b: B) => Effect.Effect<Option.Option<D>, E4, R4>;
401
- },
402
- ): Versioned<never, never, C, E | E3, R | R3, Option.Option<D>, E0 | E2 | E4, R0 | R2 | R4> {
403
- return transform(
404
- versioned,
405
- (fx) => fxFilterMapEffect(fx, options.onFx),
406
- (effect) => Effect.flatMap(effect, options.onEffect),
407
- );
408
- },
409
- );
410
-
411
- /**
412
- * Combines multiple Versioned values into a single tuple.
413
- * @since 1.0.0
414
- * @category combinators
415
- */
416
- export function tuple<
417
- const VS extends ReadonlyArray<Versioned<any, any, any, any, any, any, any, any>>,
418
- >(
419
- versioneds: VS,
420
- ): Versioned<
421
- Versioned.VersionContext<VS[number]>,
422
- Versioned.VersionError<VS[number]>,
423
- { readonly [K in keyof VS]: Effect.Success<VS[K]> },
424
- Fx.Error<VS[number]>,
425
- Fx.Services<VS[number]>,
426
- { readonly [K in keyof VS]: Fx.Success<VS[K]> },
427
- Effect.Error<VS[number]>,
428
- Effect.Services<VS[number]>
429
- > {
430
- return make(
431
- Effect.map(Effect.all(versioneds.map((v) => v.version)), (versions) => versions.reduce(sum, 0)),
432
- fxTuple(...versioneds),
433
- Effect.all(
434
- versioneds.map((v) => v.asEffect()),
435
- { concurrency: "unbounded" },
436
- ),
437
- ) as any;
438
- }
439
-
440
- /**
441
- * Combines multiple Versioned values into a single struct.
442
- * @since 1.0.0
443
- * @category combinators
444
- */
445
- export function struct<
446
- const VS extends Readonly<Record<string, Versioned<any, any, any, any, any, any, any, any>>>,
447
- >(
448
- versioneds: VS,
449
- ): Versioned<
450
- Versioned.VersionContext<VS[keyof VS]>,
451
- Versioned.VersionError<VS[keyof VS]>,
452
- { readonly [K in keyof VS]: Fx.Success<VS[K]> },
453
- Fx.Error<VS[keyof VS]>,
454
- Fx.Services<VS[keyof VS]>,
455
- { readonly [K in keyof VS]: Effect.Success<VS[K]> },
456
- Effect.Error<VS[keyof VS]>,
457
- Effect.Services<VS[keyof VS]>
458
- > {
459
- return make(
460
- Effect.map(Effect.all(Object.values(versioneds).map((v) => v.version)), (versions) =>
461
- versions.reduce(sum, 0),
462
- ),
463
- fxStruct(versioneds),
464
- Effect.all(
465
- mapRecord(versioneds, (v) => v.asEffect()),
466
- { concurrency: "unbounded" },
467
- ) as any,
468
- );
469
- }
470
-
471
- /**
472
- * Provides context to a Versioned value.
473
- * @since 1.0.0
474
- * @category combinators
475
- */
476
- export const provide = <R0, E0, A, E, R, B, E2, R2, R3 = never, S = never>(
477
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
478
- layer: Layer.Layer<S, never, R3>,
479
- ): Versioned<R3 | Exclude<R0, S>, E0, A, E, R3 | Exclude<R, S>, B, E2, R3 | Exclude<R2, S>> => {
480
- return make(
481
- Effect.provide(versioned.version, layer),
482
- fxProvide(versioned, layer),
483
- Effect.provide(versioned.asEffect(), layer),
484
- );
485
- };
486
-
487
- function mapRecord<K extends string, V, R>(
488
- record: Record<K, V>,
489
- f: (v: V, k: K) => R,
490
- ): Record<K, R> {
491
- return Object.fromEntries(Object.entries<V>(record).map(([k, v]) => [k, f(v, k as K)])) as Record<
492
- K,
493
- R
494
- >;
495
- }
496
-
497
- /**
498
- * Creates a Versioned value from a constant.
499
- * @since 1.0.0
500
- * @category constructors
501
- */
502
- export function of<A>(value: A): Versioned<never, never, A, never, never, A, never, never> {
503
- return make(Effect.succeed(1), fxSucceed(value), Effect.succeed(value));
504
- }
505
-
506
- /**
507
- * Holds the latest value of a Versioned stream.
508
- * @since 1.0.0
509
- * @category combinators
510
- */
511
- export function hold<R0, E0, A, E, R, B, E2, R2>(
512
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
513
- ): Versioned<R0, E0, A, E, R | Scope.Scope, B, E2, R2> {
514
- return make(versioned.version, Subject.hold(versioned), versioned);
515
- }
516
-
517
- /**
518
- * Multicasts a Versioned stream.
519
- * @since 1.0.0
520
- * @category combinators
521
- */
522
- export function multicast<R0, E0, A, E, R, B, E2, R2>(
523
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
524
- ): Versioned<R0, E0, A, E, R | Scope.Scope, B, E2, R2> {
525
- return make(versioned.version, Subject.multicast(versioned), versioned);
526
- }
527
-
528
- /**
529
- * Replays the last `bufferSize` values of a Versioned stream.
530
- * @since 1.0.0
531
- * @category combinators
532
- */
533
- export function replay<R0, E0, A, E, R, B, E2, R2>(
534
- versioned: Versioned<R0, E0, A, E, R, B, E2, R2>,
535
- bufferSize: number,
536
- ): Versioned<R0, E0, A, E, R | Scope.Scope, B, E2, R2> {
537
- return make(versioned.version, Subject.replay(versioned, bufferSize), versioned);
538
- }
539
-
540
- const VARIANCE = {
541
- _A: identity,
542
- _E: identity,
543
- _R: identity,
544
- };
545
-
546
- export function Service<Self, E1 = never, A2 = never, E2 = never, A3 = never, E3 = never>() {
547
- return <const Id extends string>(id: Id): Versioned.Class<Self, Id, E1, A2, E2, A3, E3> => {
548
- const service = ServiceMap.Service<Self, Versioned<never, E1, A2, E2, never, A3, E3, never>>(
549
- id,
550
- );
551
-
552
- // eslint-disable-next-line @typescript-eslint/no-extraneous-class
553
- return class VersionedService {
554
- static readonly id = id;
555
- static readonly service = service;
556
-
557
- static readonly make = <R1 = never, R2 = never, R3 = never>(
558
- version: Effect.Effect<number, E1, R1>,
559
- fx: Fx.Fx<A2, E2, R2>,
560
- effect: Effect.Yieldable<any, A3, E3, R3>,
561
- ): Layer.Layer<Self, never, Exclude<R1 | R2 | R3, Scope.Scope>> =>
562
- Layer.effect(
563
- service,
564
- Effect.services<R1 | R2 | R3>().pipe(
565
- Effect.map((context) =>
566
- make(
567
- Effect.provide(version, context),
568
- fxProvideServices(fx, context),
569
- Effect.provide(effect.asEffect(), context),
570
- ),
571
- ),
572
- ),
573
- );
574
-
575
- static readonly [FxTypeId] = VARIANCE;
576
- static readonly pipe = function (this: any) {
577
- return pipeArguments(this, arguments);
578
- };
579
-
580
- static readonly version = Effect.flatMap(service.asEffect(), (v) => v.version);
581
- static readonly interrupt = Effect.flatMap(service.asEffect(), (v) => v.interrupt);
582
-
583
- static readonly run = <RSink>(sink: Sink.Sink<A2, E2, RSink>) =>
584
- Effect.flatMap(service.asEffect(), (v) => v.run(sink));
585
-
586
- static readonly [Symbol.iterator] = function* () {
587
- const v = yield* service;
588
- return yield* v;
589
- };
590
- static readonly asEffect = () => Effect.flatMap(service.asEffect(), (v) => v.asEffect());
591
-
592
- constructor() {
593
- return VersionedService;
594
- }
595
- } as unknown as Versioned.Class<Self, Id, E1, A2, E2, A3, E3>;
596
- };
597
- }
@@ -1 +0,0 @@
1
- export * from "./Versioned.js";
@@ -1,91 +0,0 @@
1
- import { describe, expect, it } from "vitest";
2
- import { Effect, Option } from "effect";
3
- import * as Fx from "./Fx/index.js";
4
- import * as Versioned from "./Versioned.js";
5
-
6
- describe("Versioned filterMap / filterMapEffect", () => {
7
- const evenOption = (n: number) => (n % 2 === 0 ? Option.some(n) : Option.none<number>());
8
-
9
- describe("filterMap", () => {
10
- it("filters Fx and maps Effect to Option (Some when matched)", () =>
11
- Effect.gen(function* () {
12
- const v = Versioned.of(8);
13
- const filtered = Versioned.filterMap(v, {
14
- onFx: evenOption,
15
- onEffect: evenOption,
16
- });
17
- expect(yield* filtered.asEffect()).toEqual(Option.some(8));
18
- expect(yield* Fx.collectAll(filtered)).toEqual([8]);
19
- }).pipe(Effect.runPromise));
20
-
21
- it("filters Fx and maps Effect to Option (None when not matched)", () =>
22
- Effect.gen(function* () {
23
- const v = Versioned.of(7);
24
- const filtered = Versioned.filterMap(v, {
25
- onFx: evenOption,
26
- onEffect: evenOption,
27
- });
28
- expect(yield* filtered.asEffect()).toEqual(Option.none());
29
- expect(yield* Fx.collectAll(filtered)).toEqual([]);
30
- }).pipe(Effect.runPromise));
31
-
32
- it("supports curried form", () =>
33
- Effect.gen(function* () {
34
- const filterEven = Versioned.filterMap({
35
- onFx: evenOption,
36
- onEffect: evenOption,
37
- });
38
- const v = Versioned.of(10);
39
- const filtered = filterEven(v);
40
- expect(yield* filtered.asEffect()).toEqual(Option.some(10));
41
- expect(yield* Fx.collectAll(filtered)).toEqual([10]);
42
- }).pipe(Effect.runPromise));
43
-
44
- it("can map to different types on Fx vs Effect", () =>
45
- Effect.gen(function* () {
46
- const v = Versioned.of(3);
47
- const filtered = Versioned.filterMap(v, {
48
- onFx: (n) => (n > 0 ? Option.some(String(n)) : Option.none()),
49
- onEffect: (n) => (n > 0 ? Option.some(n + 1) : Option.none()),
50
- });
51
- expect(yield* filtered.asEffect()).toEqual(Option.some(4));
52
- expect(yield* Fx.collectAll(filtered)).toEqual(["3"]);
53
- }).pipe(Effect.runPromise));
54
- });
55
-
56
- describe("filterMapEffect", () => {
57
- it("effectful filterMap on Fx and Effect (Some when matched)", () =>
58
- Effect.gen(function* () {
59
- const v = Versioned.of(4);
60
- const filtered = Versioned.filterMapEffect(v, {
61
- onFx: (n) => Effect.succeed(evenOption(n)),
62
- onEffect: (n) => Effect.succeed(evenOption(n)),
63
- });
64
- expect(yield* filtered.asEffect()).toEqual(Option.some(4));
65
- expect(yield* Fx.collectAll(filtered)).toEqual([4]);
66
- }).pipe(Effect.runPromise));
67
-
68
- it("effectful filterMap (None when not matched)", () =>
69
- Effect.gen(function* () {
70
- const v = Versioned.of(5);
71
- const filtered = Versioned.filterMapEffect(v, {
72
- onFx: (n) => Effect.succeed(evenOption(n)),
73
- onEffect: (n) => Effect.succeed(evenOption(n)),
74
- });
75
- expect(yield* filtered.asEffect()).toEqual(Option.none());
76
- expect(yield* Fx.collectAll(filtered)).toEqual([]);
77
- }).pipe(Effect.runPromise));
78
-
79
- it("supports curried form", () =>
80
- Effect.gen(function* () {
81
- const filterEven = Versioned.filterMapEffect({
82
- onFx: (n: number) => Effect.succeed(evenOption(n)),
83
- onEffect: (n: number) => Effect.succeed(evenOption(n)),
84
- });
85
- const v = Versioned.of(6);
86
- const filtered = filterEven(v);
87
- expect(yield* filtered.asEffect()).toEqual(Option.some(6));
88
- expect(yield* Fx.collectAll(filtered)).toEqual([6]);
89
- }).pipe(Effect.runPromise));
90
- });
91
- });