effect 3.13.0 → 3.13.2
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/Function.js.map +1 -1
- package/dist/cjs/HashSet.js.map +1 -1
- package/dist/cjs/Iterable.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 +1 -1
- package/dist/cjs/Option.js.map +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.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/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/version.js +1 -1
- 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.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/FiberRefsPatch.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 -3
- 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.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/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/Function.js.map +1 -1
- package/dist/esm/HashSet.js.map +1 -1
- package/dist/esm/Iterable.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 +1 -1
- package/dist/esm/Option.js.map +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.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/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/version.js +1 -1
- package/package.json +1 -1
- package/src/Array.ts +22 -82
- 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 +2 -9
- 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/FiberRefsPatch.ts +3 -3
- 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/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 +4 -7
- package/src/ParseResult.ts +4 -14
- 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 +99 -123
- 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/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/version.ts +1 -1
package/src/Schema.ts
CHANGED
|
@@ -2549,17 +2549,12 @@ export const optionalWith: {
|
|
|
2549
2549
|
* @category PropertySignature
|
|
2550
2550
|
* @since 3.10.0
|
|
2551
2551
|
*/
|
|
2552
|
-
<S extends Schema.All, Options extends OptionalOptions<Schema.Type<S>>>(
|
|
2553
|
-
options: Options
|
|
2554
|
-
): (self: S) => optionalWith<S, Options>
|
|
2552
|
+
<S extends Schema.All, Options extends OptionalOptions<Schema.Type<S>>>(options: Options): (self: S) => optionalWith<S, Options>
|
|
2555
2553
|
/**
|
|
2556
2554
|
* @category PropertySignature
|
|
2557
2555
|
* @since 3.10.0
|
|
2558
2556
|
*/
|
|
2559
|
-
<S extends Schema.All, Options extends OptionalOptions<Schema.Type<S>>>(
|
|
2560
|
-
self: S,
|
|
2561
|
-
options: Options
|
|
2562
|
-
): optionalWith<S, Options>
|
|
2557
|
+
<S extends Schema.All, Options extends OptionalOptions<Schema.Type<S>>>(self: S, options: Options): optionalWith<S, Options>
|
|
2563
2558
|
} = dual((args) => isSchema(args[0]), (self, options) => {
|
|
2564
2559
|
return new PropertySignatureWithFromImpl(optionalPropertySignatureAST(self, options), self)
|
|
2565
2560
|
})
|
|
@@ -3133,99 +3128,97 @@ export const pluck: {
|
|
|
3133
3128
|
key: K
|
|
3134
3129
|
): Schema<A[K], Pick<I, K>, R> => {
|
|
3135
3130
|
const ps = AST.getPropertyKeyIndexedAccess(AST.typeAST(schema.ast), key)
|
|
3136
|
-
const value = make
|
|
3137
|
-
|
|
3138
|
-
|
|
3139
|
-
|
|
3140
|
-
|
|
3141
|
-
|
|
3142
|
-
|
|
3143
|
-
|
|
3144
|
-
|
|
3145
|
-
|
|
3146
|
-
|
|
3147
|
-
|
|
3148
|
-
|
|
3149
|
-
|
|
3150
|
-
|
|
3151
|
-
|
|
3152
|
-
|
|
3153
|
-
|
|
3154
|
-
|
|
3155
|
-
|
|
3156
|
-
|
|
3157
|
-
|
|
3158
|
-
|
|
3159
|
-
|
|
3160
|
-
|
|
3161
|
-
|
|
3162
|
-
|
|
3163
|
-
|
|
3164
|
-
|
|
3165
|
-
|
|
3166
|
-
|
|
3167
|
-
|
|
3168
|
-
|
|
3169
|
-
|
|
3170
|
-
|
|
3171
|
-
|
|
3172
|
-
|
|
3173
|
-
|
|
3174
|
-
|
|
3175
|
-
|
|
3176
|
-
|
|
3177
|
-
|
|
3178
|
-
|
|
3179
|
-
|
|
3180
|
-
|
|
3181
|
-
|
|
3182
|
-
|
|
3183
|
-
|
|
3184
|
-
|
|
3185
|
-
|
|
3186
|
-
|
|
3187
|
-
|
|
3188
|
-
|
|
3189
|
-
|
|
3190
|
-
|
|
3191
|
-
|
|
3192
|
-
|
|
3193
|
-
|
|
3194
|
-
|
|
3195
|
-
|
|
3196
|
-
|
|
3197
|
-
|
|
3198
|
-
|
|
3199
|
-
|
|
3200
|
-
|
|
3201
|
-
|
|
3202
|
-
|
|
3203
|
-
|
|
3204
|
-
|
|
3205
|
-
|
|
3206
|
-
|
|
3207
|
-
|
|
3208
|
-
|
|
3209
|
-
|
|
3210
|
-
|
|
3211
|
-
|
|
3212
|
-
|
|
3213
|
-
|
|
3214
|
-
|
|
3215
|
-
|
|
3216
|
-
|
|
3217
|
-
|
|
3218
|
-
|
|
3219
|
-
|
|
3220
|
-
|
|
3221
|
-
|
|
3222
|
-
|
|
3223
|
-
|
|
3224
|
-
|
|
3225
|
-
|
|
3226
|
-
|
|
3227
|
-
R
|
|
3228
|
-
>(ps.isOptional ? AST.orUndefined(ps.type) : ps.type)
|
|
3131
|
+
const value = make</**
|
|
3132
|
+
* Given a schema `Schema<A, I, R>` and a key `key: K`, this function extracts a specific field from the `A` type,
|
|
3133
|
+
* producing a new schema that represents a transformation from the `{ readonly [key]: I[K] }` type to `A[K]`.
|
|
3134
|
+
*
|
|
3135
|
+
* @example
|
|
3136
|
+
* ```ts
|
|
3137
|
+
* import * as Schema from "effect/Schema"
|
|
3138
|
+
*
|
|
3139
|
+
* // ---------------------------------------------
|
|
3140
|
+
* // use case: pull out a single field from a
|
|
3141
|
+
* // struct through a transformation
|
|
3142
|
+
* // ---------------------------------------------
|
|
3143
|
+
*
|
|
3144
|
+
* const mytable = Schema.Struct({
|
|
3145
|
+
* column1: Schema.NumberFromString,
|
|
3146
|
+
* column2: Schema.Number
|
|
3147
|
+
* })
|
|
3148
|
+
*
|
|
3149
|
+
* // const pullOutColumn: S.Schema<number, {
|
|
3150
|
+
* // readonly column1: string;
|
|
3151
|
+
* // }, never>
|
|
3152
|
+
* const pullOutColumn = mytable.pipe(Schema.pluck("column1"))
|
|
3153
|
+
*
|
|
3154
|
+
* console.log(Schema.decodeUnknownEither(Schema.Array(pullOutColumn))([{ column1: "1", column2: 100 }, { column1: "2", column2: 300 }]))
|
|
3155
|
+
* // Output: { _id: 'Either', _tag: 'Right', right: [ 1, 2 ] }
|
|
3156
|
+
* ```
|
|
3157
|
+
*
|
|
3158
|
+
* @category struct transformations
|
|
3159
|
+
* @since 3.10.0
|
|
3160
|
+
*/
|
|
3161
|
+
A[K], /**
|
|
3162
|
+
* Given a schema `Schema<A, I, R>` and a key `key: K`, this function extracts a specific field from the `A` type,
|
|
3163
|
+
* producing a new schema that represents a transformation from the `{ readonly [key]: I[K] }` type to `A[K]`.
|
|
3164
|
+
*
|
|
3165
|
+
* @example
|
|
3166
|
+
* ```ts
|
|
3167
|
+
* import * as Schema from "effect/Schema"
|
|
3168
|
+
*
|
|
3169
|
+
* // ---------------------------------------------
|
|
3170
|
+
* // use case: pull out a single field from a
|
|
3171
|
+
* // struct through a transformation
|
|
3172
|
+
* // ---------------------------------------------
|
|
3173
|
+
*
|
|
3174
|
+
* const mytable = Schema.Struct({
|
|
3175
|
+
* column1: Schema.NumberFromString,
|
|
3176
|
+
* column2: Schema.Number
|
|
3177
|
+
* })
|
|
3178
|
+
*
|
|
3179
|
+
* // const pullOutColumn: S.Schema<number, {
|
|
3180
|
+
* // readonly column1: string;
|
|
3181
|
+
* // }, never>
|
|
3182
|
+
* const pullOutColumn = mytable.pipe(Schema.pluck("column1"))
|
|
3183
|
+
*
|
|
3184
|
+
* console.log(Schema.decodeUnknownEither(Schema.Array(pullOutColumn))([{ column1: "1", column2: 100 }, { column1: "2", column2: 300 }]))
|
|
3185
|
+
* // Output: { _id: 'Either', _tag: 'Right', right: [ 1, 2 ] }
|
|
3186
|
+
* ```
|
|
3187
|
+
*
|
|
3188
|
+
* @category struct transformations
|
|
3189
|
+
* @since 3.10.0
|
|
3190
|
+
*/
|
|
3191
|
+
A[K], /**
|
|
3192
|
+
* Given a schema `Schema<A, I, R>` and a key `key: K`, this function extracts a specific field from the `A` type,
|
|
3193
|
+
* producing a new schema that represents a transformation from the `{ readonly [key]: I[K] }` type to `A[K]`.
|
|
3194
|
+
*
|
|
3195
|
+
* @example
|
|
3196
|
+
* ```ts
|
|
3197
|
+
* import * as Schema from "effect/Schema"
|
|
3198
|
+
*
|
|
3199
|
+
* // ---------------------------------------------
|
|
3200
|
+
* // use case: pull out a single field from a
|
|
3201
|
+
* // struct through a transformation
|
|
3202
|
+
* // ---------------------------------------------
|
|
3203
|
+
*
|
|
3204
|
+
* const mytable = Schema.Struct({
|
|
3205
|
+
* column1: Schema.NumberFromString,
|
|
3206
|
+
* column2: Schema.Number
|
|
3207
|
+
* })
|
|
3208
|
+
*
|
|
3209
|
+
* // const pullOutColumn: S.Schema<number, {
|
|
3210
|
+
* // readonly column1: string;
|
|
3211
|
+
* // }, never>
|
|
3212
|
+
* const pullOutColumn = mytable.pipe(Schema.pluck("column1"))
|
|
3213
|
+
*
|
|
3214
|
+
* console.log(Schema.decodeUnknownEither(Schema.Array(pullOutColumn))([{ column1: "1", column2: 100 }, { column1: "2", column2: 300 }]))
|
|
3215
|
+
* // Output: { _id: 'Either', _tag: 'Right', right: [ 1, 2 ] }
|
|
3216
|
+
* ```
|
|
3217
|
+
*
|
|
3218
|
+
* @category struct transformations
|
|
3219
|
+
* @since 3.10.0
|
|
3220
|
+
*/
|
|
3221
|
+
R>(ps.isOptional ? AST.orUndefined(ps.type) : ps.type)
|
|
3229
3222
|
return transform(
|
|
3230
3223
|
schema.pipe(pick(key)),
|
|
3231
3224
|
value,
|
|
@@ -3335,10 +3328,7 @@ export const partialWith: {
|
|
|
3335
3328
|
* @category combinators
|
|
3336
3329
|
* @since 3.10.0
|
|
3337
3330
|
*/
|
|
3338
|
-
<A, I, R, const Options extends { readonly exact: true } | undefined>(
|
|
3339
|
-
self: Schema<A, I, R>,
|
|
3340
|
-
options: Options
|
|
3341
|
-
): SchemaClass<{ [K in keyof A]?: A[K] }, { [K in keyof I]?: I[K] }, R>
|
|
3331
|
+
<A, I, R, const Options extends { readonly exact: true } | undefined>(self: Schema<A, I, R>, options: Options): SchemaClass<{ [K in keyof A]?: A[K] }, { [K in keyof I]?: I[K] }, R>
|
|
3342
3332
|
} = dual((args) => isSchema(args[0]), <A, I, R>(
|
|
3343
3333
|
self: Schema<A, I, R>,
|
|
3344
3334
|
options: { readonly exact: true }
|
|
@@ -3720,18 +3710,12 @@ export const compose: {
|
|
|
3720
3710
|
* @category combinators
|
|
3721
3711
|
* @since 3.10.0
|
|
3722
3712
|
*/
|
|
3723
|
-
<C, B, R2>(
|
|
3724
|
-
to: Schema<C, B, R2>,
|
|
3725
|
-
options?: { readonly strict: true }
|
|
3726
|
-
): <A, R1>(from: Schema<B, A, R1>) => SchemaClass<C, A, R1 | R2>
|
|
3713
|
+
<C, B, R2>(to: Schema<C, B, R2>, options?: { readonly strict: true }): <A, R1>(from: Schema<B, A, R1>) => SchemaClass<C, A, R1 | R2>
|
|
3727
3714
|
/**
|
|
3728
3715
|
* @category combinators
|
|
3729
3716
|
* @since 3.10.0
|
|
3730
3717
|
*/
|
|
3731
|
-
<D, C, R2>(
|
|
3732
|
-
to: Schema<D, C, R2>,
|
|
3733
|
-
options: { readonly strict: false }
|
|
3734
|
-
): <B, A, R1>(from: Schema<B, A, R1>) => SchemaClass<D, A, R1 | R2>
|
|
3718
|
+
<D, C, R2>(to: Schema<D, C, R2>, options: { readonly strict: false }): <B, A, R1>(from: Schema<B, A, R1>) => SchemaClass<D, A, R1 | R2>
|
|
3735
3719
|
|
|
3736
3720
|
/**
|
|
3737
3721
|
* @category combinators
|
|
@@ -10617,9 +10601,7 @@ export const deserializeFailure: {
|
|
|
10617
10601
|
* @since 3.10.0
|
|
10618
10602
|
* @category decoding
|
|
10619
10603
|
*/
|
|
10620
|
-
(
|
|
10621
|
-
value: unknown
|
|
10622
|
-
): <SA, SI, FA, FI, R>(self: WithResult<SA, SI, FA, FI, R>) => Effect.Effect<FA, ParseResult.ParseError, R>
|
|
10604
|
+
(value: unknown): <SA, SI, FA, FI, R>(self: WithResult<SA, SI, FA, FI, R>) => Effect.Effect<FA, ParseResult.ParseError, R>
|
|
10623
10605
|
/**
|
|
10624
10606
|
* @since 3.10.0
|
|
10625
10607
|
* @category decoding
|
|
@@ -10697,10 +10679,7 @@ export const serializeExit: {
|
|
|
10697
10679
|
* @since 3.10.0
|
|
10698
10680
|
* @category encoding
|
|
10699
10681
|
*/
|
|
10700
|
-
<SA, SI, FA, FI, R>(
|
|
10701
|
-
self: WithResult<SA, SI, FA, FI, R>,
|
|
10702
|
-
value: exit_.Exit<SA, FA>
|
|
10703
|
-
): Effect.Effect<ExitEncoded<SI, FI, unknown>, ParseResult.ParseError, R>
|
|
10682
|
+
<SA, SI, FA, FI, R>(self: WithResult<SA, SI, FA, FI, R>, value: exit_.Exit<SA, FA>): Effect.Effect<ExitEncoded<SI, FI, unknown>, ParseResult.ParseError, R>
|
|
10704
10683
|
} = dual(2, <SA, SI, FA, FI, R>(
|
|
10705
10684
|
self: WithResult<SA, SI, FA, FI, R>,
|
|
10706
10685
|
value: exit_.Exit<SA, FA>
|
|
@@ -10722,10 +10701,7 @@ export const deserializeExit: {
|
|
|
10722
10701
|
* @since 3.10.0
|
|
10723
10702
|
* @category decoding
|
|
10724
10703
|
*/
|
|
10725
|
-
<SA, SI, FA, FI, R>(
|
|
10726
|
-
self: WithResult<SA, SI, FA, FI, R>,
|
|
10727
|
-
value: unknown
|
|
10728
|
-
): Effect.Effect<exit_.Exit<SA, FA>, ParseResult.ParseError, R>
|
|
10704
|
+
<SA, SI, FA, FI, R>(self: WithResult<SA, SI, FA, FI, R>, value: unknown): Effect.Effect<exit_.Exit<SA, FA>, ParseResult.ParseError, R>
|
|
10729
10705
|
} = dual(2, <SA, SI, FA, FI, R>(
|
|
10730
10706
|
self: WithResult<SA, SI, FA, FI, R>,
|
|
10731
10707
|
value: unknown
|
package/src/SchemaAST.ts
CHANGED
|
@@ -1075,7 +1075,7 @@ export class Enums implements Annotated {
|
|
|
1075
1075
|
toString() {
|
|
1076
1076
|
return Option.getOrElse(
|
|
1077
1077
|
getExpected(this),
|
|
1078
|
-
() => `<enum ${this.enums.length} value(s): ${this.enums.map((_, value) => JSON.stringify(value)).join(" | ")}>`
|
|
1078
|
+
() => `<enum ${this.enums.length} value(s): ${this.enums.map(([_, value]) => JSON.stringify(value)).join(" | ")}>`
|
|
1079
1079
|
)
|
|
1080
1080
|
}
|
|
1081
1081
|
/**
|
package/src/Sink.ts
CHANGED
|
@@ -336,19 +336,14 @@ export const mapInputEffect: {
|
|
|
336
336
|
* @since 2.0.0
|
|
337
337
|
* @category mapping
|
|
338
338
|
*/
|
|
339
|
-
<In0, In, E2, R2>(
|
|
340
|
-
f: (input: In0) => Effect.Effect<In, E2, R2>
|
|
341
|
-
): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In0, L, E2 | E, R2 | R>
|
|
339
|
+
<In0, In, E2, R2>(f: (input: In0) => Effect.Effect<In, E2, R2>): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In0, L, E2 | E, R2 | R>
|
|
342
340
|
/**
|
|
343
341
|
* Effectfully transforms this sink's input elements.
|
|
344
342
|
*
|
|
345
343
|
* @since 2.0.0
|
|
346
344
|
* @category mapping
|
|
347
345
|
*/
|
|
348
|
-
<A, In, L, E, R, In0, E2, R2>(
|
|
349
|
-
self: Sink<A, In, L, E, R>,
|
|
350
|
-
f: (input: In0) => Effect.Effect<In, E2, R2>
|
|
351
|
-
): Sink<A, In0, L, E | E2, R | R2>
|
|
346
|
+
<A, In, L, E, R, In0, E2, R2>(self: Sink<A, In, L, E, R>, f: (input: In0) => Effect.Effect<In, E2, R2>): Sink<A, In0, L, E | E2, R | R2>
|
|
352
347
|
} = internal.mapInputEffect
|
|
353
348
|
|
|
354
349
|
/**
|
|
@@ -364,9 +359,7 @@ export const mapInputChunks: {
|
|
|
364
359
|
* @since 2.0.0
|
|
365
360
|
* @category mapping
|
|
366
361
|
*/
|
|
367
|
-
<In0, In>(
|
|
368
|
-
f: (chunk: Chunk.Chunk<In0>) => Chunk.Chunk<In>
|
|
369
|
-
): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In0, L, E, R>
|
|
362
|
+
<In0, In>(f: (chunk: Chunk.Chunk<In0>) => Chunk.Chunk<In>): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In0, L, E, R>
|
|
370
363
|
/**
|
|
371
364
|
* Transforms this sink's input chunks. `f` must preserve chunking-invariance.
|
|
372
365
|
*
|
|
@@ -394,9 +387,7 @@ export const mapInputChunksEffect: {
|
|
|
394
387
|
* @since 2.0.0
|
|
395
388
|
* @category mapping
|
|
396
389
|
*/
|
|
397
|
-
<In0, In, E2, R2>(
|
|
398
|
-
f: (chunk: Chunk.Chunk<In0>) => Effect.Effect<Chunk.Chunk<In>, E2, R2>
|
|
399
|
-
): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In0, L, E2 | E, R2 | R>
|
|
390
|
+
<In0, In, E2, R2>(f: (chunk: Chunk.Chunk<In0>) => Effect.Effect<Chunk.Chunk<In>, E2, R2>): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In0, L, E2 | E, R2 | R>
|
|
400
391
|
/**
|
|
401
392
|
* Effectfully transforms this sink's input chunks. `f` must preserve
|
|
402
393
|
* chunking-invariance.
|
|
@@ -648,9 +639,7 @@ export const ensuring: {
|
|
|
648
639
|
* @since 2.0.0
|
|
649
640
|
* @category finalization
|
|
650
641
|
*/
|
|
651
|
-
<X, R2>(
|
|
652
|
-
finalizer: Effect.Effect<X, never, R2>
|
|
653
|
-
): <A, In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In, L, E, R2 | R>
|
|
642
|
+
<X, R2>(finalizer: Effect.Effect<X, never, R2>): <A, In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In, L, E, R2 | R>
|
|
654
643
|
/**
|
|
655
644
|
* Returns a new sink with an attached finalizer. The finalizer is guaranteed
|
|
656
645
|
* to be executed so long as the sink begins execution (and regardless of
|
|
@@ -679,9 +668,7 @@ export const ensuringWith: {
|
|
|
679
668
|
* @since 2.0.0
|
|
680
669
|
* @category finalization
|
|
681
670
|
*/
|
|
682
|
-
<A, E, X, R2>(
|
|
683
|
-
finalizer: (exit: Exit.Exit<A, E>) => Effect.Effect<X, never, R2>
|
|
684
|
-
): <In, L, R>(self: Sink<A, In, L, E, R>) => Sink<A, In, L, E, R2 | R>
|
|
671
|
+
<A, E, X, R2>(finalizer: (exit: Exit.Exit<A, E>) => Effect.Effect<X, never, R2>): <In, L, R>(self: Sink<A, In, L, E, R>) => Sink<A, In, L, E, R2 | R>
|
|
685
672
|
/**
|
|
686
673
|
* Returns a new sink with an attached finalizer. The finalizer is guaranteed
|
|
687
674
|
* to be executed so long as the sink begins execution (and regardless of
|
|
@@ -787,9 +774,7 @@ export const filterInput: {
|
|
|
787
774
|
* @since 2.0.0
|
|
788
775
|
* @category filtering
|
|
789
776
|
*/
|
|
790
|
-
<In, In1 extends In, In2 extends In1>(
|
|
791
|
-
f: Refinement<In1, In2>
|
|
792
|
-
): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In2, L, E, R>
|
|
777
|
+
<In, In1 extends In, In2 extends In1>(f: Refinement<In1, In2>): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In2, L, E, R>
|
|
793
778
|
/**
|
|
794
779
|
* Filters the sink's input with the given predicate.
|
|
795
780
|
*
|
|
@@ -812,9 +797,7 @@ export const filterInputEffect: {
|
|
|
812
797
|
* @since 2.0.0
|
|
813
798
|
* @category filtering
|
|
814
799
|
*/
|
|
815
|
-
<In, In1 extends In, E2, R2>(
|
|
816
|
-
f: (input: In1) => Effect.Effect<boolean, E2, R2>
|
|
817
|
-
): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In1, L, E2 | E, R2 | R>
|
|
800
|
+
<In, In1 extends In, E2, R2>(f: (input: In1) => Effect.Effect<boolean, E2, R2>): <A, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A, In1, L, E2 | E, R2 | R>
|
|
818
801
|
/**
|
|
819
802
|
* Effectfully filter the input of this sink using the specified predicate.
|
|
820
803
|
*
|
|
@@ -840,19 +823,14 @@ export const findEffect: {
|
|
|
840
823
|
* @since 2.0.0
|
|
841
824
|
* @category elements
|
|
842
825
|
*/
|
|
843
|
-
<A, E2, R2>(
|
|
844
|
-
f: (a: A) => Effect.Effect<boolean, E2, R2>
|
|
845
|
-
): <In, L extends In, E, R>(self: Sink<A, In, L, E, R>) => Sink<Option.Option<A>, In, L, E2 | E, R2 | R>
|
|
826
|
+
<A, E2, R2>(f: (a: A) => Effect.Effect<boolean, E2, R2>): <In, L extends In, E, R>(self: Sink<A, In, L, E, R>) => Sink<Option.Option<A>, In, L, E2 | E, R2 | R>
|
|
846
827
|
/**
|
|
847
828
|
* Creates a sink that produces values until one verifies the predicate `f`.
|
|
848
829
|
*
|
|
849
830
|
* @since 2.0.0
|
|
850
831
|
* @category elements
|
|
851
832
|
*/
|
|
852
|
-
<A, In, L extends In, E, R, E2, R2>(
|
|
853
|
-
self: Sink<A, In, L, E, R>,
|
|
854
|
-
f: (a: A) => Effect.Effect<boolean, E2, R2>
|
|
855
|
-
): Sink<Option.Option<A>, In, L, E | E2, R | R2>
|
|
833
|
+
<A, In, L extends In, E, R, E2, R2>(self: Sink<A, In, L, E, R>, f: (a: A) => Effect.Effect<boolean, E2, R2>): Sink<Option.Option<A>, In, L, E | E2, R | R2>
|
|
856
834
|
} = internal.findEffect as any
|
|
857
835
|
|
|
858
836
|
/**
|
|
@@ -1190,9 +1168,7 @@ export const flatMap: {
|
|
|
1190
1168
|
* @since 2.0.0
|
|
1191
1169
|
* @category sequencing
|
|
1192
1170
|
*/
|
|
1193
|
-
<A, A1, In, In1 extends In, L1, E1, R1>(
|
|
1194
|
-
f: (a: A) => Sink<A1, In1, L1, E1, R1>
|
|
1195
|
-
): <L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A1, In & In1, L1 | L, E1 | E, R1 | R>
|
|
1171
|
+
<A, A1, In, In1 extends In, L1, E1, R1>(f: (a: A) => Sink<A1, In1, L1, E1, R1>): <L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A1, In & In1, L1 | L, E1 | E, R1 | R>
|
|
1196
1172
|
/**
|
|
1197
1173
|
* Runs this sink until it yields a result, then uses that result to create
|
|
1198
1174
|
* another sink from the provided function which will continue to run until it
|
|
@@ -1203,10 +1179,7 @@ export const flatMap: {
|
|
|
1203
1179
|
* @since 2.0.0
|
|
1204
1180
|
* @category sequencing
|
|
1205
1181
|
*/
|
|
1206
|
-
<A, In, L, E, R, A1, In1 extends In, L1, E1, R1>(
|
|
1207
|
-
self: Sink<A, In, L, E, R>,
|
|
1208
|
-
f: (a: A) => Sink<A1, In1, L1, E1, R1>
|
|
1209
|
-
): Sink<A1, In & In1, L | L1, E | E1, R | R1>
|
|
1182
|
+
<A, In, L, E, R, A1, In1 extends In, L1, E1, R1>(self: Sink<A, In, L, E, R>, f: (a: A) => Sink<A1, In1, L1, E1, R1>): Sink<A1, In & In1, L | L1, E | E1, R | R1>
|
|
1210
1183
|
} = internal.flatMap
|
|
1211
1184
|
|
|
1212
1185
|
/**
|
|
@@ -1350,19 +1323,14 @@ export const mapEffect: {
|
|
|
1350
1323
|
* @since 2.0.0
|
|
1351
1324
|
* @category mapping
|
|
1352
1325
|
*/
|
|
1353
|
-
<A, A2, E2, R2>(
|
|
1354
|
-
f: (a: A) => Effect.Effect<A2, E2, R2>
|
|
1355
|
-
): <In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A2, In, L, E2 | E, R2 | R>
|
|
1326
|
+
<A, A2, E2, R2>(f: (a: A) => Effect.Effect<A2, E2, R2>): <In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A2, In, L, E2 | E, R2 | R>
|
|
1356
1327
|
/**
|
|
1357
1328
|
* Effectfully transforms this sink's result.
|
|
1358
1329
|
*
|
|
1359
1330
|
* @since 2.0.0
|
|
1360
1331
|
* @category mapping
|
|
1361
1332
|
*/
|
|
1362
|
-
<A, In, L, E, R, A2, E2, R2>(
|
|
1363
|
-
self: Sink<A, In, L, E, R>,
|
|
1364
|
-
f: (a: A) => Effect.Effect<A2, E2, R2>
|
|
1365
|
-
): Sink<A2, In, L, E | E2, R | R2>
|
|
1333
|
+
<A, In, L, E, R, A2, E2, R2>(self: Sink<A, In, L, E, R>, f: (a: A) => Effect.Effect<A2, E2, R2>): Sink<A2, In, L, E | E2, R | R2>
|
|
1366
1334
|
} = internal.mapEffect
|
|
1367
1335
|
|
|
1368
1336
|
/**
|
|
@@ -1440,19 +1408,14 @@ export const orElse: {
|
|
|
1440
1408
|
* @since 2.0.0
|
|
1441
1409
|
* @category error handling
|
|
1442
1410
|
*/
|
|
1443
|
-
<A2, In2, L2, E2, R2>(
|
|
1444
|
-
that: LazyArg<Sink<A2, In2, L2, E2, R2>>
|
|
1445
|
-
): <A, In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A2 | A, In & In2, L2 | L, E2 | E, R2 | R>
|
|
1411
|
+
<A2, In2, L2, E2, R2>(that: LazyArg<Sink<A2, In2, L2, E2, R2>>): <A, In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A2 | A, In & In2, L2 | L, E2 | E, R2 | R>
|
|
1446
1412
|
/**
|
|
1447
1413
|
* Switch to another sink in case of failure
|
|
1448
1414
|
*
|
|
1449
1415
|
* @since 2.0.0
|
|
1450
1416
|
* @category error handling
|
|
1451
1417
|
*/
|
|
1452
|
-
<A, In, L, E, R, A2, In2, L2, E2, R2>(
|
|
1453
|
-
self: Sink<A, In, L, E, R>,
|
|
1454
|
-
that: LazyArg<Sink<A2, In2, L2, E2, R2>>
|
|
1455
|
-
): Sink<A | A2, In & In2, L | L2, E | E2, R | R2>
|
|
1418
|
+
<A, In, L, E, R, A2, In2, L2, E2, R2>(self: Sink<A, In, L, E, R>, that: LazyArg<Sink<A2, In2, L2, E2, R2>>): Sink<A | A2, In & In2, L | L2, E | E2, R | R2>
|
|
1456
1419
|
} = internal.orElse
|
|
1457
1420
|
|
|
1458
1421
|
/**
|
|
@@ -1496,9 +1459,7 @@ export const race: {
|
|
|
1496
1459
|
* @since 2.0.0
|
|
1497
1460
|
* @category utils
|
|
1498
1461
|
*/
|
|
1499
|
-
<R1, E1, In1, L1, A1>(
|
|
1500
|
-
that: Sink<A1, In1, L1, E1, R1>
|
|
1501
|
-
): <A, In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A1 | A, In & In1, L1 | L, E1 | E, R1 | R>
|
|
1462
|
+
<R1, E1, In1, L1, A1>(that: Sink<A1, In1, L1, E1, R1>): <A, In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<A1 | A, In & In1, L1 | L, E1 | E, R1 | R>
|
|
1502
1463
|
/**
|
|
1503
1464
|
* Runs both sinks in parallel on the input, , returning the result or the
|
|
1504
1465
|
* error from the one that finishes first.
|
|
@@ -1506,10 +1467,7 @@ export const race: {
|
|
|
1506
1467
|
* @since 2.0.0
|
|
1507
1468
|
* @category utils
|
|
1508
1469
|
*/
|
|
1509
|
-
<A, In, L, E, R, A1, In1, L1, E1, R1>(
|
|
1510
|
-
self: Sink<A, In, L, E, R>,
|
|
1511
|
-
that: Sink<A1, In1, L1, E1, R1>
|
|
1512
|
-
): Sink<A | A1, In & In1, L | L1, E | E1, R | R1>
|
|
1470
|
+
<A, In, L, E, R, A1, In1, L1, E1, R1>(self: Sink<A, In, L, E, R>, that: Sink<A1, In1, L1, E1, R1>): Sink<A | A1, In & In1, L | L1, E | E1, R | R1>
|
|
1513
1471
|
} = internal.race
|
|
1514
1472
|
|
|
1515
1473
|
/**
|
|
@@ -1612,10 +1570,7 @@ export const refineOrDieWith: {
|
|
|
1612
1570
|
* @since 2.0.0
|
|
1613
1571
|
* @category error handling
|
|
1614
1572
|
*/
|
|
1615
|
-
<E, E2>(
|
|
1616
|
-
pf: (error: E) => Option.Option<E2>,
|
|
1617
|
-
f: (error: E) => unknown
|
|
1618
|
-
): <A, In, L, R>(self: Sink<A, In, L, E, R>) => Sink<A, In, L, E2, R>
|
|
1573
|
+
<E, E2>(pf: (error: E) => Option.Option<E2>, f: (error: E) => unknown): <A, In, L, R>(self: Sink<A, In, L, E, R>) => Sink<A, In, L, E2, R>
|
|
1619
1574
|
/**
|
|
1620
1575
|
* @since 2.0.0
|
|
1621
1576
|
* @category error handling
|
|
@@ -1695,10 +1650,7 @@ export const summarized: {
|
|
|
1695
1650
|
* @since 2.0.0
|
|
1696
1651
|
* @category utils
|
|
1697
1652
|
*/
|
|
1698
|
-
<A2, E2, R2, A3>(
|
|
1699
|
-
summary: Effect.Effect<A2, E2, R2>,
|
|
1700
|
-
f: (start: A2, end: A2) => A3
|
|
1701
|
-
): <A, In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<[A, A3], In, L, E2 | E, R2 | R>
|
|
1653
|
+
<A2, E2, R2, A3>(summary: Effect.Effect<A2, E2, R2>, f: (start: A2, end: A2) => A3): <A, In, L, E, R>(self: Sink<A, In, L, E, R>) => Sink<[A, A3], In, L, E2 | E, R2 | R>
|
|
1702
1654
|
/**
|
|
1703
1655
|
* Summarize a sink by running an effect when the sink starts and again when
|
|
1704
1656
|
* it completes.
|
package/src/SortedMap.ts
CHANGED
|
@@ -334,9 +334,7 @@ export const partition: {
|
|
|
334
334
|
* @since 3.1.0
|
|
335
335
|
* @category filtering
|
|
336
336
|
*/
|
|
337
|
-
<K, V>(
|
|
338
|
-
predicate: (a: Types.NoInfer<K>) => boolean
|
|
339
|
-
): (self: SortedMap<K, V>) => [excluded: SortedMap<K, V>, satisfying: SortedMap<K, V>]
|
|
337
|
+
<K, V>(predicate: (a: Types.NoInfer<K>) => boolean): (self: SortedMap<K, V>) => [excluded: SortedMap<K, V>, satisfying: SortedMap<K, V>]
|
|
340
338
|
/**
|
|
341
339
|
* @since 3.1.0
|
|
342
340
|
* @category filtering
|