@typed/fx 2.0.0-beta.3 → 2.0.0-beta.5

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 (663) hide show
  1. package/README.md +34 -20
  2. package/dist/Fx/Fx.d.ts +364 -12
  3. package/dist/Fx/Fx.d.ts.map +1 -1
  4. package/dist/Fx/Fx.js +37 -6
  5. package/dist/Fx/TypeId.d.ts +49 -3
  6. package/dist/Fx/TypeId.d.ts.map +1 -1
  7. package/dist/Fx/TypeId.js +39 -2
  8. package/dist/Fx/combinators/additive.d.ts +156 -5
  9. package/dist/Fx/combinators/additive.d.ts.map +1 -1
  10. package/dist/Fx/combinators/additive.js +156 -5
  11. package/dist/Fx/combinators/catch.d.ts +195 -22
  12. package/dist/Fx/combinators/catch.d.ts.map +1 -1
  13. package/dist/Fx/combinators/catch.js +186 -16
  14. package/dist/Fx/combinators/causes.d.ts +24 -1
  15. package/dist/Fx/combinators/causes.d.ts.map +1 -1
  16. package/dist/Fx/combinators/causes.js +24 -1
  17. package/dist/Fx/combinators/changesWithEffect.d.ts +20 -0
  18. package/dist/Fx/combinators/changesWithEffect.d.ts.map +1 -1
  19. package/dist/Fx/combinators/changesWithEffect.js +20 -0
  20. package/dist/Fx/combinators/compact.d.ts +17 -0
  21. package/dist/Fx/combinators/compact.d.ts.map +1 -1
  22. package/dist/Fx/combinators/compact.js +17 -0
  23. package/dist/Fx/combinators/concatMap.d.ts +86 -0
  24. package/dist/Fx/combinators/concatMap.d.ts.map +1 -0
  25. package/dist/Fx/combinators/concatMap.js +86 -0
  26. package/dist/Fx/combinators/continueWith.d.ts +109 -1
  27. package/dist/Fx/combinators/continueWith.d.ts.map +1 -1
  28. package/dist/Fx/combinators/continueWith.js +109 -1
  29. package/dist/Fx/combinators/debounce.d.ts +34 -0
  30. package/dist/Fx/combinators/debounce.d.ts.map +1 -0
  31. package/dist/Fx/combinators/debounce.js +35 -0
  32. package/dist/Fx/combinators/delay.d.ts +34 -0
  33. package/dist/Fx/combinators/delay.d.ts.map +1 -0
  34. package/dist/Fx/combinators/delay.js +31 -0
  35. package/dist/Fx/combinators/dropUntil.d.ts +42 -0
  36. package/dist/Fx/combinators/dropUntil.d.ts.map +1 -1
  37. package/dist/Fx/combinators/dropUntil.js +42 -0
  38. package/dist/Fx/combinators/during.d.ts +38 -0
  39. package/dist/Fx/combinators/during.d.ts.map +1 -0
  40. package/dist/Fx/combinators/during.js +85 -0
  41. package/dist/Fx/combinators/ensuring.d.ts +33 -3
  42. package/dist/Fx/combinators/ensuring.d.ts.map +1 -1
  43. package/dist/Fx/combinators/ensuring.js +33 -3
  44. package/dist/Fx/combinators/exhaustLatestMap.d.ts +40 -4
  45. package/dist/Fx/combinators/exhaustLatestMap.d.ts.map +1 -1
  46. package/dist/Fx/combinators/exhaustLatestMap.js +40 -4
  47. package/dist/Fx/combinators/exhaustLatestMapEffect.d.ts +39 -3
  48. package/dist/Fx/combinators/exhaustLatestMapEffect.d.ts.map +1 -1
  49. package/dist/Fx/combinators/exhaustLatestMapEffect.js +39 -3
  50. package/dist/Fx/combinators/exhaustMap.d.ts +37 -0
  51. package/dist/Fx/combinators/exhaustMap.d.ts.map +1 -1
  52. package/dist/Fx/combinators/exhaustMap.js +37 -0
  53. package/dist/Fx/combinators/exhaustMapEffect.d.ts +32 -0
  54. package/dist/Fx/combinators/exhaustMapEffect.d.ts.map +1 -1
  55. package/dist/Fx/combinators/exhaustMapEffect.js +32 -0
  56. package/dist/Fx/combinators/exit.d.ts +22 -1
  57. package/dist/Fx/combinators/exit.d.ts.map +1 -1
  58. package/dist/Fx/combinators/exit.js +22 -1
  59. package/dist/Fx/combinators/filter.d.ts +16 -0
  60. package/dist/Fx/combinators/filter.d.ts.map +1 -1
  61. package/dist/Fx/combinators/filter.js +16 -0
  62. package/dist/Fx/combinators/filterEffect.d.ts +21 -0
  63. package/dist/Fx/combinators/filterEffect.d.ts.map +1 -1
  64. package/dist/Fx/combinators/filterEffect.js +21 -0
  65. package/dist/Fx/combinators/filterMap.d.ts +19 -0
  66. package/dist/Fx/combinators/filterMap.d.ts.map +1 -1
  67. package/dist/Fx/combinators/filterMap.js +19 -0
  68. package/dist/Fx/combinators/filterMapEffect.d.ts +20 -0
  69. package/dist/Fx/combinators/filterMapEffect.d.ts.map +1 -1
  70. package/dist/Fx/combinators/filterMapEffect.js +20 -0
  71. package/dist/Fx/combinators/filterMapLoop.d.ts +19 -0
  72. package/dist/Fx/combinators/filterMapLoop.d.ts.map +1 -1
  73. package/dist/Fx/combinators/filterMapLoop.js +19 -0
  74. package/dist/Fx/combinators/filterMapLoopCause.d.ts +20 -0
  75. package/dist/Fx/combinators/filterMapLoopCause.d.ts.map +1 -1
  76. package/dist/Fx/combinators/filterMapLoopCause.js +20 -0
  77. package/dist/Fx/combinators/filterMapLoopCauseEffect.d.ts +20 -0
  78. package/dist/Fx/combinators/filterMapLoopCauseEffect.d.ts.map +1 -1
  79. package/dist/Fx/combinators/filterMapLoopCauseEffect.js +20 -0
  80. package/dist/Fx/combinators/filterMapLoopEffect.d.ts +20 -0
  81. package/dist/Fx/combinators/filterMapLoopEffect.d.ts.map +1 -1
  82. package/dist/Fx/combinators/filterMapLoopEffect.js +20 -0
  83. package/dist/Fx/combinators/flatMap.d.ts +48 -3
  84. package/dist/Fx/combinators/flatMap.d.ts.map +1 -1
  85. package/dist/Fx/combinators/flatMap.js +35 -2
  86. package/dist/Fx/combinators/flatMapConcurrently.d.ts +50 -3
  87. package/dist/Fx/combinators/flatMapConcurrently.d.ts.map +1 -1
  88. package/dist/Fx/combinators/flatMapConcurrently.js +47 -1
  89. package/dist/Fx/combinators/flatMapConcurrentlyEffect.d.ts +47 -3
  90. package/dist/Fx/combinators/flatMapConcurrentlyEffect.d.ts.map +1 -1
  91. package/dist/Fx/combinators/flatMapConcurrentlyEffect.js +39 -1
  92. package/dist/Fx/combinators/flatMapEffect.d.ts +44 -2
  93. package/dist/Fx/combinators/flatMapEffect.d.ts.map +1 -1
  94. package/dist/Fx/combinators/flatMapEffect.js +31 -1
  95. package/dist/Fx/combinators/flip.d.ts +33 -1
  96. package/dist/Fx/combinators/flip.d.ts.map +1 -1
  97. package/dist/Fx/combinators/flip.js +33 -1
  98. package/dist/Fx/combinators/gen.d.ts +28 -9
  99. package/dist/Fx/combinators/gen.d.ts.map +1 -1
  100. package/dist/Fx/combinators/gen.js +27 -3
  101. package/dist/Fx/combinators/genScoped.d.ts +32 -9
  102. package/dist/Fx/combinators/genScoped.d.ts.map +1 -1
  103. package/dist/Fx/combinators/genScoped.js +30 -2
  104. package/dist/Fx/combinators/grouped.d.ts +89 -0
  105. package/dist/Fx/combinators/grouped.d.ts.map +1 -0
  106. package/dist/Fx/combinators/grouped.js +146 -0
  107. package/dist/Fx/combinators/index.d.ts +35 -0
  108. package/dist/Fx/combinators/index.d.ts.map +1 -1
  109. package/dist/Fx/combinators/index.js +35 -0
  110. package/dist/Fx/combinators/keyed.d.ts +121 -7
  111. package/dist/Fx/combinators/keyed.d.ts.map +1 -1
  112. package/dist/Fx/combinators/keyed.js +68 -10
  113. package/dist/Fx/combinators/loop.d.ts +16 -0
  114. package/dist/Fx/combinators/loop.d.ts.map +1 -1
  115. package/dist/Fx/combinators/loop.js +16 -0
  116. package/dist/Fx/combinators/loopCause.d.ts +17 -0
  117. package/dist/Fx/combinators/loopCause.d.ts.map +1 -1
  118. package/dist/Fx/combinators/loopCause.js +17 -0
  119. package/dist/Fx/combinators/loopCauseEffect.d.ts +18 -0
  120. package/dist/Fx/combinators/loopCauseEffect.d.ts.map +1 -1
  121. package/dist/Fx/combinators/loopCauseEffect.js +18 -0
  122. package/dist/Fx/combinators/loopEffect.d.ts +23 -0
  123. package/dist/Fx/combinators/loopEffect.d.ts.map +1 -1
  124. package/dist/Fx/combinators/loopEffect.js +23 -0
  125. package/dist/Fx/combinators/map.d.ts +45 -0
  126. package/dist/Fx/combinators/map.d.ts.map +1 -1
  127. package/dist/Fx/combinators/map.js +42 -0
  128. package/dist/Fx/combinators/mapBoth.d.ts +19 -0
  129. package/dist/Fx/combinators/mapBoth.d.ts.map +1 -1
  130. package/dist/Fx/combinators/mapBoth.js +19 -0
  131. package/dist/Fx/combinators/mapEffect.d.ts +24 -0
  132. package/dist/Fx/combinators/mapEffect.d.ts.map +1 -1
  133. package/dist/Fx/combinators/mapEffect.js +24 -0
  134. package/dist/Fx/combinators/mapError.d.ts +20 -4
  135. package/dist/Fx/combinators/mapError.d.ts.map +1 -1
  136. package/dist/Fx/combinators/mapError.js +20 -4
  137. package/dist/Fx/combinators/mergeAll.d.ts +34 -0
  138. package/dist/Fx/combinators/mergeAll.d.ts.map +1 -1
  139. package/dist/Fx/combinators/mergeAll.js +34 -0
  140. package/dist/Fx/combinators/mergeOrdered.d.ts +35 -3
  141. package/dist/Fx/combinators/mergeOrdered.d.ts.map +1 -1
  142. package/dist/Fx/combinators/mergeOrdered.js +35 -3
  143. package/dist/Fx/combinators/onError.d.ts +33 -3
  144. package/dist/Fx/combinators/onError.d.ts.map +1 -1
  145. package/dist/Fx/combinators/onError.js +33 -3
  146. package/dist/Fx/combinators/onExit.d.ts +28 -2
  147. package/dist/Fx/combinators/onExit.d.ts.map +1 -1
  148. package/dist/Fx/combinators/onExit.js +28 -2
  149. package/dist/Fx/combinators/onInterrupt.d.ts +48 -3
  150. package/dist/Fx/combinators/onInterrupt.d.ts.map +1 -1
  151. package/dist/Fx/combinators/onInterrupt.js +48 -3
  152. package/dist/Fx/combinators/pairwise.d.ts +28 -0
  153. package/dist/Fx/combinators/pairwise.d.ts.map +1 -0
  154. package/dist/Fx/combinators/pairwise.js +31 -0
  155. package/dist/Fx/combinators/provide.d.ts +138 -17
  156. package/dist/Fx/combinators/provide.d.ts.map +1 -1
  157. package/dist/Fx/combinators/provide.js +134 -13
  158. package/dist/Fx/combinators/race.d.ts +92 -0
  159. package/dist/Fx/combinators/race.d.ts.map +1 -0
  160. package/dist/Fx/combinators/race.js +149 -0
  161. package/dist/Fx/combinators/repeat.d.ts +41 -0
  162. package/dist/Fx/combinators/repeat.d.ts.map +1 -0
  163. package/dist/Fx/combinators/repeat.js +57 -0
  164. package/dist/Fx/combinators/result.d.ts +22 -0
  165. package/dist/Fx/combinators/result.d.ts.map +1 -1
  166. package/dist/Fx/combinators/result.js +26 -12
  167. package/dist/Fx/combinators/retry.d.ts +53 -0
  168. package/dist/Fx/combinators/retry.d.ts.map +1 -0
  169. package/dist/Fx/combinators/retry.js +71 -0
  170. package/dist/Fx/combinators/sample.d.ts +31 -0
  171. package/dist/Fx/combinators/sample.d.ts.map +1 -0
  172. package/dist/Fx/combinators/sample.js +42 -0
  173. package/dist/Fx/combinators/scan.d.ts +39 -0
  174. package/dist/Fx/combinators/scan.d.ts.map +1 -1
  175. package/dist/Fx/combinators/scan.js +41 -2
  176. package/dist/Fx/combinators/since.d.ts +30 -0
  177. package/dist/Fx/combinators/since.d.ts.map +1 -0
  178. package/dist/Fx/combinators/since.js +39 -0
  179. package/dist/Fx/combinators/skip.d.ts +31 -0
  180. package/dist/Fx/combinators/skip.d.ts.map +1 -1
  181. package/dist/Fx/combinators/skip.js +31 -0
  182. package/dist/Fx/combinators/skipRepeats.d.ts +16 -0
  183. package/dist/Fx/combinators/skipRepeats.d.ts.map +1 -1
  184. package/dist/Fx/combinators/skipRepeats.js +16 -0
  185. package/dist/Fx/combinators/skipRepeatsWith.d.ts +17 -0
  186. package/dist/Fx/combinators/skipRepeatsWith.d.ts.map +1 -1
  187. package/dist/Fx/combinators/skipRepeatsWith.js +17 -0
  188. package/dist/Fx/combinators/skipWhile.d.ts +68 -0
  189. package/dist/Fx/combinators/skipWhile.d.ts.map +1 -1
  190. package/dist/Fx/combinators/skipWhile.js +68 -0
  191. package/dist/Fx/combinators/slice.d.ts +82 -0
  192. package/dist/Fx/combinators/slice.d.ts.map +1 -1
  193. package/dist/Fx/combinators/slice.js +33 -0
  194. package/dist/Fx/combinators/switchMap.d.ts +38 -0
  195. package/dist/Fx/combinators/switchMap.d.ts.map +1 -1
  196. package/dist/Fx/combinators/switchMap.js +42 -4
  197. package/dist/Fx/combinators/switchMapEffect.d.ts +37 -0
  198. package/dist/Fx/combinators/switchMapEffect.d.ts.map +1 -1
  199. package/dist/Fx/combinators/switchMapEffect.js +37 -0
  200. package/dist/Fx/combinators/take.d.ts +32 -0
  201. package/dist/Fx/combinators/take.d.ts.map +1 -1
  202. package/dist/Fx/combinators/take.js +32 -0
  203. package/dist/Fx/combinators/takeUntil.d.ts +46 -0
  204. package/dist/Fx/combinators/takeUntil.d.ts.map +1 -1
  205. package/dist/Fx/combinators/takeUntil.js +46 -0
  206. package/dist/Fx/combinators/takeWhile.d.ts +31 -0
  207. package/dist/Fx/combinators/takeWhile.d.ts.map +1 -1
  208. package/dist/Fx/combinators/takeWhile.js +31 -0
  209. package/dist/Fx/combinators/tapEffect.d.ts +16 -0
  210. package/dist/Fx/combinators/tapEffect.d.ts.map +1 -1
  211. package/dist/Fx/combinators/tapEffect.js +16 -0
  212. package/dist/Fx/combinators/throttle.d.ts +79 -0
  213. package/dist/Fx/combinators/throttle.d.ts.map +1 -0
  214. package/dist/Fx/combinators/throttle.js +99 -0
  215. package/dist/Fx/combinators/timeout.d.ts +76 -0
  216. package/dist/Fx/combinators/timeout.d.ts.map +1 -0
  217. package/dist/Fx/combinators/timeout.js +110 -0
  218. package/dist/Fx/combinators/tuple.d.ts +30 -0
  219. package/dist/Fx/combinators/tuple.d.ts.map +1 -1
  220. package/dist/Fx/combinators/tuple.js +34 -3
  221. package/dist/Fx/combinators/until.d.ts +27 -0
  222. package/dist/Fx/combinators/until.d.ts.map +1 -0
  223. package/dist/Fx/combinators/until.js +56 -0
  224. package/dist/Fx/combinators/unwrap.d.ts +29 -0
  225. package/dist/Fx/combinators/unwrap.d.ts.map +1 -1
  226. package/dist/Fx/combinators/unwrap.js +29 -0
  227. package/dist/Fx/combinators/unwrapScoped.d.ts +33 -0
  228. package/dist/Fx/combinators/unwrapScoped.d.ts.map +1 -1
  229. package/dist/Fx/combinators/unwrapScoped.js +33 -0
  230. package/dist/Fx/combinators/when.d.ts +35 -0
  231. package/dist/Fx/combinators/when.d.ts.map +1 -1
  232. package/dist/Fx/combinators/when.js +36 -1
  233. package/dist/Fx/combinators/withLatestFrom.d.ts +58 -0
  234. package/dist/Fx/combinators/withLatestFrom.d.ts.map +1 -0
  235. package/dist/Fx/combinators/withLatestFrom.js +68 -0
  236. package/dist/Fx/combinators/withSpan.d.ts +35 -1
  237. package/dist/Fx/combinators/withSpan.d.ts.map +1 -1
  238. package/dist/Fx/combinators/withSpan.js +34 -3
  239. package/dist/Fx/combinators/zip.d.ts +60 -0
  240. package/dist/Fx/combinators/zip.d.ts.map +1 -1
  241. package/dist/Fx/combinators/zip.js +60 -0
  242. package/dist/Fx/constructors/at.d.ts +20 -0
  243. package/dist/Fx/constructors/at.d.ts.map +1 -1
  244. package/dist/Fx/constructors/at.js +20 -0
  245. package/dist/Fx/constructors/die.d.ts +21 -0
  246. package/dist/Fx/constructors/die.d.ts.map +1 -1
  247. package/dist/Fx/constructors/die.js +21 -0
  248. package/dist/Fx/constructors/empty.d.ts +18 -0
  249. package/dist/Fx/constructors/empty.d.ts.map +1 -1
  250. package/dist/Fx/constructors/empty.js +18 -0
  251. package/dist/Fx/constructors/fail.d.ts +21 -0
  252. package/dist/Fx/constructors/fail.d.ts.map +1 -1
  253. package/dist/Fx/constructors/fail.js +21 -0
  254. package/dist/Fx/constructors/failCause.d.ts +22 -0
  255. package/dist/Fx/constructors/failCause.d.ts.map +1 -1
  256. package/dist/Fx/constructors/failCause.js +22 -0
  257. package/dist/Fx/constructors/fn.d.ts +113 -13
  258. package/dist/Fx/constructors/fn.d.ts.map +1 -1
  259. package/dist/Fx/constructors/fn.js +36 -0
  260. package/dist/Fx/constructors/fromEffect.d.ts +43 -1
  261. package/dist/Fx/constructors/fromEffect.d.ts.map +1 -1
  262. package/dist/Fx/constructors/fromEffect.js +43 -1
  263. package/dist/Fx/constructors/fromFailures.d.ts +24 -0
  264. package/dist/Fx/constructors/fromFailures.d.ts.map +1 -1
  265. package/dist/Fx/constructors/fromFailures.js +24 -0
  266. package/dist/Fx/constructors/fromIterable.d.ts +22 -0
  267. package/dist/Fx/constructors/fromIterable.d.ts.map +1 -1
  268. package/dist/Fx/constructors/fromIterable.js +22 -0
  269. package/dist/Fx/constructors/fromSchedule.d.ts +23 -0
  270. package/dist/Fx/constructors/fromSchedule.d.ts.map +1 -1
  271. package/dist/Fx/constructors/fromSchedule.js +25 -2
  272. package/dist/Fx/constructors/index.d.ts +2 -1
  273. package/dist/Fx/constructors/index.d.ts.map +1 -1
  274. package/dist/Fx/constructors/index.js +2 -1
  275. package/dist/Fx/constructors/interrupt.d.ts +21 -1
  276. package/dist/Fx/constructors/interrupt.d.ts.map +1 -1
  277. package/dist/Fx/constructors/interrupt.js +21 -1
  278. package/dist/Fx/constructors/make.d.ts +146 -1
  279. package/dist/Fx/constructors/make.d.ts.map +1 -1
  280. package/dist/Fx/constructors/make.js +56 -5
  281. package/dist/Fx/constructors/periodic.d.ts +29 -0
  282. package/dist/Fx/constructors/periodic.d.ts.map +1 -1
  283. package/dist/Fx/constructors/periodic.js +29 -0
  284. package/dist/Fx/constructors/succeed.d.ts +75 -3
  285. package/dist/Fx/constructors/succeed.d.ts.map +1 -1
  286. package/dist/Fx/constructors/succeed.js +75 -3
  287. package/dist/Fx/constructors/suspend.d.ts +28 -0
  288. package/dist/Fx/constructors/suspend.d.ts.map +1 -1
  289. package/dist/Fx/constructors/suspend.js +28 -0
  290. package/dist/Fx/constructors/sync.d.ts +32 -0
  291. package/dist/Fx/constructors/sync.d.ts.map +1 -0
  292. package/dist/Fx/constructors/sync.js +32 -0
  293. package/dist/Fx/internal/DeferredRef.d.ts +259 -7
  294. package/dist/Fx/internal/DeferredRef.d.ts.map +1 -1
  295. package/dist/Fx/internal/DeferredRef.js +260 -9
  296. package/dist/Fx/internal/UnionToTuple.d.ts +22 -0
  297. package/dist/Fx/internal/UnionToTuple.d.ts.map +1 -1
  298. package/dist/Fx/internal/diff.d.ts +586 -0
  299. package/dist/Fx/internal/diff.d.ts.map +1 -1
  300. package/dist/Fx/internal/diff.js +120 -9
  301. package/dist/Fx/internal/effectableEvaluateKey.d.ts +30 -0
  302. package/dist/Fx/internal/effectableEvaluateKey.d.ts.map +1 -0
  303. package/dist/Fx/internal/effectableEvaluateKey.js +29 -0
  304. package/dist/Fx/internal/effectableWithOverride.d.ts +55 -0
  305. package/dist/Fx/internal/effectableWithOverride.d.ts.map +1 -0
  306. package/dist/Fx/internal/effectableWithOverride.js +46 -0
  307. package/dist/Fx/internal/equivalence.d.ts +29 -0
  308. package/dist/Fx/internal/equivalence.d.ts.map +1 -1
  309. package/dist/Fx/internal/equivalence.js +29 -0
  310. package/dist/Fx/internal/multicast.d.ts +145 -2
  311. package/dist/Fx/internal/multicast.d.ts.map +1 -1
  312. package/dist/Fx/internal/multicast.js +146 -4
  313. package/dist/Fx/internal/ring-buffer.d.ts +149 -0
  314. package/dist/Fx/internal/ring-buffer.d.ts.map +1 -1
  315. package/dist/Fx/internal/ring-buffer.js +155 -0
  316. package/dist/Fx/internal/scope.d.ts +184 -0
  317. package/dist/Fx/internal/scope.d.ts.map +1 -1
  318. package/dist/Fx/internal/scope.js +150 -0
  319. package/dist/Fx/internal/yieldable.d.ts +117 -2
  320. package/dist/Fx/internal/yieldable.d.ts.map +1 -1
  321. package/dist/Fx/internal/yieldable.js +86 -3
  322. package/dist/Fx/run/collect.d.ts +89 -0
  323. package/dist/Fx/run/collect.d.ts.map +1 -1
  324. package/dist/Fx/run/collect.js +90 -1
  325. package/dist/Fx/run/first.d.ts +22 -0
  326. package/dist/Fx/run/first.d.ts.map +1 -1
  327. package/dist/Fx/run/first.js +22 -0
  328. package/dist/Fx/run/fork.d.ts +50 -0
  329. package/dist/Fx/run/fork.d.ts.map +1 -1
  330. package/dist/Fx/run/fork.js +50 -0
  331. package/dist/Fx/run/observe.d.ts +106 -0
  332. package/dist/Fx/run/observe.d.ts.map +1 -1
  333. package/dist/Fx/run/observe.js +108 -2
  334. package/dist/Fx/run/runPromise.d.ts +43 -0
  335. package/dist/Fx/run/runPromise.d.ts.map +1 -1
  336. package/dist/Fx/run/runPromise.js +43 -0
  337. package/dist/Fx/stream.d.ts +92 -0
  338. package/dist/Fx/stream.d.ts.map +1 -1
  339. package/dist/Fx/stream.js +60 -1
  340. package/dist/Push/Push.d.ts +1219 -94
  341. package/dist/Push/Push.d.ts.map +1 -1
  342. package/dist/Push/Push.js +1015 -86
  343. package/dist/RefArray.d.ts +2 -0
  344. package/dist/RefArray.d.ts.map +1 -0
  345. package/dist/RefArray.js +1 -0
  346. package/dist/RefBigDecimal.d.ts +2 -0
  347. package/dist/RefBigDecimal.d.ts.map +1 -0
  348. package/dist/RefBigDecimal.js +1 -0
  349. package/dist/RefBigInt.d.ts +2 -0
  350. package/dist/RefBigInt.d.ts.map +1 -0
  351. package/dist/RefBigInt.js +1 -0
  352. package/dist/RefBoolean.d.ts +2 -0
  353. package/dist/RefBoolean.d.ts.map +1 -0
  354. package/dist/RefBoolean.js +1 -0
  355. package/dist/RefCause.d.ts +2 -0
  356. package/dist/RefCause.d.ts.map +1 -0
  357. package/dist/RefCause.js +1 -0
  358. package/dist/RefChunk.d.ts +2 -0
  359. package/dist/RefChunk.d.ts.map +1 -0
  360. package/dist/RefChunk.js +1 -0
  361. package/dist/RefDateTime.d.ts +2 -0
  362. package/dist/RefDateTime.d.ts.map +1 -0
  363. package/dist/RefDateTime.js +1 -0
  364. package/dist/RefDuration.d.ts +2 -0
  365. package/dist/RefDuration.d.ts.map +1 -0
  366. package/dist/RefDuration.js +1 -0
  367. package/dist/RefGraph.d.ts +2 -0
  368. package/dist/RefGraph.d.ts.map +1 -0
  369. package/dist/RefGraph.js +1 -0
  370. package/dist/RefHashMap.d.ts +2 -0
  371. package/dist/RefHashMap.d.ts.map +1 -0
  372. package/dist/RefHashMap.js +1 -0
  373. package/dist/RefHashRing.d.ts +2 -0
  374. package/dist/RefHashRing.d.ts.map +1 -0
  375. package/dist/RefHashRing.js +1 -0
  376. package/dist/RefHashSet.d.ts +2 -0
  377. package/dist/RefHashSet.d.ts.map +1 -0
  378. package/dist/RefHashSet.js +1 -0
  379. package/dist/RefIterable.d.ts +2 -0
  380. package/dist/RefIterable.d.ts.map +1 -0
  381. package/dist/RefIterable.js +1 -0
  382. package/dist/RefOption.d.ts +2 -0
  383. package/dist/RefOption.d.ts.map +1 -0
  384. package/dist/RefOption.js +1 -0
  385. package/dist/RefRecord.d.ts +2 -0
  386. package/dist/RefRecord.d.ts.map +1 -0
  387. package/dist/RefRecord.js +1 -0
  388. package/dist/RefResult.d.ts +2 -0
  389. package/dist/RefResult.d.ts.map +1 -0
  390. package/dist/RefResult.js +1 -0
  391. package/dist/RefString.d.ts +2 -0
  392. package/dist/RefString.d.ts.map +1 -0
  393. package/dist/RefString.js +1 -0
  394. package/dist/RefStruct.d.ts +2 -0
  395. package/dist/RefStruct.d.ts.map +1 -0
  396. package/dist/RefStruct.js +1 -0
  397. package/dist/RefSubject/Hydration.d.ts +504 -0
  398. package/dist/RefSubject/Hydration.d.ts.map +1 -0
  399. package/dist/RefSubject/Hydration.js +300 -0
  400. package/dist/RefSubject/RefArray.d.ts +351 -4
  401. package/dist/RefSubject/RefArray.d.ts.map +1 -1
  402. package/dist/RefSubject/RefArray.js +339 -3
  403. package/dist/RefSubject/RefBigDecimal.d.ts +221 -1
  404. package/dist/RefSubject/RefBigDecimal.d.ts.map +1 -1
  405. package/dist/RefSubject/RefBigDecimal.js +210 -1
  406. package/dist/RefSubject/RefBigInt.d.ts +166 -1
  407. package/dist/RefSubject/RefBigInt.d.ts.map +1 -1
  408. package/dist/RefSubject/RefBigInt.js +155 -1
  409. package/dist/RefSubject/RefBoolean.d.ts +166 -1
  410. package/dist/RefSubject/RefBoolean.d.ts.map +1 -1
  411. package/dist/RefSubject/RefBoolean.js +155 -1
  412. package/dist/RefSubject/RefCause.d.ts +122 -1
  413. package/dist/RefSubject/RefCause.d.ts.map +1 -1
  414. package/dist/RefSubject/RefCause.js +111 -1
  415. package/dist/RefSubject/RefChunk.d.ts +406 -1
  416. package/dist/RefSubject/RefChunk.d.ts.map +1 -1
  417. package/dist/RefSubject/RefChunk.js +394 -0
  418. package/dist/RefSubject/RefDateTime.d.ts +122 -1
  419. package/dist/RefSubject/RefDateTime.d.ts.map +1 -1
  420. package/dist/RefSubject/RefDateTime.js +111 -1
  421. package/dist/RefSubject/RefDuration.d.ts +155 -1
  422. package/dist/RefSubject/RefDuration.d.ts.map +1 -1
  423. package/dist/RefSubject/RefDuration.js +144 -1
  424. package/dist/RefSubject/RefGraph.d.ts +320 -6
  425. package/dist/RefSubject/RefGraph.d.ts.map +1 -1
  426. package/dist/RefSubject/RefGraph.js +303 -0
  427. package/dist/RefSubject/RefHashMap.d.ts +296 -1
  428. package/dist/RefSubject/RefHashMap.d.ts.map +1 -1
  429. package/dist/RefSubject/RefHashMap.js +284 -0
  430. package/dist/RefSubject/RefHashRing.d.ts +146 -2
  431. package/dist/RefSubject/RefHashRing.d.ts.map +1 -1
  432. package/dist/RefSubject/RefHashRing.js +133 -0
  433. package/dist/RefSubject/RefHashSet.d.ts +230 -1
  434. package/dist/RefSubject/RefHashSet.d.ts.map +1 -1
  435. package/dist/RefSubject/RefHashSet.js +218 -0
  436. package/dist/RefSubject/RefIterable.d.ts +327 -1
  437. package/dist/RefSubject/RefIterable.d.ts.map +1 -1
  438. package/dist/RefSubject/RefIterable.js +315 -0
  439. package/dist/RefSubject/RefOption.d.ts +144 -1
  440. package/dist/RefSubject/RefOption.d.ts.map +1 -1
  441. package/dist/RefSubject/RefOption.js +133 -1
  442. package/dist/RefSubject/RefRecord.d.ts +339 -1
  443. package/dist/RefSubject/RefRecord.d.ts.map +1 -1
  444. package/dist/RefSubject/RefRecord.js +327 -0
  445. package/dist/RefSubject/RefResult.d.ts +155 -23
  446. package/dist/RefSubject/RefResult.d.ts.map +1 -1
  447. package/dist/RefSubject/RefResult.js +122 -1
  448. package/dist/RefSubject/RefString.d.ts +188 -1
  449. package/dist/RefSubject/RefString.d.ts.map +1 -1
  450. package/dist/RefSubject/RefString.js +177 -1
  451. package/dist/RefSubject/RefStruct.d.ts +156 -1
  452. package/dist/RefSubject/RefStruct.d.ts.map +1 -1
  453. package/dist/RefSubject/RefStruct.js +145 -1
  454. package/dist/RefSubject/RefSubject.d.ts +1168 -15
  455. package/dist/RefSubject/RefSubject.d.ts.map +1 -1
  456. package/dist/RefSubject/RefSubject.js +850 -58
  457. package/dist/RefSubject/RefTrie.d.ts +290 -4
  458. package/dist/RefSubject/RefTrie.d.ts.map +1 -1
  459. package/dist/RefSubject/RefTrie.js +278 -3
  460. package/dist/RefSubject/RefTuple.d.ts +117 -1
  461. package/dist/RefSubject/RefTuple.d.ts.map +1 -1
  462. package/dist/RefSubject/RefTuple.js +106 -1
  463. package/dist/RefSubject/index.d.ts +1 -0
  464. package/dist/RefSubject/index.d.ts.map +1 -1
  465. package/dist/RefSubject/index.js +1 -0
  466. package/dist/RefSubject.d.ts +2 -1
  467. package/dist/RefSubject.d.ts.map +1 -1
  468. package/dist/RefSubject.js +2 -1
  469. package/dist/RefTrie.d.ts +2 -0
  470. package/dist/RefTrie.d.ts.map +1 -0
  471. package/dist/RefTrie.js +1 -0
  472. package/dist/RefTuple.d.ts +2 -0
  473. package/dist/RefTuple.d.ts.map +1 -0
  474. package/dist/RefTuple.js +1 -0
  475. package/dist/Sink/Sink.d.ts +385 -14
  476. package/dist/Sink/Sink.d.ts.map +1 -1
  477. package/dist/Sink/Sink.js +53 -6
  478. package/dist/Sink/combinators.d.ts +731 -2
  479. package/dist/Sink/combinators.d.ts.map +1 -1
  480. package/dist/Sink/combinators.js +707 -5
  481. package/dist/Subject/Subject.d.ts +1016 -22
  482. package/dist/Subject/Subject.d.ts.map +1 -1
  483. package/dist/Subject/Subject.js +904 -39
  484. package/dist/Versioned/Versioned.d.ts +426 -9
  485. package/dist/Versioned/Versioned.d.ts.map +1 -1
  486. package/dist/Versioned/Versioned.js +241 -15
  487. package/dist/index.d.ts +22 -3
  488. package/dist/index.d.ts.map +1 -1
  489. package/dist/index.js +22 -3
  490. package/package.json +120 -11
  491. package/dist/Fx/constructors/fromYieldable.d.ts +0 -12
  492. package/dist/Fx/constructors/fromYieldable.d.ts.map +0 -1
  493. package/dist/Fx/constructors/fromYieldable.js +0 -12
  494. package/src/Fx/Fx.ts +0 -164
  495. package/src/Fx/TypeId.ts +0 -25
  496. package/src/Fx/combinators/additive.ts +0 -142
  497. package/src/Fx/combinators/catch.ts +0 -416
  498. package/src/Fx/combinators/causes.ts +0 -23
  499. package/src/Fx/combinators/changesWithEffect.ts +0 -66
  500. package/src/Fx/combinators/compact.ts +0 -15
  501. package/src/Fx/combinators/continueWith.ts +0 -78
  502. package/src/Fx/combinators/dropUntil.ts +0 -47
  503. package/src/Fx/combinators/ensuring.ts +0 -23
  504. package/src/Fx/combinators/exhaustLatestMap.ts +0 -74
  505. package/src/Fx/combinators/exhaustLatestMapEffect.ts +0 -25
  506. package/src/Fx/combinators/exhaustMap.ts +0 -36
  507. package/src/Fx/combinators/exhaustMapEffect.ts +0 -23
  508. package/src/Fx/combinators/exit.ts +0 -15
  509. package/src/Fx/combinators/filter.ts +0 -22
  510. package/src/Fx/combinators/filterEffect.ts +0 -31
  511. package/src/Fx/combinators/filterMap.ts +0 -23
  512. package/src/Fx/combinators/filterMapEffect.ts +0 -32
  513. package/src/Fx/combinators/filterMapLoop.ts +0 -35
  514. package/src/Fx/combinators/filterMapLoopCause.ts +0 -36
  515. package/src/Fx/combinators/filterMapLoopCauseEffect.ts +0 -46
  516. package/src/Fx/combinators/filterMapLoopEffect.ts +0 -36
  517. package/src/Fx/combinators/flatMap.ts +0 -51
  518. package/src/Fx/combinators/flatMapConcurrently.ts +0 -39
  519. package/src/Fx/combinators/flatMapConcurrentlyEffect.ts +0 -26
  520. package/src/Fx/combinators/flatMapEffect.ts +0 -42
  521. package/src/Fx/combinators/flip.ts +0 -14
  522. package/src/Fx/combinators/gen.ts +0 -24
  523. package/src/Fx/combinators/genScoped.ts +0 -24
  524. package/src/Fx/combinators/index.ts +0 -61
  525. package/src/Fx/combinators/keyed.ts +0 -369
  526. package/src/Fx/combinators/loop.ts +0 -27
  527. package/src/Fx/combinators/loopCause.ts +0 -34
  528. package/src/Fx/combinators/loopCauseEffect.ts +0 -36
  529. package/src/Fx/combinators/loopEffect.ts +0 -34
  530. package/src/Fx/combinators/map.ts +0 -22
  531. package/src/Fx/combinators/mapBoth.ts +0 -40
  532. package/src/Fx/combinators/mapEffect.ts +0 -32
  533. package/src/Fx/combinators/mapError.ts +0 -28
  534. package/src/Fx/combinators/mergeAll.ts +0 -22
  535. package/src/Fx/combinators/mergeOrdered.ts +0 -123
  536. package/src/Fx/combinators/onError.ts +0 -40
  537. package/src/Fx/combinators/onExit.ts +0 -82
  538. package/src/Fx/combinators/onInterrupt.ts +0 -87
  539. package/src/Fx/combinators/provide.ts +0 -124
  540. package/src/Fx/combinators/result.ts +0 -39
  541. package/src/Fx/combinators/scan.ts +0 -82
  542. package/src/Fx/combinators/skip.ts +0 -41
  543. package/src/Fx/combinators/skipRepeats.ts +0 -15
  544. package/src/Fx/combinators/skipRepeatsWith.ts +0 -40
  545. package/src/Fx/combinators/skipWhile.ts +0 -100
  546. package/src/Fx/combinators/slice.ts +0 -55
  547. package/src/Fx/combinators/switchMap.ts +0 -55
  548. package/src/Fx/combinators/switchMapEffect.ts +0 -25
  549. package/src/Fx/combinators/take.ts +0 -38
  550. package/src/Fx/combinators/takeUntil.ts +0 -88
  551. package/src/Fx/combinators/takeWhile.ts +0 -47
  552. package/src/Fx/combinators/tapEffect.ts +0 -39
  553. package/src/Fx/combinators/tuple.ts +0 -79
  554. package/src/Fx/combinators/unwrap.ts +0 -21
  555. package/src/Fx/combinators/unwrapScoped.ts +0 -26
  556. package/src/Fx/combinators/when.ts +0 -64
  557. package/src/Fx/combinators/withSpan.ts +0 -24
  558. package/src/Fx/combinators/zip.ts +0 -175
  559. package/src/Fx/constructors/at.ts +0 -23
  560. package/src/Fx/constructors/die.ts +0 -17
  561. package/src/Fx/constructors/empty.ts +0 -10
  562. package/src/Fx/constructors/fail.ts +0 -14
  563. package/src/Fx/constructors/failCause.ts +0 -14
  564. package/src/Fx/constructors/fn.ts +0 -245
  565. package/src/Fx/constructors/fromEffect.ts +0 -24
  566. package/src/Fx/constructors/fromFailures.ts +0 -19
  567. package/src/Fx/constructors/fromIterable.ts +0 -15
  568. package/src/Fx/constructors/fromSchedule.ts +0 -18
  569. package/src/Fx/constructors/fromYieldable.ts +0 -17
  570. package/src/Fx/constructors/index.ts +0 -15
  571. package/src/Fx/constructors/interrupt.ts +0 -13
  572. package/src/Fx/constructors/make.ts +0 -103
  573. package/src/Fx/constructors/periodic.ts +0 -15
  574. package/src/Fx/constructors/succeed.ts +0 -37
  575. package/src/Fx/constructors/suspend.ts +0 -6
  576. package/src/Fx/index.ts +0 -6
  577. package/src/Fx/internal/DeferredRef.ts +0 -87
  578. package/src/Fx/internal/UnionToTuple.ts +0 -12
  579. package/src/Fx/internal/diff.ts +0 -191
  580. package/src/Fx/internal/equivalence.ts +0 -12
  581. package/src/Fx/internal/multicast.ts +0 -51
  582. package/src/Fx/internal/ring-buffer.ts +0 -60
  583. package/src/Fx/internal/scope.ts +0 -58
  584. package/src/Fx/internal/yieldable.ts +0 -31
  585. package/src/Fx/run/collect.ts +0 -79
  586. package/src/Fx/run/first.ts +0 -20
  587. package/src/Fx/run/fork.ts +0 -40
  588. package/src/Fx/run/index.ts +0 -5
  589. package/src/Fx/run/observe.ts +0 -114
  590. package/src/Fx/run/runPromise.ts +0 -32
  591. package/src/Fx/stream.ts +0 -42
  592. package/src/Fx.additive-combinators.test.ts +0 -126
  593. package/src/Fx.catch-additive.test.ts +0 -206
  594. package/src/Fx.catch.test.ts +0 -60
  595. package/src/Fx.dropUntil.test.ts +0 -61
  596. package/src/Fx.fn.test.ts +0 -51
  597. package/src/Fx.lifecycle.test.ts +0 -79
  598. package/src/Fx.mapError-mapBoth.test.ts +0 -101
  599. package/src/Fx.provide-combinators.test.ts +0 -94
  600. package/src/Fx.result-changesWithEffect.test.ts +0 -112
  601. package/src/Fx.scan.test.ts +0 -73
  602. package/src/Fx.takeWhile-skipWhile.test.ts +0 -84
  603. package/src/Fx.test.ts +0 -71
  604. package/src/Fx.ts +0 -1
  605. package/src/Fx.zip-merge-additive.test.ts +0 -171
  606. package/src/Fx.zip.test.ts +0 -133
  607. package/src/Push/Push.ts +0 -1072
  608. package/src/Push/index.ts +0 -1
  609. package/src/Push.additive.test.ts +0 -256
  610. package/src/Push.test.ts +0 -26
  611. package/src/Push.ts +0 -1
  612. package/src/RefSubject/RefArray.ts +0 -516
  613. package/src/RefSubject/RefBigDecimal.test.ts +0 -56
  614. package/src/RefSubject/RefBigDecimal.ts +0 -295
  615. package/src/RefSubject/RefBigInt.test.ts +0 -56
  616. package/src/RefSubject/RefBigInt.ts +0 -189
  617. package/src/RefSubject/RefBoolean.test.ts +0 -57
  618. package/src/RefSubject/RefBoolean.ts +0 -185
  619. package/src/RefSubject/RefCause.test.ts +0 -53
  620. package/src/RefSubject/RefCause.ts +0 -146
  621. package/src/RefSubject/RefChunk.ts +0 -516
  622. package/src/RefSubject/RefDateTime.test.ts +0 -43
  623. package/src/RefSubject/RefDateTime.ts +0 -261
  624. package/src/RefSubject/RefDuration.test.ts +0 -49
  625. package/src/RefSubject/RefDuration.ts +0 -188
  626. package/src/RefSubject/RefGraph.ts +0 -649
  627. package/src/RefSubject/RefHashMap.ts +0 -474
  628. package/src/RefSubject/RefHashRing.ts +0 -262
  629. package/src/RefSubject/RefHashSet.ts +0 -308
  630. package/src/RefSubject/RefIterable.ts +0 -454
  631. package/src/RefSubject/RefOption.test.ts +0 -67
  632. package/src/RefSubject/RefOption.ts +0 -193
  633. package/src/RefSubject/RefRecord.ts +0 -621
  634. package/src/RefSubject/RefResult.test.ts +0 -63
  635. package/src/RefSubject/RefResult.ts +0 -209
  636. package/src/RefSubject/RefString.test.ts +0 -61
  637. package/src/RefSubject/RefString.ts +0 -256
  638. package/src/RefSubject/RefStruct.test.ts +0 -60
  639. package/src/RefSubject/RefStruct.ts +0 -253
  640. package/src/RefSubject/RefSubject.ts +0 -2644
  641. package/src/RefSubject/RefTrie.ts +0 -365
  642. package/src/RefSubject/RefTuple.test.ts +0 -60
  643. package/src/RefSubject/RefTuple.ts +0 -231
  644. package/src/RefSubject/index.ts +0 -21
  645. package/src/RefSubject.additive-parity.test.ts +0 -101
  646. package/src/RefSubject.test.ts +0 -65
  647. package/src/RefSubject.ts +0 -1
  648. package/src/Sink/Sink.ts +0 -159
  649. package/src/Sink/combinators.ts +0 -1115
  650. package/src/Sink/index.ts +0 -2
  651. package/src/Sink.combinators.test.ts +0 -88
  652. package/src/Sink.reduce-collect-head-last.test.ts +0 -107
  653. package/src/Sink.ts +0 -1
  654. package/src/Subject/Subject.ts +0 -441
  655. package/src/Subject/index.ts +0 -1
  656. package/src/Subject.test.ts +0 -47
  657. package/src/Subject.ts +0 -1
  658. package/src/Versioned/Versioned.ts +0 -597
  659. package/src/Versioned/index.ts +0 -1
  660. package/src/Versioned.filterMap.test.ts +0 -91
  661. package/src/Versioned.test.ts +0 -23
  662. package/src/Versioned.ts +0 -1
  663. 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
- });