@typed/fx 2.0.0-beta.4 → 2.0.0-beta.6
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.
- package/README.md +34 -20
- package/dist/Fx/Fx.d.ts +362 -10
- package/dist/Fx/Fx.d.ts.map +1 -1
- package/dist/Fx/Fx.js +32 -1
- package/dist/Fx/TypeId.d.ts +49 -3
- package/dist/Fx/TypeId.d.ts.map +1 -1
- package/dist/Fx/TypeId.js +39 -2
- package/dist/Fx/combinators/additive.d.ts +156 -5
- package/dist/Fx/combinators/additive.d.ts.map +1 -1
- package/dist/Fx/combinators/additive.js +156 -5
- package/dist/Fx/combinators/catch.d.ts +195 -22
- package/dist/Fx/combinators/catch.d.ts.map +1 -1
- package/dist/Fx/combinators/catch.js +186 -16
- package/dist/Fx/combinators/causes.d.ts +24 -1
- package/dist/Fx/combinators/causes.d.ts.map +1 -1
- package/dist/Fx/combinators/causes.js +24 -1
- package/dist/Fx/combinators/changesWithEffect.d.ts +20 -0
- package/dist/Fx/combinators/changesWithEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/changesWithEffect.js +20 -0
- package/dist/Fx/combinators/compact.d.ts +17 -0
- package/dist/Fx/combinators/compact.d.ts.map +1 -1
- package/dist/Fx/combinators/compact.js +17 -0
- package/dist/Fx/combinators/concatMap.d.ts +86 -0
- package/dist/Fx/combinators/concatMap.d.ts.map +1 -0
- package/dist/Fx/combinators/concatMap.js +86 -0
- package/dist/Fx/combinators/continueWith.d.ts +109 -1
- package/dist/Fx/combinators/continueWith.d.ts.map +1 -1
- package/dist/Fx/combinators/continueWith.js +109 -1
- package/dist/Fx/combinators/debounce.d.ts +34 -0
- package/dist/Fx/combinators/debounce.d.ts.map +1 -0
- package/dist/Fx/combinators/debounce.js +35 -0
- package/dist/Fx/combinators/delay.d.ts +34 -0
- package/dist/Fx/combinators/delay.d.ts.map +1 -0
- package/dist/Fx/combinators/delay.js +31 -0
- package/dist/Fx/combinators/dropUntil.d.ts +42 -0
- package/dist/Fx/combinators/dropUntil.d.ts.map +1 -1
- package/dist/Fx/combinators/dropUntil.js +42 -0
- package/dist/Fx/combinators/during.d.ts +38 -0
- package/dist/Fx/combinators/during.d.ts.map +1 -0
- package/dist/Fx/combinators/during.js +85 -0
- package/dist/Fx/combinators/ensuring.d.ts +33 -3
- package/dist/Fx/combinators/ensuring.d.ts.map +1 -1
- package/dist/Fx/combinators/ensuring.js +33 -3
- package/dist/Fx/combinators/exhaustLatestMap.d.ts +40 -4
- package/dist/Fx/combinators/exhaustLatestMap.d.ts.map +1 -1
- package/dist/Fx/combinators/exhaustLatestMap.js +40 -4
- package/dist/Fx/combinators/exhaustLatestMapEffect.d.ts +39 -3
- package/dist/Fx/combinators/exhaustLatestMapEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/exhaustLatestMapEffect.js +39 -3
- package/dist/Fx/combinators/exhaustMap.d.ts +37 -0
- package/dist/Fx/combinators/exhaustMap.d.ts.map +1 -1
- package/dist/Fx/combinators/exhaustMap.js +37 -0
- package/dist/Fx/combinators/exhaustMapEffect.d.ts +32 -0
- package/dist/Fx/combinators/exhaustMapEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/exhaustMapEffect.js +32 -0
- package/dist/Fx/combinators/exit.d.ts +22 -1
- package/dist/Fx/combinators/exit.d.ts.map +1 -1
- package/dist/Fx/combinators/exit.js +22 -1
- package/dist/Fx/combinators/filter.d.ts +16 -0
- package/dist/Fx/combinators/filter.d.ts.map +1 -1
- package/dist/Fx/combinators/filter.js +16 -0
- package/dist/Fx/combinators/filterEffect.d.ts +21 -0
- package/dist/Fx/combinators/filterEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/filterEffect.js +21 -0
- package/dist/Fx/combinators/filterMap.d.ts +19 -0
- package/dist/Fx/combinators/filterMap.d.ts.map +1 -1
- package/dist/Fx/combinators/filterMap.js +19 -0
- package/dist/Fx/combinators/filterMapEffect.d.ts +20 -0
- package/dist/Fx/combinators/filterMapEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/filterMapEffect.js +20 -0
- package/dist/Fx/combinators/filterMapLoop.d.ts +19 -0
- package/dist/Fx/combinators/filterMapLoop.d.ts.map +1 -1
- package/dist/Fx/combinators/filterMapLoop.js +19 -0
- package/dist/Fx/combinators/filterMapLoopCause.d.ts +20 -0
- package/dist/Fx/combinators/filterMapLoopCause.d.ts.map +1 -1
- package/dist/Fx/combinators/filterMapLoopCause.js +20 -0
- package/dist/Fx/combinators/filterMapLoopCauseEffect.d.ts +20 -0
- package/dist/Fx/combinators/filterMapLoopCauseEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/filterMapLoopCauseEffect.js +20 -0
- package/dist/Fx/combinators/filterMapLoopEffect.d.ts +20 -0
- package/dist/Fx/combinators/filterMapLoopEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/filterMapLoopEffect.js +20 -0
- package/dist/Fx/combinators/flatMap.d.ts +48 -3
- package/dist/Fx/combinators/flatMap.d.ts.map +1 -1
- package/dist/Fx/combinators/flatMap.js +35 -2
- package/dist/Fx/combinators/flatMapConcurrently.d.ts +50 -3
- package/dist/Fx/combinators/flatMapConcurrently.d.ts.map +1 -1
- package/dist/Fx/combinators/flatMapConcurrently.js +47 -1
- package/dist/Fx/combinators/flatMapConcurrentlyEffect.d.ts +47 -3
- package/dist/Fx/combinators/flatMapConcurrentlyEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/flatMapConcurrentlyEffect.js +39 -1
- package/dist/Fx/combinators/flatMapEffect.d.ts +44 -2
- package/dist/Fx/combinators/flatMapEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/flatMapEffect.js +31 -1
- package/dist/Fx/combinators/flip.d.ts +33 -1
- package/dist/Fx/combinators/flip.d.ts.map +1 -1
- package/dist/Fx/combinators/flip.js +33 -1
- package/dist/Fx/combinators/gen.d.ts +28 -9
- package/dist/Fx/combinators/gen.d.ts.map +1 -1
- package/dist/Fx/combinators/gen.js +27 -3
- package/dist/Fx/combinators/genScoped.d.ts +32 -9
- package/dist/Fx/combinators/genScoped.d.ts.map +1 -1
- package/dist/Fx/combinators/genScoped.js +30 -2
- package/dist/Fx/combinators/grouped.d.ts +89 -0
- package/dist/Fx/combinators/grouped.d.ts.map +1 -0
- package/dist/Fx/combinators/grouped.js +146 -0
- package/dist/Fx/combinators/index.d.ts +35 -0
- package/dist/Fx/combinators/index.d.ts.map +1 -1
- package/dist/Fx/combinators/index.js +35 -0
- package/dist/Fx/combinators/keyed.d.ts +121 -7
- package/dist/Fx/combinators/keyed.d.ts.map +1 -1
- package/dist/Fx/combinators/keyed.js +64 -6
- package/dist/Fx/combinators/loop.d.ts +16 -0
- package/dist/Fx/combinators/loop.d.ts.map +1 -1
- package/dist/Fx/combinators/loop.js +16 -0
- package/dist/Fx/combinators/loopCause.d.ts +17 -0
- package/dist/Fx/combinators/loopCause.d.ts.map +1 -1
- package/dist/Fx/combinators/loopCause.js +17 -0
- package/dist/Fx/combinators/loopCauseEffect.d.ts +18 -0
- package/dist/Fx/combinators/loopCauseEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/loopCauseEffect.js +18 -0
- package/dist/Fx/combinators/loopEffect.d.ts +23 -0
- package/dist/Fx/combinators/loopEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/loopEffect.js +23 -0
- package/dist/Fx/combinators/map.d.ts +45 -0
- package/dist/Fx/combinators/map.d.ts.map +1 -1
- package/dist/Fx/combinators/map.js +42 -0
- package/dist/Fx/combinators/mapBoth.d.ts +19 -0
- package/dist/Fx/combinators/mapBoth.d.ts.map +1 -1
- package/dist/Fx/combinators/mapBoth.js +19 -0
- package/dist/Fx/combinators/mapEffect.d.ts +24 -0
- package/dist/Fx/combinators/mapEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/mapEffect.js +24 -0
- package/dist/Fx/combinators/mapError.d.ts +20 -4
- package/dist/Fx/combinators/mapError.d.ts.map +1 -1
- package/dist/Fx/combinators/mapError.js +20 -4
- package/dist/Fx/combinators/mergeAll.d.ts +34 -0
- package/dist/Fx/combinators/mergeAll.d.ts.map +1 -1
- package/dist/Fx/combinators/mergeAll.js +34 -0
- package/dist/Fx/combinators/mergeOrdered.d.ts +35 -3
- package/dist/Fx/combinators/mergeOrdered.d.ts.map +1 -1
- package/dist/Fx/combinators/mergeOrdered.js +35 -3
- package/dist/Fx/combinators/onError.d.ts +33 -3
- package/dist/Fx/combinators/onError.d.ts.map +1 -1
- package/dist/Fx/combinators/onError.js +33 -3
- package/dist/Fx/combinators/onExit.d.ts +28 -2
- package/dist/Fx/combinators/onExit.d.ts.map +1 -1
- package/dist/Fx/combinators/onExit.js +28 -2
- package/dist/Fx/combinators/onInterrupt.d.ts +48 -3
- package/dist/Fx/combinators/onInterrupt.d.ts.map +1 -1
- package/dist/Fx/combinators/onInterrupt.js +48 -3
- package/dist/Fx/combinators/pairwise.d.ts +28 -0
- package/dist/Fx/combinators/pairwise.d.ts.map +1 -0
- package/dist/Fx/combinators/pairwise.js +31 -0
- package/dist/Fx/combinators/provide.d.ts +130 -9
- package/dist/Fx/combinators/provide.d.ts.map +1 -1
- package/dist/Fx/combinators/provide.js +130 -9
- package/dist/Fx/combinators/race.d.ts +92 -0
- package/dist/Fx/combinators/race.d.ts.map +1 -0
- package/dist/Fx/combinators/race.js +149 -0
- package/dist/Fx/combinators/repeat.d.ts +41 -0
- package/dist/Fx/combinators/repeat.d.ts.map +1 -0
- package/dist/Fx/combinators/repeat.js +57 -0
- package/dist/Fx/combinators/result.d.ts +22 -0
- package/dist/Fx/combinators/result.d.ts.map +1 -1
- package/dist/Fx/combinators/result.js +26 -12
- package/dist/Fx/combinators/retry.d.ts +53 -0
- package/dist/Fx/combinators/retry.d.ts.map +1 -0
- package/dist/Fx/combinators/retry.js +71 -0
- package/dist/Fx/combinators/sample.d.ts +31 -0
- package/dist/Fx/combinators/sample.d.ts.map +1 -0
- package/dist/Fx/combinators/sample.js +42 -0
- package/dist/Fx/combinators/scan.d.ts +39 -0
- package/dist/Fx/combinators/scan.d.ts.map +1 -1
- package/dist/Fx/combinators/scan.js +39 -0
- package/dist/Fx/combinators/since.d.ts +30 -0
- package/dist/Fx/combinators/since.d.ts.map +1 -0
- package/dist/Fx/combinators/since.js +39 -0
- package/dist/Fx/combinators/skip.d.ts +31 -0
- package/dist/Fx/combinators/skip.d.ts.map +1 -1
- package/dist/Fx/combinators/skip.js +31 -0
- package/dist/Fx/combinators/skipRepeats.d.ts +16 -0
- package/dist/Fx/combinators/skipRepeats.d.ts.map +1 -1
- package/dist/Fx/combinators/skipRepeats.js +16 -0
- package/dist/Fx/combinators/skipRepeatsWith.d.ts +17 -0
- package/dist/Fx/combinators/skipRepeatsWith.d.ts.map +1 -1
- package/dist/Fx/combinators/skipRepeatsWith.js +17 -0
- package/dist/Fx/combinators/skipWhile.d.ts +68 -0
- package/dist/Fx/combinators/skipWhile.d.ts.map +1 -1
- package/dist/Fx/combinators/skipWhile.js +68 -0
- package/dist/Fx/combinators/slice.d.ts +82 -0
- package/dist/Fx/combinators/slice.d.ts.map +1 -1
- package/dist/Fx/combinators/slice.js +33 -0
- package/dist/Fx/combinators/switchMap.d.ts +38 -0
- package/dist/Fx/combinators/switchMap.d.ts.map +1 -1
- package/dist/Fx/combinators/switchMap.js +38 -0
- package/dist/Fx/combinators/switchMapEffect.d.ts +37 -0
- package/dist/Fx/combinators/switchMapEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/switchMapEffect.js +37 -0
- package/dist/Fx/combinators/take.d.ts +32 -0
- package/dist/Fx/combinators/take.d.ts.map +1 -1
- package/dist/Fx/combinators/take.js +32 -0
- package/dist/Fx/combinators/takeUntil.d.ts +46 -0
- package/dist/Fx/combinators/takeUntil.d.ts.map +1 -1
- package/dist/Fx/combinators/takeUntil.js +46 -0
- package/dist/Fx/combinators/takeWhile.d.ts +31 -0
- package/dist/Fx/combinators/takeWhile.d.ts.map +1 -1
- package/dist/Fx/combinators/takeWhile.js +31 -0
- package/dist/Fx/combinators/tapEffect.d.ts +16 -0
- package/dist/Fx/combinators/tapEffect.d.ts.map +1 -1
- package/dist/Fx/combinators/tapEffect.js +16 -0
- package/dist/Fx/combinators/throttle.d.ts +79 -0
- package/dist/Fx/combinators/throttle.d.ts.map +1 -0
- package/dist/Fx/combinators/throttle.js +99 -0
- package/dist/Fx/combinators/timeout.d.ts +76 -0
- package/dist/Fx/combinators/timeout.d.ts.map +1 -0
- package/dist/Fx/combinators/timeout.js +110 -0
- package/dist/Fx/combinators/tuple.d.ts +30 -0
- package/dist/Fx/combinators/tuple.d.ts.map +1 -1
- package/dist/Fx/combinators/tuple.js +34 -3
- package/dist/Fx/combinators/until.d.ts +27 -0
- package/dist/Fx/combinators/until.d.ts.map +1 -0
- package/dist/Fx/combinators/until.js +56 -0
- package/dist/Fx/combinators/unwrap.d.ts +29 -0
- package/dist/Fx/combinators/unwrap.d.ts.map +1 -1
- package/dist/Fx/combinators/unwrap.js +29 -0
- package/dist/Fx/combinators/unwrapScoped.d.ts +33 -0
- package/dist/Fx/combinators/unwrapScoped.d.ts.map +1 -1
- package/dist/Fx/combinators/unwrapScoped.js +33 -0
- package/dist/Fx/combinators/when.d.ts +35 -0
- package/dist/Fx/combinators/when.d.ts.map +1 -1
- package/dist/Fx/combinators/when.js +36 -1
- package/dist/Fx/combinators/withLatestFrom.d.ts +58 -0
- package/dist/Fx/combinators/withLatestFrom.d.ts.map +1 -0
- package/dist/Fx/combinators/withLatestFrom.js +68 -0
- package/dist/Fx/combinators/withSpan.d.ts +35 -1
- package/dist/Fx/combinators/withSpan.d.ts.map +1 -1
- package/dist/Fx/combinators/withSpan.js +34 -3
- package/dist/Fx/combinators/zip.d.ts +60 -0
- package/dist/Fx/combinators/zip.d.ts.map +1 -1
- package/dist/Fx/combinators/zip.js +60 -0
- package/dist/Fx/constructors/at.d.ts +20 -0
- package/dist/Fx/constructors/at.d.ts.map +1 -1
- package/dist/Fx/constructors/at.js +20 -0
- package/dist/Fx/constructors/die.d.ts +21 -0
- package/dist/Fx/constructors/die.d.ts.map +1 -1
- package/dist/Fx/constructors/die.js +21 -0
- package/dist/Fx/constructors/empty.d.ts +18 -0
- package/dist/Fx/constructors/empty.d.ts.map +1 -1
- package/dist/Fx/constructors/empty.js +18 -0
- package/dist/Fx/constructors/fail.d.ts +21 -0
- package/dist/Fx/constructors/fail.d.ts.map +1 -1
- package/dist/Fx/constructors/fail.js +21 -0
- package/dist/Fx/constructors/failCause.d.ts +22 -0
- package/dist/Fx/constructors/failCause.d.ts.map +1 -1
- package/dist/Fx/constructors/failCause.js +22 -0
- package/dist/Fx/constructors/fn.d.ts +113 -13
- package/dist/Fx/constructors/fn.d.ts.map +1 -1
- package/dist/Fx/constructors/fn.js +36 -0
- package/dist/Fx/constructors/fromEffect.d.ts +43 -1
- package/dist/Fx/constructors/fromEffect.d.ts.map +1 -1
- package/dist/Fx/constructors/fromEffect.js +43 -1
- package/dist/Fx/constructors/fromFailures.d.ts +24 -0
- package/dist/Fx/constructors/fromFailures.d.ts.map +1 -1
- package/dist/Fx/constructors/fromFailures.js +24 -0
- package/dist/Fx/constructors/fromIterable.d.ts +22 -0
- package/dist/Fx/constructors/fromIterable.d.ts.map +1 -1
- package/dist/Fx/constructors/fromIterable.js +22 -0
- package/dist/Fx/constructors/fromSchedule.d.ts +23 -0
- package/dist/Fx/constructors/fromSchedule.d.ts.map +1 -1
- package/dist/Fx/constructors/fromSchedule.js +25 -2
- package/dist/Fx/constructors/index.d.ts +2 -1
- package/dist/Fx/constructors/index.d.ts.map +1 -1
- package/dist/Fx/constructors/index.js +2 -1
- package/dist/Fx/constructors/interrupt.d.ts +21 -1
- package/dist/Fx/constructors/interrupt.d.ts.map +1 -1
- package/dist/Fx/constructors/interrupt.js +21 -1
- package/dist/Fx/constructors/make.d.ts +146 -1
- package/dist/Fx/constructors/make.d.ts.map +1 -1
- package/dist/Fx/constructors/make.js +54 -3
- package/dist/Fx/constructors/periodic.d.ts +29 -0
- package/dist/Fx/constructors/periodic.d.ts.map +1 -1
- package/dist/Fx/constructors/periodic.js +29 -0
- package/dist/Fx/constructors/succeed.d.ts +75 -3
- package/dist/Fx/constructors/succeed.d.ts.map +1 -1
- package/dist/Fx/constructors/succeed.js +75 -3
- package/dist/Fx/constructors/suspend.d.ts +28 -0
- package/dist/Fx/constructors/suspend.d.ts.map +1 -1
- package/dist/Fx/constructors/suspend.js +28 -0
- package/dist/Fx/constructors/sync.d.ts +32 -0
- package/dist/Fx/constructors/sync.d.ts.map +1 -0
- package/dist/Fx/constructors/sync.js +32 -0
- package/dist/Fx/internal/DeferredRef.d.ts +259 -7
- package/dist/Fx/internal/DeferredRef.d.ts.map +1 -1
- package/dist/Fx/internal/DeferredRef.js +260 -9
- package/dist/Fx/internal/UnionToTuple.d.ts +22 -0
- package/dist/Fx/internal/UnionToTuple.d.ts.map +1 -1
- package/dist/Fx/internal/diff.d.ts +586 -0
- package/dist/Fx/internal/diff.d.ts.map +1 -1
- package/dist/Fx/internal/diff.js +120 -9
- package/dist/Fx/internal/effectableEvaluateKey.d.ts +30 -0
- package/dist/Fx/internal/effectableEvaluateKey.d.ts.map +1 -0
- package/dist/Fx/internal/effectableEvaluateKey.js +29 -0
- package/dist/Fx/internal/effectableWithOverride.d.ts +55 -0
- package/dist/Fx/internal/effectableWithOverride.d.ts.map +1 -0
- package/dist/Fx/internal/effectableWithOverride.js +46 -0
- package/dist/Fx/internal/equivalence.d.ts +29 -0
- package/dist/Fx/internal/equivalence.d.ts.map +1 -1
- package/dist/Fx/internal/equivalence.js +29 -0
- package/dist/Fx/internal/multicast.d.ts +145 -2
- package/dist/Fx/internal/multicast.d.ts.map +1 -1
- package/dist/Fx/internal/multicast.js +146 -4
- package/dist/Fx/internal/ring-buffer.d.ts +149 -0
- package/dist/Fx/internal/ring-buffer.d.ts.map +1 -1
- package/dist/Fx/internal/ring-buffer.js +155 -0
- package/dist/Fx/internal/scope.d.ts +184 -0
- package/dist/Fx/internal/scope.d.ts.map +1 -1
- package/dist/Fx/internal/scope.js +150 -0
- package/dist/Fx/internal/yieldable.d.ts +117 -2
- package/dist/Fx/internal/yieldable.d.ts.map +1 -1
- package/dist/Fx/internal/yieldable.js +86 -3
- package/dist/Fx/run/collect.d.ts +89 -0
- package/dist/Fx/run/collect.d.ts.map +1 -1
- package/dist/Fx/run/collect.js +90 -1
- package/dist/Fx/run/first.d.ts +22 -0
- package/dist/Fx/run/first.d.ts.map +1 -1
- package/dist/Fx/run/first.js +22 -0
- package/dist/Fx/run/fork.d.ts +50 -0
- package/dist/Fx/run/fork.d.ts.map +1 -1
- package/dist/Fx/run/fork.js +50 -0
- package/dist/Fx/run/observe.d.ts +106 -0
- package/dist/Fx/run/observe.d.ts.map +1 -1
- package/dist/Fx/run/observe.js +106 -0
- package/dist/Fx/run/runPromise.d.ts +43 -0
- package/dist/Fx/run/runPromise.d.ts.map +1 -1
- package/dist/Fx/run/runPromise.js +43 -0
- package/dist/Fx/stream.d.ts +92 -0
- package/dist/Fx/stream.d.ts.map +1 -1
- package/dist/Fx/stream.js +60 -1
- package/dist/Push/Push.d.ts +1216 -91
- package/dist/Push/Push.d.ts.map +1 -1
- package/dist/Push/Push.js +1012 -83
- package/dist/RefArray.d.ts +2 -0
- package/dist/RefArray.d.ts.map +1 -0
- package/dist/RefArray.js +1 -0
- package/dist/RefBigDecimal.d.ts +2 -0
- package/dist/RefBigDecimal.d.ts.map +1 -0
- package/dist/RefBigDecimal.js +1 -0
- package/dist/RefBigInt.d.ts +2 -0
- package/dist/RefBigInt.d.ts.map +1 -0
- package/dist/RefBigInt.js +1 -0
- package/dist/RefBoolean.d.ts +2 -0
- package/dist/RefBoolean.d.ts.map +1 -0
- package/dist/RefBoolean.js +1 -0
- package/dist/RefCause.d.ts +2 -0
- package/dist/RefCause.d.ts.map +1 -0
- package/dist/RefCause.js +1 -0
- package/dist/RefChunk.d.ts +2 -0
- package/dist/RefChunk.d.ts.map +1 -0
- package/dist/RefChunk.js +1 -0
- package/dist/RefDateTime.d.ts +2 -0
- package/dist/RefDateTime.d.ts.map +1 -0
- package/dist/RefDateTime.js +1 -0
- package/dist/RefDuration.d.ts +2 -0
- package/dist/RefDuration.d.ts.map +1 -0
- package/dist/RefDuration.js +1 -0
- package/dist/RefGraph.d.ts +2 -0
- package/dist/RefGraph.d.ts.map +1 -0
- package/dist/RefGraph.js +1 -0
- package/dist/RefHashMap.d.ts +2 -0
- package/dist/RefHashMap.d.ts.map +1 -0
- package/dist/RefHashMap.js +1 -0
- package/dist/RefHashRing.d.ts +2 -0
- package/dist/RefHashRing.d.ts.map +1 -0
- package/dist/RefHashRing.js +1 -0
- package/dist/RefHashSet.d.ts +2 -0
- package/dist/RefHashSet.d.ts.map +1 -0
- package/dist/RefHashSet.js +1 -0
- package/dist/RefIterable.d.ts +2 -0
- package/dist/RefIterable.d.ts.map +1 -0
- package/dist/RefIterable.js +1 -0
- package/dist/RefOption.d.ts +2 -0
- package/dist/RefOption.d.ts.map +1 -0
- package/dist/RefOption.js +1 -0
- package/dist/RefRecord.d.ts +2 -0
- package/dist/RefRecord.d.ts.map +1 -0
- package/dist/RefRecord.js +1 -0
- package/dist/RefResult.d.ts +2 -0
- package/dist/RefResult.d.ts.map +1 -0
- package/dist/RefResult.js +1 -0
- package/dist/RefString.d.ts +2 -0
- package/dist/RefString.d.ts.map +1 -0
- package/dist/RefString.js +1 -0
- package/dist/RefStruct.d.ts +2 -0
- package/dist/RefStruct.d.ts.map +1 -0
- package/dist/RefStruct.js +1 -0
- package/dist/RefSubject/Hydration.d.ts +504 -0
- package/dist/RefSubject/Hydration.d.ts.map +1 -0
- package/dist/RefSubject/Hydration.js +300 -0
- package/dist/RefSubject/RefArray.d.ts +351 -4
- package/dist/RefSubject/RefArray.d.ts.map +1 -1
- package/dist/RefSubject/RefArray.js +339 -3
- package/dist/RefSubject/RefBigDecimal.d.ts +221 -1
- package/dist/RefSubject/RefBigDecimal.d.ts.map +1 -1
- package/dist/RefSubject/RefBigDecimal.js +210 -1
- package/dist/RefSubject/RefBigInt.d.ts +166 -1
- package/dist/RefSubject/RefBigInt.d.ts.map +1 -1
- package/dist/RefSubject/RefBigInt.js +155 -1
- package/dist/RefSubject/RefBoolean.d.ts +166 -1
- package/dist/RefSubject/RefBoolean.d.ts.map +1 -1
- package/dist/RefSubject/RefBoolean.js +155 -1
- package/dist/RefSubject/RefCause.d.ts +122 -1
- package/dist/RefSubject/RefCause.d.ts.map +1 -1
- package/dist/RefSubject/RefCause.js +111 -1
- package/dist/RefSubject/RefChunk.d.ts +406 -1
- package/dist/RefSubject/RefChunk.d.ts.map +1 -1
- package/dist/RefSubject/RefChunk.js +394 -0
- package/dist/RefSubject/RefDateTime.d.ts +122 -1
- package/dist/RefSubject/RefDateTime.d.ts.map +1 -1
- package/dist/RefSubject/RefDateTime.js +111 -1
- package/dist/RefSubject/RefDuration.d.ts +155 -1
- package/dist/RefSubject/RefDuration.d.ts.map +1 -1
- package/dist/RefSubject/RefDuration.js +144 -1
- package/dist/RefSubject/RefGraph.d.ts +320 -6
- package/dist/RefSubject/RefGraph.d.ts.map +1 -1
- package/dist/RefSubject/RefGraph.js +303 -0
- package/dist/RefSubject/RefHashMap.d.ts +296 -1
- package/dist/RefSubject/RefHashMap.d.ts.map +1 -1
- package/dist/RefSubject/RefHashMap.js +284 -0
- package/dist/RefSubject/RefHashRing.d.ts +146 -2
- package/dist/RefSubject/RefHashRing.d.ts.map +1 -1
- package/dist/RefSubject/RefHashRing.js +133 -0
- package/dist/RefSubject/RefHashSet.d.ts +230 -1
- package/dist/RefSubject/RefHashSet.d.ts.map +1 -1
- package/dist/RefSubject/RefHashSet.js +218 -0
- package/dist/RefSubject/RefIterable.d.ts +327 -1
- package/dist/RefSubject/RefIterable.d.ts.map +1 -1
- package/dist/RefSubject/RefIterable.js +315 -0
- package/dist/RefSubject/RefOption.d.ts +144 -1
- package/dist/RefSubject/RefOption.d.ts.map +1 -1
- package/dist/RefSubject/RefOption.js +133 -1
- package/dist/RefSubject/RefRecord.d.ts +339 -1
- package/dist/RefSubject/RefRecord.d.ts.map +1 -1
- package/dist/RefSubject/RefRecord.js +327 -0
- package/dist/RefSubject/RefResult.d.ts +155 -23
- package/dist/RefSubject/RefResult.d.ts.map +1 -1
- package/dist/RefSubject/RefResult.js +122 -1
- package/dist/RefSubject/RefString.d.ts +188 -1
- package/dist/RefSubject/RefString.d.ts.map +1 -1
- package/dist/RefSubject/RefString.js +177 -1
- package/dist/RefSubject/RefStruct.d.ts +156 -1
- package/dist/RefSubject/RefStruct.d.ts.map +1 -1
- package/dist/RefSubject/RefStruct.js +145 -1
- package/dist/RefSubject/RefSubject.d.ts +1166 -13
- package/dist/RefSubject/RefSubject.d.ts.map +1 -1
- package/dist/RefSubject/RefSubject.js +843 -51
- package/dist/RefSubject/RefTrie.d.ts +290 -4
- package/dist/RefSubject/RefTrie.d.ts.map +1 -1
- package/dist/RefSubject/RefTrie.js +278 -3
- package/dist/RefSubject/RefTuple.d.ts +117 -1
- package/dist/RefSubject/RefTuple.d.ts.map +1 -1
- package/dist/RefSubject/RefTuple.js +106 -1
- package/dist/RefSubject/index.d.ts +1 -0
- package/dist/RefSubject/index.d.ts.map +1 -1
- package/dist/RefSubject/index.js +1 -0
- package/dist/RefSubject.d.ts +2 -1
- package/dist/RefSubject.d.ts.map +1 -1
- package/dist/RefSubject.js +2 -1
- package/dist/RefTrie.d.ts +2 -0
- package/dist/RefTrie.d.ts.map +1 -0
- package/dist/RefTrie.js +1 -0
- package/dist/RefTuple.d.ts +2 -0
- package/dist/RefTuple.d.ts.map +1 -0
- package/dist/RefTuple.js +1 -0
- package/dist/Sink/Sink.d.ts +381 -10
- package/dist/Sink/Sink.d.ts.map +1 -1
- package/dist/Sink/Sink.js +49 -2
- package/dist/Sink/combinators.d.ts +731 -2
- package/dist/Sink/combinators.d.ts.map +1 -1
- package/dist/Sink/combinators.js +706 -4
- package/dist/Subject/Subject.d.ts +1013 -19
- package/dist/Subject/Subject.d.ts.map +1 -1
- package/dist/Subject/Subject.js +901 -36
- package/dist/Versioned/Versioned.d.ts +424 -7
- package/dist/Versioned/Versioned.d.ts.map +1 -1
- package/dist/Versioned/Versioned.js +238 -12
- package/dist/index.d.ts +22 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +22 -3
- package/package.json +123 -14
- package/dist/Fx/constructors/fromYieldable.d.ts +0 -12
- package/dist/Fx/constructors/fromYieldable.d.ts.map +0 -1
- package/dist/Fx/constructors/fromYieldable.js +0 -12
- package/src/Fx/Fx.ts +0 -164
- package/src/Fx/TypeId.ts +0 -25
- package/src/Fx/combinators/additive.ts +0 -142
- package/src/Fx/combinators/catch.ts +0 -416
- package/src/Fx/combinators/causes.ts +0 -23
- package/src/Fx/combinators/changesWithEffect.ts +0 -66
- package/src/Fx/combinators/compact.ts +0 -15
- package/src/Fx/combinators/continueWith.ts +0 -78
- package/src/Fx/combinators/dropUntil.ts +0 -47
- package/src/Fx/combinators/ensuring.ts +0 -23
- package/src/Fx/combinators/exhaustLatestMap.ts +0 -74
- package/src/Fx/combinators/exhaustLatestMapEffect.ts +0 -25
- package/src/Fx/combinators/exhaustMap.ts +0 -36
- package/src/Fx/combinators/exhaustMapEffect.ts +0 -23
- package/src/Fx/combinators/exit.ts +0 -15
- package/src/Fx/combinators/filter.ts +0 -22
- package/src/Fx/combinators/filterEffect.ts +0 -31
- package/src/Fx/combinators/filterMap.ts +0 -23
- package/src/Fx/combinators/filterMapEffect.ts +0 -32
- package/src/Fx/combinators/filterMapLoop.ts +0 -35
- package/src/Fx/combinators/filterMapLoopCause.ts +0 -36
- package/src/Fx/combinators/filterMapLoopCauseEffect.ts +0 -46
- package/src/Fx/combinators/filterMapLoopEffect.ts +0 -36
- package/src/Fx/combinators/flatMap.ts +0 -51
- package/src/Fx/combinators/flatMapConcurrently.ts +0 -39
- package/src/Fx/combinators/flatMapConcurrentlyEffect.ts +0 -26
- package/src/Fx/combinators/flatMapEffect.ts +0 -42
- package/src/Fx/combinators/flip.ts +0 -14
- package/src/Fx/combinators/gen.ts +0 -24
- package/src/Fx/combinators/genScoped.ts +0 -24
- package/src/Fx/combinators/index.ts +0 -61
- package/src/Fx/combinators/keyed.ts +0 -369
- package/src/Fx/combinators/loop.ts +0 -27
- package/src/Fx/combinators/loopCause.ts +0 -34
- package/src/Fx/combinators/loopCauseEffect.ts +0 -36
- package/src/Fx/combinators/loopEffect.ts +0 -34
- package/src/Fx/combinators/map.ts +0 -22
- package/src/Fx/combinators/mapBoth.ts +0 -40
- package/src/Fx/combinators/mapEffect.ts +0 -32
- package/src/Fx/combinators/mapError.ts +0 -28
- package/src/Fx/combinators/mergeAll.ts +0 -22
- package/src/Fx/combinators/mergeOrdered.ts +0 -123
- package/src/Fx/combinators/onError.ts +0 -40
- package/src/Fx/combinators/onExit.ts +0 -82
- package/src/Fx/combinators/onInterrupt.ts +0 -87
- package/src/Fx/combinators/provide.ts +0 -124
- package/src/Fx/combinators/result.ts +0 -39
- package/src/Fx/combinators/scan.ts +0 -82
- package/src/Fx/combinators/skip.ts +0 -41
- package/src/Fx/combinators/skipRepeats.ts +0 -15
- package/src/Fx/combinators/skipRepeatsWith.ts +0 -40
- package/src/Fx/combinators/skipWhile.ts +0 -100
- package/src/Fx/combinators/slice.ts +0 -55
- package/src/Fx/combinators/switchMap.ts +0 -55
- package/src/Fx/combinators/switchMapEffect.ts +0 -25
- package/src/Fx/combinators/take.ts +0 -38
- package/src/Fx/combinators/takeUntil.ts +0 -88
- package/src/Fx/combinators/takeWhile.ts +0 -47
- package/src/Fx/combinators/tapEffect.ts +0 -39
- package/src/Fx/combinators/tuple.ts +0 -79
- package/src/Fx/combinators/unwrap.ts +0 -21
- package/src/Fx/combinators/unwrapScoped.ts +0 -26
- package/src/Fx/combinators/when.ts +0 -64
- package/src/Fx/combinators/withSpan.ts +0 -24
- package/src/Fx/combinators/zip.ts +0 -175
- package/src/Fx/constructors/at.ts +0 -23
- package/src/Fx/constructors/die.ts +0 -17
- package/src/Fx/constructors/empty.ts +0 -10
- package/src/Fx/constructors/fail.ts +0 -14
- package/src/Fx/constructors/failCause.ts +0 -14
- package/src/Fx/constructors/fn.ts +0 -245
- package/src/Fx/constructors/fromEffect.ts +0 -24
- package/src/Fx/constructors/fromFailures.ts +0 -19
- package/src/Fx/constructors/fromIterable.ts +0 -15
- package/src/Fx/constructors/fromSchedule.ts +0 -18
- package/src/Fx/constructors/fromYieldable.ts +0 -17
- package/src/Fx/constructors/index.ts +0 -15
- package/src/Fx/constructors/interrupt.ts +0 -13
- package/src/Fx/constructors/make.ts +0 -103
- package/src/Fx/constructors/periodic.ts +0 -15
- package/src/Fx/constructors/succeed.ts +0 -37
- package/src/Fx/constructors/suspend.ts +0 -6
- package/src/Fx/index.ts +0 -6
- package/src/Fx/internal/DeferredRef.ts +0 -87
- package/src/Fx/internal/UnionToTuple.ts +0 -12
- package/src/Fx/internal/diff.ts +0 -191
- package/src/Fx/internal/equivalence.ts +0 -12
- package/src/Fx/internal/multicast.ts +0 -51
- package/src/Fx/internal/ring-buffer.ts +0 -60
- package/src/Fx/internal/scope.ts +0 -58
- package/src/Fx/internal/yieldable.ts +0 -31
- package/src/Fx/run/collect.ts +0 -79
- package/src/Fx/run/first.ts +0 -20
- package/src/Fx/run/fork.ts +0 -40
- package/src/Fx/run/index.ts +0 -5
- package/src/Fx/run/observe.ts +0 -114
- package/src/Fx/run/runPromise.ts +0 -32
- package/src/Fx/stream.ts +0 -42
- package/src/Fx.additive-combinators.test.ts +0 -126
- package/src/Fx.catch-additive.test.ts +0 -206
- package/src/Fx.catch.test.ts +0 -60
- package/src/Fx.dropUntil.test.ts +0 -61
- package/src/Fx.fn.test.ts +0 -51
- package/src/Fx.lifecycle.test.ts +0 -79
- package/src/Fx.mapError-mapBoth.test.ts +0 -101
- package/src/Fx.provide-combinators.test.ts +0 -94
- package/src/Fx.result-changesWithEffect.test.ts +0 -112
- package/src/Fx.scan.test.ts +0 -73
- package/src/Fx.takeWhile-skipWhile.test.ts +0 -84
- package/src/Fx.test.ts +0 -71
- package/src/Fx.ts +0 -1
- package/src/Fx.zip-merge-additive.test.ts +0 -171
- package/src/Fx.zip.test.ts +0 -133
- package/src/Push/Push.ts +0 -1093
- package/src/Push/index.ts +0 -1
- package/src/Push.additive.test.ts +0 -256
- package/src/Push.test.ts +0 -26
- package/src/Push.ts +0 -1
- package/src/RefSubject/RefArray.ts +0 -516
- package/src/RefSubject/RefBigDecimal.test.ts +0 -56
- package/src/RefSubject/RefBigDecimal.ts +0 -295
- package/src/RefSubject/RefBigInt.test.ts +0 -56
- package/src/RefSubject/RefBigInt.ts +0 -189
- package/src/RefSubject/RefBoolean.test.ts +0 -57
- package/src/RefSubject/RefBoolean.ts +0 -185
- package/src/RefSubject/RefCause.test.ts +0 -53
- package/src/RefSubject/RefCause.ts +0 -146
- package/src/RefSubject/RefChunk.ts +0 -516
- package/src/RefSubject/RefDateTime.test.ts +0 -43
- package/src/RefSubject/RefDateTime.ts +0 -261
- package/src/RefSubject/RefDuration.test.ts +0 -49
- package/src/RefSubject/RefDuration.ts +0 -188
- package/src/RefSubject/RefGraph.ts +0 -649
- package/src/RefSubject/RefHashMap.ts +0 -474
- package/src/RefSubject/RefHashRing.ts +0 -262
- package/src/RefSubject/RefHashSet.ts +0 -308
- package/src/RefSubject/RefIterable.ts +0 -454
- package/src/RefSubject/RefOption.test.ts +0 -67
- package/src/RefSubject/RefOption.ts +0 -193
- package/src/RefSubject/RefRecord.ts +0 -621
- package/src/RefSubject/RefResult.test.ts +0 -63
- package/src/RefSubject/RefResult.ts +0 -209
- package/src/RefSubject/RefString.test.ts +0 -61
- package/src/RefSubject/RefString.ts +0 -256
- package/src/RefSubject/RefStruct.test.ts +0 -60
- package/src/RefSubject/RefStruct.ts +0 -253
- package/src/RefSubject/RefSubject.ts +0 -2642
- package/src/RefSubject/RefTrie.ts +0 -365
- package/src/RefSubject/RefTuple.test.ts +0 -60
- package/src/RefSubject/RefTuple.ts +0 -231
- package/src/RefSubject/index.ts +0 -21
- package/src/RefSubject.additive-parity.test.ts +0 -101
- package/src/RefSubject.test.ts +0 -65
- package/src/RefSubject.ts +0 -1
- package/src/Sink/Sink.ts +0 -159
- package/src/Sink/combinators.ts +0 -1115
- package/src/Sink/index.ts +0 -2
- package/src/Sink.combinators.test.ts +0 -88
- package/src/Sink.reduce-collect-head-last.test.ts +0 -107
- package/src/Sink.ts +0 -1
- package/src/Subject/Subject.ts +0 -440
- package/src/Subject/index.ts +0 -1
- package/src/Subject.test.ts +0 -47
- package/src/Subject.ts +0 -1
- package/src/Versioned/Versioned.ts +0 -595
- package/src/Versioned/index.ts +0 -1
- package/src/Versioned.filterMap.test.ts +0 -91
- package/src/Versioned.test.ts +0 -23
- package/src/Versioned.ts +0 -1
- 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
|
-
}
|