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/Predicate.ts
CHANGED
|
@@ -1040,9 +1040,7 @@ export const tuple: {
|
|
|
1040
1040
|
*
|
|
1041
1041
|
* @since 2.0.0
|
|
1042
1042
|
*/
|
|
1043
|
-
<T extends ReadonlyArray<Predicate.Any>>(
|
|
1044
|
-
...elements: T
|
|
1045
|
-
): [Extract<T[number], Refinement.Any>] extends [never] ? Predicate<{ readonly [I in keyof T]: Predicate.In<T[I]> }>
|
|
1043
|
+
<T extends ReadonlyArray<Predicate.Any>>(...elements: T): [Extract<T[number], Refinement.Any>] extends [never] ? Predicate<{ readonly [I in keyof T]: Predicate.In<T[I]> }>
|
|
1046
1044
|
: Refinement<
|
|
1047
1045
|
{ readonly [I in keyof T]: T[I] extends Refinement.Any ? Refinement.In<T[I]> : Predicate.In<T[I]> },
|
|
1048
1046
|
{ readonly [I in keyof T]: T[I] extends Refinement.Any ? Refinement.Out<T[I]> : Predicate.In<T[I]> }
|
|
@@ -1068,9 +1066,7 @@ export const struct: {
|
|
|
1068
1066
|
*
|
|
1069
1067
|
* @since 2.0.0
|
|
1070
1068
|
*/
|
|
1071
|
-
<R extends Record<string, Predicate.Any>>(
|
|
1072
|
-
fields: R
|
|
1073
|
-
): [Extract<R[keyof R], Refinement.Any>] extends [never] ?
|
|
1069
|
+
<R extends Record<string, Predicate.Any>>(fields: R): [Extract<R[keyof R], Refinement.Any>] extends [never] ?
|
|
1074
1070
|
Predicate<{ readonly [K in keyof R]: Predicate.In<R[K]> }> :
|
|
1075
1071
|
Refinement<
|
|
1076
1072
|
{ readonly [K in keyof R]: R[K] extends Refinement.Any ? Refinement.In<R[K]> : Predicate.In<R[K]> },
|
package/src/RcMap.ts
CHANGED
|
@@ -113,11 +113,11 @@ export const make: {
|
|
|
113
113
|
* ```
|
|
114
114
|
*/
|
|
115
115
|
<K, A, E, R>(
|
|
116
|
-
|
|
117
|
-
|
|
118
|
-
|
|
119
|
-
|
|
120
|
-
|
|
116
|
+
options: {
|
|
117
|
+
readonly lookup: (key: K) => Effect.Effect<A, E, R>
|
|
118
|
+
readonly idleTimeToLive?: Duration.DurationInput | undefined
|
|
119
|
+
readonly capacity?: undefined
|
|
120
|
+
}
|
|
121
121
|
): Effect.Effect<RcMap<K, A, E>, never, Scope.Scope | R>
|
|
122
122
|
/**
|
|
123
123
|
* An `RcMap` can contain multiple reference counted resources that can be indexed
|
|
@@ -153,11 +153,11 @@ export const make: {
|
|
|
153
153
|
* ```
|
|
154
154
|
*/
|
|
155
155
|
<K, A, E, R>(
|
|
156
|
-
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
156
|
+
options: {
|
|
157
|
+
readonly lookup: (key: K) => Effect.Effect<A, E, R>
|
|
158
|
+
readonly idleTimeToLive?: Duration.DurationInput | undefined
|
|
159
|
+
readonly capacity: number
|
|
160
|
+
}
|
|
161
161
|
): Effect.Effect<RcMap<K, A, E | Cause.ExceededCapacityException>, never, Scope.Scope | R>
|
|
162
162
|
} = internal.make
|
|
163
163
|
|
package/src/Record.ts
CHANGED
|
@@ -147,9 +147,7 @@ export const fromIterableWith: {
|
|
|
147
147
|
* @category constructors
|
|
148
148
|
* @since 2.0.0
|
|
149
149
|
*/
|
|
150
|
-
<A, K extends string | symbol, B>(
|
|
151
|
-
f: (a: A) => readonly [K, B]
|
|
152
|
-
): (self: Iterable<A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
150
|
+
<A, K extends string | symbol, B>(f: (a: A) => readonly [K, B]): (self: Iterable<A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
153
151
|
/**
|
|
154
152
|
* Takes an iterable and a projection function and returns a record.
|
|
155
153
|
* The projection function maps each value of the iterable to a tuple of a key and a value, which is then added to the resulting record.
|
|
@@ -172,10 +170,7 @@ export const fromIterableWith: {
|
|
|
172
170
|
* @category constructors
|
|
173
171
|
* @since 2.0.0
|
|
174
172
|
*/
|
|
175
|
-
<A, K extends string | symbol, B>(
|
|
176
|
-
self: Iterable<A>,
|
|
177
|
-
f: (a: A) => readonly [K, B]
|
|
178
|
-
): Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
173
|
+
<A, K extends string | symbol, B>(self: Iterable<A>, f: (a: A) => readonly [K, B]): Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
179
174
|
} = dual(
|
|
180
175
|
2,
|
|
181
176
|
<A, K extends string, B>(
|
|
@@ -615,10 +610,7 @@ export const modifyOption: {
|
|
|
615
610
|
*
|
|
616
611
|
* @since 2.0.0
|
|
617
612
|
*/
|
|
618
|
-
<K extends string | symbol, A, B>(
|
|
619
|
-
key: NoInfer<K>,
|
|
620
|
-
f: (a: A) => B
|
|
621
|
-
): (self: ReadonlyRecord<K, A>) => Option.Option<Record<K, A | B>>
|
|
613
|
+
<K extends string | symbol, A, B>(key: NoInfer<K>, f: (a: A) => B): (self: ReadonlyRecord<K, A>) => Option.Option<Record<K, A | B>>
|
|
622
614
|
/**
|
|
623
615
|
* Apply a function to the element at the specified key, creating a new record,
|
|
624
616
|
* or return `None` if the key doesn't exist.
|
|
@@ -645,11 +637,7 @@ export const modifyOption: {
|
|
|
645
637
|
*
|
|
646
638
|
* @since 2.0.0
|
|
647
639
|
*/
|
|
648
|
-
<K extends string | symbol, A, B>(
|
|
649
|
-
self: ReadonlyRecord<K, A>,
|
|
650
|
-
key: NoInfer<K>,
|
|
651
|
-
f: (a: A) => B
|
|
652
|
-
): Option.Option<Record<K, A | B>>
|
|
640
|
+
<K extends string | symbol, A, B>(self: ReadonlyRecord<K, A>, key: NoInfer<K>, f: (a: A) => B): Option.Option<Record<K, A | B>>
|
|
653
641
|
} = dual(
|
|
654
642
|
3,
|
|
655
643
|
<K extends string | symbol, A, B>(
|
|
@@ -705,10 +693,7 @@ export const replaceOption: {
|
|
|
705
693
|
*
|
|
706
694
|
* @since 2.0.0
|
|
707
695
|
*/
|
|
708
|
-
<K extends string | symbol, B>(
|
|
709
|
-
key: NoInfer<K>,
|
|
710
|
-
b: B
|
|
711
|
-
): <A>(self: ReadonlyRecord<K, A>) => Option.Option<Record<K, A | B>>
|
|
696
|
+
<K extends string | symbol, B>(key: NoInfer<K>, b: B): <A>(self: ReadonlyRecord<K, A>) => Option.Option<Record<K, A | B>>
|
|
712
697
|
/**
|
|
713
698
|
* Replaces a value in the record with the new value passed as parameter.
|
|
714
699
|
*
|
|
@@ -841,9 +826,7 @@ export const pop: {
|
|
|
841
826
|
* @category record
|
|
842
827
|
* @since 2.0.0
|
|
843
828
|
*/
|
|
844
|
-
<K extends string | symbol, X extends K>(
|
|
845
|
-
key: X
|
|
846
|
-
): <A>(self: ReadonlyRecord<K, A>) => Option.Option<[A, Record<Exclude<K, X>, A>]>
|
|
829
|
+
<K extends string | symbol, X extends K>(key: X): <A>(self: ReadonlyRecord<K, A>) => Option.Option<[A, Record<Exclude<K, X>, A>]>
|
|
847
830
|
/**
|
|
848
831
|
* Retrieves the value of the property with the given `key` from a record and returns an `Option`
|
|
849
832
|
* of a tuple with the value and the record with the removed property.
|
|
@@ -863,10 +846,7 @@ export const pop: {
|
|
|
863
846
|
* @category record
|
|
864
847
|
* @since 2.0.0
|
|
865
848
|
*/
|
|
866
|
-
<K extends string | symbol, A, X extends K>(
|
|
867
|
-
self: ReadonlyRecord<K, A>,
|
|
868
|
-
key: X
|
|
869
|
-
): Option.Option<[A, Record<Exclude<K, X>, A>]>
|
|
849
|
+
<K extends string | symbol, A, X extends K>(self: ReadonlyRecord<K, A>, key: X): Option.Option<[A, Record<Exclude<K, X>, A>]>
|
|
870
850
|
} = dual(2, <K extends string | symbol, A, X extends K>(
|
|
871
851
|
self: ReadonlyRecord<K, A>,
|
|
872
852
|
key: X
|
|
@@ -1037,9 +1017,7 @@ export const mapEntries: {
|
|
|
1037
1017
|
* @category mapping
|
|
1038
1018
|
* @since 2.0.0
|
|
1039
1019
|
*/
|
|
1040
|
-
<K extends string, A, K2 extends string, B>(
|
|
1041
|
-
f: (a: A, key: K) => readonly [K2, B]
|
|
1042
|
-
): (self: ReadonlyRecord<K, A>) => Record<K2, B>
|
|
1020
|
+
<K extends string, A, K2 extends string, B>(f: (a: A, key: K) => readonly [K2, B]): (self: ReadonlyRecord<K, A>) => Record<K2, B>
|
|
1043
1021
|
/**
|
|
1044
1022
|
* Maps entries of a `ReadonlyRecord` using the provided function, allowing modification of both keys and corresponding values.
|
|
1045
1023
|
*
|
|
@@ -1106,9 +1084,7 @@ export const filterMap: {
|
|
|
1106
1084
|
*
|
|
1107
1085
|
* @since 2.0.0
|
|
1108
1086
|
*/
|
|
1109
|
-
<K extends string, A, B>(
|
|
1110
|
-
f: (a: A, key: K) => Option.Option<B>
|
|
1111
|
-
): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
1087
|
+
<K extends string, A, B>(f: (a: A, key: K) => Option.Option<B>): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
1112
1088
|
/**
|
|
1113
1089
|
* Transforms a record into a record by applying the function `f` to each key and value in the original record.
|
|
1114
1090
|
* If the function returns `Some`, the key-value pair is included in the output record.
|
|
@@ -1127,10 +1103,7 @@ export const filterMap: {
|
|
|
1127
1103
|
*
|
|
1128
1104
|
* @since 2.0.0
|
|
1129
1105
|
*/
|
|
1130
|
-
<K extends string, A, B>(
|
|
1131
|
-
self: ReadonlyRecord<K, A>,
|
|
1132
|
-
f: (a: A, key: K) => Option.Option<B>
|
|
1133
|
-
): Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
1106
|
+
<K extends string, A, B>(self: ReadonlyRecord<K, A>, f: (a: A, key: K) => Option.Option<B>): Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
1134
1107
|
} = dual(
|
|
1135
1108
|
2,
|
|
1136
1109
|
<K extends string, A, B>(
|
|
@@ -1183,9 +1156,7 @@ export const filter: {
|
|
|
1183
1156
|
* @category filtering
|
|
1184
1157
|
* @since 2.0.0
|
|
1185
1158
|
*/
|
|
1186
|
-
<K extends string, A, B extends A>(
|
|
1187
|
-
refinement: (a: NoInfer<A>, key: K) => a is B
|
|
1188
|
-
): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
1159
|
+
<K extends string, A, B extends A>(refinement: (a: NoInfer<A>, key: K) => a is B): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
1189
1160
|
/**
|
|
1190
1161
|
* Selects properties from a record whose values match the given predicate.
|
|
1191
1162
|
*
|
|
@@ -1203,9 +1174,7 @@ export const filter: {
|
|
|
1203
1174
|
* @category filtering
|
|
1204
1175
|
* @since 2.0.0
|
|
1205
1176
|
*/
|
|
1206
|
-
<K extends string, A>(
|
|
1207
|
-
predicate: (A: NoInfer<A>, key: K) => boolean
|
|
1208
|
-
): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, A>
|
|
1177
|
+
<K extends string, A>(predicate: (A: NoInfer<A>, key: K) => boolean): (self: ReadonlyRecord<K, A>) => Record<ReadonlyRecord.NonLiteralKey<K>, A>
|
|
1209
1178
|
/**
|
|
1210
1179
|
* Selects properties from a record whose values match the given predicate.
|
|
1211
1180
|
*
|
|
@@ -1223,10 +1192,7 @@ export const filter: {
|
|
|
1223
1192
|
* @category filtering
|
|
1224
1193
|
* @since 2.0.0
|
|
1225
1194
|
*/
|
|
1226
|
-
<K extends string, A, B extends A>(
|
|
1227
|
-
self: ReadonlyRecord<K, A>,
|
|
1228
|
-
refinement: (a: A, key: K) => a is B
|
|
1229
|
-
): Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
1195
|
+
<K extends string, A, B extends A>(self: ReadonlyRecord<K, A>, refinement: (a: A, key: K) => a is B): Record<ReadonlyRecord.NonLiteralKey<K>, B>
|
|
1230
1196
|
/**
|
|
1231
1197
|
* Selects properties from a record whose values match the given predicate.
|
|
1232
1198
|
*
|
|
@@ -1244,10 +1210,7 @@ export const filter: {
|
|
|
1244
1210
|
* @category filtering
|
|
1245
1211
|
* @since 2.0.0
|
|
1246
1212
|
*/
|
|
1247
|
-
<K extends string, A>(
|
|
1248
|
-
self: ReadonlyRecord<K, A>,
|
|
1249
|
-
predicate: (a: A, key: K) => boolean
|
|
1250
|
-
): Record<ReadonlyRecord.NonLiteralKey<K>, A>
|
|
1213
|
+
<K extends string, A>(self: ReadonlyRecord<K, A>, predicate: (a: A, key: K) => boolean): Record<ReadonlyRecord.NonLiteralKey<K>, A>
|
|
1251
1214
|
} = dual(
|
|
1252
1215
|
2,
|
|
1253
1216
|
<K extends string, A>(
|
|
@@ -1406,10 +1369,7 @@ export const partitionMap: {
|
|
|
1406
1369
|
* @category filtering
|
|
1407
1370
|
* @since 2.0.0
|
|
1408
1371
|
*/
|
|
1409
|
-
<K extends string, A, B, C>(
|
|
1410
|
-
self: ReadonlyRecord<K, A>,
|
|
1411
|
-
f: (a: A, key: K) => Either<C, B>
|
|
1412
|
-
): [left: Record<ReadonlyRecord.NonLiteralKey<K>, B>, right: Record<ReadonlyRecord.NonLiteralKey<K>, C>]
|
|
1372
|
+
<K extends string, A, B, C>(self: ReadonlyRecord<K, A>, f: (a: A, key: K) => Either<C, B>): [left: Record<ReadonlyRecord.NonLiteralKey<K>, B>, right: Record<ReadonlyRecord.NonLiteralKey<K>, C>]
|
|
1413
1373
|
} = dual(
|
|
1414
1374
|
2,
|
|
1415
1375
|
<K extends string, A, B, C>(
|
|
@@ -1562,10 +1522,7 @@ export const partition: {
|
|
|
1562
1522
|
* @category filtering
|
|
1563
1523
|
* @since 2.0.0
|
|
1564
1524
|
*/
|
|
1565
|
-
<K extends string, A>(
|
|
1566
|
-
self: ReadonlyRecord<K, A>,
|
|
1567
|
-
predicate: (a: A, key: K) => boolean
|
|
1568
|
-
): [excluded: Record<ReadonlyRecord.NonLiteralKey<K>, A>, satisfying: Record<ReadonlyRecord.NonLiteralKey<K>, A>]
|
|
1525
|
+
<K extends string, A>(self: ReadonlyRecord<K, A>, predicate: (a: A, key: K) => boolean): [excluded: Record<ReadonlyRecord.NonLiteralKey<K>, A>, satisfying: Record<ReadonlyRecord.NonLiteralKey<K>, A>]
|
|
1569
1526
|
} = dual(
|
|
1570
1527
|
2,
|
|
1571
1528
|
<K extends string, A>(
|
|
@@ -1639,10 +1596,7 @@ export const set: {
|
|
|
1639
1596
|
*
|
|
1640
1597
|
* @since 2.0.0
|
|
1641
1598
|
*/
|
|
1642
|
-
<K extends string | symbol, K1 extends K | ((string | symbol) & {}), B>(
|
|
1643
|
-
key: K1,
|
|
1644
|
-
value: B
|
|
1645
|
-
): <A>(self: ReadonlyRecord<K, A>) => Record<K | K1, A | B>
|
|
1599
|
+
<K extends string | symbol, K1 extends K | ((string | symbol) & {}), B>(key: K1, value: B): <A>(self: ReadonlyRecord<K, A>) => Record<K | K1, A | B>
|
|
1646
1600
|
/**
|
|
1647
1601
|
* Add a new key-value pair or update an existing key's value in a record.
|
|
1648
1602
|
*
|
|
@@ -1660,11 +1614,7 @@ export const set: {
|
|
|
1660
1614
|
*
|
|
1661
1615
|
* @since 2.0.0
|
|
1662
1616
|
*/
|
|
1663
|
-
<K extends string | symbol, A, K1 extends K | ((string | symbol) & {}), B>(
|
|
1664
|
-
self: ReadonlyRecord<K, A>,
|
|
1665
|
-
key: K1,
|
|
1666
|
-
value: B
|
|
1667
|
-
): Record<K | K1, A | B>
|
|
1617
|
+
<K extends string | symbol, A, K1 extends K | ((string | symbol) & {}), B>(self: ReadonlyRecord<K, A>, key: K1, value: B): Record<K | K1, A | B>
|
|
1668
1618
|
} = dual(
|
|
1669
1619
|
3,
|
|
1670
1620
|
<K extends string | symbol, A, K1 extends K | ((string | symbol) & {}), B>(
|
|
@@ -1866,9 +1816,7 @@ export const every: {
|
|
|
1866
1816
|
*
|
|
1867
1817
|
* @since 2.0.0
|
|
1868
1818
|
*/
|
|
1869
|
-
<A, K extends string, B extends A>(
|
|
1870
|
-
refinement: (value: A, key: K) => value is B
|
|
1871
|
-
): (self: ReadonlyRecord<K, A>) => self is ReadonlyRecord<K, B>
|
|
1819
|
+
<A, K extends string, B extends A>(refinement: (value: A, key: K) => value is B): (self: ReadonlyRecord<K, A>) => self is ReadonlyRecord<K, B>
|
|
1872
1820
|
/**
|
|
1873
1821
|
* Check if all entries in a record meet a specific condition.
|
|
1874
1822
|
*
|
|
@@ -1886,10 +1834,7 @@ export const every: {
|
|
|
1886
1834
|
*
|
|
1887
1835
|
* @since 2.0.0
|
|
1888
1836
|
*/
|
|
1889
|
-
<A, K extends string, B extends A>(
|
|
1890
|
-
self: ReadonlyRecord<K, A>,
|
|
1891
|
-
refinement: (value: A, key: K) => value is B
|
|
1892
|
-
): self is ReadonlyRecord<K, B>
|
|
1837
|
+
<A, K extends string, B extends A>(self: ReadonlyRecord<K, A>, refinement: (value: A, key: K) => value is B): self is ReadonlyRecord<K, B>
|
|
1893
1838
|
/**
|
|
1894
1839
|
* Check if all entries in a record meet a specific condition.
|
|
1895
1840
|
*
|
|
@@ -1972,10 +1917,7 @@ export const union: {
|
|
|
1972
1917
|
*
|
|
1973
1918
|
* @since 2.0.0
|
|
1974
1919
|
*/
|
|
1975
|
-
<K1 extends string, A, B, C>(
|
|
1976
|
-
that: ReadonlyRecord<K1, B>,
|
|
1977
|
-
combine: (selfValue: A, thatValue: B) => C
|
|
1978
|
-
): <K0 extends string>(self: ReadonlyRecord<K0, A>) => Record<K0 | K1, A | B | C>
|
|
1920
|
+
<K1 extends string, A, B, C>(that: ReadonlyRecord<K1, B>, combine: (selfValue: A, thatValue: B) => C): <K0 extends string>(self: ReadonlyRecord<K0, A>) => Record<K0 | K1, A | B | C>
|
|
1979
1921
|
/**
|
|
1980
1922
|
* Merge two records, preserving entries that exist in either of the records.
|
|
1981
1923
|
*
|
|
@@ -2039,10 +1981,7 @@ export const intersection: {
|
|
|
2039
1981
|
*
|
|
2040
1982
|
* @since 2.0.0
|
|
2041
1983
|
*/
|
|
2042
|
-
<K1 extends string, A, B, C>(
|
|
2043
|
-
that: ReadonlyRecord<K1, B>,
|
|
2044
|
-
combine: (selfValue: A, thatValue: B) => C
|
|
2045
|
-
): <K0 extends string>(self: ReadonlyRecord<K0, A>) => Record<ReadonlyRecord.IntersectKeys<K0, K1>, C>
|
|
1984
|
+
<K1 extends string, A, B, C>(that: ReadonlyRecord<K1, B>, combine: (selfValue: A, thatValue: B) => C): <K0 extends string>(self: ReadonlyRecord<K0, A>) => Record<ReadonlyRecord.IntersectKeys<K0, K1>, C>
|
|
2046
1985
|
/**
|
|
2047
1986
|
* Merge two records, retaining only the entries that exist in both records.
|
|
2048
1987
|
*
|
|
@@ -2094,9 +2033,7 @@ export const difference: {
|
|
|
2094
2033
|
*
|
|
2095
2034
|
* @since 2.0.0
|
|
2096
2035
|
*/
|
|
2097
|
-
<K1 extends string, B>(
|
|
2098
|
-
that: ReadonlyRecord<K1, B>
|
|
2099
|
-
): <K0 extends string, A>(self: ReadonlyRecord<K0, A>) => Record<K0 | K1, A | B>
|
|
2036
|
+
<K1 extends string, B>(that: ReadonlyRecord<K1, B>): <K0 extends string, A>(self: ReadonlyRecord<K0, A>) => Record<K0 | K1, A | B>
|
|
2100
2037
|
/**
|
|
2101
2038
|
* Merge two records, preserving only the entries that are unique to each record.
|
|
2102
2039
|
*
|
|
@@ -2105,10 +2042,7 @@ export const difference: {
|
|
|
2105
2042
|
*
|
|
2106
2043
|
* @since 2.0.0
|
|
2107
2044
|
*/
|
|
2108
|
-
<K0 extends string, A, K1 extends string, B>(
|
|
2109
|
-
self: ReadonlyRecord<K0, A>,
|
|
2110
|
-
that: ReadonlyRecord<K1, B>
|
|
2111
|
-
): Record<K0 | K1, A | B>
|
|
2045
|
+
<K0 extends string, A, K1 extends string, B>(self: ReadonlyRecord<K0, A>, that: ReadonlyRecord<K1, B>): Record<K0 | K1, A | B>
|
|
2112
2046
|
} = dual(2, <K0 extends string, A, K1 extends string, B>(
|
|
2113
2047
|
self: ReadonlyRecord<K0, A>,
|
|
2114
2048
|
that: ReadonlyRecord<K1, B>
|
package/src/RedBlackTree.ts
CHANGED
|
@@ -622,11 +622,11 @@ export const forEachBetween: {
|
|
|
622
622
|
* @category traversing
|
|
623
623
|
*/
|
|
624
624
|
<K, V>(
|
|
625
|
-
|
|
626
|
-
|
|
627
|
-
|
|
628
|
-
|
|
629
|
-
|
|
625
|
+
options: {
|
|
626
|
+
readonly min: K
|
|
627
|
+
readonly max: K
|
|
628
|
+
readonly body: (key: K, value: V) => void
|
|
629
|
+
}
|
|
630
630
|
): (self: RedBlackTree<K, V>) => void
|
|
631
631
|
/**
|
|
632
632
|
* Visit each node of the tree in order with key lower than max and greater
|
|
@@ -636,12 +636,12 @@ export const forEachBetween: {
|
|
|
636
636
|
* @category traversing
|
|
637
637
|
*/
|
|
638
638
|
<K, V>(
|
|
639
|
-
|
|
640
|
-
|
|
641
|
-
|
|
642
|
-
|
|
643
|
-
|
|
644
|
-
|
|
639
|
+
self: RedBlackTree<K, V>,
|
|
640
|
+
options: {
|
|
641
|
+
readonly min: K
|
|
642
|
+
readonly max: K
|
|
643
|
+
readonly body: (key: K, value: V) => void
|
|
644
|
+
}
|
|
645
645
|
): void
|
|
646
646
|
} = RBT.forEachBetween
|
|
647
647
|
|
|
@@ -666,9 +666,9 @@ export const reduce: {
|
|
|
666
666
|
* @category folding
|
|
667
667
|
*/
|
|
668
668
|
<Z, V, K>(
|
|
669
|
-
|
|
670
|
-
|
|
671
|
-
|
|
669
|
+
self: RedBlackTree<K, V>,
|
|
670
|
+
zero: Z,
|
|
671
|
+
f: (accumulator: Z, value: V, key: K) => Z
|
|
672
672
|
): Z
|
|
673
673
|
} = RBT.reduce
|
|
674
674
|
|
package/src/Request.ts
CHANGED
|
@@ -232,9 +232,7 @@ export const completeEffect: {
|
|
|
232
232
|
* @since 2.0.0
|
|
233
233
|
* @category request completion
|
|
234
234
|
*/
|
|
235
|
-
<A extends Request<any, any>, R>(
|
|
236
|
-
effect: Effect.Effect<Request.Success<A>, Request.Error<A>, R>
|
|
237
|
-
): (self: A) => Effect.Effect<void, never, R>
|
|
235
|
+
<A extends Request<any, any>, R>(effect: Effect.Effect<Request.Success<A>, Request.Error<A>, R>): (self: A) => Effect.Effect<void, never, R>
|
|
238
236
|
/**
|
|
239
237
|
* Complete a `Request` with the specified effectful computation, failing the
|
|
240
238
|
* request with the error from the effect workflow if it fails, and completing
|
|
@@ -243,10 +241,7 @@ export const completeEffect: {
|
|
|
243
241
|
* @since 2.0.0
|
|
244
242
|
* @category request completion
|
|
245
243
|
*/
|
|
246
|
-
<A extends Request<any, any>, R>(
|
|
247
|
-
self: A,
|
|
248
|
-
effect: Effect.Effect<Request.Success<A>, Request.Error<A>, R>
|
|
249
|
-
): Effect.Effect<void, never, R>
|
|
244
|
+
<A extends Request<any, any>, R>(self: A, effect: Effect.Effect<Request.Success<A>, Request.Error<A>, R>): Effect.Effect<void, never, R>
|
|
250
245
|
} = internal.completeEffect
|
|
251
246
|
|
|
252
247
|
/**
|
package/src/RequestResolver.ts
CHANGED
|
@@ -302,9 +302,7 @@ export const mapInputContext: {
|
|
|
302
302
|
* @since 2.0.0
|
|
303
303
|
* @category context
|
|
304
304
|
*/
|
|
305
|
-
<R0, R>(
|
|
306
|
-
f: (context: Context.Context<R0>) => Context.Context<R>
|
|
307
|
-
): <A extends Request.Request<any, any>>(self: RequestResolver<A, R>) => RequestResolver<A, R0>
|
|
305
|
+
<R0, R>(f: (context: Context.Context<R0>) => Context.Context<R>): <A extends Request.Request<any, any>>(self: RequestResolver<A, R>) => RequestResolver<A, R0>
|
|
308
306
|
/**
|
|
309
307
|
* Provides this data source with part of its required context.
|
|
310
308
|
*
|
|
@@ -434,9 +432,7 @@ export const provideContext: {
|
|
|
434
432
|
* @since 2.0.0
|
|
435
433
|
* @category context
|
|
436
434
|
*/
|
|
437
|
-
<R>(
|
|
438
|
-
context: Context.Context<R>
|
|
439
|
-
): <A extends Request.Request<any, any>>(self: RequestResolver<A, R>) => RequestResolver<A>
|
|
435
|
+
<R>(context: Context.Context<R>): <A extends Request.Request<any, any>>(self: RequestResolver<A, R>) => RequestResolver<A>
|
|
440
436
|
/**
|
|
441
437
|
* Provides this data source with its required context.
|
|
442
438
|
*
|
|
@@ -463,9 +459,7 @@ export const race: {
|
|
|
463
459
|
* @since 2.0.0
|
|
464
460
|
* @category combinators
|
|
465
461
|
*/
|
|
466
|
-
<A2 extends Request.Request<any, any>, R2>(
|
|
467
|
-
that: RequestResolver<A2, R2>
|
|
468
|
-
): <A extends Request.Request<any, any>, R>(self: RequestResolver<A, R>) => RequestResolver<A2 | A, R2 | R>
|
|
462
|
+
<A2 extends Request.Request<any, any>, R2>(that: RequestResolver<A2, R2>): <A extends Request.Request<any, any>, R>(self: RequestResolver<A, R>) => RequestResolver<A2 | A, R2 | R>
|
|
469
463
|
/**
|
|
470
464
|
* Returns a new data source that executes requests by sending them to this
|
|
471
465
|
* data source and that data source, returning the results from the first data
|
|
@@ -474,10 +468,7 @@ export const race: {
|
|
|
474
468
|
* @since 2.0.0
|
|
475
469
|
* @category combinators
|
|
476
470
|
*/
|
|
477
|
-
<A extends Request.Request<any, any>, R, A2 extends Request.Request<any, any>, R2>(
|
|
478
|
-
self: RequestResolver<A, R>,
|
|
479
|
-
that: RequestResolver<A2, R2>
|
|
480
|
-
): RequestResolver<A | A2, R | R2>
|
|
471
|
+
<A extends Request.Request<any, any>, R, A2 extends Request.Request<any, any>, R2>(self: RequestResolver<A, R>, that: RequestResolver<A2, R2>): RequestResolver<A | A2, R | R2>
|
|
481
472
|
} = internal.race
|
|
482
473
|
|
|
483
474
|
/**
|
|
@@ -493,19 +484,12 @@ export const locally: {
|
|
|
493
484
|
* @since 2.0.0
|
|
494
485
|
* @category combinators
|
|
495
486
|
*/
|
|
496
|
-
<A>(
|
|
497
|
-
self: FiberRef<A>,
|
|
498
|
-
value: A
|
|
499
|
-
): <R, B extends Request.Request<any, any>>(use: RequestResolver<B, R>) => RequestResolver<B, R>
|
|
487
|
+
<A>(self: FiberRef<A>, value: A): <R, B extends Request.Request<any, any>>(use: RequestResolver<B, R>) => RequestResolver<B, R>
|
|
500
488
|
/**
|
|
501
489
|
* Returns a new data source with a localized FiberRef
|
|
502
490
|
*
|
|
503
491
|
* @since 2.0.0
|
|
504
492
|
* @category combinators
|
|
505
493
|
*/
|
|
506
|
-
<R, B extends Request.Request<any, any>, A>(
|
|
507
|
-
use: RequestResolver<B, R>,
|
|
508
|
-
self: FiberRef<A>,
|
|
509
|
-
value: A
|
|
510
|
-
): RequestResolver<B, R>
|
|
494
|
+
<R, B extends Request.Request<any, any>, A>(use: RequestResolver<B, R>, self: FiberRef<A>, value: A): RequestResolver<B, R>
|
|
511
495
|
} = core.resolverLocally
|
package/src/Runtime.ts
CHANGED
|
@@ -254,8 +254,8 @@ export const updateRuntimeFlags: {
|
|
|
254
254
|
* @category runtime flags
|
|
255
255
|
*/
|
|
256
256
|
<R>(
|
|
257
|
-
|
|
258
|
-
|
|
257
|
+
self: Runtime<R>,
|
|
258
|
+
f: (flags: RuntimeFlags.RuntimeFlags) => RuntimeFlags.RuntimeFlags
|
|
259
259
|
): Runtime<R>
|
|
260
260
|
} = internal.updateRuntimeFlags
|
|
261
261
|
|
|
@@ -372,8 +372,8 @@ export const updateFiberRefs: {
|
|
|
372
372
|
* @category fiber refs
|
|
373
373
|
*/
|
|
374
374
|
<R>(
|
|
375
|
-
|
|
376
|
-
|
|
375
|
+
self: Runtime<R>,
|
|
376
|
+
f: (fiberRefs: FiberRefs.FiberRefs) => FiberRefs.FiberRefs
|
|
377
377
|
): Runtime<R>
|
|
378
378
|
} = internal.updateFiberRefs
|
|
379
379
|
|