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.
Files changed (217) hide show
  1. package/dist/cjs/Array.js.map +1 -1
  2. package/dist/cjs/Channel.js.map +1 -1
  3. package/dist/cjs/Chunk.js.map +1 -1
  4. package/dist/cjs/Context.js.map +1 -1
  5. package/dist/cjs/DateTime.js.map +1 -1
  6. package/dist/cjs/Duration.js +1 -3
  7. package/dist/cjs/Duration.js.map +1 -1
  8. package/dist/cjs/Effect.js.map +1 -1
  9. package/dist/cjs/Either.js.map +1 -1
  10. package/dist/cjs/Exit.js.map +1 -1
  11. package/dist/cjs/Function.js.map +1 -1
  12. package/dist/cjs/HashSet.js.map +1 -1
  13. package/dist/cjs/Iterable.js.map +1 -1
  14. package/dist/cjs/Layer.js.map +1 -1
  15. package/dist/cjs/List.js.map +1 -1
  16. package/dist/cjs/Logger.js.map +1 -1
  17. package/dist/cjs/Metric.js.map +1 -1
  18. package/dist/cjs/MetricKey.js.map +1 -1
  19. package/dist/cjs/MetricPolling.js.map +1 -1
  20. package/dist/cjs/Micro.js.map +1 -1
  21. package/dist/cjs/MutableHashMap.js.map +1 -1
  22. package/dist/cjs/Option.js +1 -1
  23. package/dist/cjs/Option.js.map +1 -1
  24. package/dist/cjs/ParseResult.js.map +1 -1
  25. package/dist/cjs/Predicate.js.map +1 -1
  26. package/dist/cjs/Record.js.map +1 -1
  27. package/dist/cjs/Request.js.map +1 -1
  28. package/dist/cjs/RequestResolver.js.map +1 -1
  29. package/dist/cjs/STM.js.map +1 -1
  30. package/dist/cjs/Schedule.js.map +1 -1
  31. package/dist/cjs/Schema.js.map +1 -1
  32. package/dist/cjs/SchemaAST.js +1 -1
  33. package/dist/cjs/SchemaAST.js.map +1 -1
  34. package/dist/cjs/Sink.js.map +1 -1
  35. package/dist/cjs/SortedMap.js.map +1 -1
  36. package/dist/cjs/Stream.js.map +1 -1
  37. package/dist/cjs/Struct.js.map +1 -1
  38. package/dist/cjs/Subscribable.js.map +1 -1
  39. package/dist/cjs/SubscriptionRef.js.map +1 -1
  40. package/dist/cjs/SynchronizedRef.js.map +1 -1
  41. package/dist/cjs/TArray.js.map +1 -1
  42. package/dist/cjs/TMap.js.map +1 -1
  43. package/dist/cjs/Take.js.map +1 -1
  44. package/dist/cjs/TestServices.js.map +1 -1
  45. package/dist/cjs/Unify.js.map +1 -1
  46. package/dist/cjs/internal/version.js +1 -1
  47. package/dist/dts/Array.d.ts.map +1 -1
  48. package/dist/dts/Cause.d.ts.map +1 -1
  49. package/dist/dts/Channel.d.ts.map +1 -1
  50. package/dist/dts/ChildExecutorDecision.d.ts.map +1 -1
  51. package/dist/dts/Chunk.d.ts.map +1 -1
  52. package/dist/dts/Config.d.ts.map +1 -1
  53. package/dist/dts/ConfigProvider.d.ts.map +1 -1
  54. package/dist/dts/Console.d.ts.map +1 -1
  55. package/dist/dts/Context.d.ts.map +1 -1
  56. package/dist/dts/DateTime.d.ts.map +1 -1
  57. package/dist/dts/Duration.d.ts +1 -3
  58. package/dist/dts/Duration.d.ts.map +1 -1
  59. package/dist/dts/Effect.d.ts.map +1 -1
  60. package/dist/dts/Either.d.ts.map +1 -1
  61. package/dist/dts/ExecutionStrategy.d.ts.map +1 -1
  62. package/dist/dts/Exit.d.ts.map +1 -1
  63. package/dist/dts/Fiber.d.ts.map +1 -1
  64. package/dist/dts/FiberRefsPatch.d.ts.map +1 -1
  65. package/dist/dts/Function.d.ts.map +1 -1
  66. package/dist/dts/GroupBy.d.ts.map +1 -1
  67. package/dist/dts/HashSet.d.ts.map +1 -1
  68. package/dist/dts/Iterable.d.ts.map +1 -1
  69. package/dist/dts/Layer.d.ts.map +1 -1
  70. package/dist/dts/List.d.ts.map +1 -1
  71. package/dist/dts/Logger.d.ts.map +1 -1
  72. package/dist/dts/Mailbox.d.ts.map +1 -1
  73. package/dist/dts/MergeDecision.d.ts.map +1 -1
  74. package/dist/dts/MergeStrategy.d.ts.map +1 -1
  75. package/dist/dts/Metric.d.ts.map +1 -1
  76. package/dist/dts/MetricKey.d.ts.map +1 -1
  77. package/dist/dts/MetricPolling.d.ts.map +1 -1
  78. package/dist/dts/Micro.d.ts.map +1 -1
  79. package/dist/dts/MutableHashMap.d.ts.map +1 -1
  80. package/dist/dts/Option.d.ts +3 -3
  81. package/dist/dts/Option.d.ts.map +1 -1
  82. package/dist/dts/ParseResult.d.ts.map +1 -1
  83. package/dist/dts/Predicate.d.ts.map +1 -1
  84. package/dist/dts/RcMap.d.ts.map +1 -1
  85. package/dist/dts/Record.d.ts.map +1 -1
  86. package/dist/dts/RedBlackTree.d.ts.map +1 -1
  87. package/dist/dts/Request.d.ts.map +1 -1
  88. package/dist/dts/RequestResolver.d.ts.map +1 -1
  89. package/dist/dts/Runtime.d.ts.map +1 -1
  90. package/dist/dts/STM.d.ts.map +1 -1
  91. package/dist/dts/Schedule.d.ts.map +1 -1
  92. package/dist/dts/Schema.d.ts.map +1 -1
  93. package/dist/dts/Sink.d.ts.map +1 -1
  94. package/dist/dts/SortedMap.d.ts.map +1 -1
  95. package/dist/dts/Stream.d.ts.map +1 -1
  96. package/dist/dts/StreamHaltStrategy.d.ts.map +1 -1
  97. package/dist/dts/Struct.d.ts.map +1 -1
  98. package/dist/dts/Subscribable.d.ts.map +1 -1
  99. package/dist/dts/SubscriptionRef.d.ts.map +1 -1
  100. package/dist/dts/SynchronizedRef.d.ts.map +1 -1
  101. package/dist/dts/TArray.d.ts.map +1 -1
  102. package/dist/dts/TMap.d.ts.map +1 -1
  103. package/dist/dts/TSubscriptionRef.d.ts.map +1 -1
  104. package/dist/dts/Take.d.ts.map +1 -1
  105. package/dist/dts/TestServices.d.ts.map +1 -1
  106. package/dist/dts/Unify.d.ts.map +1 -1
  107. package/dist/dts/UpstreamPullRequest.d.ts.map +1 -1
  108. package/dist/dts/UpstreamPullStrategy.d.ts.map +1 -1
  109. package/dist/esm/Array.js.map +1 -1
  110. package/dist/esm/Channel.js.map +1 -1
  111. package/dist/esm/Chunk.js.map +1 -1
  112. package/dist/esm/Context.js.map +1 -1
  113. package/dist/esm/DateTime.js.map +1 -1
  114. package/dist/esm/Duration.js +1 -3
  115. package/dist/esm/Duration.js.map +1 -1
  116. package/dist/esm/Effect.js.map +1 -1
  117. package/dist/esm/Either.js.map +1 -1
  118. package/dist/esm/Exit.js.map +1 -1
  119. package/dist/esm/Function.js.map +1 -1
  120. package/dist/esm/HashSet.js.map +1 -1
  121. package/dist/esm/Iterable.js.map +1 -1
  122. package/dist/esm/Layer.js.map +1 -1
  123. package/dist/esm/List.js.map +1 -1
  124. package/dist/esm/Logger.js.map +1 -1
  125. package/dist/esm/Metric.js.map +1 -1
  126. package/dist/esm/MetricKey.js.map +1 -1
  127. package/dist/esm/MetricPolling.js.map +1 -1
  128. package/dist/esm/Micro.js.map +1 -1
  129. package/dist/esm/MutableHashMap.js.map +1 -1
  130. package/dist/esm/Option.js +1 -1
  131. package/dist/esm/Option.js.map +1 -1
  132. package/dist/esm/ParseResult.js.map +1 -1
  133. package/dist/esm/Predicate.js.map +1 -1
  134. package/dist/esm/Record.js.map +1 -1
  135. package/dist/esm/Request.js.map +1 -1
  136. package/dist/esm/RequestResolver.js.map +1 -1
  137. package/dist/esm/STM.js.map +1 -1
  138. package/dist/esm/Schedule.js.map +1 -1
  139. package/dist/esm/Schema.js.map +1 -1
  140. package/dist/esm/SchemaAST.js +1 -1
  141. package/dist/esm/SchemaAST.js.map +1 -1
  142. package/dist/esm/Sink.js.map +1 -1
  143. package/dist/esm/SortedMap.js.map +1 -1
  144. package/dist/esm/Stream.js.map +1 -1
  145. package/dist/esm/Struct.js.map +1 -1
  146. package/dist/esm/Subscribable.js.map +1 -1
  147. package/dist/esm/SubscriptionRef.js.map +1 -1
  148. package/dist/esm/SynchronizedRef.js.map +1 -1
  149. package/dist/esm/TArray.js.map +1 -1
  150. package/dist/esm/TMap.js.map +1 -1
  151. package/dist/esm/Take.js.map +1 -1
  152. package/dist/esm/TestServices.js.map +1 -1
  153. package/dist/esm/Unify.js.map +1 -1
  154. package/dist/esm/internal/version.js +1 -1
  155. package/package.json +1 -1
  156. package/src/Array.ts +22 -82
  157. package/src/Cause.ts +20 -20
  158. package/src/Channel.ts +14 -44
  159. package/src/ChildExecutorDecision.ts +11 -11
  160. package/src/Chunk.ts +23 -36
  161. package/src/Config.ts +27 -27
  162. package/src/ConfigProvider.ts +3 -3
  163. package/src/Console.ts +9 -9
  164. package/src/Context.ts +2 -9
  165. package/src/DateTime.ts +96 -104
  166. package/src/Duration.ts +1 -3
  167. package/src/Effect.ts +64 -229
  168. package/src/Either.ts +2 -8
  169. package/src/ExecutionStrategy.ts +11 -11
  170. package/src/Exit.ts +27 -29
  171. package/src/Fiber.ts +9 -9
  172. package/src/FiberRefsPatch.ts +3 -3
  173. package/src/Function.ts +2 -8
  174. package/src/GroupBy.ts +5 -5
  175. package/src/HashSet.ts +2 -7
  176. package/src/Iterable.ts +2 -7
  177. package/src/Layer.ts +22 -77
  178. package/src/List.ts +32 -43
  179. package/src/Logger.ts +21 -55
  180. package/src/Mailbox.ts +9 -9
  181. package/src/MergeDecision.ts +9 -9
  182. package/src/MergeStrategy.ts +9 -9
  183. package/src/Metric.ts +13 -47
  184. package/src/MetricKey.ts +4 -16
  185. package/src/MetricPolling.ts +1 -3
  186. package/src/Micro.ts +43 -104
  187. package/src/MutableHashMap.ts +1 -4
  188. package/src/Option.ts +4 -7
  189. package/src/ParseResult.ts +4 -14
  190. package/src/Predicate.ts +2 -6
  191. package/src/RcMap.ts +10 -10
  192. package/src/Record.ts +24 -90
  193. package/src/RedBlackTree.ts +14 -14
  194. package/src/Request.ts +2 -7
  195. package/src/RequestResolver.ts +6 -22
  196. package/src/Runtime.ts +4 -4
  197. package/src/STM.ts +17 -67
  198. package/src/Schedule.ts +37 -126
  199. package/src/Schema.ts +99 -123
  200. package/src/SchemaAST.ts +1 -1
  201. package/src/Sink.ts +20 -68
  202. package/src/SortedMap.ts +1 -3
  203. package/src/Stream.ts +86 -311
  204. package/src/StreamHaltStrategy.ts +13 -13
  205. package/src/Struct.ts +2 -7
  206. package/src/Subscribable.ts +1 -3
  207. package/src/SubscriptionRef.ts +1 -3
  208. package/src/SynchronizedRef.ts +17 -19
  209. package/src/TArray.ts +7 -10
  210. package/src/TMap.ts +4 -13
  211. package/src/TSubscriptionRef.ts +3 -3
  212. package/src/Take.ts +24 -29
  213. package/src/TestServices.ts +1 -3
  214. package/src/Unify.ts +1 -3
  215. package/src/UpstreamPullRequest.ts +9 -9
  216. package/src/UpstreamPullStrategy.ts +9 -9
  217. 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
