@typed/fx 1.19.0 → 1.20.0
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/AsyncData/package.json +6 -0
- package/Push/package.json +6 -0
- package/dist/cjs/AsyncData.js +177 -0
- package/dist/cjs/AsyncData.js.map +1 -0
- package/dist/cjs/Emitter.js +24 -21
- package/dist/cjs/Emitter.js.map +1 -1
- package/dist/cjs/Form.js +78 -21
- package/dist/cjs/Form.js.map +1 -1
- package/dist/cjs/FormEntry.js +75 -48
- package/dist/cjs/FormEntry.js.map +1 -1
- package/dist/cjs/Fx.js +517 -872
- package/dist/cjs/Fx.js.map +1 -1
- package/dist/cjs/Guard.js +21 -13
- package/dist/cjs/Guard.js.map +1 -1
- package/dist/cjs/Idle.js +49 -37
- package/dist/cjs/Idle.js.map +1 -1
- package/dist/cjs/Match.js +99 -61
- package/dist/cjs/Match.js.map +1 -1
- package/dist/cjs/Pull.js.map +1 -1
- package/dist/cjs/Push.js +168 -0
- package/dist/cjs/Push.js.map +1 -0
- package/dist/cjs/RefArray.js +32 -30
- package/dist/cjs/RefArray.js.map +1 -1
- package/dist/cjs/RefChunk.js +26 -24
- package/dist/cjs/RefChunk.js.map +1 -1
- package/dist/cjs/RefHashMap.js +20 -20
- package/dist/cjs/RefHashMap.js.map +1 -1
- package/dist/cjs/RefHashSet.js +11 -8
- package/dist/cjs/RefHashSet.js.map +1 -1
- package/dist/cjs/RefSubject.js +899 -158
- package/dist/cjs/RefSubject.js.map +1 -1
- package/dist/cjs/Sink.js +588 -62
- package/dist/cjs/Sink.js.map +1 -1
- package/dist/cjs/Stream.js +15 -10
- package/dist/cjs/Stream.js.map +1 -1
- package/dist/cjs/Subject.js +153 -55
- package/dist/cjs/Subject.js.map +1 -1
- package/dist/cjs/TypeId.js +10 -5
- package/dist/cjs/TypeId.js.map +1 -1
- package/dist/cjs/Typeclass.js +28 -31
- package/dist/cjs/Typeclass.js.map +1 -1
- package/dist/cjs/Versioned.js +118 -57
- package/dist/cjs/Versioned.js.map +1 -1
- package/dist/cjs/index.js +44 -8
- package/dist/cjs/index.js.map +1 -1
- package/dist/cjs/internal/{deferred-ref.js → DeferredRef.js} +45 -13
- package/dist/cjs/internal/DeferredRef.js.map +1 -0
- package/dist/cjs/internal/UnionToTuple.js +6 -0
- package/dist/cjs/internal/UnionToTuple.js.map +1 -0
- package/dist/cjs/internal/core.js +1590 -779
- package/dist/cjs/internal/core.js.map +1 -1
- package/dist/cjs/internal/diff.js +114 -0
- package/dist/cjs/internal/diff.js.map +1 -0
- package/dist/cjs/internal/effect-loop-operator.js +288 -0
- package/dist/cjs/internal/effect-loop-operator.js.map +1 -0
- package/dist/cjs/internal/effect-operator.js +46 -37
- package/dist/cjs/internal/effect-operator.js.map +1 -1
- package/dist/cjs/internal/effect-producer.js +74 -0
- package/dist/cjs/internal/effect-producer.js.map +1 -0
- package/dist/cjs/internal/helpers.js +158 -128
- package/dist/cjs/internal/helpers.js.map +1 -1
- package/dist/cjs/internal/keyed.js +136 -173
- package/dist/cjs/internal/keyed.js.map +1 -1
- package/dist/cjs/internal/loop-operator.js +213 -0
- package/dist/cjs/internal/loop-operator.js.map +1 -0
- package/dist/cjs/internal/operator.js +79 -0
- package/dist/cjs/internal/operator.js.map +1 -0
- package/dist/cjs/internal/protos.js +19 -81
- package/dist/cjs/internal/protos.js.map +1 -1
- package/dist/cjs/internal/provide.js +47 -25
- package/dist/cjs/internal/provide.js.map +1 -1
- package/dist/cjs/internal/requestIdleCallback.js +5 -5
- package/dist/cjs/internal/requestIdleCallback.js.map +1 -1
- package/dist/cjs/internal/share.js +12 -15
- package/dist/cjs/internal/share.js.map +1 -1
- package/dist/cjs/internal/sync-operator.js +50 -22
- package/dist/cjs/internal/sync-operator.js.map +1 -1
- package/dist/cjs/internal/sync-producer.js +114 -0
- package/dist/cjs/internal/sync-producer.js.map +1 -0
- package/dist/cjs/internal/withKey.js +45 -51
- package/dist/cjs/internal/withKey.js.map +1 -1
- package/dist/dts/AsyncData.d.ts +185 -0
- package/dist/dts/AsyncData.d.ts.map +1 -0
- package/dist/dts/Emitter.d.ts +13 -20
- package/dist/dts/Emitter.d.ts.map +1 -1
- package/dist/dts/Form.d.ts +45 -28
- package/dist/dts/Form.d.ts.map +1 -1
- package/dist/dts/FormEntry.d.ts +25 -13
- package/dist/dts/FormEntry.d.ts.map +1 -1
- package/dist/dts/Fx.d.ts +980 -1390
- package/dist/dts/Fx.d.ts.map +1 -1
- package/dist/dts/Guard.d.ts +8 -1
- package/dist/dts/Guard.d.ts.map +1 -1
- package/dist/dts/Idle.d.ts +3 -3
- package/dist/dts/Idle.d.ts.map +1 -1
- package/dist/dts/Match.d.ts +8 -8
- package/dist/dts/Match.d.ts.map +1 -1
- package/dist/dts/Pull.d.ts +5 -5
- package/dist/dts/Pull.d.ts.map +1 -1
- package/dist/dts/Push.d.ts +170 -0
- package/dist/dts/Push.d.ts.map +1 -0
- package/dist/dts/RefArray.d.ts +21 -23
- package/dist/dts/RefArray.d.ts.map +1 -1
- package/dist/dts/RefChunk.d.ts +17 -19
- package/dist/dts/RefChunk.d.ts.map +1 -1
- package/dist/dts/RefHashMap.d.ts +19 -20
- package/dist/dts/RefHashMap.d.ts.map +1 -1
- package/dist/dts/RefHashSet.d.ts +12 -16
- package/dist/dts/RefHashSet.d.ts.map +1 -1
- package/dist/dts/RefSubject.d.ts +396 -187
- package/dist/dts/RefSubject.d.ts.map +1 -1
- package/dist/dts/Sink.d.ts +193 -93
- package/dist/dts/Sink.d.ts.map +1 -1
- package/dist/dts/Stream.d.ts +7 -1
- package/dist/dts/Stream.d.ts.map +1 -1
- package/dist/dts/Subject.d.ts +27 -36
- package/dist/dts/Subject.d.ts.map +1 -1
- package/dist/dts/TypeId.d.ts +10 -0
- package/dist/dts/TypeId.d.ts.map +1 -1
- package/dist/dts/Typeclass.d.ts +2 -2
- package/dist/dts/Typeclass.d.ts.map +1 -1
- package/dist/dts/Versioned.d.ts +50 -78
- package/dist/dts/Versioned.d.ts.map +1 -1
- package/dist/dts/index.d.ts +66 -6
- package/dist/dts/index.d.ts.map +1 -1
- package/dist/dts/internal/DeferredRef.d.ts +20 -0
- package/dist/dts/internal/DeferredRef.d.ts.map +1 -0
- package/dist/dts/internal/UnionToTuple.d.ts +6 -0
- package/dist/dts/internal/UnionToTuple.d.ts.map +1 -0
- package/dist/dts/internal/core.d.ts +218 -450
- package/dist/dts/internal/core.d.ts.map +1 -1
- package/dist/dts/internal/diff.d.ts +38 -0
- package/dist/dts/internal/diff.d.ts.map +1 -0
- package/dist/dts/internal/effect-loop-operator.d.ts +34 -0
- package/dist/dts/internal/effect-loop-operator.d.ts.map +1 -0
- package/dist/dts/internal/effect-operator.d.ts +8 -5
- package/dist/dts/internal/effect-operator.d.ts.map +1 -1
- package/dist/dts/internal/effect-producer.d.ts +25 -0
- package/dist/dts/internal/effect-producer.d.ts.map +1 -0
- package/dist/dts/internal/helpers.d.ts +33 -24
- package/dist/dts/internal/helpers.d.ts.map +1 -1
- package/dist/dts/internal/keyed.d.ts +3 -3
- package/dist/dts/internal/keyed.d.ts.map +1 -1
- package/dist/dts/internal/loop-operator.d.ts +40 -0
- package/dist/dts/internal/loop-operator.d.ts.map +1 -0
- package/dist/dts/internal/operator.d.ts +16 -0
- package/dist/dts/internal/operator.d.ts.map +1 -0
- package/dist/dts/internal/protos.d.ts +16 -43
- package/dist/dts/internal/protos.d.ts.map +1 -1
- package/dist/dts/internal/provide.d.ts +7 -1
- package/dist/dts/internal/provide.d.ts.map +1 -1
- package/dist/dts/internal/share.d.ts +12 -9
- package/dist/dts/internal/share.d.ts.map +1 -1
- package/dist/dts/internal/sync-operator.d.ts +7 -3
- package/dist/dts/internal/sync-operator.d.ts.map +1 -1
- package/dist/dts/internal/sync-producer.d.ts +36 -0
- package/dist/dts/internal/sync-producer.d.ts.map +1 -0
- package/dist/dts/internal/withKey.d.ts +3 -3
- package/dist/dts/internal/withKey.d.ts.map +1 -1
- package/dist/esm/AsyncData.js +151 -0
- package/dist/esm/AsyncData.js.map +1 -0
- package/dist/esm/Emitter.js +24 -21
- package/dist/esm/Emitter.js.map +1 -1
- package/dist/esm/Form.js +69 -14
- package/dist/esm/Form.js.map +1 -1
- package/dist/esm/FormEntry.js +77 -52
- package/dist/esm/FormEntry.js.map +1 -1
- package/dist/esm/Fx.js +509 -874
- package/dist/esm/Fx.js.map +1 -1
- package/dist/esm/Guard.js +5 -1
- package/dist/esm/Guard.js.map +1 -1
- package/dist/esm/Idle.js +49 -39
- package/dist/esm/Idle.js.map +1 -1
- package/dist/esm/Match.js +103 -63
- package/dist/esm/Match.js.map +1 -1
- package/dist/esm/Pull.js.map +1 -1
- package/dist/esm/Push.js +159 -0
- package/dist/esm/Push.js.map +1 -0
- package/dist/esm/RefArray.js +32 -30
- package/dist/esm/RefArray.js.map +1 -1
- package/dist/esm/RefChunk.js +26 -24
- package/dist/esm/RefChunk.js.map +1 -1
- package/dist/esm/RefHashMap.js +20 -20
- package/dist/esm/RefHashMap.js.map +1 -1
- package/dist/esm/RefHashSet.js +11 -8
- package/dist/esm/RefHashSet.js.map +1 -1
- package/dist/esm/RefSubject.js +873 -150
- package/dist/esm/RefSubject.js.map +1 -1
- package/dist/esm/Sink.js +608 -57
- package/dist/esm/Sink.js.map +1 -1
- package/dist/esm/Stream.js +13 -9
- package/dist/esm/Stream.js.map +1 -1
- package/dist/esm/Subject.js +151 -56
- package/dist/esm/Subject.js.map +1 -1
- package/dist/esm/TypeId.js +9 -4
- package/dist/esm/TypeId.js.map +1 -1
- package/dist/esm/Typeclass.js +29 -29
- package/dist/esm/Typeclass.js.map +1 -1
- package/dist/esm/Versioned.js +110 -53
- package/dist/esm/Versioned.js.map +1 -1
- package/dist/esm/index.js +66 -6
- package/dist/esm/index.js.map +1 -1
- package/dist/esm/internal/DeferredRef.js +54 -0
- package/dist/esm/internal/DeferredRef.js.map +1 -0
- package/dist/esm/internal/UnionToTuple.js +2 -0
- package/dist/esm/internal/UnionToTuple.js.map +1 -0
- package/dist/esm/internal/core.js +1439 -719
- package/dist/esm/internal/core.js.map +1 -1
- package/dist/esm/internal/diff.js +82 -0
- package/dist/esm/internal/diff.js.map +1 -0
- package/dist/esm/internal/effect-loop-operator.js +269 -0
- package/dist/esm/internal/effect-loop-operator.js.map +1 -0
- package/dist/esm/internal/effect-operator.js +44 -37
- package/dist/esm/internal/effect-operator.js.map +1 -1
- package/dist/esm/internal/effect-producer.js +47 -0
- package/dist/esm/internal/effect-producer.js.map +1 -0
- package/dist/esm/internal/helpers.js +157 -129
- package/dist/esm/internal/helpers.js.map +1 -1
- package/dist/esm/internal/keyed.js +128 -139
- package/dist/esm/internal/keyed.js.map +1 -1
- package/dist/esm/internal/loop-operator.js +186 -0
- package/dist/esm/internal/loop-operator.js.map +1 -0
- package/dist/esm/internal/operator.js +68 -0
- package/dist/esm/internal/operator.js.map +1 -0
- package/dist/esm/internal/protos.js +16 -75
- package/dist/esm/internal/protos.js.map +1 -1
- package/dist/esm/internal/provide.js +33 -25
- package/dist/esm/internal/provide.js.map +1 -1
- package/dist/esm/internal/requestIdleCallback.js +5 -5
- package/dist/esm/internal/requestIdleCallback.js.map +1 -1
- package/dist/esm/internal/share.js +12 -12
- package/dist/esm/internal/share.js.map +1 -1
- package/dist/esm/internal/sync-operator.js +49 -21
- package/dist/esm/internal/sync-operator.js.map +1 -1
- package/dist/esm/internal/sync-producer.js +88 -0
- package/dist/esm/internal/sync-producer.js.map +1 -0
- package/dist/esm/internal/withKey.js +46 -47
- package/dist/esm/internal/withKey.js.map +1 -1
- package/package.json +22 -62
- package/src/AsyncData.ts +447 -0
- package/src/Emitter.ts +47 -38
- package/src/Form.ts +185 -65
- package/src/FormEntry.ts +142 -109
- package/src/Fx.ts +1682 -1854
- package/src/Guard.ts +12 -1
- package/src/Idle.ts +76 -62
- package/src/Match.ts +149 -93
- package/src/Pull.ts +8 -8
- package/src/Push.ts +472 -0
- package/src/RefArray.ts +53 -51
- package/src/RefChunk.ts +44 -41
- package/src/RefHashMap.ts +57 -43
- package/src/RefHashSet.ts +21 -31
- package/src/RefSubject.ts +1984 -457
- package/src/Sink.ts +922 -171
- package/src/Stream.ts +32 -20
- package/src/Subject.ts +230 -87
- package/src/TypeId.ts +16 -4
- package/src/Typeclass.ts +31 -32
- package/src/Versioned.ts +220 -168
- package/src/index.ts +78 -6
- package/src/internal/DeferredRef.ts +62 -0
- package/src/internal/UnionToTuple.ts +11 -0
- package/src/internal/core.ts +2491 -1950
- package/src/internal/diff.ts +157 -0
- package/src/internal/effect-loop-operator.ts +466 -0
- package/src/internal/effect-operator.ts +89 -54
- package/src/internal/effect-producer.ts +125 -0
- package/src/internal/helpers.ts +275 -205
- package/src/internal/keyed.ts +192 -241
- package/src/internal/loop-operator.ts +266 -0
- package/src/internal/operator.ts +87 -0
- package/src/internal/protos.ts +29 -104
- package/src/internal/provide.ts +48 -40
- package/src/internal/requestIdleCallback.ts +5 -6
- package/src/internal/share.ts +26 -24
- package/src/internal/sync-operator.ts +68 -27
- package/src/internal/sync-producer.ts +146 -0
- package/src/internal/withKey.ts +64 -74
- package/Computed/package.json +0 -6
- package/Filtered/package.json +0 -6
- package/Model/package.json +0 -6
- package/RefAsyncData/package.json +0 -6
- package/RefAsyncDataArray/package.json +0 -6
- package/RefBoolean/package.json +0 -6
- package/RefNumber/package.json +0 -6
- package/dist/cjs/Computed.js +0 -115
- package/dist/cjs/Computed.js.map +0 -1
- package/dist/cjs/Filtered.js +0 -95
- package/dist/cjs/Filtered.js.map +0 -1
- package/dist/cjs/Model.js +0 -119
- package/dist/cjs/Model.js.map +0 -1
- package/dist/cjs/RefAsyncData.js +0 -187
- package/dist/cjs/RefAsyncData.js.map +0 -1
- package/dist/cjs/RefAsyncDataArray.js +0 -38
- package/dist/cjs/RefAsyncDataArray.js.map +0 -1
- package/dist/cjs/RefBoolean.js +0 -45
- package/dist/cjs/RefBoolean.js.map +0 -1
- package/dist/cjs/RefNumber.js +0 -49
- package/dist/cjs/RefNumber.js.map +0 -1
- package/dist/cjs/internal/core-ref-subject.js +0 -254
- package/dist/cjs/internal/core-ref-subject.js.map +0 -1
- package/dist/cjs/internal/core-subject.js +0 -108
- package/dist/cjs/internal/core-subject.js.map +0 -1
- package/dist/cjs/internal/deferred-ref.js.map +0 -1
- package/dist/cjs/internal/effect-primitive.js +0 -47
- package/dist/cjs/internal/effect-primitive.js.map +0 -1
- package/dist/cjs/internal/fx-effect-proto.js +0 -58
- package/dist/cjs/internal/fx-effect-proto.js.map +0 -1
- package/dist/cjs/internal/fx-primitive.js +0 -193
- package/dist/cjs/internal/fx-primitive.js.map +0 -1
- package/dist/cjs/internal/fx.js +0 -240
- package/dist/cjs/internal/fx.js.map +0 -1
- package/dist/cjs/internal/matchers.js +0 -34
- package/dist/cjs/internal/matchers.js.map +0 -1
- package/dist/cjs/internal/run.js +0 -54
- package/dist/cjs/internal/run.js.map +0 -1
- package/dist/cjs/internal/schema-ref-subject.js +0 -132
- package/dist/cjs/internal/schema-ref-subject.js.map +0 -1
- package/dist/cjs/internal/versioned-transform.js +0 -46
- package/dist/cjs/internal/versioned-transform.js.map +0 -1
- package/dist/dts/Computed.d.ts +0 -106
- package/dist/dts/Computed.d.ts.map +0 -1
- package/dist/dts/Filtered.d.ts +0 -97
- package/dist/dts/Filtered.d.ts.map +0 -1
- package/dist/dts/Model.d.ts +0 -200
- package/dist/dts/Model.d.ts.map +0 -1
- package/dist/dts/RefAsyncData.d.ts +0 -236
- package/dist/dts/RefAsyncData.d.ts.map +0 -1
- package/dist/dts/RefAsyncDataArray.d.ts +0 -56
- package/dist/dts/RefAsyncDataArray.d.ts.map +0 -1
- package/dist/dts/RefBoolean.d.ts +0 -47
- package/dist/dts/RefBoolean.d.ts.map +0 -1
- package/dist/dts/RefNumber.d.ts +0 -48
- package/dist/dts/RefNumber.d.ts.map +0 -1
- package/dist/dts/internal/core-ref-subject.d.ts +0 -100
- package/dist/dts/internal/core-ref-subject.d.ts.map +0 -1
- package/dist/dts/internal/core-subject.d.ts +0 -5
- package/dist/dts/internal/core-subject.d.ts.map +0 -1
- package/dist/dts/internal/deferred-ref.d.ts +0 -12
- package/dist/dts/internal/deferred-ref.d.ts.map +0 -1
- package/dist/dts/internal/effect-primitive.d.ts +0 -6
- package/dist/dts/internal/effect-primitive.d.ts.map +0 -1
- package/dist/dts/internal/fx-effect-proto.d.ts +0 -30
- package/dist/dts/internal/fx-effect-proto.d.ts.map +0 -1
- package/dist/dts/internal/fx-primitive.d.ts +0 -109
- package/dist/dts/internal/fx-primitive.d.ts.map +0 -1
- package/dist/dts/internal/fx.d.ts +0 -245
- package/dist/dts/internal/fx.d.ts.map +0 -1
- package/dist/dts/internal/matchers.d.ts +0 -33
- package/dist/dts/internal/matchers.d.ts.map +0 -1
- package/dist/dts/internal/run.d.ts +0 -8
- package/dist/dts/internal/run.d.ts.map +0 -1
- package/dist/dts/internal/schema-ref-subject.d.ts +0 -5
- package/dist/dts/internal/schema-ref-subject.d.ts.map +0 -1
- package/dist/dts/internal/versioned-transform.d.ts +0 -17
- package/dist/dts/internal/versioned-transform.d.ts.map +0 -1
- package/dist/esm/Computed.js +0 -103
- package/dist/esm/Computed.js.map +0 -1
- package/dist/esm/Filtered.js +0 -83
- package/dist/esm/Filtered.js.map +0 -1
- package/dist/esm/Model.js +0 -100
- package/dist/esm/Model.js.map +0 -1
- package/dist/esm/RefAsyncData.js +0 -163
- package/dist/esm/RefAsyncData.js.map +0 -1
- package/dist/esm/RefAsyncDataArray.js +0 -27
- package/dist/esm/RefAsyncDataArray.js.map +0 -1
- package/dist/esm/RefBoolean.js +0 -31
- package/dist/esm/RefBoolean.js.map +0 -1
- package/dist/esm/RefNumber.js +0 -35
- package/dist/esm/RefNumber.js.map +0 -1
- package/dist/esm/internal/core-ref-subject.js +0 -242
- package/dist/esm/internal/core-ref-subject.js.map +0 -1
- package/dist/esm/internal/core-subject.js +0 -90
- package/dist/esm/internal/core-subject.js.map +0 -1
- package/dist/esm/internal/deferred-ref.js +0 -23
- package/dist/esm/internal/deferred-ref.js.map +0 -1
- package/dist/esm/internal/effect-primitive.js +0 -41
- package/dist/esm/internal/effect-primitive.js.map +0 -1
- package/dist/esm/internal/fx-effect-proto.js +0 -43
- package/dist/esm/internal/fx-effect-proto.js.map +0 -1
- package/dist/esm/internal/fx-primitive.js +0 -175
- package/dist/esm/internal/fx-primitive.js.map +0 -1
- package/dist/esm/internal/fx.js +0 -216
- package/dist/esm/internal/fx.js.map +0 -1
- package/dist/esm/internal/matchers.js +0 -38
- package/dist/esm/internal/matchers.js.map +0 -1
- package/dist/esm/internal/run.js +0 -32
- package/dist/esm/internal/run.js.map +0 -1
- package/dist/esm/internal/schema-ref-subject.js +0 -121
- package/dist/esm/internal/schema-ref-subject.js.map +0 -1
- package/dist/esm/internal/versioned-transform.js +0 -37
- package/dist/esm/internal/versioned-transform.js.map +0 -1
- package/src/Computed.ts +0 -289
- package/src/Filtered.ts +0 -274
- package/src/Model.ts +0 -483
- package/src/RefAsyncData.ts +0 -547
- package/src/RefAsyncDataArray.ts +0 -135
- package/src/RefBoolean.ts +0 -71
- package/src/RefNumber.ts +0 -77
- package/src/internal/core-ref-subject.ts +0 -528
- package/src/internal/core-subject.ts +0 -143
- package/src/internal/deferred-ref.ts +0 -26
- package/src/internal/effect-primitive.ts +0 -230
- package/src/internal/fx-effect-proto.ts +0 -56
- package/src/internal/fx-primitive.ts +0 -223
- package/src/internal/fx.ts +0 -619
- package/src/internal/matchers.ts +0 -83
- package/src/internal/run.ts +0 -51
- package/src/internal/schema-ref-subject.ts +0 -163
- package/src/internal/versioned-transform.ts +0 -48
package/src/internal/share.ts
CHANGED
|
@@ -1,19 +1,19 @@
|
|
|
1
|
+
import { ExecutionStrategy, type Scope } from "effect"
|
|
1
2
|
import * as Effect from "effect/Effect"
|
|
2
3
|
import * as Fiber from "effect/Fiber"
|
|
3
4
|
import { dual } from "effect/Function"
|
|
4
5
|
import * as MutableRef from "effect/MutableRef"
|
|
5
6
|
import * as Option from "effect/Option"
|
|
6
7
|
import type { Fx } from "../Fx.js"
|
|
7
|
-
import type {
|
|
8
|
-
import
|
|
9
|
-
import { withScopedFork } from "./
|
|
10
|
-
import {
|
|
11
|
-
import { run } from "./run.js"
|
|
8
|
+
import type { Sink } from "../Sink.js"
|
|
9
|
+
import * as Subject from "../Subject.js"
|
|
10
|
+
import { withScopedFork } from "./helpers.js"
|
|
11
|
+
import { FxBase } from "./protos.js"
|
|
12
12
|
|
|
13
13
|
export function share<R, E, A, R2>(
|
|
14
14
|
fx: Fx<R, E, A>,
|
|
15
|
-
subject: Subject<R2, E, A>
|
|
16
|
-
): Fx<R | R2, E, A> {
|
|
15
|
+
subject: Subject.Subject<R2, E, A>
|
|
16
|
+
): Fx<R | R2 | Scope.Scope, E, A> {
|
|
17
17
|
return new Share(fx, subject)
|
|
18
18
|
}
|
|
19
19
|
|
|
@@ -29,32 +29,34 @@ class RefCounter {
|
|
|
29
29
|
}
|
|
30
30
|
}
|
|
31
31
|
|
|
32
|
-
export class Share<R, E, A, R2> extends
|
|
32
|
+
export class Share<R, E, A, R2> extends FxBase<R | R2 | Scope.Scope, E, A> {
|
|
33
33
|
_FxFiber: MutableRef.MutableRef<Option.Option<Fiber.Fiber<never, unknown>>> = MutableRef.make(Option.none())
|
|
34
34
|
_RefCount = new RefCounter()
|
|
35
35
|
|
|
36
36
|
constructor(
|
|
37
37
|
readonly i0: Fx<R, E, A>,
|
|
38
|
-
readonly i1: Subject<R2, E, A>
|
|
38
|
+
readonly i1: Subject.Subject<R2, E, A>
|
|
39
39
|
) {
|
|
40
|
-
super(
|
|
40
|
+
super()
|
|
41
41
|
}
|
|
42
42
|
|
|
43
|
-
|
|
44
|
-
return withScopedFork(
|
|
45
|
-
|
|
46
|
-
|
|
47
|
-
|
|
43
|
+
run<R3>(sink: Sink<R3, E, A>): Effect.Effect<R | R2 | R3 | Scope.Scope, never, unknown> {
|
|
44
|
+
return withScopedFork(
|
|
45
|
+
(fork) =>
|
|
46
|
+
Effect.flatMap(
|
|
47
|
+
fork(
|
|
48
|
+
Effect.onExit(this.i1.run(sink), () => this._RefCount.decrement() === 0 ? this.interrupt() : Effect.unit)
|
|
49
|
+
),
|
|
50
|
+
() => this.initialize()
|
|
48
51
|
),
|
|
49
|
-
|
|
50
|
-
)
|
|
52
|
+
ExecutionStrategy.sequential
|
|
51
53
|
)
|
|
52
54
|
}
|
|
53
55
|
|
|
54
56
|
private initialize(): Effect.Effect<R | R2, never, unknown> {
|
|
55
57
|
return Effect.suspend(() => {
|
|
56
58
|
if (this._RefCount.increment() === 1) {
|
|
57
|
-
return
|
|
59
|
+
return this.i0.run(this.i1).pipe(
|
|
58
60
|
Effect.onExit(() => Effect.sync(() => MutableRef.set(this._FxFiber, Option.none()))),
|
|
59
61
|
Effect.interruptible,
|
|
60
62
|
Effect.forkDaemon,
|
|
@@ -84,14 +86,14 @@ export class Share<R, E, A, R2> extends ToFx<R | R2, E, A> {
|
|
|
84
86
|
|
|
85
87
|
export function multicast<R, E, A>(
|
|
86
88
|
fx: Fx<R, E, A>
|
|
87
|
-
): Fx<R, E, A> {
|
|
88
|
-
return new Share(fx,
|
|
89
|
+
): Fx<R | Scope.Scope, E, A> {
|
|
90
|
+
return new Share(fx, Subject.unsafeMake<E, A>(0))
|
|
89
91
|
}
|
|
90
92
|
|
|
91
93
|
export function hold<R, E, A>(
|
|
92
94
|
fx: Fx<R, E, A>
|
|
93
|
-
): Fx<R, E, A> {
|
|
94
|
-
return new Share(fx,
|
|
95
|
+
): Fx<R | Scope.Scope, E, A> {
|
|
96
|
+
return new Share(fx, Subject.unsafeMake<E, A>(1))
|
|
95
97
|
}
|
|
96
98
|
|
|
97
99
|
export const replay: {
|
|
@@ -100,6 +102,6 @@ export const replay: {
|
|
|
100
102
|
} = dual(2, function replay<R, E, A>(
|
|
101
103
|
fx: Fx<R, E, A>,
|
|
102
104
|
capacity: number
|
|
103
|
-
): Fx<R, E, A> {
|
|
104
|
-
return new Share(fx,
|
|
105
|
+
): Fx<R | Scope.Scope, E, A> {
|
|
106
|
+
return new Share(fx, Subject.unsafeMake<E, A>(capacity))
|
|
105
107
|
})
|
|
@@ -1,6 +1,10 @@
|
|
|
1
|
+
import * as ReadonlyArray from "effect/ReadonlyArray"
|
|
2
|
+
|
|
1
3
|
import * as Effect from "effect/Effect"
|
|
4
|
+
import { flow } from "effect/Function"
|
|
2
5
|
import * as Option from "effect/Option"
|
|
3
|
-
import
|
|
6
|
+
import * as Sink from "../Sink.js"
|
|
7
|
+
import * as SyncProducer from "./sync-producer.js"
|
|
4
8
|
|
|
5
9
|
// Sync operators are a subset of operators which can be safely fused together synchronously
|
|
6
10
|
|
|
@@ -41,13 +45,13 @@ type SyncOperatorFusionMap = {
|
|
|
41
45
|
|
|
42
46
|
const SyncOperatorFusionMap: SyncOperatorFusionMap = {
|
|
43
47
|
Map: {
|
|
44
|
-
Map: (op1, op2) => Map((
|
|
48
|
+
Map: (op1, op2) => Map(flow(op1.f, op2.f)),
|
|
45
49
|
Filter: (op1, op2) =>
|
|
46
50
|
FilterMap((a: any) => {
|
|
47
51
|
const b = op1.f(a)
|
|
48
52
|
return op2.f(b) ? Option.some(b) : Option.none()
|
|
49
53
|
}),
|
|
50
|
-
FilterMap: (op1, op2) => FilterMap((
|
|
54
|
+
FilterMap: (op1, op2) => FilterMap(flow(op1.f, op2.f))
|
|
51
55
|
},
|
|
52
56
|
Filter: {
|
|
53
57
|
Map: (op1, op2) => FilterMap((a: any) => op1.f(a) ? Option.some(op2.f(a)) : Option.none()),
|
|
@@ -71,41 +75,29 @@ export function matchSyncOperator<A>(operator: SyncOperator, matchers: {
|
|
|
71
75
|
readonly Filter: (f: Filter<any>) => A
|
|
72
76
|
readonly FilterMap: (f: FilterMap<any, any>) => A
|
|
73
77
|
}): A {
|
|
74
|
-
|
|
75
|
-
case "Map":
|
|
76
|
-
return matchers.Map(operator)
|
|
77
|
-
case "Filter":
|
|
78
|
-
return matchers.Filter(operator)
|
|
79
|
-
case "FilterMap":
|
|
80
|
-
return matchers.FilterMap(operator)
|
|
81
|
-
}
|
|
78
|
+
return matchers[operator._tag](operator as any)
|
|
82
79
|
}
|
|
83
80
|
|
|
84
81
|
export function compileSyncOperatorSink<R>(
|
|
85
82
|
operator: SyncOperator,
|
|
86
|
-
sink:
|
|
87
|
-
):
|
|
83
|
+
sink: Sink.Sink<R, any, any>
|
|
84
|
+
): Sink.Sink<R, any, any> {
|
|
88
85
|
return matchSyncOperator(operator, {
|
|
89
|
-
Map: (op) =>
|
|
90
|
-
Filter: (op) =>
|
|
91
|
-
FilterMap: (op) =>
|
|
92
|
-
WithContext(sink.onFailure, (a) =>
|
|
93
|
-
Option.match(op.f(a), {
|
|
94
|
-
onNone: () => Effect.unit,
|
|
95
|
-
onSome: sink.onSuccess
|
|
96
|
-
}))
|
|
86
|
+
Map: (op) => Sink.map(sink, op.f),
|
|
87
|
+
Filter: (op) => Sink.filter(sink, op.f),
|
|
88
|
+
FilterMap: (op) => Sink.filterMap(sink, op.f)
|
|
97
89
|
})
|
|
98
90
|
}
|
|
99
91
|
|
|
100
|
-
export function
|
|
92
|
+
export function compileCauseSyncOperatorSink<R>(
|
|
101
93
|
operator: SyncOperator,
|
|
102
|
-
sink:
|
|
103
|
-
):
|
|
94
|
+
sink: Sink.Sink<R, any, any>
|
|
95
|
+
): Sink.Sink<R, any, any> {
|
|
104
96
|
return matchSyncOperator(operator, {
|
|
105
|
-
Map: (op) =>
|
|
106
|
-
Filter: (op) =>
|
|
97
|
+
Map: (op) => Sink.make((a) => sink.onFailure(op.f(a)), sink.onSuccess),
|
|
98
|
+
Filter: (op) => Sink.make((a) => op.f(a) ? sink.onFailure(a) : Effect.unit, sink.onSuccess),
|
|
107
99
|
FilterMap: (op) =>
|
|
108
|
-
|
|
100
|
+
Sink.make((a) =>
|
|
109
101
|
Option.match(op.f(a), {
|
|
110
102
|
onNone: () => Effect.unit,
|
|
111
103
|
onSome: sink.onFailure
|
|
@@ -123,3 +115,52 @@ export function compileSyncReducer<A, B, C>(
|
|
|
123
115
|
FilterMap: (op) => (b, i) => Option.map(op.f(i), (a) => f(b, a))
|
|
124
116
|
})
|
|
125
117
|
}
|
|
118
|
+
|
|
119
|
+
export function applyArray<A, B>(array: ReadonlyArray<A>, operator: SyncOperator): ReadonlyArray<B> {
|
|
120
|
+
return matchSyncOperator(operator, {
|
|
121
|
+
Map: (op) => ReadonlyArray.map(array, op.f),
|
|
122
|
+
Filter: (op) => ReadonlyArray.filter(array, op.f),
|
|
123
|
+
FilterMap: (op) => ReadonlyArray.filterMap(array, op.f)
|
|
124
|
+
})
|
|
125
|
+
}
|
|
126
|
+
|
|
127
|
+
export function applyArrayReducer<A, B>(
|
|
128
|
+
array: Iterable<any>,
|
|
129
|
+
operator: SyncOperator,
|
|
130
|
+
seed: B,
|
|
131
|
+
f: (acc: B, a: A) => B
|
|
132
|
+
): B {
|
|
133
|
+
return matchSyncOperator(operator, {
|
|
134
|
+
Map: (op) => ReadonlyArray.reduce(array, seed, (b, a) => f(b, op.f(a))),
|
|
135
|
+
Filter: (op) => ReadonlyArray.reduce(array, seed, (b, a) => op.f(a) ? f(b, a) : b),
|
|
136
|
+
FilterMap: (op) =>
|
|
137
|
+
ReadonlyArray.reduce(array, seed, (b, a) => {
|
|
138
|
+
const o = op.f(a)
|
|
139
|
+
if (Option.isSome(o)) return f(b, o.value)
|
|
140
|
+
else return b
|
|
141
|
+
})
|
|
142
|
+
})
|
|
143
|
+
}
|
|
144
|
+
|
|
145
|
+
export function runSyncReduce<A, B>(
|
|
146
|
+
producer: SyncProducer.SyncProducer<A>,
|
|
147
|
+
op: SyncOperator,
|
|
148
|
+
seed: B,
|
|
149
|
+
f: (acc: B, a: any) => B
|
|
150
|
+
): B {
|
|
151
|
+
return SyncProducer.matchSyncProducer(producer, {
|
|
152
|
+
Success: (a) =>
|
|
153
|
+
matchSyncOperator(op, {
|
|
154
|
+
Map: (op) => f(seed, op.f(a)),
|
|
155
|
+
Filter: (op) => op.f(a) ? f(seed, a) : seed,
|
|
156
|
+
FilterMap: (op) =>
|
|
157
|
+
Option.match(op.f(a), {
|
|
158
|
+
onNone: () => seed,
|
|
159
|
+
onSome: (a) => f(seed, a)
|
|
160
|
+
})
|
|
161
|
+
}),
|
|
162
|
+
FromSync: (g) => f(seed, g()),
|
|
163
|
+
FromArray: (array) => applyArrayReducer(array, op, seed, f),
|
|
164
|
+
FromIterable: (iterable) => applyArrayReducer(iterable, op, seed, f)
|
|
165
|
+
})
|
|
166
|
+
}
|
|
@@ -0,0 +1,146 @@
|
|
|
1
|
+
import { Effect, Option, ReadonlyArray } from "effect"
|
|
2
|
+
import type { Sink } from "../Sink.js"
|
|
3
|
+
|
|
4
|
+
const DISCARD = { discard: true } as const
|
|
5
|
+
|
|
6
|
+
export type SyncProducer<A> = Success<A> | FromSync<A> | FromArray<A> | FromIterable<A>
|
|
7
|
+
|
|
8
|
+
export interface Success<A> {
|
|
9
|
+
readonly _tag: "Success"
|
|
10
|
+
readonly source: A
|
|
11
|
+
}
|
|
12
|
+
|
|
13
|
+
export const Success = <A>(value: A): Success<A> => ({ _tag: "Success", source: value })
|
|
14
|
+
|
|
15
|
+
export interface FromSync<A> {
|
|
16
|
+
readonly _tag: "FromSync"
|
|
17
|
+
readonly source: () => A
|
|
18
|
+
}
|
|
19
|
+
|
|
20
|
+
export const FromSync = <A>(f: () => A): FromSync<A> => ({ _tag: "FromSync", source: f })
|
|
21
|
+
|
|
22
|
+
export interface FromArray<A> {
|
|
23
|
+
readonly _tag: "FromArray"
|
|
24
|
+
readonly source: ReadonlyArray<A>
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
export const FromArray = <A>(array: ReadonlyArray<A>): FromArray<A> => ({ _tag: "FromArray", source: array })
|
|
28
|
+
|
|
29
|
+
export interface FromIterable<A> {
|
|
30
|
+
readonly _tag: "FromIterable"
|
|
31
|
+
readonly source: Iterable<A>
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
export const FromIterable = <A>(iterable: Iterable<A>): FromIterable<A> => ({ _tag: "FromIterable", source: iterable })
|
|
35
|
+
|
|
36
|
+
export const matchSyncProducer = <A, R>(
|
|
37
|
+
producer: SyncProducer<A>,
|
|
38
|
+
matchers: {
|
|
39
|
+
readonly Success: (a: A) => R
|
|
40
|
+
readonly FromSync: (a: () => A) => R
|
|
41
|
+
readonly FromArray: (a: ReadonlyArray<A>) => R
|
|
42
|
+
readonly FromIterable: (a: Iterable<A>) => R
|
|
43
|
+
}
|
|
44
|
+
): R => {
|
|
45
|
+
return matchers[producer._tag](producer.source as any)
|
|
46
|
+
}
|
|
47
|
+
|
|
48
|
+
export function runSink<A, R, E>(
|
|
49
|
+
producer: SyncProducer<A>,
|
|
50
|
+
sink: Sink<R, E, A>
|
|
51
|
+
): Effect.Effect<R, never, unknown> {
|
|
52
|
+
return matchSyncProducer(producer, {
|
|
53
|
+
Success: (a) => sink.onSuccess(a),
|
|
54
|
+
FromSync: (a) => Effect.suspend(() => sink.onSuccess(a())),
|
|
55
|
+
FromArray: (a) => arrayToSink(a, sink),
|
|
56
|
+
FromIterable: (a) => iterableToSink(a, sink)
|
|
57
|
+
})
|
|
58
|
+
}
|
|
59
|
+
|
|
60
|
+
export function runReduce<A, B>(
|
|
61
|
+
producer: SyncProducer<A>,
|
|
62
|
+
initial: B,
|
|
63
|
+
f: (b: B, a: any) => B
|
|
64
|
+
): Effect.Effect<never, never, B> {
|
|
65
|
+
return matchSyncProducer(producer, {
|
|
66
|
+
Success: (a) => syncOnce(() => f(initial, a)),
|
|
67
|
+
FromSync: (a) => syncOnce(() => f(initial, a())),
|
|
68
|
+
FromArray: (a) => syncOnce(() => ReadonlyArray.reduce(a, initial, f)),
|
|
69
|
+
FromIterable: (a) => syncOnce(() => ReadonlyArray.reduce(a, initial, f))
|
|
70
|
+
})
|
|
71
|
+
}
|
|
72
|
+
|
|
73
|
+
export function runReduceEffect<A, R2, E2, B>(
|
|
74
|
+
producer: SyncProducer<A>,
|
|
75
|
+
initial: B,
|
|
76
|
+
f: (b: B, a: any) => Effect.Effect<R2, E2, B>
|
|
77
|
+
): Effect.Effect<R2, E2, B> {
|
|
78
|
+
return matchSyncProducer(producer, {
|
|
79
|
+
Success: (a) => effectOnce(() => f(initial, a)),
|
|
80
|
+
FromSync: (a) => Effect.suspend(() => f(initial, a())),
|
|
81
|
+
FromArray: (a) => Effect.reduce(a, initial, f),
|
|
82
|
+
FromIterable: (a) => Effect.reduce(a, initial, f)
|
|
83
|
+
})
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
function arrayToSink<A, R2>(array: ReadonlyArray<A>, sink: Sink<R2, never, A>): Effect.Effect<R2, never, unknown> {
|
|
87
|
+
if (array.length === 0) return Effect.unit
|
|
88
|
+
else if (array.length === 1) return sink.onSuccess(array[0])
|
|
89
|
+
else {
|
|
90
|
+
const [first, ...rest] = array
|
|
91
|
+
let effect = sink.onSuccess(first)
|
|
92
|
+
for (const item of rest) {
|
|
93
|
+
effect = Effect.zipRight(effect, sink.onSuccess(item))
|
|
94
|
+
}
|
|
95
|
+
return effect
|
|
96
|
+
}
|
|
97
|
+
}
|
|
98
|
+
|
|
99
|
+
function iterableToSink<A, R2>(array: Iterable<A>, sink: Sink<R2, never, A>): Effect.Effect<R2, never, unknown> {
|
|
100
|
+
let effect: Effect.Effect<R2, never, any> = Effect.unit
|
|
101
|
+
|
|
102
|
+
for (const item of array) {
|
|
103
|
+
effect = Effect.zipRight(effect, sink.onSuccess(item))
|
|
104
|
+
}
|
|
105
|
+
|
|
106
|
+
return effect
|
|
107
|
+
}
|
|
108
|
+
|
|
109
|
+
export const syncOnce = <A>(f: () => A): Effect.Effect<never, never, A> => {
|
|
110
|
+
let memoized: Option.Option<A> = Option.none()
|
|
111
|
+
const get = () => {
|
|
112
|
+
if (Option.isSome(memoized)) {
|
|
113
|
+
return memoized.value
|
|
114
|
+
} else {
|
|
115
|
+
const a = f()
|
|
116
|
+
memoized = Option.some(a)
|
|
117
|
+
return a
|
|
118
|
+
}
|
|
119
|
+
}
|
|
120
|
+
|
|
121
|
+
return Effect.sync(get)
|
|
122
|
+
}
|
|
123
|
+
|
|
124
|
+
export const effectOnce = <R, E, A>(f: () => Effect.Effect<R, E, A>): Effect.Effect<R, E, A> => {
|
|
125
|
+
let memoized: Option.Option<A> = Option.none()
|
|
126
|
+
|
|
127
|
+
return Effect.suspend(() => {
|
|
128
|
+
if (Option.isSome(memoized)) {
|
|
129
|
+
return Effect.succeed(memoized.value)
|
|
130
|
+
} else {
|
|
131
|
+
return Effect.tap(f(), (a) => Effect.sync(() => memoized = Option.some(a)))
|
|
132
|
+
}
|
|
133
|
+
})
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
export function runEffect<A, R2, E2, B>(
|
|
137
|
+
producer: SyncProducer<A>,
|
|
138
|
+
f: (a: A) => Effect.Effect<R2, E2, B>
|
|
139
|
+
): Effect.Effect<R2, E2, void> {
|
|
140
|
+
return matchSyncProducer(producer, {
|
|
141
|
+
Success: (a): Effect.Effect<R2, E2, void> => f(a),
|
|
142
|
+
FromSync: (a) => Effect.suspend(() => f(a())),
|
|
143
|
+
FromArray: (a) => Effect.forEach(a, f, DISCARD),
|
|
144
|
+
FromIterable: (a) => Effect.forEach(a, f, DISCARD)
|
|
145
|
+
})
|
|
146
|
+
}
|
package/src/internal/withKey.ts
CHANGED
|
@@ -1,92 +1,82 @@
|
|
|
1
1
|
import * as Effect from "effect/Effect"
|
|
2
|
-
import
|
|
3
|
-
import * as Fiber from "effect/Fiber"
|
|
2
|
+
import * as ExecutionStrategy from "effect/ExecutionStrategy"
|
|
4
3
|
import * as Option from "effect/Option"
|
|
5
|
-
import * as Scope from "effect/Scope"
|
|
6
|
-
|
|
4
|
+
import type * as Scope from "effect/Scope"
|
|
5
|
+
|
|
6
|
+
import type { Fx, WithKeyOptions } from "../Fx.js"
|
|
7
7
|
import * as RefSubject from "../RefSubject.js"
|
|
8
8
|
import * as Sink from "../Sink.js"
|
|
9
|
-
import
|
|
10
|
-
import {
|
|
11
|
-
import { run } from "./run.js"
|
|
9
|
+
import { withSwitchFork } from "./helpers.js"
|
|
10
|
+
import { FxBase } from "./protos.js"
|
|
12
11
|
|
|
13
|
-
export function withKey<R, E, A, B, R2, E2, C>(
|
|
12
|
+
export function withKey<R, E, A, B extends PropertyKey, R2, E2, C>(
|
|
14
13
|
fx: Fx<R, E, A>,
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
14
|
+
options: WithKeyOptions<A, B, R2, E2, C>
|
|
15
|
+
): Fx<R | R2 | Scope.Scope, E | E2, C> {
|
|
16
|
+
return new WithKey(fx, options)
|
|
17
|
+
}
|
|
18
|
+
|
|
19
|
+
class WithKey<R, E, A, B extends PropertyKey, R2, E2, C> extends FxBase<R | R2 | Scope.Scope, E | E2, C> {
|
|
20
|
+
constructor(readonly fx: Fx<R, E, A>, readonly options: WithKeyOptions<A, B, R2, E2, C>) {
|
|
21
|
+
super()
|
|
22
|
+
}
|
|
23
23
|
|
|
24
|
-
|
|
24
|
+
run<R3>(sink: Sink.Sink<R3, E | E2, C>) {
|
|
25
|
+
return runWithKey(this.fx, this.options, sink)
|
|
26
|
+
}
|
|
27
|
+
}
|
|
25
28
|
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
33
|
-
// from here.
|
|
34
|
-
const currentValue = { value: a }
|
|
35
|
-
const ref = yield* _(
|
|
36
|
-
RefSubject.fromEffect(Effect.sync(() => currentValue.value)),
|
|
37
|
-
Effect.provideService(Scope.Scope, scope)
|
|
38
|
-
)
|
|
39
|
-
const fiber = yield* _(
|
|
40
|
-
run(core.from(onValue(ref, key)), sink),
|
|
41
|
-
restore,
|
|
42
|
-
fork
|
|
43
|
-
)
|
|
29
|
+
function runWithKey<R, E, A, B extends PropertyKey, R2, E2, C, R3>(
|
|
30
|
+
fx: Fx<R, E, A>,
|
|
31
|
+
options: WithKeyOptions<A, B, R2, E2, C>,
|
|
32
|
+
sink: Sink.Sink<R3, E | E2, C>
|
|
33
|
+
) {
|
|
34
|
+
return withSwitchFork((fork) => {
|
|
35
|
+
let previous: Option.Option<WithKeyState<A, B>> = Option.none()
|
|
44
36
|
|
|
45
|
-
|
|
46
|
-
|
|
37
|
+
const run = fx.run(Sink.make(
|
|
38
|
+
(cause) => sink.onFailure(cause),
|
|
39
|
+
(value) =>
|
|
40
|
+
Effect.gen(function*(_) {
|
|
41
|
+
const key = options.getKey(value)
|
|
47
42
|
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
)
|
|
43
|
+
// We don't need to do anything if the key is the same as the previous one
|
|
44
|
+
if (Option.isSome(previous)) {
|
|
45
|
+
const prev = previous.value
|
|
52
46
|
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
62
|
-
|
|
47
|
+
// If the key is the same, we just need to update the value
|
|
48
|
+
if (prev.key === key) {
|
|
49
|
+
prev.value = value
|
|
50
|
+
yield* _(RefSubject.set(prev.ref, value))
|
|
51
|
+
return
|
|
52
|
+
} else {
|
|
53
|
+
// Otherwise, we need to remove the previous value
|
|
54
|
+
yield* _(prev.ref.interrupt)
|
|
55
|
+
}
|
|
56
|
+
}
|
|
63
57
|
|
|
64
|
-
|
|
65
|
-
// Key didn't change, so we just set an updated value.
|
|
58
|
+
const ref = yield* _(RefSubject.fromEffect(Effect.sync(() => state.value)))
|
|
66
59
|
|
|
67
|
-
|
|
68
|
-
|
|
69
|
-
|
|
70
|
-
|
|
71
|
-
|
|
60
|
+
// Create a new state
|
|
61
|
+
const state: WithKeyState<A, B> = {
|
|
62
|
+
value,
|
|
63
|
+
key,
|
|
64
|
+
ref
|
|
65
|
+
}
|
|
72
66
|
|
|
73
|
-
|
|
74
|
-
yield* _(make(a))
|
|
75
|
-
}
|
|
76
|
-
}
|
|
77
|
-
}))
|
|
78
|
-
)
|
|
79
|
-
))
|
|
67
|
+
previous = Option.some(state)
|
|
80
68
|
|
|
81
|
-
|
|
82
|
-
|
|
69
|
+
// Create a new listener
|
|
70
|
+
yield* _(fork(options.onValue(state.ref, state.key).run(sink)))
|
|
71
|
+
})
|
|
72
|
+
))
|
|
83
73
|
|
|
84
|
-
|
|
85
|
-
|
|
74
|
+
return Effect.flatMap(run, () => Option.isSome(previous) ? previous.value.ref.interrupt : Effect.unit)
|
|
75
|
+
}, ExecutionStrategy.sequential)
|
|
76
|
+
}
|
|
86
77
|
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
|
|
91
|
-
)
|
|
78
|
+
type WithKeyState<A, B> = {
|
|
79
|
+
value: A
|
|
80
|
+
key: B
|
|
81
|
+
ref: RefSubject.RefSubject<never, never, A>
|
|
92
82
|
}
|
package/Computed/package.json
DELETED
package/Filtered/package.json
DELETED
package/Model/package.json
DELETED
package/RefBoolean/package.json
DELETED