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