effect 3.13.1 → 3.13.3
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/dist/cjs/Array.js.map +1 -1
- package/dist/cjs/Channel.js.map +1 -1
- package/dist/cjs/Chunk.js.map +1 -1
- package/dist/cjs/Context.js.map +1 -1
- package/dist/cjs/DateTime.js.map +1 -1
- package/dist/cjs/Duration.js +1 -3
- package/dist/cjs/Duration.js.map +1 -1
- package/dist/cjs/Effect.js.map +1 -1
- package/dist/cjs/Either.js.map +1 -1
- package/dist/cjs/Exit.js.map +1 -1
- package/dist/cjs/FiberHandle.js +5 -3
- package/dist/cjs/FiberHandle.js.map +1 -1
- package/dist/cjs/FiberMap.js +5 -3
- package/dist/cjs/FiberMap.js.map +1 -1
- package/dist/cjs/FiberSet.js +6 -3
- package/dist/cjs/FiberSet.js.map +1 -1
- package/dist/cjs/Function.js.map +1 -1
- package/dist/cjs/HashSet.js.map +1 -1
- package/dist/cjs/Iterable.js.map +1 -1
- package/dist/cjs/JSONSchema.js +7 -7
- package/dist/cjs/JSONSchema.js.map +1 -1
- package/dist/cjs/Layer.js.map +1 -1
- package/dist/cjs/List.js.map +1 -1
- package/dist/cjs/Logger.js.map +1 -1
- package/dist/cjs/Metric.js.map +1 -1
- package/dist/cjs/MetricKey.js.map +1 -1
- package/dist/cjs/MetricPolling.js.map +1 -1
- package/dist/cjs/Micro.js.map +1 -1
- package/dist/cjs/MutableHashMap.js.map +1 -1
- package/dist/cjs/Option.js +3 -15
- package/dist/cjs/Option.js.map +1 -1
- package/dist/cjs/ParseResult.js +1 -1
- package/dist/cjs/ParseResult.js.map +1 -1
- package/dist/cjs/Predicate.js.map +1 -1
- package/dist/cjs/Record.js.map +1 -1
- package/dist/cjs/Request.js.map +1 -1
- package/dist/cjs/RequestResolver.js.map +1 -1
- package/dist/cjs/STM.js.map +1 -1
- package/dist/cjs/Schedule.js.map +1 -1
- package/dist/cjs/Schema.js +593 -522
- package/dist/cjs/Schema.js.map +1 -1
- package/dist/cjs/SchemaAST.js +1 -1
- package/dist/cjs/SchemaAST.js.map +1 -1
- package/dist/cjs/Sink.js.map +1 -1
- package/dist/cjs/SortedMap.js.map +1 -1
- package/dist/cjs/Stream.js.map +1 -1
- package/dist/cjs/Struct.js.map +1 -1
- package/dist/cjs/Subscribable.js.map +1 -1
- package/dist/cjs/SubscriptionRef.js.map +1 -1
- package/dist/cjs/SynchronizedRef.js.map +1 -1
- package/dist/cjs/TArray.js.map +1 -1
- package/dist/cjs/TMap.js.map +1 -1
- package/dist/cjs/TRef.js.map +1 -1
- package/dist/cjs/Take.js.map +1 -1
- package/dist/cjs/TestServices.js.map +1 -1
- package/dist/cjs/Unify.js.map +1 -1
- package/dist/cjs/internal/fiberRuntime.js +4 -5
- package/dist/cjs/internal/fiberRuntime.js.map +1 -1
- package/dist/cjs/internal/stm/core.js +5 -5
- package/dist/cjs/internal/stm/core.js.map +1 -1
- package/dist/cjs/internal/stm/entry.js.map +1 -0
- package/dist/cjs/internal/stm/journal.js.map +1 -0
- package/dist/cjs/internal/stm/stm.js +2 -2
- package/dist/cjs/internal/stm/stm.js.map +1 -1
- package/dist/cjs/internal/stm/{stm/stmState.js → stmState.js} +7 -7
- package/dist/cjs/internal/stm/stmState.js.map +1 -0
- package/dist/cjs/internal/stm/{stm/tExit.js → tExit.js} +5 -5
- package/dist/cjs/internal/stm/tExit.js.map +1 -0
- package/dist/cjs/internal/stm/tMap.js.map +1 -1
- package/dist/cjs/internal/stm/tRef.js +2 -2
- package/dist/cjs/internal/stm/tRef.js.map +1 -1
- package/dist/cjs/internal/stm/{stm/tryCommit.js → tryCommit.js} +1 -1
- package/dist/cjs/internal/stm/tryCommit.js.map +1 -0
- package/dist/cjs/internal/stm/txnId.js.map +1 -0
- package/dist/cjs/internal/stm/versioned.js.map +1 -0
- package/dist/cjs/internal/version.js +1 -1
- package/dist/dts/Array.d.ts +6 -6
- package/dist/dts/Array.d.ts.map +1 -1
- package/dist/dts/Cause.d.ts.map +1 -1
- package/dist/dts/Channel.d.ts.map +1 -1
- package/dist/dts/ChildExecutorDecision.d.ts.map +1 -1
- package/dist/dts/Chunk.d.ts.map +1 -1
- package/dist/dts/Config.d.ts.map +1 -1
- package/dist/dts/ConfigProvider.d.ts.map +1 -1
- package/dist/dts/Console.d.ts.map +1 -1
- package/dist/dts/Context.d.ts +1 -1
- package/dist/dts/Context.d.ts.map +1 -1
- package/dist/dts/DateTime.d.ts.map +1 -1
- package/dist/dts/Duration.d.ts +1 -3
- package/dist/dts/Duration.d.ts.map +1 -1
- package/dist/dts/Effect.d.ts.map +1 -1
- package/dist/dts/Either.d.ts.map +1 -1
- package/dist/dts/ExecutionStrategy.d.ts.map +1 -1
- package/dist/dts/Exit.d.ts.map +1 -1
- package/dist/dts/Fiber.d.ts.map +1 -1
- package/dist/dts/FiberHandle.d.ts.map +1 -1
- package/dist/dts/FiberMap.d.ts.map +1 -1
- package/dist/dts/FiberRefsPatch.d.ts.map +1 -1
- package/dist/dts/FiberSet.d.ts.map +1 -1
- package/dist/dts/Function.d.ts.map +1 -1
- package/dist/dts/GroupBy.d.ts.map +1 -1
- package/dist/dts/HashSet.d.ts.map +1 -1
- package/dist/dts/Iterable.d.ts.map +1 -1
- package/dist/dts/Layer.d.ts.map +1 -1
- package/dist/dts/List.d.ts.map +1 -1
- package/dist/dts/Logger.d.ts.map +1 -1
- package/dist/dts/Mailbox.d.ts.map +1 -1
- package/dist/dts/MergeDecision.d.ts.map +1 -1
- package/dist/dts/MergeStrategy.d.ts.map +1 -1
- package/dist/dts/Metric.d.ts.map +1 -1
- package/dist/dts/MetricKey.d.ts.map +1 -1
- package/dist/dts/MetricPolling.d.ts.map +1 -1
- package/dist/dts/Micro.d.ts.map +1 -1
- package/dist/dts/MutableHashMap.d.ts.map +1 -1
- package/dist/dts/Option.d.ts +3 -42
- package/dist/dts/Option.d.ts.map +1 -1
- package/dist/dts/ParseResult.d.ts.map +1 -1
- package/dist/dts/Predicate.d.ts.map +1 -1
- package/dist/dts/RcMap.d.ts.map +1 -1
- package/dist/dts/Record.d.ts.map +1 -1
- package/dist/dts/RedBlackTree.d.ts.map +1 -1
- package/dist/dts/Request.d.ts.map +1 -1
- package/dist/dts/RequestResolver.d.ts.map +1 -1
- package/dist/dts/Runtime.d.ts.map +1 -1
- package/dist/dts/STM.d.ts.map +1 -1
- package/dist/dts/Schedule.d.ts.map +1 -1
- package/dist/dts/Schema.d.ts +394 -271
- package/dist/dts/Schema.d.ts.map +1 -1
- package/dist/dts/Sink.d.ts.map +1 -1
- package/dist/dts/SortedMap.d.ts.map +1 -1
- package/dist/dts/Stream.d.ts.map +1 -1
- package/dist/dts/StreamHaltStrategy.d.ts.map +1 -1
- package/dist/dts/Struct.d.ts.map +1 -1
- package/dist/dts/Subscribable.d.ts.map +1 -1
- package/dist/dts/SubscriptionRef.d.ts.map +1 -1
- package/dist/dts/SynchronizedRef.d.ts.map +1 -1
- package/dist/dts/TArray.d.ts.map +1 -1
- package/dist/dts/TMap.d.ts.map +1 -1
- package/dist/dts/TSubscriptionRef.d.ts.map +1 -1
- package/dist/dts/Take.d.ts.map +1 -1
- package/dist/dts/TestServices.d.ts.map +1 -1
- package/dist/dts/Unify.d.ts.map +1 -1
- package/dist/dts/UpstreamPullRequest.d.ts.map +1 -1
- package/dist/dts/UpstreamPullStrategy.d.ts.map +1 -1
- package/dist/dts/internal/stm/entry.d.ts.map +1 -0
- package/dist/dts/internal/stm/journal.d.ts.map +1 -0
- package/dist/dts/internal/stm/stmState.d.ts.map +1 -0
- package/dist/dts/internal/stm/tExit.d.ts.map +1 -0
- package/dist/dts/internal/stm/tryCommit.d.ts.map +1 -0
- package/dist/dts/internal/stm/txnId.d.ts.map +1 -0
- package/dist/dts/internal/stm/versioned.d.ts.map +1 -0
- package/dist/esm/Array.js.map +1 -1
- package/dist/esm/Channel.js.map +1 -1
- package/dist/esm/Chunk.js.map +1 -1
- package/dist/esm/Context.js.map +1 -1
- package/dist/esm/DateTime.js.map +1 -1
- package/dist/esm/Duration.js +1 -3
- package/dist/esm/Duration.js.map +1 -1
- package/dist/esm/Effect.js.map +1 -1
- package/dist/esm/Either.js.map +1 -1
- package/dist/esm/Exit.js.map +1 -1
- package/dist/esm/FiberHandle.js +5 -3
- package/dist/esm/FiberHandle.js.map +1 -1
- package/dist/esm/FiberMap.js +5 -3
- package/dist/esm/FiberMap.js.map +1 -1
- package/dist/esm/FiberSet.js +6 -3
- package/dist/esm/FiberSet.js.map +1 -1
- package/dist/esm/Function.js.map +1 -1
- package/dist/esm/HashSet.js.map +1 -1
- package/dist/esm/Iterable.js.map +1 -1
- package/dist/esm/JSONSchema.js +7 -7
- package/dist/esm/JSONSchema.js.map +1 -1
- package/dist/esm/Layer.js.map +1 -1
- package/dist/esm/List.js.map +1 -1
- package/dist/esm/Logger.js.map +1 -1
- package/dist/esm/Metric.js.map +1 -1
- package/dist/esm/MetricKey.js.map +1 -1
- package/dist/esm/MetricPolling.js.map +1 -1
- package/dist/esm/Micro.js.map +1 -1
- package/dist/esm/MutableHashMap.js.map +1 -1
- package/dist/esm/Option.js +3 -15
- package/dist/esm/Option.js.map +1 -1
- package/dist/esm/ParseResult.js +1 -1
- package/dist/esm/ParseResult.js.map +1 -1
- package/dist/esm/Predicate.js.map +1 -1
- package/dist/esm/Record.js.map +1 -1
- package/dist/esm/Request.js.map +1 -1
- package/dist/esm/RequestResolver.js.map +1 -1
- package/dist/esm/STM.js.map +1 -1
- package/dist/esm/Schedule.js.map +1 -1
- package/dist/esm/Schema.js +538 -490
- package/dist/esm/Schema.js.map +1 -1
- package/dist/esm/SchemaAST.js +1 -1
- package/dist/esm/SchemaAST.js.map +1 -1
- package/dist/esm/Sink.js.map +1 -1
- package/dist/esm/SortedMap.js.map +1 -1
- package/dist/esm/Stream.js.map +1 -1
- package/dist/esm/Struct.js.map +1 -1
- package/dist/esm/Subscribable.js.map +1 -1
- package/dist/esm/SubscriptionRef.js.map +1 -1
- package/dist/esm/SynchronizedRef.js.map +1 -1
- package/dist/esm/TArray.js.map +1 -1
- package/dist/esm/TMap.js.map +1 -1
- package/dist/esm/TRef.js.map +1 -1
- package/dist/esm/Take.js.map +1 -1
- package/dist/esm/TestServices.js.map +1 -1
- package/dist/esm/Unify.js.map +1 -1
- package/dist/esm/internal/fiberRuntime.js +4 -5
- package/dist/esm/internal/fiberRuntime.js.map +1 -1
- package/dist/esm/internal/stm/core.js +5 -5
- package/dist/esm/internal/stm/core.js.map +1 -1
- package/dist/esm/internal/stm/entry.js.map +1 -0
- package/dist/esm/internal/stm/journal.js.map +1 -0
- package/dist/esm/internal/stm/stm.js +2 -2
- package/dist/esm/internal/stm/stm.js.map +1 -1
- package/dist/esm/internal/stm/{stm/stmState.js → stmState.js} +7 -7
- package/dist/esm/internal/stm/stmState.js.map +1 -0
- package/dist/esm/internal/stm/{stm/tExit.js → tExit.js} +5 -5
- package/dist/esm/internal/stm/tExit.js.map +1 -0
- package/dist/esm/internal/stm/tMap.js.map +1 -1
- package/dist/esm/internal/stm/tRef.js +2 -2
- package/dist/esm/internal/stm/tRef.js.map +1 -1
- package/dist/esm/internal/stm/{stm/tryCommit.js → tryCommit.js} +1 -1
- package/dist/esm/internal/stm/tryCommit.js.map +1 -0
- package/dist/esm/internal/stm/txnId.js.map +1 -0
- package/dist/esm/internal/stm/versioned.js.map +1 -0
- package/dist/esm/internal/version.js +1 -1
- package/package.json +1 -1
- package/src/Array.ts +26 -86
- package/src/Cause.ts +20 -20
- package/src/Channel.ts +14 -44
- package/src/ChildExecutorDecision.ts +11 -11
- package/src/Chunk.ts +23 -36
- package/src/Config.ts +27 -27
- package/src/ConfigProvider.ts +3 -3
- package/src/Console.ts +9 -9
- package/src/Context.ts +3 -10
- package/src/DateTime.ts +96 -104
- package/src/Duration.ts +1 -3
- package/src/Effect.ts +64 -229
- package/src/Either.ts +2 -8
- package/src/ExecutionStrategy.ts +11 -11
- package/src/Exit.ts +27 -29
- package/src/Fiber.ts +9 -9
- package/src/FiberHandle.ts +11 -7
- package/src/FiberMap.ts +11 -7
- package/src/FiberRefsPatch.ts +3 -3
- package/src/FiberSet.ts +9 -7
- package/src/Function.ts +2 -8
- package/src/GroupBy.ts +5 -5
- package/src/HashSet.ts +2 -7
- package/src/Iterable.ts +2 -7
- package/src/JSONSchema.ts +7 -7
- package/src/Layer.ts +22 -77
- package/src/List.ts +32 -43
- package/src/Logger.ts +21 -55
- package/src/Mailbox.ts +9 -9
- package/src/MergeDecision.ts +9 -9
- package/src/MergeStrategy.ts +9 -9
- package/src/Metric.ts +13 -47
- package/src/MetricKey.ts +4 -16
- package/src/MetricPolling.ts +1 -3
- package/src/Micro.ts +43 -104
- package/src/MutableHashMap.ts +1 -4
- package/src/Option.ts +8 -50
- package/src/ParseResult.ts +5 -17
- package/src/Predicate.ts +2 -6
- package/src/RcMap.ts +10 -10
- package/src/Record.ts +24 -90
- package/src/RedBlackTree.ts +14 -14
- package/src/Request.ts +2 -7
- package/src/RequestResolver.ts +6 -22
- package/src/Runtime.ts +4 -4
- package/src/STM.ts +17 -67
- package/src/Schedule.ts +37 -126
- package/src/Schema.ts +1429 -1256
- package/src/SchemaAST.ts +1 -1
- package/src/Sink.ts +20 -68
- package/src/SortedMap.ts +1 -3
- package/src/Stream.ts +86 -311
- package/src/StreamHaltStrategy.ts +13 -13
- package/src/Struct.ts +2 -7
- package/src/Subscribable.ts +1 -3
- package/src/SubscriptionRef.ts +1 -3
- package/src/SynchronizedRef.ts +17 -19
- package/src/TArray.ts +7 -10
- package/src/TMap.ts +4 -13
- package/src/TRef.ts +3 -3
- package/src/TSubscriptionRef.ts +3 -3
- package/src/Take.ts +24 -29
- package/src/TestServices.ts +1 -3
- package/src/Unify.ts +1 -3
- package/src/UpstreamPullRequest.ts +9 -9
- package/src/UpstreamPullStrategy.ts +9 -9
- package/src/internal/fiberRuntime.ts +5 -4
- package/src/internal/stm/core.ts +5 -5
- package/src/internal/stm/{stm/entry.ts → entry.ts} +1 -1
- package/src/internal/stm/{stm/journal.ts → journal.ts} +1 -1
- package/src/internal/stm/stm.ts +2 -2
- package/src/internal/stm/{stm/stmState.ts → stmState.ts} +7 -7
- package/src/internal/stm/{stm/tExit.ts → tExit.ts} +7 -7
- package/src/internal/stm/tMap.ts +1 -1
- package/src/internal/stm/tRef.ts +4 -4
- package/src/internal/stm/{stm/tryCommit.ts → tryCommit.ts} +2 -2
- package/src/internal/version.ts +1 -1
- package/dist/cjs/internal/stm/stm/entry.js.map +0 -1
- package/dist/cjs/internal/stm/stm/journal.js.map +0 -1
- package/dist/cjs/internal/stm/stm/opCodes/stm.js +0 -31
- package/dist/cjs/internal/stm/stm/opCodes/stm.js.map +0 -1
- package/dist/cjs/internal/stm/stm/opCodes/stmState.js +0 -13
- package/dist/cjs/internal/stm/stm/opCodes/stmState.js.map +0 -1
- package/dist/cjs/internal/stm/stm/opCodes/strategy.js +0 -13
- package/dist/cjs/internal/stm/stm/opCodes/strategy.js.map +0 -1
- package/dist/cjs/internal/stm/stm/opCodes/tExit.js +0 -17
- package/dist/cjs/internal/stm/stm/opCodes/tExit.js.map +0 -1
- package/dist/cjs/internal/stm/stm/opCodes/tryCommit.js +0 -11
- package/dist/cjs/internal/stm/stm/opCodes/tryCommit.js.map +0 -1
- package/dist/cjs/internal/stm/stm/stmState.js.map +0 -1
- package/dist/cjs/internal/stm/stm/tExit.js.map +0 -1
- package/dist/cjs/internal/stm/stm/tryCommit.js.map +0 -1
- package/dist/cjs/internal/stm/stm/txnId.js.map +0 -1
- package/dist/cjs/internal/stm/stm/versioned.js.map +0 -1
- package/dist/dts/internal/stm/stm/entry.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/journal.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/opCodes/stm.d.ts +0 -2
- package/dist/dts/internal/stm/stm/opCodes/stm.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/opCodes/stmState.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/opCodes/strategy.d.ts +0 -2
- package/dist/dts/internal/stm/stm/opCodes/strategy.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/opCodes/tExit.d.ts +0 -2
- package/dist/dts/internal/stm/stm/opCodes/tExit.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/opCodes/tryCommit.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/stmState.d.ts +0 -2
- package/dist/dts/internal/stm/stm/stmState.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/tExit.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/tryCommit.d.ts +0 -2
- package/dist/dts/internal/stm/stm/tryCommit.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/txnId.d.ts.map +0 -1
- package/dist/dts/internal/stm/stm/versioned.d.ts.map +0 -1
- package/dist/esm/internal/stm/stm/entry.js.map +0 -1
- package/dist/esm/internal/stm/stm/journal.js.map +0 -1
- package/dist/esm/internal/stm/stm/opCodes/stm.js +0 -25
- package/dist/esm/internal/stm/stm/opCodes/stm.js.map +0 -1
- package/dist/esm/internal/stm/stm/opCodes/stmState.js +0 -7
- package/dist/esm/internal/stm/stm/opCodes/stmState.js.map +0 -1
- package/dist/esm/internal/stm/stm/opCodes/strategy.js +0 -7
- package/dist/esm/internal/stm/stm/opCodes/strategy.js.map +0 -1
- package/dist/esm/internal/stm/stm/opCodes/tExit.js +0 -11
- package/dist/esm/internal/stm/stm/opCodes/tExit.js.map +0 -1
- package/dist/esm/internal/stm/stm/opCodes/tryCommit.js +0 -5
- package/dist/esm/internal/stm/stm/opCodes/tryCommit.js.map +0 -1
- package/dist/esm/internal/stm/stm/stmState.js.map +0 -1
- package/dist/esm/internal/stm/stm/tExit.js.map +0 -1
- package/dist/esm/internal/stm/stm/tryCommit.js.map +0 -1
- package/dist/esm/internal/stm/stm/txnId.js.map +0 -1
- package/dist/esm/internal/stm/stm/versioned.js.map +0 -1
- package/src/internal/stm/stm/opCodes/stm.ts +0 -71
- package/src/internal/stm/stm/opCodes/stmState.ts +0 -17
- package/src/internal/stm/stm/opCodes/strategy.ts +0 -17
- package/src/internal/stm/stm/opCodes/tExit.ts +0 -29
- package/src/internal/stm/stm/opCodes/tryCommit.ts +0 -11
- /package/dist/cjs/internal/stm/{stm/entry.js → entry.js} +0 -0
- /package/dist/cjs/internal/stm/{stm/journal.js → journal.js} +0 -0
- /package/dist/cjs/internal/stm/{stm/txnId.js → txnId.js} +0 -0
- /package/dist/cjs/internal/stm/{stm/versioned.js → versioned.js} +0 -0
- /package/dist/dts/internal/stm/{stm/entry.d.ts → entry.d.ts} +0 -0
- /package/dist/dts/internal/stm/{stm/journal.d.ts → journal.d.ts} +0 -0
- /package/dist/dts/internal/stm/{stm/opCodes/stmState.d.ts → stmState.d.ts} +0 -0
- /package/dist/dts/internal/stm/{stm/tExit.d.ts → tExit.d.ts} +0 -0
- /package/dist/dts/internal/stm/{stm/opCodes/tryCommit.d.ts → tryCommit.d.ts} +0 -0
- /package/dist/dts/internal/stm/{stm/txnId.d.ts → txnId.d.ts} +0 -0
- /package/dist/dts/internal/stm/{stm/versioned.d.ts → versioned.d.ts} +0 -0
- /package/dist/esm/internal/stm/{stm/entry.js → entry.js} +0 -0
- /package/dist/esm/internal/stm/{stm/journal.js → journal.js} +0 -0
- /package/dist/esm/internal/stm/{stm/txnId.js → txnId.js} +0 -0
- /package/dist/esm/internal/stm/{stm/versioned.js → versioned.js} +0 -0
- /package/src/internal/stm/{stm/txnId.ts → txnId.ts} +0 -0
- /package/src/internal/stm/{stm/versioned.ts → versioned.ts} +0 -0
package/src/STM.ts
CHANGED
|
@@ -363,19 +363,14 @@ export const catchSome: {
|
|
|
363
363
|
* @since 2.0.0
|
|
364
364
|
* @category error handling
|
|
365
365
|
*/
|
|
366
|
-
<E, A2, E2, R2>(
|
|
367
|
-
pf: (error: E) => Option.Option<STM<A2, E2, R2>>
|
|
368
|
-
): <A, R>(self: STM<A, E, R>) => STM<A2 | A, E | E2, R2 | R>
|
|
366
|
+
<E, A2, E2, R2>(pf: (error: E) => Option.Option<STM<A2, E2, R2>>): <A, R>(self: STM<A, E, R>) => STM<A2 | A, E | E2, R2 | R>
|
|
369
367
|
/**
|
|
370
368
|
* Recovers from some or all of the error cases.
|
|
371
369
|
*
|
|
372
370
|
* @since 2.0.0
|
|
373
371
|
* @category error handling
|
|
374
372
|
*/
|
|
375
|
-
<A, E, R, A2, E2, R2>(
|
|
376
|
-
self: STM<A, E, R>,
|
|
377
|
-
pf: (error: E) => Option.Option<STM<A2, E2, R2>>
|
|
378
|
-
): STM<A | A2, E | E2, R | R2>
|
|
373
|
+
<A, E, R, A2, E2, R2>(self: STM<A, E, R>, pf: (error: E) => Option.Option<STM<A2, E2, R2>>): STM<A | A2, E | E2, R | R2>
|
|
379
374
|
} = stm.catchSome
|
|
380
375
|
|
|
381
376
|
/**
|
|
@@ -391,10 +386,7 @@ export const catchTag: {
|
|
|
391
386
|
* @since 2.0.0
|
|
392
387
|
* @category error handling
|
|
393
388
|
*/
|
|
394
|
-
<K extends E["_tag"] & string, E extends { _tag: string }, A1, E1, R1>(
|
|
395
|
-
k: K,
|
|
396
|
-
f: (e: Extract<E, { _tag: K }>) => STM<A1, E1, R1>
|
|
397
|
-
): <A, R>(self: STM<A, E, R>) => STM<A1 | A, E1 | Exclude<E, { _tag: K }>, R1 | R>
|
|
389
|
+
<K extends E["_tag"] & string, E extends { _tag: string }, A1, E1, R1>(k: K, f: (e: Extract<E, { _tag: K }>) => STM<A1, E1, R1>): <A, R>(self: STM<A, E, R>) => STM<A1 | A, E1 | Exclude<E, { _tag: K }>, R1 | R>
|
|
398
390
|
/**
|
|
399
391
|
* Recovers from the specified tagged error.
|
|
400
392
|
*
|
|
@@ -799,10 +791,7 @@ export const filterOrDie: {
|
|
|
799
791
|
* @since 2.0.0
|
|
800
792
|
* @category filtering
|
|
801
793
|
*/
|
|
802
|
-
<A, B extends A>(
|
|
803
|
-
refinement: Refinement<NoInfer<A>, B>,
|
|
804
|
-
defect: LazyArg<unknown>
|
|
805
|
-
): <E, R>(self: STM<A, E, R>) => STM<B, E, R>
|
|
794
|
+
<A, B extends A>(refinement: Refinement<NoInfer<A>, B>, defect: LazyArg<unknown>): <E, R>(self: STM<A, E, R>) => STM<B, E, R>
|
|
806
795
|
/**
|
|
807
796
|
* Dies with specified defect if the predicate fails.
|
|
808
797
|
*
|
|
@@ -932,31 +921,21 @@ export const filterOrFail: {
|
|
|
932
921
|
* @since 2.0.0
|
|
933
922
|
* @category filtering
|
|
934
923
|
*/
|
|
935
|
-
<A, B extends A, E2>(
|
|
936
|
-
refinement: Refinement<NoInfer<A>, B>,
|
|
937
|
-
orFailWith: (a: NoInfer<A>) => E2
|
|
938
|
-
): <E, R>(self: STM<A, E, R>) => STM<B, E2 | E, R>
|
|
924
|
+
<A, B extends A, E2>(refinement: Refinement<NoInfer<A>, B>, orFailWith: (a: NoInfer<A>) => E2): <E, R>(self: STM<A, E, R>) => STM<B, E2 | E, R>
|
|
939
925
|
/**
|
|
940
926
|
* Fails with the specified error if the predicate fails.
|
|
941
927
|
*
|
|
942
928
|
* @since 2.0.0
|
|
943
929
|
* @category filtering
|
|
944
930
|
*/
|
|
945
|
-
<A, E2>(
|
|
946
|
-
predicate: Predicate<NoInfer<A>>,
|
|
947
|
-
orFailWith: (a: NoInfer<A>) => E2
|
|
948
|
-
): <E, R>(self: STM<A, E, R>) => STM<A, E2 | E, R>
|
|
931
|
+
<A, E2>(predicate: Predicate<NoInfer<A>>, orFailWith: (a: NoInfer<A>) => E2): <E, R>(self: STM<A, E, R>) => STM<A, E2 | E, R>
|
|
949
932
|
/**
|
|
950
933
|
* Fails with the specified error if the predicate fails.
|
|
951
934
|
*
|
|
952
935
|
* @since 2.0.0
|
|
953
936
|
* @category filtering
|
|
954
937
|
*/
|
|
955
|
-
<A, E, R, B extends A, E2>(
|
|
956
|
-
self: STM<A, E, R>,
|
|
957
|
-
refinement: Refinement<A, B>,
|
|
958
|
-
orFailWith: (a: A) => E2
|
|
959
|
-
): STM<B, E | E2, R>
|
|
938
|
+
<A, E, R, B extends A, E2>(self: STM<A, E, R>, refinement: Refinement<A, B>, orFailWith: (a: A) => E2): STM<B, E | E2, R>
|
|
960
939
|
/**
|
|
961
940
|
* Fails with the specified error if the predicate fails.
|
|
962
941
|
*
|
|
@@ -1121,10 +1100,7 @@ export const forEach: {
|
|
|
1121
1100
|
* @since 2.0.0
|
|
1122
1101
|
* @category traversing
|
|
1123
1102
|
*/
|
|
1124
|
-
<A, A2, E, R>(
|
|
1125
|
-
f: (a: A) => STM<A2, E, R>,
|
|
1126
|
-
options: { readonly discard: true }
|
|
1127
|
-
): (elements: Iterable<A>) => STM<void, E, R>
|
|
1103
|
+
<A, A2, E, R>(f: (a: A) => STM<A2, E, R>, options: { readonly discard: true }): (elements: Iterable<A>) => STM<void, E, R>
|
|
1128
1104
|
/**
|
|
1129
1105
|
* Applies the function `f` to each element of the `Iterable<A>` and returns
|
|
1130
1106
|
* a transactional effect that produces a new `Chunk<A2>`.
|
|
@@ -1927,9 +1903,7 @@ export const orElseOptional: {
|
|
|
1927
1903
|
* @since 2.0.0
|
|
1928
1904
|
* @category error handling
|
|
1929
1905
|
*/
|
|
1930
|
-
<A2, E2, R2>(
|
|
1931
|
-
that: LazyArg<STM<A2, Option.Option<E2>, R2>>
|
|
1932
|
-
): <A, E, R>(self: STM<A, Option.Option<E>, R>) => STM<A2 | A, Option.Option<E2 | E>, R2 | R>
|
|
1906
|
+
<A2, E2, R2>(that: LazyArg<STM<A2, Option.Option<E2>, R2>>): <A, E, R>(self: STM<A, Option.Option<E>, R>) => STM<A2 | A, Option.Option<E2 | E>, R2 | R>
|
|
1933
1907
|
/**
|
|
1934
1908
|
* Returns an effect that will produce the value of this effect, unless it
|
|
1935
1909
|
* fails with the `None` value, in which case it will produce the value of the
|
|
@@ -2011,9 +1985,7 @@ export const partition: {
|
|
|
2011
1985
|
* @since 2.0.0
|
|
2012
1986
|
* @category traversing
|
|
2013
1987
|
*/
|
|
2014
|
-
<A, A2, E, R>(
|
|
2015
|
-
f: (a: A) => STM<A2, E, R>
|
|
2016
|
-
): (elements: Iterable<A>) => STM<[excluded: Array<E>, satisfying: Array<A2>], never, R>
|
|
1988
|
+
<A, A2, E, R>(f: (a: A) => STM<A2, E, R>): (elements: Iterable<A>) => STM<[excluded: Array<E>, satisfying: Array<A2>], never, R>
|
|
2017
1989
|
/**
|
|
2018
1990
|
* Feeds elements of type `A` to a function `f` that returns an effect.
|
|
2019
1991
|
* Collects all successes and failures in a tupled fashion.
|
|
@@ -2021,10 +1993,7 @@ export const partition: {
|
|
|
2021
1993
|
* @since 2.0.0
|
|
2022
1994
|
* @category traversing
|
|
2023
1995
|
*/
|
|
2024
|
-
<A, A2, E, R>(
|
|
2025
|
-
elements: Iterable<A>,
|
|
2026
|
-
f: (a: A) => STM<A2, E, R>
|
|
2027
|
-
): STM<[excluded: Array<E>, satisfying: Array<A2>], never, R>
|
|
1996
|
+
<A, A2, E, R>(elements: Iterable<A>, f: (a: A) => STM<A2, E, R>): STM<[excluded: Array<E>, satisfying: Array<A2>], never, R>
|
|
2028
1997
|
} = stm.partition
|
|
2029
1998
|
|
|
2030
1999
|
/**
|
|
@@ -2120,10 +2089,7 @@ export const provideServiceSTM: {
|
|
|
2120
2089
|
* @since 2.0.0
|
|
2121
2090
|
* @category context
|
|
2122
2091
|
*/
|
|
2123
|
-
<I, S, E1, R1>(
|
|
2124
|
-
tag: Context.Tag<I, S>,
|
|
2125
|
-
stm: STM<NoInfer<S>, E1, R1>
|
|
2126
|
-
): <A, E, R>(self: STM<A, E, R>) => STM<A, E1 | E, R1 | Exclude<R, I>>
|
|
2092
|
+
<I, S, E1, R1>(tag: Context.Tag<I, S>, stm: STM<NoInfer<S>, E1, R1>): <A, E, R>(self: STM<A, E, R>) => STM<A, E1 | E, R1 | Exclude<R, I>>
|
|
2127
2093
|
/**
|
|
2128
2094
|
* Provides the effect with the single service it requires. If the transactional
|
|
2129
2095
|
* effect requires more than one service use `provideEnvironment` instead.
|
|
@@ -2131,11 +2097,7 @@ export const provideServiceSTM: {
|
|
|
2131
2097
|
* @since 2.0.0
|
|
2132
2098
|
* @category context
|
|
2133
2099
|
*/
|
|
2134
|
-
<A, E, R, I, S, E1, R1>(
|
|
2135
|
-
self: STM<A, E, R>,
|
|
2136
|
-
tag: Context.Tag<I, S>,
|
|
2137
|
-
stm: STM<NoInfer<S>, E1, R1>
|
|
2138
|
-
): STM<A, E1 | E, R1 | Exclude<R, I>>
|
|
2100
|
+
<A, E, R, I, S, E1, R1>(self: STM<A, E, R>, tag: Context.Tag<I, S>, stm: STM<NoInfer<S>, E1, R1>): STM<A, E1 | E, R1 | Exclude<R, I>>
|
|
2139
2101
|
} = stm.provideServiceSTM
|
|
2140
2102
|
|
|
2141
2103
|
/**
|
|
@@ -2177,10 +2139,7 @@ export const reduceAll: {
|
|
|
2177
2139
|
* @since 2.0.0
|
|
2178
2140
|
* @category constructors
|
|
2179
2141
|
*/
|
|
2180
|
-
<A, E2, R2>(
|
|
2181
|
-
initial: STM<A, E2, R2>,
|
|
2182
|
-
f: (x: A, y: A) => A
|
|
2183
|
-
): <E, R>(iterable: Iterable<STM<A, E, R>>) => STM<A, E2 | E, R2 | R>
|
|
2142
|
+
<A, E2, R2>(initial: STM<A, E2, R2>, f: (x: A, y: A) => A): <E, R>(iterable: Iterable<STM<A, E, R>>) => STM<A, E2 | E, R2 | R>
|
|
2184
2143
|
/**
|
|
2185
2144
|
* Reduces an `Iterable<STM>` to a single `STM`, working sequentially.
|
|
2186
2145
|
*
|
|
@@ -2635,10 +2594,7 @@ export const summarized: {
|
|
|
2635
2594
|
* @since 2.0.0
|
|
2636
2595
|
* @category mutations
|
|
2637
2596
|
*/
|
|
2638
|
-
<A2, E2, R2, A3>(
|
|
2639
|
-
summary: STM<A2, E2, R2>,
|
|
2640
|
-
f: (before: A2, after: A2) => A3
|
|
2641
|
-
): <A, E, R>(self: STM<A, E, R>) => STM<[A3, A], E2 | E, R2 | R>
|
|
2597
|
+
<A2, E2, R2, A3>(summary: STM<A2, E2, R2>, f: (before: A2, after: A2) => A3): <A, E, R>(self: STM<A, E, R>) => STM<[A3, A], E2 | E, R2 | R>
|
|
2642
2598
|
/**
|
|
2643
2599
|
* Summarizes a `STM` effect by computing a provided value before and after
|
|
2644
2600
|
* execution, and then combining the values to produce a summary, together
|
|
@@ -3026,10 +2982,7 @@ export const zipWith: {
|
|
|
3026
2982
|
* @since 2.0.0
|
|
3027
2983
|
* @category zipping
|
|
3028
2984
|
*/
|
|
3029
|
-
<A1, E1, R1, A, A2>(
|
|
3030
|
-
that: STM<A1, E1, R1>,
|
|
3031
|
-
f: (a: A, b: A1) => A2
|
|
3032
|
-
): <E, R>(self: STM<A, E, R>) => STM<A2, E1 | E, R1 | R>
|
|
2985
|
+
<A1, E1, R1, A, A2>(that: STM<A1, E1, R1>, f: (a: A, b: A1) => A2): <E, R>(self: STM<A, E, R>) => STM<A2, E1 | E, R1 | R>
|
|
3033
2986
|
/**
|
|
3034
2987
|
* Sequentially zips this value with the specified one, combining the values
|
|
3035
2988
|
* using the specified combiner function.
|
|
@@ -3087,10 +3040,7 @@ export const bind: {
|
|
|
3087
3040
|
* @category do notation
|
|
3088
3041
|
* @since 2.0.0
|
|
3089
3042
|
*/
|
|
3090
|
-
<N extends string, K, A, E2, R2>(
|
|
3091
|
-
tag: Exclude<N, keyof K>,
|
|
3092
|
-
f: (_: NoInfer<K>) => STM<A, E2, R2>
|
|
3093
|
-
): <E, R>(self: STM<K, E, R>) => STM<MergeRecord<K, { [k in N]: A }>, E2 | E, R2 | R>
|
|
3043
|
+
<N extends string, K, A, E2, R2>(tag: Exclude<N, keyof K>, f: (_: NoInfer<K>) => STM<A, E2, R2>): <E, R>(self: STM<K, E, R>) => STM<MergeRecord<K, { [k in N]: A }>, E2 | E, R2 | R>
|
|
3094
3044
|
/**
|
|
3095
3045
|
* @category do notation
|
|
3096
3046
|
* @since 2.0.0
|
package/src/Schedule.ts
CHANGED
|
@@ -258,9 +258,7 @@ export const addDelayEffect: {
|
|
|
258
258
|
* @since 2.0.0
|
|
259
259
|
* @category Timing & Delay
|
|
260
260
|
*/
|
|
261
|
-
<Out, R2>(
|
|
262
|
-
f: (out: Out) => Effect.Effect<Duration.DurationInput, never, R2>
|
|
263
|
-
): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
261
|
+
<Out, R2>(f: (out: Out) => Effect.Effect<Duration.DurationInput, never, R2>): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
264
262
|
/**
|
|
265
263
|
* Adds an effectfully computed delay to every interval in a schedule.
|
|
266
264
|
*
|
|
@@ -323,9 +321,7 @@ export const andThen: {
|
|
|
323
321
|
* @since 2.0.0
|
|
324
322
|
* @category Sequential Composition
|
|
325
323
|
*/
|
|
326
|
-
<Out2, In2, R2>(
|
|
327
|
-
that: Schedule<Out2, In2, R2>
|
|
328
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out2 | Out, In & In2, R2 | R>
|
|
324
|
+
<Out2, In2, R2>(that: Schedule<Out2, In2, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out2 | Out, In & In2, R2 | R>
|
|
329
325
|
/**
|
|
330
326
|
* Runs two schedules sequentially, merging their outputs.
|
|
331
327
|
*
|
|
@@ -346,10 +342,7 @@ export const andThen: {
|
|
|
346
342
|
* @since 2.0.0
|
|
347
343
|
* @category Sequential Composition
|
|
348
344
|
*/
|
|
349
|
-
<Out, In, R, Out2, In2, R2>(
|
|
350
|
-
self: Schedule<Out, In, R>,
|
|
351
|
-
that: Schedule<Out2, In2, R2>
|
|
352
|
-
): Schedule<Out | Out2, In & In2, R | R2>
|
|
345
|
+
<Out, In, R, Out2, In2, R2>(self: Schedule<Out, In, R>, that: Schedule<Out2, In2, R2>): Schedule<Out | Out2, In & In2, R | R2>
|
|
353
346
|
} = internal.andThen
|
|
354
347
|
|
|
355
348
|
/**
|
|
@@ -393,9 +386,7 @@ export const andThenEither: {
|
|
|
393
386
|
* @since 2.0.0
|
|
394
387
|
* @category Sequential Composition
|
|
395
388
|
*/
|
|
396
|
-
<Out2, In2, R2>(
|
|
397
|
-
that: Schedule<Out2, In2, R2>
|
|
398
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Either.Either<Out2, Out>, In & In2, R2 | R>
|
|
389
|
+
<Out2, In2, R2>(that: Schedule<Out2, In2, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Either.Either<Out2, Out>, In & In2, R2 | R>
|
|
399
390
|
/**
|
|
400
391
|
* Runs two schedules sequentially, collecting results in an `Either`.
|
|
401
392
|
*
|
|
@@ -416,10 +407,7 @@ export const andThenEither: {
|
|
|
416
407
|
* @since 2.0.0
|
|
417
408
|
* @category Sequential Composition
|
|
418
409
|
*/
|
|
419
|
-
<Out, In, R, Out2, In2, R2>(
|
|
420
|
-
self: Schedule<Out, In, R>,
|
|
421
|
-
that: Schedule<Out2, In2, R2>
|
|
422
|
-
): Schedule<Either.Either<Out2, Out>, In & In2, R | R2>
|
|
410
|
+
<Out, In, R, Out2, In2, R2>(self: Schedule<Out, In, R>, that: Schedule<Out2, In2, R2>): Schedule<Either.Either<Out2, Out>, In & In2, R | R2>
|
|
423
411
|
} = internal.andThenEither
|
|
424
412
|
|
|
425
413
|
/**
|
|
@@ -527,9 +515,7 @@ export const bothInOut: {
|
|
|
527
515
|
* @since 2.0.0
|
|
528
516
|
* @category Zipping
|
|
529
517
|
*/
|
|
530
|
-
<Out2, In2, R2>(
|
|
531
|
-
that: Schedule<Out2, In2, R2>
|
|
532
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<[Out, Out2], readonly [In, In2], R2 | R>
|
|
518
|
+
<Out2, In2, R2>(that: Schedule<Out2, In2, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<[Out, Out2], readonly [In, In2], R2 | R>
|
|
533
519
|
// TODO(4.0): rename to `zip`?
|
|
534
520
|
/**
|
|
535
521
|
* Combines two schedules, preserving both their inputs and outputs.
|
|
@@ -548,10 +534,7 @@ export const bothInOut: {
|
|
|
548
534
|
* @since 2.0.0
|
|
549
535
|
* @category Zipping
|
|
550
536
|
*/
|
|
551
|
-
<Out, In, R, Out2, In2, R2>(
|
|
552
|
-
self: Schedule<Out, In, R>,
|
|
553
|
-
that: Schedule<Out2, In2, R2>
|
|
554
|
-
): Schedule<[Out, Out2], readonly [In, In2], R | R2>
|
|
537
|
+
<Out, In, R, Out2, In2, R2>(self: Schedule<Out, In, R>, that: Schedule<Out2, In2, R2>): Schedule<[Out, Out2], readonly [In, In2], R | R2>
|
|
555
538
|
} = internal.bothInOut
|
|
556
539
|
|
|
557
540
|
/**
|
|
@@ -648,9 +631,7 @@ export const checkEffect: {
|
|
|
648
631
|
* @since 2.0.0
|
|
649
632
|
* @category Recurrence Conditions
|
|
650
633
|
*/
|
|
651
|
-
<In, Out, R2>(
|
|
652
|
-
test: (input: In, output: Out) => Effect.Effect<boolean, never, R2>
|
|
653
|
-
): <R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
634
|
+
<In, Out, R2>(test: (input: In, output: Out) => Effect.Effect<boolean, never, R2>): <R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
654
635
|
/**
|
|
655
636
|
* Conditionally filters schedule executions using an effectful function.
|
|
656
637
|
*
|
|
@@ -934,9 +915,7 @@ export const mapInputEffect: {
|
|
|
934
915
|
* @since 2.0.0
|
|
935
916
|
* @category Mapping
|
|
936
917
|
*/
|
|
937
|
-
<In2, In, R2>(
|
|
938
|
-
f: (in2: In2) => Effect.Effect<In, never, R2>
|
|
939
|
-
): <Out, R>(self: Schedule<Out, In, R>) => Schedule<Out, In2, R2 | R>
|
|
918
|
+
<In2, In, R2>(f: (in2: In2) => Effect.Effect<In, never, R2>): <Out, R>(self: Schedule<Out, In, R>) => Schedule<Out, In2, R2 | R>
|
|
940
919
|
/**
|
|
941
920
|
* Transforms the input type of a schedule using an effectful function.
|
|
942
921
|
*
|
|
@@ -955,10 +934,7 @@ export const mapInputEffect: {
|
|
|
955
934
|
* @since 2.0.0
|
|
956
935
|
* @category Mapping
|
|
957
936
|
*/
|
|
958
|
-
<Out, In, R, In2, R2>(
|
|
959
|
-
self: Schedule<Out, In, R>,
|
|
960
|
-
f: (in2: In2) => Effect.Effect<In, never, R2>
|
|
961
|
-
): Schedule<Out, In2, R | R2>
|
|
937
|
+
<Out, In, R, In2, R2>(self: Schedule<Out, In, R>, f: (in2: In2) => Effect.Effect<In, never, R2>): Schedule<Out, In2, R | R2>
|
|
962
938
|
} = internal.mapInputEffect
|
|
963
939
|
|
|
964
940
|
/**
|
|
@@ -990,9 +966,7 @@ export const mapInputContext: {
|
|
|
990
966
|
* @since 2.0.0
|
|
991
967
|
* @category Mapping
|
|
992
968
|
*/
|
|
993
|
-
<R0, R>(
|
|
994
|
-
f: (env0: Context.Context<R0>) => Context.Context<R>
|
|
995
|
-
): <Out, In>(self: Schedule<Out, In, R>) => Schedule<Out, In, R0>
|
|
969
|
+
<R0, R>(f: (env0: Context.Context<R0>) => Context.Context<R>): <Out, In>(self: Schedule<Out, In, R>) => Schedule<Out, In, R0>
|
|
996
970
|
/**
|
|
997
971
|
* Transforms the required context of a schedule.
|
|
998
972
|
*
|
|
@@ -1209,9 +1183,7 @@ export const delayed: {
|
|
|
1209
1183
|
* @since 2.0.0
|
|
1210
1184
|
* @category Timing & Delay
|
|
1211
1185
|
*/
|
|
1212
|
-
(
|
|
1213
|
-
f: (duration: Duration.Duration) => Duration.DurationInput
|
|
1214
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R>
|
|
1186
|
+
(f: (duration: Duration.Duration) => Duration.DurationInput): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R>
|
|
1215
1187
|
/**
|
|
1216
1188
|
* Modifies a schedule by adding a computed delay before each execution.
|
|
1217
1189
|
*
|
|
@@ -1498,9 +1470,7 @@ export const either: {
|
|
|
1498
1470
|
* @since 2.0.0
|
|
1499
1471
|
* @category Alternatives
|
|
1500
1472
|
*/
|
|
1501
|
-
<Out2, In2, R2>(
|
|
1502
|
-
that: Schedule<Out2, In2, R2>
|
|
1503
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<[Out, Out2], In & In2, R2 | R>
|
|
1473
|
+
<Out2, In2, R2>(that: Schedule<Out2, In2, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<[Out, Out2], In & In2, R2 | R>
|
|
1504
1474
|
// TODO(4.0): remove?
|
|
1505
1475
|
/**
|
|
1506
1476
|
* Alias of {@link union}.
|
|
@@ -1508,10 +1478,7 @@ export const either: {
|
|
|
1508
1478
|
* @since 2.0.0
|
|
1509
1479
|
* @category Alternatives
|
|
1510
1480
|
*/
|
|
1511
|
-
<Out, In, R, Out2, In2, R2>(
|
|
1512
|
-
self: Schedule<Out, In, R>,
|
|
1513
|
-
that: Schedule<Out2, In2, R2>
|
|
1514
|
-
): Schedule<[Out, Out2], In & In2, R | R2>
|
|
1481
|
+
<Out, In, R, Out2, In2, R2>(self: Schedule<Out, In, R>, that: Schedule<Out2, In2, R2>): Schedule<[Out, Out2], In & In2, R | R2>
|
|
1515
1482
|
} = internal.either
|
|
1516
1483
|
|
|
1517
1484
|
// TODO(4.0): remove?
|
|
@@ -1829,9 +1796,7 @@ export const intersect: {
|
|
|
1829
1796
|
* @since 2.0.0
|
|
1830
1797
|
* @category Composition
|
|
1831
1798
|
*/
|
|
1832
|
-
<Out2, In2, R2>(
|
|
1833
|
-
that: Schedule<Out2, In2, R2>
|
|
1834
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<[Out, Out2], In & In2, R2 | R>
|
|
1799
|
+
<Out2, In2, R2>(that: Schedule<Out2, In2, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<[Out, Out2], In & In2, R2 | R>
|
|
1835
1800
|
/**
|
|
1836
1801
|
* Combines two schedules, continuing only if both schedules want to continue,
|
|
1837
1802
|
* using the longer delay.
|
|
@@ -1854,10 +1819,7 @@ export const intersect: {
|
|
|
1854
1819
|
* @since 2.0.0
|
|
1855
1820
|
* @category Composition
|
|
1856
1821
|
*/
|
|
1857
|
-
<Out, In, R, Out2, In2, R2>(
|
|
1858
|
-
self: Schedule<Out, In, R>,
|
|
1859
|
-
that: Schedule<Out2, In2, R2>
|
|
1860
|
-
): Schedule<[Out, Out2], In & In2, R | R2>
|
|
1822
|
+
<Out, In, R, Out2, In2, R2>(self: Schedule<Out, In, R>, that: Schedule<Out2, In2, R2>): Schedule<[Out, Out2], In & In2, R | R2>
|
|
1861
1823
|
} = internal.intersect
|
|
1862
1824
|
|
|
1863
1825
|
/**
|
|
@@ -1994,9 +1956,7 @@ export const jitteredWith: {
|
|
|
1994
1956
|
* @since 2.0.0
|
|
1995
1957
|
* @category Timing & Delay
|
|
1996
1958
|
*/
|
|
1997
|
-
(
|
|
1998
|
-
options: { min?: number | undefined; max?: number | undefined }
|
|
1999
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R>
|
|
1959
|
+
(options: { min?: number | undefined; max?: number | undefined }): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R>
|
|
2000
1960
|
/**
|
|
2001
1961
|
* Returns a new schedule that randomly adjusts the interval size within a
|
|
2002
1962
|
* user-defined range.
|
|
@@ -2149,9 +2109,7 @@ export const mapEffect: {
|
|
|
2149
2109
|
* @since 2.0.0
|
|
2150
2110
|
* @category Mapping
|
|
2151
2111
|
*/
|
|
2152
|
-
<Out, Out2, R2>(
|
|
2153
|
-
f: (out: Out) => Effect.Effect<Out2, never, R2>
|
|
2154
|
-
): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out2, In, R2 | R>
|
|
2112
|
+
<Out, Out2, R2>(f: (out: Out) => Effect.Effect<Out2, never, R2>): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out2, In, R2 | R>
|
|
2155
2113
|
/**
|
|
2156
2114
|
* Returns a new schedule that applies an effectful transformation to its
|
|
2157
2115
|
* output.
|
|
@@ -2210,9 +2168,7 @@ export const modifyDelay: {
|
|
|
2210
2168
|
* @since 2.0.0
|
|
2211
2169
|
* @category Timing & Delay
|
|
2212
2170
|
*/
|
|
2213
|
-
<Out>(
|
|
2214
|
-
f: (out: Out, duration: Duration.Duration) => Duration.DurationInput
|
|
2215
|
-
): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R>
|
|
2171
|
+
<Out>(f: (out: Out, duration: Duration.Duration) => Duration.DurationInput): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R>
|
|
2216
2172
|
/**
|
|
2217
2173
|
* Returns a new schedule that modifies the delay between executions using a
|
|
2218
2174
|
* custom function.
|
|
@@ -2450,10 +2406,7 @@ export const provideService: {
|
|
|
2450
2406
|
* @since 2.0.0
|
|
2451
2407
|
* @category Context
|
|
2452
2408
|
*/
|
|
2453
|
-
<I, S>(
|
|
2454
|
-
tag: Context.Tag<I, S>,
|
|
2455
|
-
service: Types.NoInfer<S>
|
|
2456
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, Exclude<R, I>>
|
|
2409
|
+
<I, S>(tag: Context.Tag<I, S>, service: Types.NoInfer<S>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, Exclude<R, I>>
|
|
2457
2410
|
/**
|
|
2458
2411
|
* Returns a new schedule with a single required service provided, eliminating
|
|
2459
2412
|
* the need for external dependencies.
|
|
@@ -2696,10 +2649,7 @@ export const reduceEffect: {
|
|
|
2696
2649
|
* @since 2.0.0
|
|
2697
2650
|
* @category Reducing
|
|
2698
2651
|
*/
|
|
2699
|
-
<Z, Out, R2>(
|
|
2700
|
-
zero: Z,
|
|
2701
|
-
f: (z: Z, out: Out) => Effect.Effect<Z, never, R2>
|
|
2702
|
-
): <In, R>(self: Schedule<Out, In, R>) => Schedule<Z, In, R2 | R>
|
|
2652
|
+
<Z, Out, R2>(zero: Z, f: (z: Z, out: Out) => Effect.Effect<Z, never, R2>): <In, R>(self: Schedule<Out, In, R>) => Schedule<Z, In, R2 | R>
|
|
2703
2653
|
/**
|
|
2704
2654
|
* Returns a new schedule that effectfully folds over the outputs of this one.
|
|
2705
2655
|
*
|
|
@@ -2873,10 +2823,7 @@ export const run: {
|
|
|
2873
2823
|
* @since 2.0.0
|
|
2874
2824
|
* @category Execution
|
|
2875
2825
|
*/
|
|
2876
|
-
<In>(
|
|
2877
|
-
now: number,
|
|
2878
|
-
input: Iterable<In>
|
|
2879
|
-
): <Out, R>(self: Schedule<Out, In, R>) => Effect.Effect<Chunk.Chunk<Out>, never, R>
|
|
2826
|
+
<In>(now: number, input: Iterable<In>): <Out, R>(self: Schedule<Out, In, R>) => Effect.Effect<Chunk.Chunk<Out>, never, R>
|
|
2880
2827
|
/**
|
|
2881
2828
|
* Runs a schedule using the provided inputs and collects all outputs.
|
|
2882
2829
|
*
|
|
@@ -2965,9 +2912,7 @@ export const tapInput: {
|
|
|
2965
2912
|
* @since 2.0.0
|
|
2966
2913
|
* @category Tapping
|
|
2967
2914
|
*/
|
|
2968
|
-
<In2, X, R2>(
|
|
2969
|
-
f: (input: In2) => Effect.Effect<X, never, R2>
|
|
2970
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In & In2, R2 | R>
|
|
2915
|
+
<In2, X, R2>(f: (input: In2) => Effect.Effect<X, never, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In & In2, R2 | R>
|
|
2971
2916
|
/**
|
|
2972
2917
|
* Returns a new schedule that runs the given effectful function for each input
|
|
2973
2918
|
* before continuing execution.
|
|
@@ -2981,10 +2926,7 @@ export const tapInput: {
|
|
|
2981
2926
|
* @since 2.0.0
|
|
2982
2927
|
* @category Tapping
|
|
2983
2928
|
*/
|
|
2984
|
-
<Out, In, R, In2, X, R2>(
|
|
2985
|
-
self: Schedule<Out, In, R>,
|
|
2986
|
-
f: (input: In2) => Effect.Effect<X, never, R2>
|
|
2987
|
-
): Schedule<Out, In & In2, R | R2>
|
|
2929
|
+
<Out, In, R, In2, X, R2>(self: Schedule<Out, In, R>, f: (input: In2) => Effect.Effect<X, never, R2>): Schedule<Out, In & In2, R | R2>
|
|
2988
2930
|
} = internal.tapInput
|
|
2989
2931
|
|
|
2990
2932
|
/**
|
|
@@ -3014,9 +2956,7 @@ export const tapOutput: {
|
|
|
3014
2956
|
* @since 2.0.0
|
|
3015
2957
|
* @category Tapping
|
|
3016
2958
|
*/
|
|
3017
|
-
<X, R2, Out>(
|
|
3018
|
-
f: (out: Types.NoInfer<Out>) => Effect.Effect<X, never, R2>
|
|
3019
|
-
): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
2959
|
+
<X, R2, Out>(f: (out: Types.NoInfer<Out>) => Effect.Effect<X, never, R2>): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3020
2960
|
/**
|
|
3021
2961
|
* Returns a new schedule that runs the given effectful function for each output
|
|
3022
2962
|
* before continuing execution.
|
|
@@ -3030,10 +2970,7 @@ export const tapOutput: {
|
|
|
3030
2970
|
* @since 2.0.0
|
|
3031
2971
|
* @category Tapping
|
|
3032
2972
|
*/
|
|
3033
|
-
<Out, In, R, X, R2>(
|
|
3034
|
-
self: Schedule<Out, In, R>,
|
|
3035
|
-
f: (out: Out) => Effect.Effect<X, never, R2>
|
|
3036
|
-
): Schedule<Out, In, R | R2>
|
|
2973
|
+
<Out, In, R, X, R2>(self: Schedule<Out, In, R>, f: (out: Out) => Effect.Effect<X, never, R2>): Schedule<Out, In, R | R2>
|
|
3037
2974
|
} = internal.tapOutput
|
|
3038
2975
|
|
|
3039
2976
|
/**
|
|
@@ -3096,9 +3033,7 @@ export const union: {
|
|
|
3096
3033
|
* @since 2.0.0
|
|
3097
3034
|
* @category Composition
|
|
3098
3035
|
*/
|
|
3099
|
-
<Out2, In2, R2>(
|
|
3100
|
-
that: Schedule<Out2, In2, R2>
|
|
3101
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<[Out, Out2], In & In2, R2 | R>
|
|
3036
|
+
<Out2, In2, R2>(that: Schedule<Out2, In2, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<[Out, Out2], In & In2, R2 | R>
|
|
3102
3037
|
/**
|
|
3103
3038
|
* Combines two schedules, continuing execution as long as at least one of them
|
|
3104
3039
|
* allows it, using the shorter delay.
|
|
@@ -3121,10 +3056,7 @@ export const union: {
|
|
|
3121
3056
|
* @since 2.0.0
|
|
3122
3057
|
* @category Composition
|
|
3123
3058
|
*/
|
|
3124
|
-
<Out, In, R, Out2, In2, R2>(
|
|
3125
|
-
self: Schedule<Out, In, R>,
|
|
3126
|
-
that: Schedule<Out2, In2, R2>
|
|
3127
|
-
): Schedule<[Out, Out2], In & In2, R | R2>
|
|
3059
|
+
<Out, In, R, Out2, In2, R2>(self: Schedule<Out, In, R>, that: Schedule<Out2, In2, R2>): Schedule<[Out, Out2], In & In2, R | R2>
|
|
3128
3060
|
} = internal.union
|
|
3129
3061
|
|
|
3130
3062
|
/**
|
|
@@ -3294,9 +3226,7 @@ export const untilInputEffect: {
|
|
|
3294
3226
|
* @since 2.0.0
|
|
3295
3227
|
* @category Recurrence Conditions
|
|
3296
3228
|
*/
|
|
3297
|
-
<In, R2>(
|
|
3298
|
-
f: (input: In) => Effect.Effect<boolean, never, R2>
|
|
3299
|
-
): <Out, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3229
|
+
<In, R2>(f: (input: In) => Effect.Effect<boolean, never, R2>): <Out, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3300
3230
|
/**
|
|
3301
3231
|
* Returns a new schedule that stops execution when the given effectful
|
|
3302
3232
|
* predicate on the input evaluates to `true`.
|
|
@@ -3409,9 +3339,7 @@ export const untilOutputEffect: {
|
|
|
3409
3339
|
* @since 2.0.0
|
|
3410
3340
|
* @category Recurrence Conditions
|
|
3411
3341
|
*/
|
|
3412
|
-
<Out, R2>(
|
|
3413
|
-
f: (out: Out) => Effect.Effect<boolean, never, R2>
|
|
3414
|
-
): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3342
|
+
<Out, R2>(f: (out: Out) => Effect.Effect<boolean, never, R2>): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3415
3343
|
/**
|
|
3416
3344
|
* Returns a new schedule that stops execution when the given effectful
|
|
3417
3345
|
* predicate on the output evaluates to `true`.
|
|
@@ -3555,9 +3483,7 @@ export const whileInputEffect: {
|
|
|
3555
3483
|
* @since 2.0.0
|
|
3556
3484
|
* @category Recurrence Conditions
|
|
3557
3485
|
*/
|
|
3558
|
-
<In, R2>(
|
|
3559
|
-
f: (input: In) => Effect.Effect<boolean, never, R2>
|
|
3560
|
-
): <Out, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3486
|
+
<In, R2>(f: (input: In) => Effect.Effect<boolean, never, R2>): <Out, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3561
3487
|
/**
|
|
3562
3488
|
* Returns a new schedule that continues execution for as long as the given
|
|
3563
3489
|
* effectful predicate on the input evaluates to `true`.
|
|
@@ -3660,9 +3586,7 @@ export const whileOutputEffect: {
|
|
|
3660
3586
|
* @since 2.0.0
|
|
3661
3587
|
* @category Recurrence Conditions
|
|
3662
3588
|
*/
|
|
3663
|
-
<Out, R2>(
|
|
3664
|
-
f: (out: Out) => Effect.Effect<boolean, never, R2>
|
|
3665
|
-
): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3589
|
+
<Out, R2>(f: (out: Out) => Effect.Effect<boolean, never, R2>): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In, R2 | R>
|
|
3666
3590
|
/**
|
|
3667
3591
|
* Returns a new schedule that continues execution for as long as the given
|
|
3668
3592
|
* effectful predicate on the output evaluates to `true`.
|
|
@@ -3722,19 +3646,14 @@ export const zipLeft: {
|
|
|
3722
3646
|
* @since 2.0.0
|
|
3723
3647
|
* @category Composition
|
|
3724
3648
|
*/
|
|
3725
|
-
<Out2, In2, R2>(
|
|
3726
|
-
that: Schedule<Out2, In2, R2>
|
|
3727
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In & In2, R2 | R>
|
|
3649
|
+
<Out2, In2, R2>(that: Schedule<Out2, In2, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out, In & In2, R2 | R>
|
|
3728
3650
|
/**
|
|
3729
3651
|
* The same as {@link intersect} but ignores the right output.
|
|
3730
3652
|
*
|
|
3731
3653
|
* @since 2.0.0
|
|
3732
3654
|
* @category Composition
|
|
3733
3655
|
*/
|
|
3734
|
-
<Out, In, R, Out2, In2, R2>(
|
|
3735
|
-
self: Schedule<Out, In, R>,
|
|
3736
|
-
that: Schedule<Out2, In2, R2>
|
|
3737
|
-
): Schedule<Out, In & In2, R | R2>
|
|
3656
|
+
<Out, In, R, Out2, In2, R2>(self: Schedule<Out, In, R>, that: Schedule<Out2, In2, R2>): Schedule<Out, In & In2, R | R2>
|
|
3738
3657
|
} = internal.zipLeft
|
|
3739
3658
|
|
|
3740
3659
|
/**
|
|
@@ -3750,19 +3669,14 @@ export const zipRight: {
|
|
|
3750
3669
|
* @since 2.0.0
|
|
3751
3670
|
* @category Composition
|
|
3752
3671
|
*/
|
|
3753
|
-
<Out2, In2, R2>(
|
|
3754
|
-
that: Schedule<Out2, In2, R2>
|
|
3755
|
-
): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out2, In & In2, R2 | R>
|
|
3672
|
+
<Out2, In2, R2>(that: Schedule<Out2, In2, R2>): <Out, In, R>(self: Schedule<Out, In, R>) => Schedule<Out2, In & In2, R2 | R>
|
|
3756
3673
|
/**
|
|
3757
3674
|
* The same as {@link intersect} but ignores the left output.
|
|
3758
3675
|
*
|
|
3759
3676
|
* @since 2.0.0
|
|
3760
3677
|
* @category Composition
|
|
3761
3678
|
*/
|
|
3762
|
-
<Out, In, R, Out2, In2, R2>(
|
|
3763
|
-
self: Schedule<Out, In, R>,
|
|
3764
|
-
that: Schedule<Out2, In2, R2>
|
|
3765
|
-
): Schedule<Out2, In & In2, R | R2>
|
|
3679
|
+
<Out, In, R, Out2, In2, R2>(self: Schedule<Out, In, R>, that: Schedule<Out2, In2, R2>): Schedule<Out2, In & In2, R | R2>
|
|
3766
3680
|
} = internal.zipRight
|
|
3767
3681
|
|
|
3768
3682
|
/**
|
|
@@ -3778,10 +3692,7 @@ export const zipWith: {
|
|
|
3778
3692
|
* @since 2.0.0
|
|
3779
3693
|
* @category Composition
|
|
3780
3694
|
*/
|
|
3781
|
-
<Out2, In2, R2, Out, Out3>(
|
|
3782
|
-
that: Schedule<Out2, In2, R2>,
|
|
3783
|
-
f: (out: Out, out2: Out2) => Out3
|
|
3784
|
-
): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out3, In & In2, R2 | R>
|
|
3695
|
+
<Out2, In2, R2, Out, Out3>(that: Schedule<Out2, In2, R2>, f: (out: Out, out2: Out2) => Out3): <In, R>(self: Schedule<Out, In, R>) => Schedule<Out3, In & In2, R2 | R>
|
|
3785
3696
|
/**
|
|
3786
3697
|
* Equivalent to {@link intersect} followed by {@link map}.
|
|
3787
3698
|
*
|