- * Given a schema `Schema<A, I, R>` and a key `key: K`, this function extracts a specific field from the `A` type,
3139
- * producing a new schema that represents a transformation from the `{ readonly [key]: I[K] }` type to `A[K]`.
3140
- *
3141
- * @example
3142
- * ```ts
3143
- * import * as Schema from "effect/Schema"
3144
- *
3145
- * // ---------------------------------------------
3146
- * // use case: pull out a single field from a
3147
- * // struct through a transformation
3148
- * // ---------------------------------------------
3149
- *
3150
- * const mytable = Schema.Struct({
3151
- * column1: Schema.NumberFromString,
3152
- * column2: Schema.Number
3153
- * })
3154
- *
3155
- * // const pullOutColumn: S.Schema<number, {
3156
- * // readonly column1: string;
3157
- * // }, never>
3158
- * const pullOutColumn = mytable.pipe(Schema.pluck("column1"))
3159
- *
3160
- * console.log(Schema.decodeUnknownEither(Schema.Array(pullOutColumn))([{ column1: "1", column2: 100 }, { column1: "2", column2: 300 }]))
3161
- * // Output: { _id: 'Either', _tag: 'Right', right: [ 1, 2 ] }
3162
- * ```
3163
- *
3164
- * @category struct transformations
3165
- * @since 3.10.0
3166
- */
3167
- A[K], /**
3168
- * Given a schema `Schema<A, I, R>` and a key `key: K`, this function extracts a specific field from the `A` type,
3169
- * producing a new schema that represents a transformation from the `{ readonly [key]: I[K] }` type to `A[K]`.
3170
- *
3171
- * @example
3172
- * ```ts
3173
- * import * as Schema from "effect/Schema"
3174
- *
3175
- * // ---------------------------------------------
3176
- * // use case: pull out a single field from a
3177
- * // struct through a transformation
3178
- * // ---------------------------------------------
3179
- *
3180
- * const mytable = Schema.Struct({
3181
- * column1: Schema.NumberFromString,
3182
- * column2: Schema.Number
3183
- * })
3184
- *
3185
- * // const pullOutColumn: S.Schema<number, {
3186
- * // readonly column1: string;
3187
- * // }, never>
3188
- * const pullOutColumn = mytable.pipe(Schema.pluck("column1"))
3189
- *
3190
- * console.log(Schema.decodeUnknownEither(Schema.Array(pullOutColumn))([{ column1: "1", column2: 100 }, { column1: "2", column2: 300 }]))
3191
- * // Output: { _id: 'Either', _tag: 'Right', right: [ 1, 2 ] }
3192
- * ```
3193
- *
3194
- * @category struct transformations
3195
- * @since 3.10.0
3196
- */
3197
- A[K], /**
3198
- * Given a schema `Schema<A, I, R>` and a key `key: K`, this function extracts a specific field from the `A` type,
3199
- * producing a new schema that represents a transformation from the `{ readonly [key]: I[K] }` type to `A[K]`.
3200
- *
3201
- * @example
3202
- * ```ts
3203
- * import * as Schema from "effect/Schema"
3204
- *
3205
- * // ---------------------------------------------
3206
- * // use case: pull out a single field from a
3207
- * // struct through a transformation
3208
- * // ---------------------------------------------
3209
- *
3210
- * const mytable = Schema.Struct({
3211
- * column1: Schema.NumberFromString,
3212
- * column2: Schema.Number
3213
- * })
3214
- *
3215
- * // const pullOutColumn: S.Schema<number, {
3216
- * // readonly column1: string;
3217
- * // }, never>
3218
- * const pullOutColumn = mytable.pipe(Schema.pluck("column1"))
3219
- *
3220
- * console.log(Schema.decodeUnknownEither(Schema.Array(pullOutColumn))([{ column1: "1", column2: 100 }, { column1: "2", column2: 300 }]))
3221
- * // Output: { _id: 'Either', _tag: 'Right', right: [ 1, 2 ] }
3222
- * ```
3223
- *
3224
- * @category struct transformations
3225
- * @since 3.10.0
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