@fncts/io 0.0.49 → 0.0.51
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/Channel/internal/SingleProducerAsyncInput.d.ts +1 -1
- package/CountdownLatch.d.ts +5 -5
- package/Fiber/FiberRuntime.d.ts +1 -1
- package/Hub/api.d.ts +7 -7
- package/IO/api/foreachExec.d.ts +18 -0
- package/IO/api.d.ts +1 -1
- package/Push/Bounds.d.ts +4 -0
- package/Push/FlattenStrategy.d.ts +47 -0
- package/Push/IndexedBuffer.d.ts +19 -0
- package/Push/MergeStrategy.d.ts +19 -0
- package/Push/Operator/IOLoopOperator.d.ts +61 -0
- package/Push/Operator/IOOperator.d.ts +63 -0
- package/Push/Operator/LoopOperator.d.ts +50 -0
- package/Push/Operator/SyncOperator.d.ts +41 -0
- package/Push/Operator.d.ts +4 -0
- package/Push/Producer/IOProducer.d.ts +41 -0
- package/Push/Producer/SyncProducer.d.ts +61 -0
- package/Push/Producer.d.ts +1 -0
- package/Push/Sink.d.ts +65 -0
- package/Push/api.d.ts +80 -163
- package/Push/definition.d.ts +92 -19
- package/Push/internal.d.ts +3 -0
- package/Push.d.ts +6 -0
- package/Queue/api/dimapIO.d.ts +12 -12
- package/Ref/Synchronized/definition.d.ts +32 -9
- package/Ref/definition.d.ts +12 -0
- package/STM/api.d.ts +1 -1
- package/Scope/api.d.ts +16 -1
- package/Semaphore/definition.d.ts +1 -1
- package/Sink/definition.d.ts +5 -6
- package/Subject/Atomic.d.ts +19 -9
- package/Subject/DeferredRef.d.ts +17 -0
- package/Subject/Hold.d.ts +19 -0
- package/Subject/RefSubject/Atomic.d.ts +43 -0
- package/Subject/RefSubject/Derived.d.ts +43 -0
- package/Subject/RefSubject/RefSubject.d.ts +37 -0
- package/Subject/RefSubject/constructors.d.ts +15 -0
- package/Subject/RefSubject.d.ts +4 -0
- package/Subject/definition.d.ts +14 -2
- package/Subject.d.ts +3 -0
- package/SubscriptionRef.d.ts +0 -1
- package/Supervisor/definition.d.ts +1 -1
- package/_cjs/Cached/api.cjs +8 -2
- package/_cjs/Cached/api.cjs.map +1 -1
- package/_cjs/Cached/definition.cjs +2 -6
- package/_cjs/Cached/definition.cjs.map +1 -1
- package/_cjs/CancellerState.cjs +4 -7
- package/_cjs/CancellerState.cjs.map +1 -1
- package/_cjs/Channel/UpstreamPullRequest/definition.cjs +4 -2
- package/_cjs/Channel/UpstreamPullRequest/definition.cjs.map +1 -1
- package/_cjs/Channel/api.cjs +2 -3
- package/_cjs/Channel/api.cjs.map +1 -1
- package/_cjs/Channel/definition.cjs +22 -16
- package/_cjs/Channel/definition.cjs.map +1 -1
- package/_cjs/Channel/internal/ChannelExecutor.cjs +35 -11
- package/_cjs/Channel/internal/ChannelExecutor.cjs.map +1 -1
- package/_cjs/Channel/internal/ChannelState.cjs +15 -8
- package/_cjs/Channel/internal/ChannelState.cjs.map +1 -1
- package/_cjs/Channel/internal/MergeDecision.cjs +6 -8
- package/_cjs/Channel/internal/MergeDecision.cjs.map +1 -1
- package/_cjs/Channel/internal/MergeState.cjs +7 -3
- package/_cjs/Channel/internal/MergeState.cjs.map +1 -1
- package/_cjs/Channel/internal/SingleProducerAsyncInput.cjs +49 -42
- package/_cjs/Channel/internal/SingleProducerAsyncInput.cjs.map +1 -1
- package/_cjs/Clock/live.cjs +1 -4
- package/_cjs/Clock/live.cjs.map +1 -1
- package/_cjs/CountdownLatch.cjs +22 -12
- package/_cjs/CountdownLatch.cjs.map +1 -1
- package/_cjs/Differ/api.cjs +3 -12
- package/_cjs/Differ/api.cjs.map +1 -1
- package/_cjs/Differ/definition.cjs +1 -5
- package/_cjs/Differ/definition.cjs.map +1 -1
- package/_cjs/Fiber/FiberMessage.cjs +6 -3
- package/_cjs/Fiber/FiberMessage.cjs.map +1 -1
- package/_cjs/Fiber/FiberRuntime.cjs +66 -61
- package/_cjs/Fiber/FiberRuntime.cjs.map +1 -1
- package/_cjs/Fiber/definition.cjs +10 -6
- package/_cjs/Fiber/definition.cjs.map +1 -1
- package/_cjs/FiberDescriptor.cjs +3 -0
- package/_cjs/FiberDescriptor.cjs.map +1 -1
- package/_cjs/FiberRef/definition.cjs +9 -6
- package/_cjs/FiberRef/definition.cjs.map +1 -1
- package/_cjs/FiberRefs/Patch.cjs +13 -13
- package/_cjs/FiberRefs/Patch.cjs.map +1 -1
- package/_cjs/FiberScope/definition.cjs +2 -0
- package/_cjs/FiberScope/definition.cjs.map +1 -1
- package/_cjs/FiberSet.cjs +4 -3
- package/_cjs/FiberSet.cjs.map +1 -1
- package/_cjs/FiberStatus/definition.cjs +12 -9
- package/_cjs/FiberStatus/definition.cjs.map +1 -1
- package/_cjs/Future/State.cjs +8 -7
- package/_cjs/Future/State.cjs.map +1 -1
- package/_cjs/Future/definition.cjs +3 -3
- package/_cjs/Future/definition.cjs.map +1 -1
- package/_cjs/Hub/api.cjs +61 -44
- package/_cjs/Hub/api.cjs.map +1 -1
- package/_cjs/Hub/definition.cjs +4 -8
- package/_cjs/Hub/definition.cjs.map +1 -1
- package/_cjs/Hub/internal.cjs +130 -110
- package/_cjs/Hub/internal.cjs.map +1 -1
- package/_cjs/IO/api/foreachExec.cjs +29 -4
- package/_cjs/IO/api/foreachExec.cjs.map +1 -1
- package/_cjs/IO/api/transplant.cjs +8 -7
- package/_cjs/IO/api/transplant.cjs.map +1 -1
- package/_cjs/IO/api.cjs +9 -4
- package/_cjs/IO/api.cjs.map +1 -1
- package/_cjs/IO/definition.cjs +8 -12
- package/_cjs/IO/definition.cjs.map +1 -1
- package/_cjs/IO/runtime.cjs +64 -61
- package/_cjs/IO/runtime.cjs.map +1 -1
- package/_cjs/InterruptStatus/definition.cjs +1 -0
- package/_cjs/InterruptStatus/definition.cjs.map +1 -1
- package/_cjs/Layer/MemoMap.cjs +25 -24
- package/_cjs/Layer/MemoMap.cjs.map +1 -1
- package/_cjs/Layer/definition.cjs +30 -13
- package/_cjs/Layer/definition.cjs.map +1 -1
- package/_cjs/LogLevel.cjs +3 -0
- package/_cjs/LogLevel.cjs.map +1 -1
- package/_cjs/LogSpan.cjs +2 -0
- package/_cjs/LogSpan.cjs.map +1 -1
- package/_cjs/Logger/definition.cjs +1 -0
- package/_cjs/Logger/definition.cjs.map +1 -1
- package/_cjs/MVar/definition.cjs +3 -4
- package/_cjs/MVar/definition.cjs.map +1 -1
- package/_cjs/Push/Bounds.cjs +2 -0
- package/_cjs/Push/Bounds.cjs.map +1 -0
- package/_cjs/Push/FlattenStrategy.cjs +96 -0
- package/_cjs/Push/FlattenStrategy.cjs.map +1 -0
- package/_cjs/Push/IndexedBuffer.cjs +74 -0
- package/_cjs/Push/IndexedBuffer.cjs.map +1 -0
- package/_cjs/Push/MergeStrategy.cjs +47 -0
- package/_cjs/Push/MergeStrategy.cjs.map +1 -0
- package/_cjs/Push/Operator/IOLoopOperator.cjs +225 -0
- package/_cjs/Push/Operator/IOLoopOperator.cjs.map +1 -0
- package/_cjs/Push/Operator/IOOperator.cjs +104 -0
- package/_cjs/Push/Operator/IOOperator.cjs.map +1 -0
- package/_cjs/Push/Operator/LoopOperator.cjs +165 -0
- package/_cjs/Push/Operator/LoopOperator.cjs.map +1 -0
- package/_cjs/Push/Operator/SyncOperator.cjs +78 -0
- package/_cjs/Push/Operator/SyncOperator.cjs.map +1 -0
- package/_cjs/Push/Operator.cjs +2 -0
- package/_cjs/Push/Operator.cjs.map +1 -0
- package/_cjs/Push/Producer/IOProducer.cjs +72 -0
- package/_cjs/Push/Producer/IOProducer.cjs.map +1 -0
- package/_cjs/Push/Producer/SyncProducer.cjs +111 -0
- package/_cjs/Push/Producer/SyncProducer.cjs.map +1 -0
- package/_cjs/Push/Producer.cjs +2 -0
- package/_cjs/Push/Producer.cjs.map +1 -0
- package/_cjs/Push/Sink.cjs +238 -0
- package/_cjs/Push/Sink.cjs.map +1 -0
- package/_cjs/Push/api.cjs +369 -387
- package/_cjs/Push/api.cjs.map +1 -1
- package/_cjs/Push/definition.cjs +82 -26
- package/_cjs/Push/definition.cjs.map +1 -1
- package/_cjs/Push/internal.cjs +31 -26
- package/_cjs/Push/internal.cjs.map +1 -1
- package/_cjs/Push.cjs +66 -0
- package/_cjs/Push.cjs.map +1 -1
- package/_cjs/Queue/api/dimapIO.cjs +74 -32
- package/_cjs/Queue/api/dimapIO.cjs.map +1 -1
- package/_cjs/Queue/api/filterInputIO.cjs +51 -25
- package/_cjs/Queue/api/filterInputIO.cjs.map +1 -1
- package/_cjs/Queue/api/filterOutputIO.cjs +60 -30
- package/_cjs/Queue/api/filterOutputIO.cjs.map +1 -1
- package/_cjs/Queue/api/zipWithIO.cjs +27 -10
- package/_cjs/Queue/api/zipWithIO.cjs.map +1 -1
- package/_cjs/Queue/definition.cjs +3 -7
- package/_cjs/Queue/definition.cjs.map +1 -1
- package/_cjs/Queue/internal.cjs +73 -62
- package/_cjs/Queue/internal.cjs.map +1 -1
- package/_cjs/Queue/strategy.cjs +1 -3
- package/_cjs/Queue/strategy.cjs.map +1 -1
- package/_cjs/Random/live.cjs +4 -3
- package/_cjs/Random/live.cjs.map +1 -1
- package/_cjs/Ref/Atomic.cjs +2 -3
- package/_cjs/Ref/Atomic.cjs.map +1 -1
- package/_cjs/Ref/Derived.cjs +2 -3
- package/_cjs/Ref/Derived.cjs.map +1 -1
- package/_cjs/Ref/DerivedAll.cjs +2 -3
- package/_cjs/Ref/DerivedAll.cjs.map +1 -1
- package/_cjs/Ref/Synchronized/definition.cjs +17 -16
- package/_cjs/Ref/Synchronized/definition.cjs.map +1 -1
- package/_cjs/Ref/definition.cjs +2 -6
- package/_cjs/Ref/definition.cjs.map +1 -1
- package/_cjs/Reloadable/definition.cjs +2 -0
- package/_cjs/Reloadable/definition.cjs.map +1 -1
- package/_cjs/STM/definition.cjs +30 -25
- package/_cjs/STM/definition.cjs.map +1 -1
- package/_cjs/STM/driver.cjs +5 -0
- package/_cjs/STM/driver.cjs.map +1 -1
- package/_cjs/STM/internal/Entry.cjs +9 -6
- package/_cjs/STM/internal/Entry.cjs.map +1 -1
- package/_cjs/STM/internal/TryCommit.cjs +6 -7
- package/_cjs/STM/internal/TryCommit.cjs.map +1 -1
- package/_cjs/STM/internal/Versioned.cjs +2 -3
- package/_cjs/STM/internal/Versioned.cjs.map +1 -1
- package/_cjs/Schedule/Decision.cjs +3 -4
- package/_cjs/Schedule/Decision.cjs.map +1 -1
- package/_cjs/Schedule/Driver.cjs +4 -0
- package/_cjs/Schedule/Driver.cjs.map +1 -1
- package/_cjs/Schedule/api.cjs +2 -5
- package/_cjs/Schedule/api.cjs.map +1 -1
- package/_cjs/Schedule/definition.cjs +3 -1
- package/_cjs/Schedule/definition.cjs.map +1 -1
- package/_cjs/Scope/ReleaseMap/definition.cjs +8 -2
- package/_cjs/Scope/ReleaseMap/definition.cjs.map +1 -1
- package/_cjs/Scope/api.cjs +29 -11
- package/_cjs/Scope/api.cjs.map +1 -1
- package/_cjs/Scope/definition.cjs +3 -7
- package/_cjs/Scope/definition.cjs.map +1 -1
- package/_cjs/ScopedRef/api.cjs +8 -3
- package/_cjs/ScopedRef/api.cjs.map +1 -1
- package/_cjs/ScopedRef/definition.cjs +1 -5
- package/_cjs/ScopedRef/definition.cjs.map +1 -1
- package/_cjs/Semaphore/Reservation.cjs +2 -0
- package/_cjs/Semaphore/Reservation.cjs.map +1 -1
- package/_cjs/Semaphore/definition.cjs +42 -38
- package/_cjs/Semaphore/definition.cjs.map +1 -1
- package/_cjs/Sink/definition.cjs +3 -3
- package/_cjs/Sink/definition.cjs.map +1 -1
- package/_cjs/State/api.cjs +1 -4
- package/_cjs/State/api.cjs.map +1 -1
- package/_cjs/State/definition.cjs +2 -6
- package/_cjs/State/definition.cjs.map +1 -1
- package/_cjs/State/internal.cjs +1 -5
- package/_cjs/State/internal.cjs.map +1 -1
- package/_cjs/Stream/api/zipAllWith.cjs +7 -11
- package/_cjs/Stream/api/zipAllWith.cjs.map +1 -1
- package/_cjs/Stream/api/zipWithChunks.cjs +5 -5
- package/_cjs/Stream/api/zipWithChunks.cjs.map +1 -1
- package/_cjs/Stream/api.cjs +8 -7
- package/_cjs/Stream/api.cjs.map +1 -1
- package/_cjs/Stream/definition.cjs +3 -4
- package/_cjs/Stream/definition.cjs.map +1 -1
- package/_cjs/Stream/internal/DebounceState.cjs +5 -5
- package/_cjs/Stream/internal/DebounceState.cjs.map +1 -1
- package/_cjs/Stream/internal/Handoff.cjs +18 -17
- package/_cjs/Stream/internal/Handoff.cjs.map +1 -1
- package/_cjs/Stream/internal/SinkEndReason.cjs +5 -12
- package/_cjs/Stream/internal/SinkEndReason.cjs.map +1 -1
- package/_cjs/Stream/internal/Take.cjs +3 -0
- package/_cjs/Stream/internal/Take.cjs.map +1 -1
- package/_cjs/Subject/Atomic.cjs +45 -15
- package/_cjs/Subject/Atomic.cjs.map +1 -1
- package/_cjs/Subject/DeferredRef.cjs +56 -0
- package/_cjs/Subject/DeferredRef.cjs.map +1 -0
- package/_cjs/Subject/Hold.cjs +38 -0
- package/_cjs/Subject/Hold.cjs.map +1 -0
- package/_cjs/Subject/RefSubject/Atomic.cjs +171 -0
- package/_cjs/Subject/RefSubject/Atomic.cjs.map +1 -0
- package/_cjs/Subject/RefSubject/Derived.cjs +103 -0
- package/_cjs/Subject/RefSubject/Derived.cjs.map +1 -0
- package/_cjs/Subject/RefSubject/RefSubject.cjs +18 -0
- package/_cjs/Subject/RefSubject/RefSubject.cjs.map +1 -0
- package/_cjs/Subject/RefSubject/constructors.cjs +30 -0
- package/_cjs/Subject/RefSubject/constructors.cjs.map +1 -0
- package/_cjs/Subject/RefSubject.cjs +2 -0
- package/_cjs/Subject/RefSubject.cjs.map +1 -0
- package/_cjs/Subject/definition.cjs +11 -1
- package/_cjs/Subject/definition.cjs.map +1 -1
- package/_cjs/Subject.cjs +33 -0
- package/_cjs/Subject.cjs.map +1 -1
- package/_cjs/SubscriptionRef.cjs +4 -5
- package/_cjs/SubscriptionRef.cjs.map +1 -1
- package/_cjs/Supervisor/constructors.cjs +3 -11
- package/_cjs/Supervisor/constructors.cjs.map +1 -1
- package/_cjs/Supervisor/definition.cjs +10 -4
- package/_cjs/Supervisor/definition.cjs.map +1 -1
- package/_cjs/SupervisorPatch.cjs +9 -12
- package/_cjs/SupervisorPatch.cjs.map +1 -1
- package/_cjs/TExit/definition.cjs +19 -18
- package/_cjs/TExit/definition.cjs.map +1 -1
- package/_cjs/TReentrantLock/definition.cjs +8 -3
- package/_cjs/TReentrantLock/definition.cjs.map +1 -1
- package/_cjs/TRef/definition.cjs +6 -6
- package/_cjs/TRef/definition.cjs.map +1 -1
- package/_cjs/internal/BackgroundScheduler.cjs +16 -16
- package/_cjs/internal/BackgroundScheduler.cjs.map +1 -1
- package/_cjs/internal/HashedPair.cjs +2 -0
- package/_cjs/internal/HashedPair.cjs.map +1 -1
- package/_cjs/internal/Hub.cjs +39 -15
- package/_cjs/internal/Hub.cjs.map +1 -1
- package/_cjs/internal/IsFatal.cjs +7 -11
- package/_cjs/internal/IsFatal.cjs.map +1 -1
- package/_cjs/internal/MutableQueue.cjs +14 -11
- package/_cjs/internal/MutableQueue.cjs.map +1 -1
- package/_cjs/internal/Scheduler.cjs +4 -8
- package/_cjs/internal/Scheduler.cjs.map +1 -1
- package/_cjs/internal/StackTraceBuilder.cjs +2 -4
- package/_cjs/internal/StackTraceBuilder.cjs.map +1 -1
- package/_mjs/Cached/api.mjs +8 -2
- package/_mjs/Cached/api.mjs.map +1 -1
- package/_mjs/Cached/definition.mjs +1 -5
- package/_mjs/Cached/definition.mjs.map +1 -1
- package/_mjs/CancellerState.mjs +4 -7
- package/_mjs/CancellerState.mjs.map +1 -1
- package/_mjs/Channel/UpstreamPullRequest/definition.mjs +4 -2
- package/_mjs/Channel/UpstreamPullRequest/definition.mjs.map +1 -1
- package/_mjs/Channel/api.mjs +2 -3
- package/_mjs/Channel/api.mjs.map +1 -1
- package/_mjs/Channel/definition.mjs +21 -15
- package/_mjs/Channel/definition.mjs.map +1 -1
- package/_mjs/Channel/internal/ChannelExecutor.mjs +35 -11
- package/_mjs/Channel/internal/ChannelExecutor.mjs.map +1 -1
- package/_mjs/Channel/internal/ChannelState.mjs +15 -8
- package/_mjs/Channel/internal/ChannelState.mjs.map +1 -1
- package/_mjs/Channel/internal/MergeDecision.mjs +5 -7
- package/_mjs/Channel/internal/MergeDecision.mjs.map +1 -1
- package/_mjs/Channel/internal/MergeState.mjs +7 -3
- package/_mjs/Channel/internal/MergeState.mjs.map +1 -1
- package/_mjs/Channel/internal/SingleProducerAsyncInput.mjs +49 -42
- package/_mjs/Channel/internal/SingleProducerAsyncInput.mjs.map +1 -1
- package/_mjs/Clock/live.mjs +1 -4
- package/_mjs/Clock/live.mjs.map +1 -1
- package/_mjs/CountdownLatch.mjs +21 -11
- package/_mjs/CountdownLatch.mjs.map +1 -1
- package/_mjs/Differ/api.mjs +3 -12
- package/_mjs/Differ/api.mjs.map +1 -1
- package/_mjs/Differ/definition.mjs +1 -5
- package/_mjs/Differ/definition.mjs.map +1 -1
- package/_mjs/Fiber/FiberMessage.mjs +6 -3
- package/_mjs/Fiber/FiberMessage.mjs.map +1 -1
- package/_mjs/Fiber/FiberRuntime.mjs +66 -61
- package/_mjs/Fiber/FiberRuntime.mjs.map +1 -1
- package/_mjs/Fiber/definition.mjs +9 -5
- package/_mjs/Fiber/definition.mjs.map +1 -1
- package/_mjs/FiberDescriptor.mjs +3 -0
- package/_mjs/FiberDescriptor.mjs.map +1 -1
- package/_mjs/FiberRef/definition.mjs +9 -6
- package/_mjs/FiberRef/definition.mjs.map +1 -1
- package/_mjs/FiberRefs/Patch.mjs +13 -13
- package/_mjs/FiberRefs/Patch.mjs.map +1 -1
- package/_mjs/FiberScope/definition.mjs +2 -0
- package/_mjs/FiberScope/definition.mjs.map +1 -1
- package/_mjs/FiberSet.mjs +4 -3
- package/_mjs/FiberSet.mjs.map +1 -1
- package/_mjs/FiberStatus/definition.mjs +12 -9
- package/_mjs/FiberStatus/definition.mjs.map +1 -1
- package/_mjs/Future/State.mjs +8 -7
- package/_mjs/Future/State.mjs.map +1 -1
- package/_mjs/Future/definition.mjs +3 -3
- package/_mjs/Future/definition.mjs.map +1 -1
- package/_mjs/Hub/api.mjs +61 -44
- package/_mjs/Hub/api.mjs.map +1 -1
- package/_mjs/Hub/definition.mjs +3 -7
- package/_mjs/Hub/definition.mjs.map +1 -1
- package/_mjs/Hub/internal.mjs +130 -110
- package/_mjs/Hub/internal.mjs.map +1 -1
- package/_mjs/IO/api/foreachExec.mjs +27 -4
- package/_mjs/IO/api/foreachExec.mjs.map +1 -1
- package/_mjs/IO/api/transplant.mjs +8 -7
- package/_mjs/IO/api/transplant.mjs.map +1 -1
- package/_mjs/IO/api.mjs +9 -4
- package/_mjs/IO/api.mjs.map +1 -1
- package/_mjs/IO/definition.mjs +7 -11
- package/_mjs/IO/definition.mjs.map +1 -1
- package/_mjs/IO/runtime.mjs +64 -61
- package/_mjs/IO/runtime.mjs.map +1 -1
- package/_mjs/InterruptStatus/definition.mjs +1 -0
- package/_mjs/InterruptStatus/definition.mjs.map +1 -1
- package/_mjs/Layer/MemoMap.mjs +25 -24
- package/_mjs/Layer/MemoMap.mjs.map +1 -1
- package/_mjs/Layer/definition.mjs +29 -12
- package/_mjs/Layer/definition.mjs.map +1 -1
- package/_mjs/LogLevel.mjs +3 -0
- package/_mjs/LogLevel.mjs.map +1 -1
- package/_mjs/LogSpan.mjs +2 -0
- package/_mjs/LogSpan.mjs.map +1 -1
- package/_mjs/Logger/definition.mjs +1 -0
- package/_mjs/Logger/definition.mjs.map +1 -1
- package/_mjs/MVar/definition.mjs +2 -3
- package/_mjs/MVar/definition.mjs.map +1 -1
- package/_mjs/Push/Bounds.mjs +2 -0
- package/_mjs/Push/Bounds.mjs.map +1 -0
- package/_mjs/Push/FlattenStrategy.mjs +87 -0
- package/_mjs/Push/FlattenStrategy.mjs.map +1 -0
- package/_mjs/Push/IndexedBuffer.mjs +65 -0
- package/_mjs/Push/IndexedBuffer.mjs.map +1 -0
- package/_mjs/Push/MergeStrategy.mjs +36 -0
- package/_mjs/Push/MergeStrategy.mjs.map +1 -0
- package/_mjs/Push/Operator/IOLoopOperator.mjs +208 -0
- package/_mjs/Push/Operator/IOLoopOperator.mjs.map +1 -0
- package/_mjs/Push/Operator/IOOperator.mjs +91 -0
- package/_mjs/Push/Operator/IOOperator.mjs.map +1 -0
- package/_mjs/Push/Operator/LoopOperator.mjs +151 -0
- package/_mjs/Push/Operator/LoopOperator.mjs.map +1 -0
- package/_mjs/Push/Operator/SyncOperator.mjs +67 -0
- package/_mjs/Push/Operator/SyncOperator.mjs.map +1 -0
- package/_mjs/Push/Operator.mjs +2 -0
- package/_mjs/Push/Operator.mjs.map +1 -0
- package/_mjs/Push/Producer/IOProducer.mjs +60 -0
- package/_mjs/Push/Producer/IOProducer.mjs.map +1 -0
- package/_mjs/Push/Producer/SyncProducer.mjs +94 -0
- package/_mjs/Push/Producer/SyncProducer.mjs.map +1 -0
- package/_mjs/Push/Producer.mjs +2 -0
- package/_mjs/Push/Producer.mjs.map +1 -0
- package/_mjs/Push/Sink.mjs +225 -0
- package/_mjs/Push/Sink.mjs.map +1 -0
- package/_mjs/Push/api.mjs +340 -348
- package/_mjs/Push/api.mjs.map +1 -1
- package/_mjs/Push/definition.mjs +75 -21
- package/_mjs/Push/definition.mjs.map +1 -1
- package/_mjs/Push/internal.mjs +30 -26
- package/_mjs/Push/internal.mjs.map +1 -1
- package/_mjs/Push.mjs +7 -1
- package/_mjs/Push.mjs.map +1 -1
- package/_mjs/Queue/api/dimapIO.mjs +74 -32
- package/_mjs/Queue/api/dimapIO.mjs.map +1 -1
- package/_mjs/Queue/api/filterInputIO.mjs +51 -25
- package/_mjs/Queue/api/filterInputIO.mjs.map +1 -1
- package/_mjs/Queue/api/filterOutputIO.mjs +60 -30
- package/_mjs/Queue/api/filterOutputIO.mjs.map +1 -1
- package/_mjs/Queue/api/zipWithIO.mjs +27 -10
- package/_mjs/Queue/api/zipWithIO.mjs.map +1 -1
- package/_mjs/Queue/definition.mjs +3 -7
- package/_mjs/Queue/definition.mjs.map +1 -1
- package/_mjs/Queue/internal.mjs +73 -62
- package/_mjs/Queue/internal.mjs.map +1 -1
- package/_mjs/Queue/strategy.mjs +1 -3
- package/_mjs/Queue/strategy.mjs.map +1 -1
- package/_mjs/Random/live.mjs +4 -3
- package/_mjs/Random/live.mjs.map +1 -1
- package/_mjs/Ref/Atomic.mjs +2 -3
- package/_mjs/Ref/Atomic.mjs.map +1 -1
- package/_mjs/Ref/Derived.mjs +2 -3
- package/_mjs/Ref/Derived.mjs.map +1 -1
- package/_mjs/Ref/DerivedAll.mjs +2 -3
- package/_mjs/Ref/DerivedAll.mjs.map +1 -1
- package/_mjs/Ref/Synchronized/definition.mjs +16 -15
- package/_mjs/Ref/Synchronized/definition.mjs.map +1 -1
- package/_mjs/Ref/definition.mjs +1 -5
- package/_mjs/Ref/definition.mjs.map +1 -1
- package/_mjs/Reloadable/definition.mjs +2 -0
- package/_mjs/Reloadable/definition.mjs.map +1 -1
- package/_mjs/STM/definition.mjs +29 -24
- package/_mjs/STM/definition.mjs.map +1 -1
- package/_mjs/STM/driver.mjs +5 -0
- package/_mjs/STM/driver.mjs.map +1 -1
- package/_mjs/STM/internal/Entry.mjs +8 -5
- package/_mjs/STM/internal/Entry.mjs.map +1 -1
- package/_mjs/STM/internal/TryCommit.mjs +6 -7
- package/_mjs/STM/internal/TryCommit.mjs.map +1 -1
- package/_mjs/STM/internal/Versioned.mjs +2 -3
- package/_mjs/STM/internal/Versioned.mjs.map +1 -1
- package/_mjs/Schedule/Decision.mjs +3 -4
- package/_mjs/Schedule/Decision.mjs.map +1 -1
- package/_mjs/Schedule/Driver.mjs +4 -0
- package/_mjs/Schedule/Driver.mjs.map +1 -1
- package/_mjs/Schedule/api.mjs +2 -5
- package/_mjs/Schedule/api.mjs.map +1 -1
- package/_mjs/Schedule/definition.mjs +3 -1
- package/_mjs/Schedule/definition.mjs.map +1 -1
- package/_mjs/Scope/ReleaseMap/definition.mjs +8 -2
- package/_mjs/Scope/ReleaseMap/definition.mjs.map +1 -1
- package/_mjs/Scope/api.mjs +23 -8
- package/_mjs/Scope/api.mjs.map +1 -1
- package/_mjs/Scope/definition.mjs +2 -6
- package/_mjs/Scope/definition.mjs.map +1 -1
- package/_mjs/ScopedRef/api.mjs +8 -3
- package/_mjs/ScopedRef/api.mjs.map +1 -1
- package/_mjs/ScopedRef/definition.mjs +1 -5
- package/_mjs/ScopedRef/definition.mjs.map +1 -1
- package/_mjs/Semaphore/Reservation.mjs +2 -0
- package/_mjs/Semaphore/Reservation.mjs.map +1 -1
- package/_mjs/Semaphore/definition.mjs +42 -38
- package/_mjs/Semaphore/definition.mjs.map +1 -1
- package/_mjs/Sink/definition.mjs +3 -3
- package/_mjs/Sink/definition.mjs.map +1 -1
- package/_mjs/State/api.mjs +1 -4
- package/_mjs/State/api.mjs.map +1 -1
- package/_mjs/State/definition.mjs +1 -5
- package/_mjs/State/definition.mjs.map +1 -1
- package/_mjs/State/internal.mjs +1 -5
- package/_mjs/State/internal.mjs.map +1 -1
- package/_mjs/Stream/api/zipAllWith.mjs +7 -11
- package/_mjs/Stream/api/zipAllWith.mjs.map +1 -1
- package/_mjs/Stream/api/zipWithChunks.mjs +5 -5
- package/_mjs/Stream/api/zipWithChunks.mjs.map +1 -1
- package/_mjs/Stream/api.mjs +8 -7
- package/_mjs/Stream/api.mjs.map +1 -1
- package/_mjs/Stream/definition.mjs +2 -3
- package/_mjs/Stream/definition.mjs.map +1 -1
- package/_mjs/Stream/internal/DebounceState.mjs +5 -5
- package/_mjs/Stream/internal/DebounceState.mjs.map +1 -1
- package/_mjs/Stream/internal/Handoff.mjs +17 -16
- package/_mjs/Stream/internal/Handoff.mjs.map +1 -1
- package/_mjs/Stream/internal/SinkEndReason.mjs +4 -11
- package/_mjs/Stream/internal/SinkEndReason.mjs.map +1 -1
- package/_mjs/Stream/internal/Take.mjs +3 -0
- package/_mjs/Stream/internal/Take.mjs.map +1 -1
- package/_mjs/Subject/Atomic.mjs +46 -15
- package/_mjs/Subject/Atomic.mjs.map +1 -1
- package/_mjs/Subject/DeferredRef.mjs +48 -0
- package/_mjs/Subject/DeferredRef.mjs.map +1 -0
- package/_mjs/Subject/Hold.mjs +30 -0
- package/_mjs/Subject/Hold.mjs.map +1 -0
- package/_mjs/Subject/RefSubject/Atomic.mjs +163 -0
- package/_mjs/Subject/RefSubject/Atomic.mjs.map +1 -0
- package/_mjs/Subject/RefSubject/Derived.mjs +95 -0
- package/_mjs/Subject/RefSubject/Derived.mjs.map +1 -0
- package/_mjs/Subject/RefSubject/RefSubject.mjs +11 -0
- package/_mjs/Subject/RefSubject/RefSubject.mjs.map +1 -0
- package/_mjs/Subject/RefSubject/constructors.mjs +23 -0
- package/_mjs/Subject/RefSubject/constructors.mjs.map +1 -0
- package/_mjs/Subject/RefSubject.mjs +2 -0
- package/_mjs/Subject/RefSubject.mjs.map +1 -0
- package/_mjs/Subject/definition.mjs +9 -0
- package/_mjs/Subject/definition.mjs.map +1 -1
- package/_mjs/Subject.mjs +3 -0
- package/_mjs/Subject.mjs.map +1 -1
- package/_mjs/SubscriptionRef.mjs +4 -5
- package/_mjs/SubscriptionRef.mjs.map +1 -1
- package/_mjs/Supervisor/constructors.mjs +3 -11
- package/_mjs/Supervisor/constructors.mjs.map +1 -1
- package/_mjs/Supervisor/definition.mjs +10 -4
- package/_mjs/Supervisor/definition.mjs.map +1 -1
- package/_mjs/SupervisorPatch.mjs +9 -12
- package/_mjs/SupervisorPatch.mjs.map +1 -1
- package/_mjs/TExit/definition.mjs +19 -18
- package/_mjs/TExit/definition.mjs.map +1 -1
- package/_mjs/TReentrantLock/definition.mjs +8 -3
- package/_mjs/TReentrantLock/definition.mjs.map +1 -1
- package/_mjs/TRef/definition.mjs +6 -6
- package/_mjs/TRef/definition.mjs.map +1 -1
- package/_mjs/internal/BackgroundScheduler.mjs +16 -16
- package/_mjs/internal/BackgroundScheduler.mjs.map +1 -1
- package/_mjs/internal/HashedPair.mjs +2 -0
- package/_mjs/internal/HashedPair.mjs.map +1 -1
- package/_mjs/internal/Hub.mjs +39 -15
- package/_mjs/internal/Hub.mjs.map +1 -1
- package/_mjs/internal/IsFatal.mjs +7 -11
- package/_mjs/internal/IsFatal.mjs.map +1 -1
- package/_mjs/internal/MutableQueue.mjs +14 -11
- package/_mjs/internal/MutableQueue.mjs.map +1 -1
- package/_mjs/internal/Scheduler.mjs +4 -8
- package/_mjs/internal/Scheduler.mjs.map +1 -1
- package/_mjs/internal/StackTraceBuilder.mjs +2 -4
- package/_mjs/internal/StackTraceBuilder.mjs.map +1 -1
- package/_src/Cached/api.ts +8 -2
- package/_src/Channel/internal/SingleProducerAsyncInput.ts +6 -4
- package/_src/CountdownLatch.ts +24 -13
- package/_src/Fiber/FiberRuntime.ts +4 -2
- package/_src/FiberRef/definition.ts +1 -1
- package/_src/Hub/api.ts +85 -54
- package/_src/Hub/internal.ts +36 -20
- package/_src/IO/api/foreachExec.ts +47 -0
- package/_src/IO/api.ts +0 -5
- package/_src/Push/Bounds.ts +4 -0
- package/_src/Push/FlattenStrategy.ts +137 -0
- package/_src/Push/IndexedBuffer.ts +79 -0
- package/_src/Push/MergeStrategy.ts +59 -0
- package/_src/Push/Operator/IOLoopOperator.ts +413 -0
- package/_src/Push/Operator/IOOperator.ts +173 -0
- package/_src/Push/Operator/LoopOperator.ts +242 -0
- package/_src/Push/Operator/SyncOperator.ts +107 -0
- package/_src/Push/Operator.ts +7 -0
- package/_src/Push/Producer/IOProducer.ts +83 -0
- package/_src/Push/Producer/SyncProducer.ts +105 -0
- package/_src/Push/Producer.ts +0 -0
- package/_src/Push/Sink.ts +302 -0
- package/_src/Push/api.ts +389 -515
- package/_src/Push/definition.ts +216 -23
- package/_src/Push/internal.ts +11 -0
- package/_src/Push.ts +7 -1
- package/_src/Queue/api/dimapIO.ts +57 -19
- package/_src/Queue/api/filterInputIO.ts +36 -12
- package/_src/Queue/api/filterOutputIO.ts +42 -18
- package/_src/Queue/api/zipWithIO.ts +23 -11
- package/_src/Queue/internal.ts +9 -3
- package/_src/Ref/Synchronized/definition.ts +81 -37
- package/_src/Ref/definition.ts +26 -0
- package/_src/Schedule/api.ts +1 -1
- package/_src/Scope/api.ts +22 -0
- package/_src/ScopedRef/api.ts +6 -2
- package/_src/Semaphore/definition.ts +4 -2
- package/_src/Sink/definition.ts +4 -5
- package/_src/Stream/api.ts +0 -2
- package/_src/Stream/definition.ts +0 -1
- package/_src/Subject/Atomic.ts +68 -11
- package/_src/Subject/DeferredRef.ts +44 -0
- package/_src/Subject/Hold.ts +48 -0
- package/_src/Subject/RefSubject/Atomic.ts +233 -0
- package/_src/Subject/RefSubject/Derived.ts +184 -0
- package/_src/Subject/RefSubject/RefSubject.ts +100 -0
- package/_src/Subject/RefSubject/constructors.ts +27 -0
- package/_src/Subject/RefSubject.ts +7 -0
- package/_src/Subject/definition.ts +21 -3
- package/_src/Subject.ts +6 -3
- package/_src/SubscriptionRef.ts +1 -1
- package/_src/Supervisor/constructors.ts +0 -2
- package/_src/Supervisor/definition.ts +2 -1
- package/_src/TReentrantLock/api.ts +1 -1
- package/_src/global.ts +8 -0
- package/_src/index.ts +49 -50
- package/_src/internal/MutableQueue.ts +5 -3
- package/global.d.ts +8 -0
- package/index.d.ts +0 -1
- package/internal/MutableQueue.d.ts +2 -2
- package/package.json +4 -4
- package/RefSubject/Atomic.d.ts +0 -34
- package/RefSubject/Synchronized/api.d.ts +0 -9
- package/RefSubject/Synchronized/definition.d.ts +0 -39
- package/RefSubject/api.d.ts +0 -120
- package/RefSubject/definition.d.ts +0 -52
- package/RefSubject.d.ts +0 -3
- package/_cjs/RefSubject/Atomic.cjs +0 -107
- package/_cjs/RefSubject/Atomic.cjs.map +0 -1
- package/_cjs/RefSubject/Synchronized/api.cjs +0 -22
- package/_cjs/RefSubject/Synchronized/api.cjs.map +0 -1
- package/_cjs/RefSubject/Synchronized/definition.cjs +0 -55
- package/_cjs/RefSubject/Synchronized/definition.cjs.map +0 -1
- package/_cjs/RefSubject/api.cjs +0 -251
- package/_cjs/RefSubject/api.cjs.map +0 -1
- package/_cjs/RefSubject/definition.cjs +0 -26
- package/_cjs/RefSubject/definition.cjs.map +0 -1
- package/_cjs/RefSubject.cjs +0 -39
- package/_cjs/RefSubject.cjs.map +0 -1
- package/_mjs/RefSubject/Atomic.mjs +0 -99
- package/_mjs/RefSubject/Atomic.mjs.map +0 -1
- package/_mjs/RefSubject/Synchronized/api.mjs +0 -15
- package/_mjs/RefSubject/Synchronized/api.mjs.map +0 -1
- package/_mjs/RefSubject/Synchronized/definition.mjs +0 -47
- package/_mjs/RefSubject/Synchronized/definition.mjs.map +0 -1
- package/_mjs/RefSubject/api.mjs +0 -229
- package/_mjs/RefSubject/api.mjs.map +0 -1
- package/_mjs/RefSubject/definition.mjs +0 -19
- package/_mjs/RefSubject/definition.mjs.map +0 -1
- package/_mjs/RefSubject.mjs +0 -5
- package/_mjs/RefSubject.mjs.map +0 -1
- package/_src/RefSubject/Atomic.ts +0 -129
- package/_src/RefSubject/Synchronized/api.ts +0 -14
- package/_src/RefSubject/Synchronized/definition.ts +0 -76
- package/_src/RefSubject/api.ts +0 -253
- package/_src/RefSubject/definition.ts +0 -70
- package/_src/RefSubject.ts +0 -5
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
import type { Push } from "./definition.js";
|
|
2
|
+
|
|
3
|
+
export class IndexedBuffer<R, E, A> {
|
|
4
|
+
constructor(
|
|
5
|
+
public ready: boolean,
|
|
6
|
+
readonly future: Future<never, void>,
|
|
7
|
+
readonly sink: Push.UnsafeSink<R, E, A>,
|
|
8
|
+
readonly onDone: UIO<void>,
|
|
9
|
+
) {}
|
|
10
|
+
|
|
11
|
+
buffer: Array<A> = [];
|
|
12
|
+
|
|
13
|
+
onSuccess(value: A) {
|
|
14
|
+
if (this.ready) {
|
|
15
|
+
if (this.buffer.length === 0) {
|
|
16
|
+
return this.sink.onSuccess(value);
|
|
17
|
+
}
|
|
18
|
+
|
|
19
|
+
this.buffer.push(value);
|
|
20
|
+
const b = this.buffer;
|
|
21
|
+
this.buffer = [];
|
|
22
|
+
return IO.foreach(b, this.sink.onSuccess);
|
|
23
|
+
} else {
|
|
24
|
+
this.buffer.push(value);
|
|
25
|
+
return IO.unit;
|
|
26
|
+
}
|
|
27
|
+
}
|
|
28
|
+
|
|
29
|
+
get onEnd() {
|
|
30
|
+
return (
|
|
31
|
+
this.future.await >
|
|
32
|
+
IO.defer(() => {
|
|
33
|
+
if (this.buffer.length === 0) {
|
|
34
|
+
return this.onDone;
|
|
35
|
+
}
|
|
36
|
+
const b = this.buffer;
|
|
37
|
+
this.buffer = [];
|
|
38
|
+
return IO.foreach(b, this.sink.onSuccess) > this.onDone;
|
|
39
|
+
})
|
|
40
|
+
);
|
|
41
|
+
}
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
export const withBuffers = <R, E, A>(
|
|
45
|
+
size: number,
|
|
46
|
+
sink: Push.UnsafeSink<R, E, A>,
|
|
47
|
+
id: FiberId,
|
|
48
|
+
): {
|
|
49
|
+
onSuccess: (index: number, value: A) => IO<R, never, void>;
|
|
50
|
+
onEnd: (index: number) => IO<R, never, void>;
|
|
51
|
+
buffers: Map<number, IndexedBuffer<R, E, A>>;
|
|
52
|
+
} => {
|
|
53
|
+
const buffers = new Map<number, IndexedBuffer<R, E, A>>();
|
|
54
|
+
const last = size - 1;
|
|
55
|
+
|
|
56
|
+
for (let i = 0; i < size; i++) {
|
|
57
|
+
const future = Future.unsafeMake<never, void>(id);
|
|
58
|
+
const ready = i === 0;
|
|
59
|
+
if (i === 0) {
|
|
60
|
+
future.unsafeDone(IO.unit);
|
|
61
|
+
}
|
|
62
|
+
const onDone =
|
|
63
|
+
i === last
|
|
64
|
+
? IO.unit
|
|
65
|
+
: IO.defer(() => {
|
|
66
|
+
const next = buffers.get(i + 1)!;
|
|
67
|
+
next.ready = true;
|
|
68
|
+
return next.future.done(Exit.unit);
|
|
69
|
+
});
|
|
70
|
+
|
|
71
|
+
buffers.set(i, new IndexedBuffer(ready, future, sink, onDone));
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
return {
|
|
75
|
+
buffers,
|
|
76
|
+
onSuccess: (index, value) => buffers.get(index)!.onSuccess(value),
|
|
77
|
+
onEnd: (index) => buffers.get(index)!.onEnd,
|
|
78
|
+
};
|
|
79
|
+
};
|
|
@@ -0,0 +1,59 @@
|
|
|
1
|
+
import type { Push } from "./definition.js";
|
|
2
|
+
|
|
3
|
+
import { withBuffers } from "./IndexedBuffer.js";
|
|
4
|
+
import { Sink } from "./Sink.js";
|
|
5
|
+
|
|
6
|
+
export abstract class MergeStrategy {
|
|
7
|
+
abstract runMerge<Ps extends ReadonlyArray<Push<any, any, any>>, R>(
|
|
8
|
+
ps: Ps,
|
|
9
|
+
sink: Push.UnsafeSink<R, any, any>,
|
|
10
|
+
): IO<R | Push.EnvironmentOf<Ps[number]>, never, void>;
|
|
11
|
+
}
|
|
12
|
+
|
|
13
|
+
export class Unordered extends MergeStrategy {
|
|
14
|
+
constructor(readonly executionStrategy: ExecutionStrategy) {
|
|
15
|
+
super();
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
runMerge<Ps extends ReadonlyArray<Push<any, any, any>>, R>(
|
|
19
|
+
ps: Ps,
|
|
20
|
+
sink: Push.UnsafeSink<R, any, any>,
|
|
21
|
+
): IO<R | Push.EnvironmentOf<Ps[number]>, never, void> {
|
|
22
|
+
return IO.foreachExecDiscard(ps, this.executionStrategy, (p) => p.run(sink));
|
|
23
|
+
}
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
export class Ordered extends MergeStrategy {
|
|
27
|
+
constructor(readonly executionStrategy: ExecutionStrategy) {
|
|
28
|
+
super();
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
runMerge<Ps extends ReadonlyArray<Push<any, any, any>>, R>(
|
|
32
|
+
ps: Ps,
|
|
33
|
+
sink: Push.UnsafeSink<R, any, any>,
|
|
34
|
+
): IO<R | Push.EnvironmentOf<Ps[number]>, never, void> {
|
|
35
|
+
return IO.fiberIdWith((fiberId) => {
|
|
36
|
+
const buffers = withBuffers(ps.length, sink, fiberId);
|
|
37
|
+
return IO.foreachWithIndexDiscardExec(
|
|
38
|
+
ps,
|
|
39
|
+
this.executionStrategy,
|
|
40
|
+
(index, p) =>
|
|
41
|
+
p.run(
|
|
42
|
+
Sink.unsafeMake(
|
|
43
|
+
(value) => buffers.onSuccess(index, value),
|
|
44
|
+
(cause) => (cause.isInterruptedOnly ? buffers.onEnd(index) : sink.onFailure(cause)),
|
|
45
|
+
),
|
|
46
|
+
) > buffers.onEnd(index),
|
|
47
|
+
);
|
|
48
|
+
});
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
|
|
52
|
+
export class Switch extends MergeStrategy {
|
|
53
|
+
runMerge<Ps extends ReadonlyArray<Push<any, any, any>>, R>(
|
|
54
|
+
ps: Ps,
|
|
55
|
+
sink: Push.UnsafeSink<R, any, any>,
|
|
56
|
+
): IO<R | Push.EnvironmentOf<Ps[number]>, never, void> {
|
|
57
|
+
return IO.foreachDiscard(ps, (p) => p.run(sink));
|
|
58
|
+
}
|
|
59
|
+
}
|
|
@@ -0,0 +1,413 @@
|
|
|
1
|
+
import type { IOOperator } from "./IOOperator.js";
|
|
2
|
+
import type { SyncLoopOperator } from "@fncts/io/Push/Operator/LoopOperator";
|
|
3
|
+
import type { SyncOperator } from "@fncts/io/Push/Operator/SyncOperator";
|
|
4
|
+
|
|
5
|
+
export const enum IOLoopOperatorTag {
|
|
6
|
+
LoopIO = "LoopIO",
|
|
7
|
+
FilterMapLoopIO = "FilterMapLoopIO",
|
|
8
|
+
}
|
|
9
|
+
|
|
10
|
+
/**
|
|
11
|
+
* @tsplus type fncts.io.Push.IOLoopOperator
|
|
12
|
+
*/
|
|
13
|
+
export type IOLoopOperator<B = any, A = any, R = any, E = any, C = any> =
|
|
14
|
+
| LoopIOOperator<B, A, R, E, C>
|
|
15
|
+
| FilterMapLoopIOOperator<B, A, R, E, C>;
|
|
16
|
+
|
|
17
|
+
export interface LoopIOOperator<B, A, R, E, C> {
|
|
18
|
+
readonly _tag: IOLoopOperatorTag.LoopIO;
|
|
19
|
+
readonly seed: B;
|
|
20
|
+
readonly f: (acc: B, a: A) => IO<R, E, readonly [C, B]>;
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
export function LoopIOOperator<const B, A, R, E, C>(
|
|
24
|
+
seed: B,
|
|
25
|
+
f: (acc: B, a: A) => IO<R, E, readonly [C, B]>,
|
|
26
|
+
): LoopIOOperator<B, A, R, E, C> {
|
|
27
|
+
return {
|
|
28
|
+
_tag: IOLoopOperatorTag.LoopIO,
|
|
29
|
+
seed,
|
|
30
|
+
f,
|
|
31
|
+
};
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
export interface FilterMapLoopIOOperator<B, A, R, E, C> {
|
|
35
|
+
readonly _tag: IOLoopOperatorTag.FilterMapLoopIO;
|
|
36
|
+
readonly seed: B;
|
|
37
|
+
readonly f: (acc: B, a: A) => IO<R, E, readonly [Maybe<C>, B]>;
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
export function FilterMapLoopIOOperator<const B, A, R, E, C>(
|
|
41
|
+
seed: B,
|
|
42
|
+
f: (acc: B, a: A) => IO<R, E, readonly [Maybe<C>, B]>,
|
|
43
|
+
): FilterMapLoopIOOperator<B, A, R, E, C> {
|
|
44
|
+
return {
|
|
45
|
+
_tag: IOLoopOperatorTag.FilterMapLoopIO,
|
|
46
|
+
seed,
|
|
47
|
+
f,
|
|
48
|
+
};
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
/**
|
|
52
|
+
* @tsplus pipeable fncts.io.Push.IOLoopOperator match
|
|
53
|
+
*/
|
|
54
|
+
export function match<B, A, R, E, C, D, F>(matchers: {
|
|
55
|
+
LoopIO: (op: LoopIOOperator<B, A, R, E, C>) => D;
|
|
56
|
+
FilterMapLoopIO: (op: FilterMapLoopIOOperator<B, A, R, E, C>) => F;
|
|
57
|
+
}) {
|
|
58
|
+
return (self: IOLoopOperator<B, A, R, E, C>): D | F => {
|
|
59
|
+
switch (self._tag) {
|
|
60
|
+
case IOLoopOperatorTag.LoopIO:
|
|
61
|
+
return matchers.LoopIO(self);
|
|
62
|
+
case IOLoopOperatorTag.FilterMapLoopIO:
|
|
63
|
+
return matchers.FilterMapLoopIO(self);
|
|
64
|
+
}
|
|
65
|
+
};
|
|
66
|
+
}
|
|
67
|
+
|
|
68
|
+
/**
|
|
69
|
+
* @tsplus pipeable fncts.io.Push.IOLoopOperator fuse
|
|
70
|
+
*/
|
|
71
|
+
export function fuse<C, D, F, R2, E2>(that: IOLoopOperator<D, C, R2, E2, F>) {
|
|
72
|
+
return <A, B, R1, E1>(
|
|
73
|
+
self: IOLoopOperator<A, B, R1, E1, C>,
|
|
74
|
+
): IOLoopOperator<readonly [A, D], B, R1 | R2, E1 | E2, F> =>
|
|
75
|
+
self.match({
|
|
76
|
+
LoopIO: (op1) =>
|
|
77
|
+
that.match({
|
|
78
|
+
LoopIO: (op2) =>
|
|
79
|
+
LoopIOOperator([op1.seed, op2.seed], ([a, d], b) =>
|
|
80
|
+
op1.f(a, b).flatMap(([c, a1]) => op2.f(d, c).map(([f, d1]) => [f, [a1, d1]])),
|
|
81
|
+
),
|
|
82
|
+
FilterMapLoopIO: (op2) =>
|
|
83
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) =>
|
|
84
|
+
op1.f(a, b).flatMap(([c, a1]) => op2.f(d, c).map(([f, d1]) => [f, [a1, d1]])),
|
|
85
|
+
),
|
|
86
|
+
}),
|
|
87
|
+
FilterMapLoopIO: (op1) =>
|
|
88
|
+
that.match({
|
|
89
|
+
LoopIO: (op2) =>
|
|
90
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) =>
|
|
91
|
+
op1.f(a, b).flatMap(([c, a1]) =>
|
|
92
|
+
c.match(
|
|
93
|
+
() => [Nothing(), [a1, d]] as const,
|
|
94
|
+
(c) => op2.f(d, c).map(([f, d1]) => [Just(f), [a1, d1]]),
|
|
95
|
+
),
|
|
96
|
+
),
|
|
97
|
+
),
|
|
98
|
+
FilterMapLoopIO: (op2) =>
|
|
99
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) =>
|
|
100
|
+
op1.f(a, b).flatMap(([c, a1]) =>
|
|
101
|
+
c.match(
|
|
102
|
+
() => [Nothing(), [a1, d]] as const,
|
|
103
|
+
(c) => op2.f(d, c).map(([f, d1]) => [f, [a1, d1]]),
|
|
104
|
+
),
|
|
105
|
+
),
|
|
106
|
+
),
|
|
107
|
+
}),
|
|
108
|
+
});
|
|
109
|
+
}
|
|
110
|
+
|
|
111
|
+
/**
|
|
112
|
+
* @tsplus pipeable fncts.io.Push.IOLoopOperator after
|
|
113
|
+
*/
|
|
114
|
+
export function fuseSyncLoopOperatorBefore<A, B, C>(that: SyncLoopOperator<A, B, C>) {
|
|
115
|
+
return <D, R, E, F>(self: IOLoopOperator<D, C, R, E, F>): IOLoopOperator<readonly [A, D], B, R, E, F> =>
|
|
116
|
+
that.match({
|
|
117
|
+
Loop: (op1) =>
|
|
118
|
+
self.match({
|
|
119
|
+
LoopIO: (op2) =>
|
|
120
|
+
LoopIOOperator([op1.seed, op2.seed], ([a, d], b) => {
|
|
121
|
+
const [c, a1] = op1.f(a, b);
|
|
122
|
+
return op2.f(d, c).map(([f, d1]) => [f, [a1, d1]]);
|
|
123
|
+
}),
|
|
124
|
+
FilterMapLoopIO: (op2) =>
|
|
125
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) => {
|
|
126
|
+
const [c, a1] = op1.f(a, b);
|
|
127
|
+
return op2.f(d, c).map(([f, d1]) => [f, [a1, d1]]);
|
|
128
|
+
}),
|
|
129
|
+
}),
|
|
130
|
+
FilterMapLoop: (op1) =>
|
|
131
|
+
self.match({
|
|
132
|
+
LoopIO: (op2) =>
|
|
133
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) => {
|
|
134
|
+
const [c, a1] = op1.f(a, b);
|
|
135
|
+
return c.match(
|
|
136
|
+
() => IO.succeedNow([Nothing(), [a1, d]]),
|
|
137
|
+
(c) => op2.f(d, c).map(([f, d1]) => [Just(f), [a1, d1]]),
|
|
138
|
+
);
|
|
139
|
+
}),
|
|
140
|
+
FilterMapLoopIO: (op2) =>
|
|
141
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) => {
|
|
142
|
+
const [c, a1] = op1.f(a, b);
|
|
143
|
+
return c.match(
|
|
144
|
+
() => IO.succeedNow([Nothing(), [a1, d]]),
|
|
145
|
+
(c) => op2.f(d, c).map(([f, d1]) => [f, [a1, d1]]),
|
|
146
|
+
);
|
|
147
|
+
}),
|
|
148
|
+
}),
|
|
149
|
+
});
|
|
150
|
+
}
|
|
151
|
+
|
|
152
|
+
/**
|
|
153
|
+
* @tsplus pipeable fncts.io.Push.IOLoopOperator before
|
|
154
|
+
*/
|
|
155
|
+
export function fuseSyncLoopOperatorAfter<D, C, F>(that: SyncLoopOperator<D, C, F>) {
|
|
156
|
+
return <A, B, R, E>(self: IOLoopOperator<A, B, R, E, C>): IOLoopOperator<readonly [A, D], B, R, E, F> =>
|
|
157
|
+
self.match({
|
|
158
|
+
LoopIO: (op1) =>
|
|
159
|
+
that.match({
|
|
160
|
+
Loop: (op2) =>
|
|
161
|
+
LoopIOOperator([op1.seed, op2.seed], ([a, d], b) =>
|
|
162
|
+
op1.f(a, b).map(([c, a1]) => {
|
|
163
|
+
const [f, d1] = op2.f(d, c);
|
|
164
|
+
return [f, [a1, d1]];
|
|
165
|
+
}),
|
|
166
|
+
),
|
|
167
|
+
FilterMapLoop: (op2) =>
|
|
168
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) =>
|
|
169
|
+
op1.f(a, b).map(([c, a1]) => {
|
|
170
|
+
const [f, d1] = op2.f(d, c);
|
|
171
|
+
return [f, [a1, d1]];
|
|
172
|
+
}),
|
|
173
|
+
),
|
|
174
|
+
}),
|
|
175
|
+
FilterMapLoopIO: (op1) =>
|
|
176
|
+
that.match({
|
|
177
|
+
Loop: (op2) =>
|
|
178
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) =>
|
|
179
|
+
op1.f(a, b).map(([c, a1]) =>
|
|
180
|
+
c.match(
|
|
181
|
+
() => [Nothing(), [a1, d]],
|
|
182
|
+
(c) => {
|
|
183
|
+
const [f, d1] = op2.f(d, c);
|
|
184
|
+
return [Just(f), [a1, d1]];
|
|
185
|
+
},
|
|
186
|
+
),
|
|
187
|
+
),
|
|
188
|
+
),
|
|
189
|
+
FilterMapLoop: (op2) =>
|
|
190
|
+
FilterMapLoopIOOperator([op1.seed, op2.seed], ([a, d], b) =>
|
|
191
|
+
op1.f(a, b).map(([c, a1]) =>
|
|
192
|
+
c.match(
|
|
193
|
+
() => [Nothing(), [a1, d]],
|
|
194
|
+
(c) => {
|
|
195
|
+
const [f, d1] = op2.f(d, c);
|
|
196
|
+
return [f, [a1, d1]];
|
|
197
|
+
},
|
|
198
|
+
),
|
|
199
|
+
),
|
|
200
|
+
),
|
|
201
|
+
}),
|
|
202
|
+
});
|
|
203
|
+
}
|
|
204
|
+
|
|
205
|
+
/**
|
|
206
|
+
* @tsplus pipeable fncts.io.Push.IOLoopOperator after
|
|
207
|
+
*/
|
|
208
|
+
export function fuseSyncOperatorBefore(that: SyncOperator) {
|
|
209
|
+
return (self: IOLoopOperator): IOLoopOperator =>
|
|
210
|
+
that.match({
|
|
211
|
+
Map: (op) =>
|
|
212
|
+
self.match({
|
|
213
|
+
LoopIO: (op2) => LoopIOOperator(op2.seed, (acc, a) => op2.f(acc, op.f(a))),
|
|
214
|
+
FilterMapLoopIO: (op2) => FilterMapLoopIOOperator(op2.seed, (acc, a) => op2.f(acc, op.f(a))),
|
|
215
|
+
}),
|
|
216
|
+
Filter: (op) =>
|
|
217
|
+
self.match({
|
|
218
|
+
LoopIO: (op2) =>
|
|
219
|
+
LoopIOOperator(op2.seed, (acc, a) => {
|
|
220
|
+
if (op.f(a)) {
|
|
221
|
+
return op2.f(acc, a);
|
|
222
|
+
} else {
|
|
223
|
+
return IO.succeedNow([Nothing(), acc]);
|
|
224
|
+
}
|
|
225
|
+
}),
|
|
226
|
+
FilterMapLoopIO: (op2) =>
|
|
227
|
+
FilterMapLoopIOOperator(op2.seed, (acc, a) => {
|
|
228
|
+
if (op.f(a)) {
|
|
229
|
+
return op2.f(acc, a);
|
|
230
|
+
} else {
|
|
231
|
+
return IO.succeedNow([Nothing(), acc]);
|
|
232
|
+
}
|
|
233
|
+
}),
|
|
234
|
+
}),
|
|
235
|
+
FilterMap: (op) =>
|
|
236
|
+
self.match({
|
|
237
|
+
LoopIO: (op2) =>
|
|
238
|
+
LoopIOOperator(op2.seed, (acc, a) =>
|
|
239
|
+
op.f(a).match(
|
|
240
|
+
() => IO.succeedNow([Nothing(), acc] as const),
|
|
241
|
+
(b) => self.f(acc, b),
|
|
242
|
+
),
|
|
243
|
+
),
|
|
244
|
+
FilterMapLoopIO: (op2) =>
|
|
245
|
+
FilterMapLoopIOOperator(op2.seed, (acc, a) =>
|
|
246
|
+
op.f(a).match(
|
|
247
|
+
() => IO.succeedNow([Nothing(), acc] as const),
|
|
248
|
+
(b) => self.f(acc, b),
|
|
249
|
+
),
|
|
250
|
+
),
|
|
251
|
+
}),
|
|
252
|
+
});
|
|
253
|
+
}
|
|
254
|
+
|
|
255
|
+
/**
|
|
256
|
+
* @tsplus pipeable fncts.io.Push.IOLoopOperator before
|
|
257
|
+
*/
|
|
258
|
+
export function fuseSyncOperatorAfter(that: SyncOperator) {
|
|
259
|
+
return (self: IOLoopOperator): IOLoopOperator =>
|
|
260
|
+
self.match({
|
|
261
|
+
LoopIO: (op1) =>
|
|
262
|
+
that.match({
|
|
263
|
+
Map: (op) => LoopIOOperator(op1.seed, (acc, a) => op1.f(acc, a).map(([b, c]) => [op.f(b), c] as const)),
|
|
264
|
+
Filter: (op) =>
|
|
265
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) =>
|
|
266
|
+
op1.f(acc, a).map(([b, c]) => [Maybe.fromPredicate(b, op.f), c] as const),
|
|
267
|
+
),
|
|
268
|
+
FilterMap: (op) =>
|
|
269
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) => op1.f(acc, a).map(([b, c]) => [op.f(b), c] as const)),
|
|
270
|
+
}),
|
|
271
|
+
FilterMapLoopIO: (op1) =>
|
|
272
|
+
that.match({
|
|
273
|
+
Map: (op) =>
|
|
274
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) => op1.f(acc, a).map(([b, c]) => [b.map(op.f), c] as const)),
|
|
275
|
+
Filter: (op) =>
|
|
276
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) => op1.f(acc, a).map(([b, c]) => [b.filter(op.f), c] as const)),
|
|
277
|
+
FilterMap: (op) =>
|
|
278
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) => op1.f(acc, a).map(([b, c]) => [b.flatMap(op.f), c] as const)),
|
|
279
|
+
}),
|
|
280
|
+
});
|
|
281
|
+
}
|
|
282
|
+
|
|
283
|
+
export function fuseIOOperatorBefore(that: IOOperator) {
|
|
284
|
+
return (self: IOLoopOperator): IOLoopOperator =>
|
|
285
|
+
that.match({
|
|
286
|
+
MapIO: (op) =>
|
|
287
|
+
self.match({
|
|
288
|
+
LoopIO: (op2) => LoopIOOperator(op2.seed, (acc, a) => op.f(a).flatMap((b) => op2.f(acc, b))),
|
|
289
|
+
FilterMapLoopIO: (op2) =>
|
|
290
|
+
FilterMapLoopIOOperator(op2.seed, (acc, a) => op.f(a).flatMap((b) => op2.f(acc, b))),
|
|
291
|
+
}),
|
|
292
|
+
TapIO: (op) =>
|
|
293
|
+
self.match({
|
|
294
|
+
LoopIO: (op2) => LoopIOOperator(op2.seed, (acc, a) => op.f(a).flatMap(() => op2.f(acc, a))),
|
|
295
|
+
FilterMapLoopIO: (op2) => FilterMapLoopIOOperator(op2.seed, (acc, a) => op.f(a).flatMap(() => op2.f(acc, a))),
|
|
296
|
+
}),
|
|
297
|
+
FilterIO: (op) =>
|
|
298
|
+
self.match({
|
|
299
|
+
LoopIO: (op2) =>
|
|
300
|
+
LoopIOOperator(op2.seed, (acc, a) =>
|
|
301
|
+
op.f(a).flatMap((b) => {
|
|
302
|
+
if (b) {
|
|
303
|
+
return op2.f(acc, a);
|
|
304
|
+
} else {
|
|
305
|
+
return IO.succeedNow([Nothing(), acc] as const);
|
|
306
|
+
}
|
|
307
|
+
}),
|
|
308
|
+
),
|
|
309
|
+
FilterMapLoopIO: (op2) =>
|
|
310
|
+
FilterMapLoopIOOperator(op2.seed, (acc, a) =>
|
|
311
|
+
op.f(a).flatMap((b) => {
|
|
312
|
+
if (b) {
|
|
313
|
+
return op2.f(acc, a);
|
|
314
|
+
} else {
|
|
315
|
+
return IO.succeedNow([Nothing(), acc] as const);
|
|
316
|
+
}
|
|
317
|
+
}),
|
|
318
|
+
),
|
|
319
|
+
}),
|
|
320
|
+
FilterMapIO: (op) =>
|
|
321
|
+
self.match({
|
|
322
|
+
LoopIO: (op2) =>
|
|
323
|
+
LoopIOOperator(op2.seed, (acc, a) =>
|
|
324
|
+
op.f(a).flatMap((b) =>
|
|
325
|
+
b.match(
|
|
326
|
+
() => IO.succeedNow([Nothing(), acc] as const),
|
|
327
|
+
(c) => op2.f(acc, c),
|
|
328
|
+
),
|
|
329
|
+
),
|
|
330
|
+
),
|
|
331
|
+
FilterMapLoopIO: (op2) =>
|
|
332
|
+
FilterMapLoopIOOperator(op2.seed, (acc, a) =>
|
|
333
|
+
op.f(a).flatMap((b) =>
|
|
334
|
+
b.match(
|
|
335
|
+
() => IO.succeedNow([Nothing(), acc] as const),
|
|
336
|
+
(c) => op2.f(acc, c),
|
|
337
|
+
),
|
|
338
|
+
),
|
|
339
|
+
),
|
|
340
|
+
}),
|
|
341
|
+
});
|
|
342
|
+
}
|
|
343
|
+
|
|
344
|
+
export function fuseIOOperatorAfter(that: IOOperator) {
|
|
345
|
+
return (self: IOLoopOperator) =>
|
|
346
|
+
self.match({
|
|
347
|
+
LoopIO: (op1) =>
|
|
348
|
+
that.match({
|
|
349
|
+
MapIO: (op) =>
|
|
350
|
+
LoopIOOperator(op1.seed, (acc, a) =>
|
|
351
|
+
op1.f(acc, a).flatMap(([b, c]) => op.f(b).map((d) => [d, c] as const)),
|
|
352
|
+
),
|
|
353
|
+
TapIO: (op) =>
|
|
354
|
+
LoopIOOperator(op1.seed, (acc, a) => op1.f(acc, a).flatMap(([b, c]) => op.f(b).map(() => [b, c] as const))),
|
|
355
|
+
FilterIO: (op) =>
|
|
356
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) =>
|
|
357
|
+
op1
|
|
358
|
+
.f(acc, a)
|
|
359
|
+
.flatMap(([b, c]) => op.f(b).map((d) => (d ? ([Just(b), c] as const) : ([Nothing(), c] as const)))),
|
|
360
|
+
),
|
|
361
|
+
FilterMapIO: (op) =>
|
|
362
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) =>
|
|
363
|
+
op1.f(acc, a).flatMap(([b, c]) => op.f(b).map((d) => [d, c] as const)),
|
|
364
|
+
),
|
|
365
|
+
}),
|
|
366
|
+
FilterMapLoopIO: (op1) =>
|
|
367
|
+
that.match({
|
|
368
|
+
MapIO: (op) =>
|
|
369
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) =>
|
|
370
|
+
op1.f(acc, a).flatMap(([b, c]) =>
|
|
371
|
+
b.match(
|
|
372
|
+
() => IO.succeedNow([Nothing(), c] as const),
|
|
373
|
+
(d) => op.f(d).map((e) => [Just(e), c] as const),
|
|
374
|
+
),
|
|
375
|
+
),
|
|
376
|
+
),
|
|
377
|
+
TapIO: (op) =>
|
|
378
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) =>
|
|
379
|
+
op1.f(acc, a).flatMap(([b, c]) =>
|
|
380
|
+
b.match(
|
|
381
|
+
() => IO.succeedNow([Nothing(), c] as const),
|
|
382
|
+
(d) => op.f(d).map(() => [Just(d), c] as const),
|
|
383
|
+
),
|
|
384
|
+
),
|
|
385
|
+
),
|
|
386
|
+
FilterIO: (op) =>
|
|
387
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) =>
|
|
388
|
+
op1.f(acc, a).flatMap(([b, c]) =>
|
|
389
|
+
b.match(
|
|
390
|
+
() => IO.succeedNow([Nothing(), c] as const),
|
|
391
|
+
(d) => op.f(d).map((e) => (e ? ([Just(d), c] as const) : ([Nothing(), c] as const))),
|
|
392
|
+
),
|
|
393
|
+
),
|
|
394
|
+
),
|
|
395
|
+
FilterMapIO: (op) =>
|
|
396
|
+
FilterMapLoopIOOperator(op1.seed, (acc, a) =>
|
|
397
|
+
op1.f(acc, a).flatMap(([b, c]) =>
|
|
398
|
+
b.match(
|
|
399
|
+
() => IO.succeedNow([Nothing(), c] as const),
|
|
400
|
+
(d) => op.f(d).map((e) => [e, c] as const),
|
|
401
|
+
),
|
|
402
|
+
),
|
|
403
|
+
),
|
|
404
|
+
}),
|
|
405
|
+
});
|
|
406
|
+
}
|
|
407
|
+
|
|
408
|
+
export function liftLoopOperator(self: SyncLoopOperator): IOLoopOperator {
|
|
409
|
+
return self.match({
|
|
410
|
+
Loop: (op) => LoopIOOperator(op.seed, (acc, a) => IO.succeedNow(op.f(acc, a))),
|
|
411
|
+
FilterMapLoop: (op) => FilterMapLoopIOOperator(op.seed, (acc, a) => IO.succeedNow(op.f(acc, a))),
|
|
412
|
+
});
|
|
413
|
+
}
|