@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
package/src/Push/Push.ts DELETED
@@ -1,1072 +0,0 @@
1
- /** @effect-diagnostics missingEffectError:skip-file */
2
- /** @effect-diagnostics missingEffectContext:skip-file */
3
-
4
- /**
5
- * Push is a type of Fx that can be used to push values to a sink.
6
- */
7
- import type * as Cause from "effect/Cause";
8
- import * as Effect from "effect/Effect";
9
- import { dual, identity } from "effect/Function";
10
- import * as Layer from "effect/Layer";
11
- import * as Option from "effect/Option";
12
- import { pipeArguments } from "effect/Pipeable";
13
- import type * as Scope from "effect/Scope";
14
- import * as ServiceMap from "effect/ServiceMap";
15
- import * as Fx from "../Fx/index.js";
16
- import { FxTypeId } from "../Fx/TypeId.js";
17
- import * as Sink from "../Sink.js";
18
-
19
- /**
20
- * Push is an abstract type which represents a Type which is both an Fx and a Sink. The type parameters
21
- * are decoupled from one another and allow mapping over the input and output of the Push separately for
22
- * more complex use cases.
23
- *
24
- * @example
25
- * ```ts
26
- * import { Effect } from "effect"
27
- * import * as Push from "@typed/fx/Push"
28
- * import { Fx } from "@typed/fx"
29
- * import * as Sink from "@typed/fx/Sink"
30
- *
31
- * const program = Effect.gen(function* () {
32
- * // Create a Push that accepts numbers and emits strings
33
- * const push = Push.make(
34
- * Sink.make(
35
- * (cause) => Effect.sync(() => console.log("Error:", cause)),
36
- * (value) => Effect.sync(() => console.log("Received:", value))
37
- * ),
38
- * Fx.succeed("Hello")
39
- * )
40
- *
41
- * // Push a value to the sink
42
- * yield* push.onSuccess(42)
43
- * // Output: "Received: 42"
44
- *
45
- * // Observe the Fx output
46
- * yield* Fx.observe(push, (value) =>
47
- * Effect.sync(() => console.log("Emitted:", value))
48
- * )
49
- * // Output: "Emitted: Hello"
50
- * })
51
- * ```
52
- *
53
- * @since 1.0.0
54
- * @category models
55
- */
56
- export interface Push<in A, in E, out R, out B, out E2, out R2>
57
- extends Sink.Sink<A, E, R>, Fx.Fx<B, E2, R2> {}
58
-
59
- export namespace Push {
60
- export type Any = Push<any, any, any, any, any, any>;
61
-
62
- export interface Service<Self, Id extends string, A, E, B, E2> extends Push<
63
- A,
64
- E,
65
- Self,
66
- B,
67
- E2,
68
- Self
69
- > {
70
- readonly id: Id;
71
- readonly service: ServiceMap.Service<Self, Push<A, E, never, B, E2, never>>;
72
- readonly make: <R = never, R2 = never>(
73
- sink: Sink.Sink<A, E, R>,
74
- fx: Fx.Fx<B, E2, R2>,
75
- ) => Layer.Layer<Self, never, Exclude<R | R2, Scope.Scope>>;
76
- }
77
-
78
- export interface Class<Self, Id extends string, A, E, B, E2> extends Service<
79
- Self,
80
- Id,
81
- A,
82
- E,
83
- B,
84
- E2
85
- > {
86
- new (): Service<Self, Id, A, E, B, E2>;
87
- }
88
- }
89
-
90
- /**
91
- * Creates a `Push` from a `Sink` and an `Fx`.
92
- *
93
- * @example
94
- * ```ts
95
- * import { Effect } from "effect"
96
- * import * as Push from "@typed/fx/Push"
97
- * import { Fx } from "@typed/fx"
98
- * import * as Sink from "@typed/fx/Sink"
99
- *
100
- * const program = Effect.gen(function* () {
101
- * const sink = Sink.make(
102
- * (cause) => Effect.sync(() => console.log("Failed:", cause)),
103
- * (value) => Effect.sync(() => console.log("Success:", value))
104
- * )
105
- *
106
- * const fx = Fx.succeed("Output")
107
- *
108
- * const push = Push.make(sink, fx)
109
- *
110
- * // Push a value
111
- * yield* push.onSuccess(42)
112
- * // Output: "Success: 42"
113
- *
114
- * // Observe the Fx
115
- * yield* Fx.observe(push, (value) =>
116
- * Effect.sync(() => console.log("Emitted:", value))
117
- * )
118
- * // Output: "Emitted: Output"
119
- * })
120
- * ```
121
- *
122
- * @since 1.0.0
123
- * @category constructors
124
- */
125
- export const make: {
126
- <B, E2, R2>(
127
- fx: Fx.Fx<B, E2, R2>,
128
- ): <A, E, R>(sink: Sink.Sink<A, E, R>) => Push<A, E, R, B, E2, R2>;
129
- <A, E, R, B, E2, R2>(sink: Sink.Sink<A, E, R>, fx: Fx.Fx<B, E2, R2>): Push<A, E, R, B, E2, R2>;
130
- } = dual(2, (sink: any, fx: any) => new PushImpl<any, any, any, any, any, any>(sink, fx));
131
-
132
- const VARIANCE = {
133
- _A: identity,
134
- _E: identity,
135
- _R: identity,
136
- };
137
-
138
- class PushImpl<A, E, R, B, E2, R2> implements Push<A, E, R, B, E2, R2> {
139
- readonly [FxTypeId]: typeof VARIANCE = VARIANCE;
140
- readonly sink: Sink.Sink<A, E, R>;
141
- readonly fx: Fx.Fx<B, E2, R2>;
142
-
143
- constructor(sink: Sink.Sink<A, E, R>, fx: Fx.Fx<B, E2, R2>) {
144
- this.sink = sink;
145
- this.fx = fx;
146
-
147
- this.onFailure = this.onFailure.bind(this);
148
- this.onSuccess = this.onSuccess.bind(this);
149
- }
150
-
151
- run<R3>(sink: Sink.Sink<B, E2, R3>): Effect.Effect<unknown, never, R2 | R3> {
152
- return this.fx.run(sink);
153
- }
154
-
155
- onFailure(cause: Cause.Cause<E>): Effect.Effect<unknown, never, R> {
156
- return this.sink.onFailure(cause);
157
- }
158
-
159
- onSuccess(value: A): Effect.Effect<unknown, never, R> {
160
- return this.sink.onSuccess(value);
161
- }
162
-
163
- pipe() {
164
- return pipeArguments(this, arguments);
165
- }
166
- }
167
-
168
- /**
169
- * Maps over the input (Sink) side of a `Push`.
170
- *
171
- * @example
172
- * ```ts
173
- * import { Effect } from "effect"
174
- * import * as Push from "@typed/fx/Push"
175
- * import { Fx } from "@typed/fx"
176
- * import * as Sink from "@typed/fx/Sink"
177
- *
178
- * const program = Effect.gen(function* () {
179
- * const push = Push.make(
180
- * Sink.make(
181
- * (cause) => Effect.void,
182
- * (value) => Effect.sync(() => console.log("Number:", value))
183
- * ),
184
- * Fx.succeed("Output")
185
- * )
186
- *
187
- * // Map input from string to number
188
- * const mapped = Push.mapInput(push, (str: string) => parseInt(str))
189
- *
190
- * // Push a string, which gets converted to a number
191
- * yield* mapped.onSuccess("42")
192
- * // Output: "Number: 42"
193
- * })
194
- * ```
195
- *
196
- * @since 1.0.0
197
- * @category combinators
198
- */
199
- export const mapInput: {
200
- <P extends Push.Any, C>(
201
- f: (c: C) => Sink.Success<P>,
202
- ): (
203
- push: P,
204
- ) => Push<Sink.Context<P>, Sink.Error<P>, C, Fx.Fx.Services<P>, Fx.Fx.Error<P>, Fx.Fx.Success<P>>;
205
-
206
- <P extends Push.Any, C>(
207
- push: P,
208
- f: (c: C) => Sink.Sink.Success<P>,
209
- ): Push<
210
- Sink.Sink.Context<P>,
211
- Sink.Sink.Error<P>,
212
- C,
213
- Fx.Fx.Services<P>,
214
- Fx.Fx.Error<P>,
215
- Fx.Fx.Success<P>
216
- >;
217
- } = dual(2, function mapInput<P extends Push.Any, C>(push: P, f: (c: C) => Sink.Success<P>): Push<
218
- Sink.Context<P>,
219
- Sink.Error<P>,
220
- C,
221
- Fx.Fx.Services<P>,
222
- Fx.Fx.Error<P>,
223
- Fx.Fx.Success<P>
224
- > {
225
- return make(Sink.map(push, f), push);
226
- });
227
-
228
- export const mapInputEffect: {
229
- <C, R3, E, A>(
230
- f: (c: C) => Effect.Effect<A, E, R3>,
231
- ): <R, B, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<C, E, R | R3, B, E2, R2>;
232
-
233
- <A, E, R, B, E2, R2, R3, C>(
234
- push: Push<A, E, R, B, E2, R2>,
235
- f: (c: C) => Effect.Effect<A, E, R3>,
236
- ): Push<C, E, R | R3, B, E2, R2>;
237
- } = dual(2, function mapInputEffect<
238
- A,
239
- E,
240
- R,
241
- B,
242
- E2,
243
- R2,
244
- R3,
245
- C,
246
- >(push: Push<A, E, R, B, E2, R2>, f: (c: C) => Effect.Effect<A, E, R3>): Push<
247
- C,
248
- E,
249
- R | R3,
250
- B,
251
- E2,
252
- R2
253
- > {
254
- return make(Sink.mapEffect(push, f), push);
255
- });
256
-
257
- export const filterInput: {
258
- <A>(
259
- f: (a: A) => boolean,
260
- ): <P extends Push.Any>(
261
- push: P,
262
- ) => Push<Sink.Context<P>, Sink.Error<P>, A, Fx.Fx.Services<P>, Fx.Fx.Error<P>, Fx.Fx.Success<P>>;
263
- <A, E, R, B, E2, R2>(
264
- push: Push<A, E, R, B, E2, R2>,
265
- f: (a: A) => boolean,
266
- ): Push<A, E, R, B, E2, R2>;
267
- } = dual(2, function filterInput<
268
- A,
269
- E,
270
- R,
271
- B,
272
- E2,
273
- R2,
274
- >(push: Push<A, E, R, B, E2, R2>, f: (a: A) => boolean): Push<A, E, R, B, E2, R2> {
275
- return make(Sink.filter(push, f), push);
276
- });
277
-
278
- export const filterInputEffect: {
279
- <A, R3, E>(
280
- f: (a: A) => Effect.Effect<boolean, E, R3>,
281
- ): <R, B, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R | R3, B, E2, R2>;
282
-
283
- <A, E, R, B, E2, R2, R3>(
284
- push: Push<A, E, R, B, E2, R2>,
285
- f: (a: A) => Effect.Effect<boolean, E, R3>,
286
- ): Push<A, E, R | R3, B, E2, R2>;
287
- } = dual(2, function filterInputEffect<
288
- A,
289
- E,
290
- R,
291
- B,
292
- E2,
293
- R2,
294
- R3,
295
- >(push: Push<A, E, R, B, E2, R2>, f: (a: A) => Effect.Effect<boolean, E, R3>): Push<
296
- A,
297
- E,
298
- R | R3,
299
- B,
300
- E2,
301
- R2
302
- > {
303
- return make(Sink.filterEffect<A, E, R | R3>(push, f), push);
304
- });
305
-
306
- export const filterMapInput: {
307
- <C, A>(
308
- f: (c: C) => Option.Option<A>,
309
- ): <P extends Push.Any>(
310
- push: P,
311
- ) => Push<C, Sink.Error<P>, Sink.Context<P>, Fx.Fx.Success<P>, Fx.Fx.Error<P>, Fx.Fx.Services<P>>;
312
- <A, E, R, B, E2, R2, C>(
313
- push: Push<A, E, R, B, E2, R2>,
314
- f: (c: C) => Option.Option<A>,
315
- ): Push<C, E, R, B, E2, R2>;
316
- } = dual(2, function filterMapInput<
317
- A,
318
- E,
319
- R,
320
- B,
321
- E2,
322
- R2,
323
- C,
324
- >(push: Push<A, E, R, B, E2, R2>, f: (c: C) => Option.Option<A>): Push<C, E, R, B, E2, R2> {
325
- return make(Sink.filterMap(push, f), push);
326
- });
327
-
328
- export const filterMapInputEffect: {
329
- <C, R3, E, A>(
330
- f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>,
331
- ): <R, B, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<C, E, R | R3, B, E2, R2>;
332
- <A, E, R, B, E2, R2, R3, C>(
333
- push: Push<A, E, R, B, E2, R2>,
334
- f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>,
335
- ): Push<C, E, R | R3, B, E2, R2>;
336
- } = dual(2, function filterMapInputEffect<
337
- A,
338
- E,
339
- R,
340
- B,
341
- E2,
342
- R2,
343
- R3,
344
- C,
345
- >(push: Push<A, E, R, B, E2, R2>, f: (c: C) => Effect.Effect<Option.Option<A>, E, R3>): Push<
346
- C,
347
- E,
348
- R | R3,
349
- B,
350
- E2,
351
- R2
352
- > {
353
- return make(Sink.filterMapEffect(push, f), push);
354
- });
355
-
356
- /**
357
- * Maps over the output (Fx) side of a `Push`.
358
- *
359
- * @example
360
- * ```ts
361
- * import { Effect } from "effect"
362
- * import * as Push from "@typed/fx/Push"
363
- * import { Fx } from "@typed/fx"
364
- * import * as Sink from "@typed/fx/Sink"
365
- *
366
- * const program = Effect.gen(function* () {
367
- * const push = Push.make(
368
- * Sink.make(
369
- * (cause) => Effect.void,
370
- * (value) => Effect.void
371
- * ),
372
- * Fx.succeed(42)
373
- * )
374
- *
375
- * // Map output from number to string
376
- * const mapped = Push.map(push, (n) => `Number: ${n}`)
377
- *
378
- * // Observe the mapped output
379
- * yield* Fx.observe(mapped, (value) =>
380
- * Effect.sync(() => console.log(value))
381
- * )
382
- * // Output: "Number: 42"
383
- * })
384
- * ```
385
- *
386
- * @since 1.0.0
387
- * @category combinators
388
- */
389
- export const map: {
390
- <B, C>(
391
- f: (b: B) => C,
392
- ): <A, E, R, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, C, E2, R2>;
393
- <A, E, R, B, E2, R2, C>(push: Push<A, E, R, B, E2, R2>, f: (b: B) => C): Push<A, E, R, C, E2, R2>;
394
- } = dual(2, function map<
395
- A,
396
- E,
397
- R,
398
- B,
399
- E2,
400
- R2,
401
- C,
402
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => C): Push<A, E, R, C, E2, R2> {
403
- return make(push, Fx.map(push, f));
404
- });
405
-
406
- export const mapEffect: {
407
- <B, C, E3, R3>(
408
- f: (b: B) => Effect.Effect<C, E3, R3>,
409
- ): <A, E, R, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, C, E2 | E3, R2 | R3>;
410
- <A, E, R, B, E2, R2, C, E3, R3>(
411
- push: Push<A, E, R, B, E2, R2>,
412
- f: (b: B) => Effect.Effect<C, E3, R3>,
413
- ): Push<A, E, R, C, E2 | E3, R2 | R3>;
414
- } = dual(2, function mapEffect<
415
- A,
416
- E,
417
- R,
418
- B,
419
- E2,
420
- R2,
421
- C,
422
- E3,
423
- R3,
424
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Effect.Effect<C, E3, R3>): Push<
425
- A,
426
- E,
427
- R,
428
- C,
429
- E2 | E3,
430
- R2 | R3
431
- > {
432
- return make(push, Fx.mapEffect(push, f));
433
- });
434
-
435
- /**
436
- * Transforms the output (Fx) error channel of a `Push` using the provided function.
437
- *
438
- * Failures (Cause) are mapped via `Cause.map`, so only the typed failure (`Fail`)
439
- * is transformed; defects and interrupts are preserved unchanged.
440
- *
441
- * Mirrors `Effect.mapError` on the Fx side.
442
- *
443
- * @since 1.0.0
444
- * @category combinators
445
- */
446
- export const mapError: {
447
- <E2, E3>(
448
- f: (e: E2) => E3,
449
- ): <A, E, R, B, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, B, E3, R2>;
450
- <A, E, R, B, E2, R2, E3>(
451
- push: Push<A, E, R, B, E2, R2>,
452
- f: (e: E2) => E3,
453
- ): Push<A, E, R, B, E3, R2>;
454
- } = dual(2, function mapError<
455
- A,
456
- E,
457
- R,
458
- B,
459
- E2,
460
- R2,
461
- E3,
462
- >(push: Push<A, E, R, B, E2, R2>, f: (e: E2) => E3): Push<A, E, R, B, E3, R2> {
463
- return make(push, Fx.mapError(push, f));
464
- });
465
-
466
- /**
467
- * Transforms both the output (Fx) success and error channels of a `Push` using the provided options.
468
- *
469
- * Mirrors `Effect.mapBoth` on the Fx side: `onSuccess` maps emitted values,
470
- * `onFailure` maps the typed failure (via `Cause.map`); defects and interrupts are preserved.
471
- *
472
- * @since 1.0.0
473
- * @category combinators
474
- */
475
- export const mapBoth: {
476
- <B, C, E2, E3>(options: {
477
- readonly onFailure: (e: E2) => E3;
478
- readonly onSuccess: (b: B) => C;
479
- }): <A, E, R, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, C, E3, R2>;
480
- <A, E, R, B, E2, R2, C, E3>(
481
- push: Push<A, E, R, B, E2, R2>,
482
- options: { readonly onFailure: (e: E2) => E3; readonly onSuccess: (b: B) => C },
483
- ): Push<A, E, R, C, E3, R2>;
484
- } = dual(
485
- 2,
486
- function mapBoth<A, E, R, B, E2, R2, C, E3>(
487
- push: Push<A, E, R, B, E2, R2>,
488
- options: {
489
- readonly onFailure: (e: E2) => E3;
490
- readonly onSuccess: (b: B) => C;
491
- },
492
- ): Push<A, E, R, C, E3, R2> {
493
- return make(push, Fx.mapBoth(push, options));
494
- },
495
- );
496
-
497
- export const filter: {
498
- <B>(
499
- f: (b: B) => boolean,
500
- ): <A, E, R, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, B, E2, R2>;
501
- <A, E, R, B, E2, R2>(
502
- push: Push<A, E, R, B, E2, R2>,
503
- f: (b: B) => boolean,
504
- ): Push<A, E, R, B, E2, R2>;
505
- } = dual(2, function filter<
506
- A,
507
- E,
508
- R,
509
- B,
510
- E2,
511
- R2,
512
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => boolean): Push<A, E, R, B, E2, R2> {
513
- return make(push, Fx.filter(push, f));
514
- });
515
-
516
- export const filterEffect: {
517
- <B, R3, E3>(
518
- f: (b: B) => Effect.Effect<boolean, E3, R3>,
519
- ): <A, E, R, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, B, E2 | E3, R2 | R3>;
520
- <A, E, R, B, E2, R2, R3, E3>(
521
- push: Push<A, E, R, B, E2, R2>,
522
- f: (b: B) => Effect.Effect<boolean, E3, R3>,
523
- ): Push<A, E, R, B, E2 | E3, R2 | R3>;
524
- } = dual(2, function filterEffect<
525
- A,
526
- E,
527
- R,
528
- B,
529
- E2,
530
- R2,
531
- R3,
532
- E3,
533
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Effect.Effect<boolean, E3, R3>): Push<
534
- A,
535
- E,
536
- R,
537
- B,
538
- E2 | E3,
539
- R2 | R3
540
- > {
541
- return make(push, Fx.filterEffect(push, f));
542
- });
543
-
544
- export const filterMap: {
545
- <B, C>(
546
- f: (b: B) => Option.Option<C>,
547
- ): <A, E, R, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, C, E2, R2>;
548
- <A, E, R, B, E2, R2, C>(
549
- push: Push<A, E, R, B, E2, R2>,
550
- f: (b: B) => Option.Option<C>,
551
- ): Push<A, E, R, C, E2, R2>;
552
- } = dual(2, function filterMap<
553
- A,
554
- E,
555
- R,
556
- B,
557
- E2,
558
- R2,
559
- C,
560
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Option.Option<C>): Push<A, E, R, C, E2, R2> {
561
- return make(push, Fx.filterMap(push, f));
562
- });
563
-
564
- export const filterMapEffect: {
565
- <B, C, E3, R3>(
566
- f: (b: B) => Effect.Effect<Option.Option<C>, E3, R3>,
567
- ): <A, E, R, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, C, E2 | E3, R2 | R3>;
568
- <A, E, R, B, E2, R2, C, E3, R3>(
569
- push: Push<A, E, R, B, E2, R2>,
570
- f: (b: B) => Effect.Effect<Option.Option<C>, E3, R3>,
571
- ): Push<A, E, R, C, E2 | E3, R2 | R3>;
572
- } = dual(2, function filterMapEffect<
573
- A,
574
- E,
575
- R,
576
- B,
577
- E2,
578
- R2,
579
- C,
580
- E3,
581
- R3,
582
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Effect.Effect<Option.Option<C>, E3, R3>): Push<
583
- A,
584
- E,
585
- R,
586
- C,
587
- E2 | E3,
588
- R2 | R3
589
- > {
590
- return make(push, Fx.filterMapEffect(push, f));
591
- });
592
-
593
- /**
594
- * Transforms each output value into a new `Fx`, switching to the latest inner `Fx` when a new value arrives.
595
- *
596
- * @example
597
- * ```ts
598
- * import { Effect } from "effect"
599
- * import * as Push from "@typed/fx/Push"
600
- * import { Fx } from "@typed/fx"
601
- * import * as Sink from "@typed/fx/Sink"
602
- *
603
- * const program = Effect.gen(function* () {
604
- * const push = Push.make(
605
- * Sink.make(
606
- * (cause) => Effect.void,
607
- * (value) => Effect.void
608
- * ),
609
- * Fx.succeed(1)
610
- * )
611
- *
612
- * // Switch to a new Fx for each value
613
- * const switched = Push.switchMap(push, (n) =>
614
- * Fx.fromIterable([n, n * 2, n * 3])
615
- * )
616
- *
617
- * // Only the latest Fx's values are emitted
618
- * yield* Fx.observe(switched, (value) =>
619
- * Effect.sync(() => console.log(value))
620
- * )
621
- * })
622
- * ```
623
- *
624
- * @since 1.0.0
625
- * @category combinators
626
- */
627
- export const switchMap: {
628
- <B, C, E3, R3>(
629
- f: (b: B) => Fx.Fx<C, E3, R3>,
630
- ): <A, E, R, E2, R2>(
631
- push: Push<A, E, R, B, E2, R2>,
632
- ) => Push<A, E, R, Scope.Scope | C, E2 | E3, R2 | R3>;
633
- <A, E, R, B, E2, R2, C, E3, R3>(
634
- push: Push<A, E, R, B, E2, R2>,
635
- f: (b: B) => Fx.Fx<C, E3, R3>,
636
- ): Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
637
- } = dual(2, function switchMap<
638
- A,
639
- E,
640
- R,
641
- B,
642
- E2,
643
- R2,
644
- C,
645
- E3,
646
- R3,
647
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Fx.Fx<C, E3, R3>): Push<
648
- A,
649
- E,
650
- R,
651
- C,
652
- E2 | E3,
653
- R2 | R3 | Scope.Scope
654
- > {
655
- return make(push, Fx.switchMap(push, f));
656
- });
657
-
658
- export const switchMapEffect: {
659
- <B, C, E3, R3>(
660
- f: (b: B) => Effect.Effect<C, E3, R3>,
661
- ): <A, E, R, E2, R2>(
662
- push: Push<A, E, R, B, E2, R2>,
663
- ) => Push<A, E, R, Scope.Scope | C, E2 | E3, R2 | R3>;
664
- <A, E, R, B, E2, R2, C, E3, R3>(
665
- push: Push<A, E, R, B, E2, R2>,
666
- f: (b: B) => Effect.Effect<C, E3, R3>,
667
- ): Push<A, E, R, Scope.Scope | C, E2 | E3, R2 | R3>;
668
- } = dual(2, function switchMapEffect<
669
- A,
670
- E,
671
- R,
672
- B,
673
- E2,
674
- R2,
675
- C,
676
- E3,
677
- R3,
678
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Effect.Effect<C, E3, R3>): Push<
679
- A,
680
- E,
681
- R,
682
- C,
683
- E2 | E3,
684
- R2 | R3 | Scope.Scope
685
- > {
686
- return make(push, Fx.switchMapEffect(push, f));
687
- });
688
-
689
- /**
690
- * Transforms each output value into a new `Fx` and merges all inner `Fx` values concurrently.
691
- *
692
- * @example
693
- * ```ts
694
- * import { Effect } from "effect"
695
- * import * as Push from "@typed/fx/Push"
696
- * import { Fx } from "@typed/fx"
697
- * import * as Sink from "@typed/fx/Sink"
698
- *
699
- * const program = Effect.gen(function* () {
700
- * const push = Push.make(
701
- * Sink.make(
702
- * (cause) => Effect.void,
703
- * (value) => Effect.void
704
- * ),
705
- * Fx.succeed(1)
706
- * )
707
- *
708
- * // FlatMap merges all inner Fx values
709
- * const flattened = Push.flatMap(push, (n) =>
710
- * Fx.fromIterable([n, n * 2, n * 3])
711
- * )
712
- *
713
- * // All values from all inner Fx are emitted
714
- * yield* Fx.observe(flattened, (value) =>
715
- * Effect.sync(() => console.log(value))
716
- * )
717
- * })
718
- * ```
719
- *
720
- * @since 1.0.0
721
- * @category combinators
722
- */
723
- export const flatMap: {
724
- <B, C, E3, R3>(
725
- f: (b: B) => Fx.Fx<C, E3, R3>,
726
- ): <A, E, R, E2, R2>(
727
- push: Push<A, E, R, B, E2, R2>,
728
- ) => Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
729
- <A, E, R, B, E2, R2, C, E3, R3>(
730
- push: Push<A, E, R, B, E2, R2>,
731
- f: (b: B) => Fx.Fx<C, E3, R3>,
732
- ): Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
733
- } = dual(2, function flatMap<
734
- A,
735
- E,
736
- R,
737
- B,
738
- E2,
739
- R2,
740
- C,
741
- E3,
742
- R3,
743
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Fx.Fx<C, E3, R3>): Push<
744
- A,
745
- E,
746
- R,
747
- C,
748
- E2 | E3,
749
- R2 | R3 | Scope.Scope
750
- > {
751
- return make(push, Fx.flatMap(push, f));
752
- });
753
-
754
- export const flatMapEffect: {
755
- <B, C, E3, R3>(
756
- f: (b: B) => Effect.Effect<C, E3, R3>,
757
- ): <A, E, R, E2, R2>(
758
- push: Push<A, E, R, B, E2, R2>,
759
- ) => Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
760
- <A, E, R, B, E2, R2, C, E3, R3>(
761
- push: Push<A, E, R, B, E2, R2>,
762
- f: (b: B) => Effect.Effect<C, E3, R3>,
763
- ): Push<A, E, R, Scope.Scope | C, E2 | E3, R2 | R3>;
764
- } = dual(2, function flatMapEffect<
765
- A,
766
- E,
767
- R,
768
- B,
769
- E2,
770
- R2,
771
- C,
772
- E3,
773
- R3,
774
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Effect.Effect<C, E3, R3>): Push<
775
- A,
776
- E,
777
- R,
778
- C,
779
- E2 | E3,
780
- R2 | R3 | Scope.Scope
781
- > {
782
- return make(push, Fx.flatMapEffect(push, f));
783
- });
784
-
785
- export const exhaustMap: {
786
- <B, C, E3, R3>(
787
- f: (b: B) => Fx.Fx<C, E3, R3>,
788
- ): <A, E, R, E2, R2>(
789
- push: Push<A, E, R, B, E2, R2>,
790
- ) => Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
791
- <A, E, R, B, E2, R2, C, E3, R3>(
792
- push: Push<A, E, R, B, E2, R2>,
793
- f: (b: B) => Fx.Fx<C, E3, R3>,
794
- ): Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
795
- } = dual(2, function exhaustMap<
796
- A,
797
- E,
798
- R,
799
- B,
800
- E2,
801
- R2,
802
- C,
803
- E3,
804
- R3,
805
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Fx.Fx<C, E3, R3>): Push<
806
- A,
807
- E,
808
- R,
809
- C,
810
- E2 | E3,
811
- R2 | R3 | Scope.Scope
812
- > {
813
- return make(push, Fx.exhaustMap(push, f));
814
- });
815
-
816
- export const exhaustMapEffect: {
817
- <B, C, E3, R3>(
818
- f: (b: B) => Effect.Effect<C, E3, R3>,
819
- ): <A, E, R, E2, R2>(
820
- push: Push<A, E, R, B, E2, R2>,
821
- ) => Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
822
- <A, E, R, B, E2, R2, C, E3, R3>(
823
- push: Push<A, E, R, B, E2, R2>,
824
- f: (b: B) => Effect.Effect<C, E3, R3>,
825
- ): Push<A, E, R, Scope.Scope | C, E2 | E3, R2 | R3>;
826
- } = dual(2, function exhaustMapEffect<
827
- A,
828
- E,
829
- R,
830
- B,
831
- E2,
832
- R2,
833
- C,
834
- E3,
835
- R3,
836
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Effect.Effect<C, E3, R3>): Push<
837
- A,
838
- E,
839
- R,
840
- C,
841
- E2 | E3,
842
- R2 | R3 | Scope.Scope
843
- > {
844
- return make(push, Fx.exhaustMapEffect(push, f));
845
- });
846
-
847
- export const exhaustLatestMap: {
848
- <B, C, E3, R3>(
849
- f: (b: B) => Fx.Fx<C, E3, R3>,
850
- ): <A, E, R, E2, R2>(
851
- push: Push<A, E, R, B, E2, R2>,
852
- ) => Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
853
- <A, E, R, B, E2, R2, C, E3, R3>(
854
- push: Push<A, E, R, B, E2, R2>,
855
- f: (b: B) => Fx.Fx<C, E3, R3>,
856
- ): Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
857
- } = dual(2, function exhaustLatestMap<
858
- A,
859
- E,
860
- R,
861
- B,
862
- E2,
863
- R2,
864
- C,
865
- E3,
866
- R3,
867
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Fx.Fx<C, E3, R3>): Push<
868
- A,
869
- E,
870
- R,
871
- C,
872
- E2 | E3,
873
- R2 | R3 | Scope.Scope
874
- > {
875
- return make(push, Fx.exhaustLatestMap(push, f));
876
- });
877
-
878
- export const exhaustLatestMapEffect: {
879
- <B, C, E3, R3>(
880
- f: (b: B) => Effect.Effect<C, E3, R3>,
881
- ): <A, E, R, E2, R2>(
882
- push: Push<A, E, R, B, E2, R2>,
883
- ) => Push<A, E, R, C, E2 | E3, R2 | R3 | Scope.Scope>;
884
- <A, E, R, B, E2, R2, C, E3, R3>(
885
- push: Push<A, E, R, B, E2, R2>,
886
- f: (b: B) => Effect.Effect<C, E3, R3>,
887
- ): Push<A, E, R, Scope.Scope | C, E2 | E3, R2 | R3>;
888
- } = dual(2, function exhaustLatestMapEffect<
889
- A,
890
- E,
891
- R,
892
- B,
893
- E2,
894
- R2,
895
- C,
896
- E3,
897
- R3,
898
- >(push: Push<A, E, R, B, E2, R2>, f: (b: B) => Effect.Effect<C, E3, R3>): Push<
899
- A,
900
- E,
901
- R,
902
- C,
903
- E2 | E3,
904
- R2 | R3 | Scope.Scope
905
- > {
906
- return make(push, Fx.exhaustLatestMapEffect(push, f));
907
- });
908
-
909
- /**
910
- * Maps over the output (Fx) side of a `Push` with an accumulator: for each emitted value `b`,
911
- * applies `f(state, b)` to get `[nextState, emitted]` and emits the second element.
912
- * The first element is the initial state; subsequent states are updated by each step.
913
- *
914
- * @param initial - Initial accumulator state.
915
- * @param f - Reducer `(state, value) => [nextState, emitted]`.
916
- * @returns A `Push` whose Fx side emits the accumulated/mapped values.
917
- * @since 1.0.0
918
- * @category combinators
919
- */
920
- export const mapAccum: {
921
- <S, B, C>(
922
- initial: S,
923
- f: (s: S, b: B) => readonly [S, C],
924
- ): <A, E, R, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, C, E2, R2>;
925
- <A, E, R, B, E2, R2, S, C>(
926
- push: Push<A, E, R, B, E2, R2>,
927
- initial: S,
928
- f: (s: S, b: B) => readonly [S, C],
929
- ): Push<A, E, R, C, E2, R2>;
930
- } = dual(3, function mapAccum<
931
- A,
932
- E,
933
- R,
934
- B,
935
- E2,
936
- R2,
937
- S,
938
- C,
939
- >(push: Push<A, E, R, B, E2, R2>, initial: S, f: (s: S, b: B) => readonly [S, C]): Push<
940
- A,
941
- E,
942
- R,
943
- C,
944
- E2,
945
- R2
946
- > {
947
- return make(
948
- push,
949
- Fx.make((sink) =>
950
- push.run(
951
- Sink.loop(sink, initial, (s, b) => {
952
- const [sNext, c] = f(s, b);
953
- return [c, sNext];
954
- }),
955
- ),
956
- ),
957
- );
958
- });
959
-
960
- /**
961
- * Maps over the output (Fx) side of a `Push` with an effectful accumulator: for each emitted value `b`,
962
- * runs `f(state, b)` to get `[nextState, emitted]` and emits the second element.
963
- *
964
- * @param initial - Initial accumulator state.
965
- * @param f - Effectful reducer `(state, value) => Effect<[nextState, emitted]>`.
966
- * @returns A `Push` whose Fx side emits the accumulated/mapped values.
967
- * @since 1.0.0
968
- * @category combinators
969
- */
970
- export const mapAccumEffect: {
971
- <S, B, C, E3, R3>(
972
- initial: S,
973
- f: (s: S, b: B) => Effect.Effect<readonly [S, C], E3, R3>,
974
- ): <A, E, R, E2, R2>(push: Push<A, E, R, B, E2, R2>) => Push<A, E, R, C, E2 | E3, R2 | R3>;
975
- <A, E, R, B, E2, R2, S, C, E3, R3>(
976
- push: Push<A, E, R, B, E2, R2>,
977
- initial: S,
978
- f: (s: S, b: B) => Effect.Effect<readonly [S, C], E3, R3>,
979
- ): Push<A, E, R, C, E2 | E3, R2 | R3>;
980
- } = dual(3, function mapAccumEffect<
981
- A,
982
- E,
983
- R,
984
- B,
985
- E2,
986
- R2,
987
- S,
988
- C,
989
- E3,
990
- R3,
991
- >(push: Push<A, E, R, B, E2, R2>, initial: S, f: (s: S, b: B) => Effect.Effect<readonly [S, C], E3, R3>): Push<
992
- A,
993
- E,
994
- R,
995
- C,
996
- E2 | E3,
997
- R2 | R3
998
- > {
999
- return make(
1000
- push,
1001
- Fx.make(<RSink>(sink: Sink.Sink<C, E2 | E3, RSink>) =>
1002
- push.run(
1003
- Sink.filterMapLoopEffect(sink, initial, (s, b) =>
1004
- f(s, b).pipe(
1005
- Effect.map(([sNext, c]) => [Option.some(c), sNext] as const),
1006
- Effect.catchCause((cause) =>
1007
- sink.onFailure(cause).pipe(Effect.as([Option.none(), s] as const)),
1008
- ),
1009
- ),
1010
- ),
1011
- ),
1012
- ),
1013
- );
1014
- });
1015
-
1016
- export function Service<Self, A, E = never, B = never, E2 = never>() {
1017
- return <const Id extends string>(id: Id): Push.Class<Self, Id, A, E, B, E2> => {
1018
- const service = ServiceMap.Service<Self, Push<A, E, never, B, E2, never>>(id);
1019
-
1020
- // eslint-disable-next-line @typescript-eslint/no-extraneous-class
1021
- return class PushService {
1022
- static readonly id = id;
1023
- static readonly service = service;
1024
-
1025
- static readonly make = <R = never, R2 = never>(
1026
- sink: Sink.Sink<A, E, R>,
1027
- fx: Fx.Fx<B, E2, R2>,
1028
- ): Layer.Layer<Self, never, Exclude<R | R2, Scope.Scope>> =>
1029
- Layer.effect(
1030
- service,
1031
- Effect.services<R | R2>().pipe(
1032
- Effect.map((services) =>
1033
- make(
1034
- Sink.make(
1035
- (cause) => Effect.provideServices(sink.onFailure(cause), services),
1036
- (value) => Effect.provideServices(sink.onSuccess(value), services),
1037
- ),
1038
- Fx.make(<RSink>(sink: Sink.Sink<B, E2, RSink>) =>
1039
- Effect.services<RSink>().pipe(
1040
- Effect.flatMap((services2) =>
1041
- Effect.provideServices(fx.run(sink), ServiceMap.merge(services, services2)),
1042
- ),
1043
- ),
1044
- ),
1045
- ),
1046
- ),
1047
- ),
1048
- );
1049
-
1050
- static readonly [FxTypeId] = VARIANCE;
1051
- static readonly pipe = function (this: any) {
1052
- return pipeArguments(this, arguments);
1053
- };
1054
-
1055
- // Fx methods
1056
- static readonly run = <R3>(
1057
- sink: Sink.Sink<B, E2, R3>,
1058
- ): Effect.Effect<unknown, never, R3 | Self> =>
1059
- Effect.flatMap(service.asEffect(), (push) => push.run(sink));
1060
-
1061
- // Sink methods
1062
- static readonly onSuccess = (value: A): Effect.Effect<unknown, never, Self> =>
1063
- Effect.flatMap(service.asEffect(), (push) => push.onSuccess(value));
1064
- static readonly onFailure = (cause: Cause.Cause<E>): Effect.Effect<unknown, never, Self> =>
1065
- Effect.flatMap(service.asEffect(), (push) => push.onFailure(cause));
1066
-
1067
- constructor() {
1068
- return PushService as unknown as Push.Class<Self, Id, A, E, B, E2>;
1069
- }
1070
- } as unknown as Push.Class<Self, Id, A, E, B, E2>;
1071
- };
1072
- }