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