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/Effect.ts CHANGED
@@ -1360,9 +1360,7 @@ export const dropUntil: {
1360
1360
  * @since 2.0.0
1361
1361
  * @category Collecting
1362
1362
  */
1363
- <A, E, R>(
1364
- predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>
1365
- ): (elements: Iterable<A>) => Effect<Array<A>, E, R>
1363
+ <A, E, R>(predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>): (elements: Iterable<A>) => Effect<Array<A>, E, R>
1366
1364
  /**
1367
1365
  * Drops elements until the effectful predicate returns `true`.
1368
1366
  *
@@ -1503,9 +1501,7 @@ export const dropWhile: {
1503
1501
  * @since 2.0.0
1504
1502
  * @category Collecting
1505
1503
  */
1506
- <A, E, R>(
1507
- predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>
1508
- ): (elements: Iterable<A>) => Effect<Array<A>, E, R>
1504
+ <A, E, R>(predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>): (elements: Iterable<A>) => Effect<Array<A>, E, R>
1509
1505
  /**
1510
1506
  * Drops elements as long as the predicate returns `true`.
1511
1507
  *
@@ -1653,9 +1649,7 @@ export const takeUntil: {
1653
1649
  * @since 2.0.0
1654
1650
  * @category Collecting
1655
1651
  */
1656
- <A, R, E>(
1657
- predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>
1658
- ): (elements: Iterable<A>) => Effect<Array<A>, E, R>
1652
+ <A, R, E>(predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>): (elements: Iterable<A>) => Effect<Array<A>, E, R>
1659
1653
  /**
1660
1654
  * Takes elements from a collection until the effectful predicate returns
1661
1655
  * `true`.
@@ -1785,9 +1779,7 @@ export const takeWhile: {
1785
1779
  * @since 2.0.0
1786
1780
  * @category Collecting
1787
1781
  */
1788
- <A, E, R>(
1789
- predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>
1790
- ): (elements: Iterable<A>) => Effect<Array<A>, E, R>
1782
+ <A, E, R>(predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>): (elements: Iterable<A>) => Effect<Array<A>, E, R>
1791
1783
  /**
1792
1784
  * Takes elements as long as the predicate returns `true`.
1793
1785
  *
@@ -2346,9 +2338,7 @@ export const filterMap: {
2346
2338
  * @since 2.0.0
2347
2339
  * @category Filtering
2348
2340
  */
2349
- <Eff extends Effect<any, any, any>, B>(
2350
- pf: (a: Effect.Success<Eff>) => Option.Option<B>
2351
- ): (elements: Iterable<Eff>) => Effect<Array<B>, Effect.Error<Eff>, Effect.Context<Eff>>
2341
+ <Eff extends Effect<any, any, any>, B>(pf: (a: Effect.Success<Eff>) => Option.Option<B>): (elements: Iterable<Eff>) => Effect<Array<B>, Effect.Error<Eff>, Effect.Context<Eff>>
2352
2342
  /**
2353
2343
  * Filters and maps elements sequentially in one operation.
2354
2344
  *
@@ -2384,10 +2374,7 @@ export const filterMap: {
2384
2374
  * @since 2.0.0
2385
2375
  * @category Filtering
2386
2376
  */
2387
- <Eff extends Effect<any, any, any>, B>(
2388
- elements: Iterable<Eff>,
2389
- pf: (a: Effect.Success<Eff>) => Option.Option<B>
2390
- ): Effect<Array<B>, Effect.Error<Eff>, Effect.Context<Eff>>
2377
+ <Eff extends Effect<any, any, any>, B>(elements: Iterable<Eff>, pf: (a: Effect.Success<Eff>) => Option.Option<B>): Effect<Array<B>, Effect.Error<Eff>, Effect.Context<Eff>>
2391
2378
  } = effect.filterMap
2392
2379
 
2393
2380
  /**
@@ -2473,9 +2460,7 @@ export const findFirst: {
2473
2460
  * @since 2.0.0
2474
2461
  * @category Collecting
2475
2462
  */
2476
- <A, E, R>(
2477
- predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>
2478
- ): (elements: Iterable<A>) => Effect<Option.Option<A>, E, R>
2463
+ <A, E, R>(predicate: (a: NoInfer<A>, i: number) => Effect<boolean, E, R>): (elements: Iterable<A>) => Effect<Option.Option<A>, E, R>
2479
2464
  /**
2480
2465
  * Returns the first element that satisfies the effectful predicate.
2481
2466
  *
@@ -6191,9 +6176,7 @@ export const catchAllCause: {
6191
6176
  * @since 2.0.0
6192
6177
  * @category Error handling
6193
6178
  */
6194
- <E, A2, E2, R2>(
6195
- f: (cause: Cause.Cause<E>) => Effect<A2, E2, R2>
6196
- ): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E2, R2 | R>
6179
+ <E, A2, E2, R2>(f: (cause: Cause.Cause<E>) => Effect<A2, E2, R2>): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E2, R2 | R>
6197
6180
  /**
6198
6181
  * Handles both recoverable and unrecoverable errors by providing a recovery
6199
6182
  * effect.
@@ -6235,10 +6218,7 @@ export const catchAllCause: {
6235
6218
  * @since 2.0.0
6236
6219
  * @category Error handling
6237
6220
  */
6238
- <A, E, R, A2, E2, R2>(
6239
- self: Effect<A, E, R>,
6240
- f: (cause: Cause.Cause<E>) => Effect<A2, E2, R2>
6241
- ): Effect<A | A2, E2, R | R2>
6221
+ <A, E, R, A2, E2, R2>(self: Effect<A, E, R>, f: (cause: Cause.Cause<E>) => Effect<A2, E2, R2>): Effect<A | A2, E2, R | R2>
6242
6222
  } = core.catchAllCause
6243
6223
 
6244
6224
  /**
@@ -6350,9 +6330,7 @@ export const catchAllDefect: {
6350
6330
  * @since 2.0.0
6351
6331
  * @category Error handling
6352
6332
  */
6353
- <A2, E2, R2>(
6354
- f: (defect: unknown) => Effect<A2, E2, R2>
6355
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A2 | A, E2 | E, R2 | R>
6333
+ <A2, E2, R2>(f: (defect: unknown) => Effect<A2, E2, R2>): <A, E, R>(self: Effect<A, E, R>) => Effect<A2 | A, E2 | E, R2 | R>
6356
6334
  /**
6357
6335
  * Recovers from all defects using a provided recovery function.
6358
6336
  *
@@ -6407,10 +6385,7 @@ export const catchAllDefect: {
6407
6385
  * @since 2.0.0
6408
6386
  * @category Error handling
6409
6387
  */
6410
- <A, E, R, A2, E2, R2>(
6411
- self: Effect<A, E, R>,
6412
- f: (defect: unknown) => Effect<A2, E2, R2>
6413
- ): Effect<A | A2, E | E2, R | R2>
6388
+ <A, E, R, A2, E2, R2>(self: Effect<A, E, R>, f: (defect: unknown) => Effect<A2, E2, R2>): Effect<A | A2, E | E2, R | R2>
6414
6389
  } = effect.catchAllDefect
6415
6390
 
6416
6391
  /**
@@ -6518,10 +6493,7 @@ export const catchIf: {
6518
6493
  * @since 2.0.0
6519
6494
  * @category Error handling
6520
6495
  */
6521
- <E, EB extends E, A2, E2, R2>(
6522
- refinement: Refinement<NoInfer<E>, EB>,
6523
- f: (e: EB) => Effect<A2, E2, R2>
6524
- ): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E2 | Exclude<E, EB>, R2 | R>
6496
+ <E, EB extends E, A2, E2, R2>(refinement: Refinement<NoInfer<E>, EB>, f: (e: EB) => Effect<A2, E2, R2>): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E2 | Exclude<E, EB>, R2 | R>
6525
6497
  /**
6526
6498
  * Recovers from specific errors based on a predicate.
6527
6499
  *
@@ -6574,10 +6546,7 @@ export const catchIf: {
6574
6546
  * @since 2.0.0
6575
6547
  * @category Error handling
6576
6548
  */
6577
- <E, A2, E2, R2>(
6578
- predicate: Predicate<NoInfer<E>>,
6579
- f: (e: NoInfer<E>) => Effect<A2, E2, R2>
6580
- ): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E | E2, R2 | R>
6549
+ <E, A2, E2, R2>(predicate: Predicate<NoInfer<E>>, f: (e: NoInfer<E>) => Effect<A2, E2, R2>): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E | E2, R2 | R>
6581
6550
  /**
6582
6551
  * Recovers from specific errors based on a predicate.
6583
6552
  *
@@ -6811,9 +6780,7 @@ export const catchSome: {
6811
6780
  * @since 2.0.0
6812
6781
  * @category Error handling
6813
6782
  */
6814
- <E, A2, E2, R2>(
6815
- pf: (e: NoInfer<E>) => Option.Option<Effect<A2, E2, R2>>
6816
- ): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E | E2, R2 | R>
6783
+ <E, A2, E2, R2>(pf: (e: NoInfer<E>) => Option.Option<Effect<A2, E2, R2>>): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E | E2, R2 | R>
6817
6784
  /**
6818
6785
  * Catches and recovers from specific types of errors, allowing you to attempt
6819
6786
  * recovery only for certain errors.
@@ -6897,9 +6864,7 @@ export const catchSomeCause: {
6897
6864
  * @since 2.0.0
6898
6865
  * @category Error handling
6899
6866
  */
6900
- <E, A2, E2, R2>(
6901
- f: (cause: Cause.Cause<NoInfer<E>>) => Option.Option<Effect<A2, E2, R2>>
6902
- ): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E | E2, R2 | R>
6867
+ <E, A2, E2, R2>(f: (cause: Cause.Cause<NoInfer<E>>) => Option.Option<Effect<A2, E2, R2>>): <A, R>(self: Effect<A, E, R>) => Effect<A2 | A, E | E2, R2 | R>
6903
6868
  /**
6904
6869
  * Recovers from specific causes using a provided partial function.
6905
6870
  *
@@ -7042,9 +7007,7 @@ export const catchSomeDefect: {
7042
7007
  * @since 2.0.0
7043
7008
  * @category Error handling
7044
7009
  */
7045
- <A2, E2, R2>(
7046
- pf: (defect: unknown) => Option.Option<Effect<A2, E2, R2>>
7047
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A2 | A, E2 | E, R2 | R>
7010
+ <A2, E2, R2>(pf: (defect: unknown) => Option.Option<Effect<A2, E2, R2>>): <A, E, R>(self: Effect<A, E, R>) => Effect<A2 | A, E2 | E, R2 | R>
7048
7011
  /**
7049
7012
  * Recovers from specific defects using a provided partial function.
7050
7013
  *
@@ -7229,10 +7192,7 @@ export const catchTag: {
7229
7192
  * @since 2.0.0
7230
7193
  * @category Error handling
7231
7194
  */
7232
- <K extends E extends { _tag: string } ? E["_tag"] : never, E, A1, E1, R1>(
7233
- k: K,
7234
- f: (e: NoInfer<Extract<E, { _tag: K }>>) => Effect<A1, E1, R1>
7235
- ): <A, R>(self: Effect<A, E, R>) => Effect<A1 | A, E1 | Exclude<E, { _tag: K }>, R1 | R>
7195
+ <K extends E extends { _tag: string } ? E["_tag"] : never, E, A1, E1, R1>(k: K, f: (e: NoInfer<Extract<E, { _tag: K }>>) => Effect<A1, E1, R1>): <A, R>(self: Effect<A, E, R>) => Effect<A1 | A, E1 | Exclude<E, { _tag: K }>, R1 | R>
7236
7196
  /**
7237
7197
  * Catches and handles specific errors by their `_tag` field, which is used as a
7238
7198
  * discriminator.
@@ -9582,9 +9542,7 @@ export const flipWith: {
9582
9542
  * @since 2.0.0
9583
9543
  * @category Mapping
9584
9544
  */
9585
- <E, A, R, E2, A2, R2>(
9586
- f: (effect: Effect<E, A, R>) => Effect<E2, A2, R2>
9587
- ): (self: Effect<A, E, R>) => Effect<A2, E2, R2>
9545
+ <E, A, R, E2, A2, R2>(f: (effect: Effect<E, A, R>) => Effect<E2, A2, R2>): (self: Effect<A, E, R>) => Effect<A2, E2, R2>
9588
9546
  /**
9589
9547
  * Swaps the error/value parameters, applies the function `f` and flips the
9590
9548
  * parameters back
@@ -10333,9 +10291,7 @@ export const acquireRelease: {
10333
10291
  * @since 2.0.0
10334
10292
  * @category Scoping, Resources & Finalization
10335
10293
  */
10336
- <A, X, R2>(
10337
- release: (a: A, exit: Exit.Exit<unknown, unknown>) => Effect<X, never, R2>
10338
- ): <E, R>(acquire: Effect<A, E, R>) => Effect<A, E, Scope.Scope | R2 | R>
10294
+ <A, X, R2>(release: (a: A, exit: Exit.Exit<unknown, unknown>) => Effect<X, never, R2>): <E, R>(acquire: Effect<A, E, R>) => Effect<A, E, Scope.Scope | R2 | R>
10339
10295
  /**
10340
10296
  * Creates a scoped resource using an `acquire` and `release` effect.
10341
10297
  *
@@ -10451,9 +10407,7 @@ export const acquireReleaseInterruptible: {
10451
10407
  * @since 2.0.0
10452
10408
  * @category Scoping, Resources & Finalization
10453
10409
  */
10454
- <X, R2>(
10455
- release: (exit: Exit.Exit<unknown, unknown>) => Effect<X, never, R2>
10456
- ): <A, E, R>(acquire: Effect<A, E, R>) => Effect<A, E, Scope.Scope | R2 | R>
10410
+ <X, R2>(release: (exit: Exit.Exit<unknown, unknown>) => Effect<X, never, R2>): <A, E, R>(acquire: Effect<A, E, R>) => Effect<A, E, Scope.Scope | R2 | R>
10457
10411
  /**
10458
10412
  * Creates a scoped resource with an interruptible acquire action.
10459
10413
  *
@@ -11078,9 +11032,7 @@ export const onError: {
11078
11032
  * @since 2.0.0
11079
11033
  * @category Scoping, Resources & Finalization
11080
11034
  */
11081
- <E, X, R2>(
11082
- cleanup: (cause: Cause.Cause<E>) => Effect<X, never, R2>
11083
- ): <A, R>(self: Effect<A, E, R>) => Effect<A, E, R2 | R>
11035
+ <E, X, R2>(cleanup: (cause: Cause.Cause<E>) => Effect<X, never, R2>): <A, R>(self: Effect<A, E, R>) => Effect<A, E, R2 | R>
11084
11036
  /**
11085
11037
  * Ensures a cleanup effect runs whenever the calling effect fails, providing
11086
11038
  * the failure cause to the cleanup effect.
@@ -11235,9 +11187,7 @@ export const onExit: {
11235
11187
  * @since 2.0.0
11236
11188
  * @category Scoping, Resources & Finalization
11237
11189
  */
11238
- <A, E, X, R2>(
11239
- cleanup: (exit: Exit.Exit<A, E>) => Effect<X, never, R2>
11240
- ): <R>(self: Effect<A, E, R>) => Effect<A, E, R2 | R>
11190
+ <A, E, X, R2>(cleanup: (exit: Exit.Exit<A, E>) => Effect<X, never, R2>): <R>(self: Effect<A, E, R>) => Effect<A, E, R2 | R>
11241
11191
  /**
11242
11192
  * Guarantees that a cleanup function runs regardless of whether the effect
11243
11193
  * succeeds, fails, or is interrupted.
@@ -11500,9 +11450,7 @@ export const using: {
11500
11450
  * @since 2.0.0
11501
11451
  * @category Scoping, Resources & Finalization
11502
11452
  */
11503
- <A, A2, E2, R2>(
11504
- use: (a: A) => Effect<A2, E2, R2>
11505
- ): <E, R>(self: Effect<A, E, R>) => Effect<A2, E2 | E, R2 | Exclude<R, Scope.Scope>>
11453
+ <A, A2, E2, R2>(use: (a: A) => Effect<A2, E2, R2>): <E, R>(self: Effect<A, E, R>) => Effect<A2, E2 | E, R2 | Exclude<R, Scope.Scope>>
11506
11454
  /**
11507
11455
  * Scopes all resources acquired by one effect to the lifetime of another
11508
11456
  * effect.
@@ -11538,10 +11486,7 @@ export const using: {
11538
11486
  * @since 2.0.0
11539
11487
  * @category Scoping, Resources & Finalization
11540
11488
  */
11541
- <A, E, R, A2, E2, R2>(
11542
- self: Effect<A, E, R>,
11543
- use: (a: A) => Effect<A2, E2, R2>
11544
- ): Effect<A2, E | E2, R2 | Exclude<R, Scope.Scope>>
11489
+ <A, E, R, A2, E2, R2>(self: Effect<A, E, R>, use: (a: A) => Effect<A2, E2, R2>): Effect<A2, E | E2, R2 | Exclude<R, Scope.Scope>>
11545
11490
  } = fiberRuntime.using
11546
11491
 
11547
11492
  /**
@@ -11832,9 +11777,7 @@ export const forkAll: {
11832
11777
  * @since 2.0.0
11833
11778
  * @category Supervision & Fibers
11834
11779
  */
11835
- (
11836
- options: { readonly discard: true }
11837
- ): <Eff extends Effect<any, any, any>>(effects: Iterable<Eff>) => Effect<void, never, Effect.Context<Eff>>
11780
+ (options: { readonly discard: true }): <Eff extends Effect<any, any, any>>(effects: Iterable<Eff>) => Effect<void, never, Effect.Context<Eff>>
11838
11781
  /**
11839
11782
  * Returns an effect that forks all of the specified values, and returns a
11840
11783
  * composite fiber that produces a list of their results, in order.
@@ -11853,10 +11796,7 @@ export const forkAll: {
11853
11796
  * @since 2.0.0
11854
11797
  * @category Supervision & Fibers
11855
11798
  */
11856
- <Eff extends Effect<any, any, any>>(
11857
- effects: Iterable<Eff>,
11858
- options: { readonly discard: true }
11859
- ): Effect<void, never, Effect.Context<Eff>>
11799
+ <Eff extends Effect<any, any, any>>(effects: Iterable<Eff>, options: { readonly discard: true }): Effect<void, never, Effect.Context<Eff>>
11860
11800
  } = circular.forkAll
11861
11801
 
11862
11802
  /**
@@ -12979,9 +12919,7 @@ export const timedWith: {
12979
12919
  * @since 2.0.0
12980
12920
  * @category Delays & Timeouts
12981
12921
  */
12982
- <E1, R1>(
12983
- nanoseconds: Effect<bigint, E1, R1>
12984
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<[Duration.Duration, A], E1 | E, R1 | R>
12922
+ <E1, R1>(nanoseconds: Effect<bigint, E1, R1>): <A, E, R>(self: Effect<A, E, R>) => Effect<[Duration.Duration, A], E1 | E, R1 | R>
12985
12923
  /**
12986
12924
  * Executes an effect and measures its execution time using a custom clock.
12987
12925
  *
@@ -12996,10 +12934,7 @@ export const timedWith: {
12996
12934
  * @since 2.0.0
12997
12935
  * @category Delays & Timeouts
12998
12936
  */
12999
- <A, E, R, E1, R1>(
13000
- self: Effect<A, E, R>,
13001
- nanoseconds: Effect<bigint, E1, R1>
13002
- ): Effect<[Duration.Duration, A], E | E1, R | R1>
12937
+ <A, E, R, E1, R1>(self: Effect<A, E, R>, nanoseconds: Effect<bigint, E1, R1>): Effect<[Duration.Duration, A], E | E1, R | R1>
13003
12938
  } = effect.timedWith
13004
12939
 
13005
12940
  /**
@@ -14429,9 +14364,7 @@ export const provide: {
14429
14364
  * @since 2.0.0
14430
14365
  * @category Context
14431
14366
  */
14432
- <ROut, E2, RIn>(
14433
- layer: Layer.Layer<ROut, E2, RIn>
14434
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E2, RIn | Exclude<R, ROut>>
14367
+ <ROut, E2, RIn>(layer: Layer.Layer<ROut, E2, RIn>): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E2, RIn | Exclude<R, ROut>>
14435
14368
  /**
14436
14369
  * Provides necessary dependencies to an effect, removing its environmental
14437
14370
  * requirements.
@@ -14599,9 +14532,7 @@ export const provide: {
14599
14532
  * @since 2.0.0
14600
14533
  * @category Context
14601
14534
  */
14602
- <E2, R2>(
14603
- managedRuntime: ManagedRuntime.ManagedRuntime<R2, E2>
14604
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E2, Exclude<R, R2>>
14535
+ <E2, R2>(managedRuntime: ManagedRuntime.ManagedRuntime<R2, E2>): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E2, Exclude<R, R2>>
14605
14536
  /**
14606
14537
  * Provides necessary dependencies to an effect, removing its environmental
14607
14538
  * requirements.
@@ -14657,10 +14588,7 @@ export const provide: {
14657
14588
  * @since 2.0.0
14658
14589
  * @category Context
14659
14590
  */
14660
- <A, E, R, const Layers extends [Layer.Layer.Any, ...Array<Layer.Layer.Any>]>(
14661
- self: Effect<A, E, R>,
14662
- layers: Layers
14663
- ): Effect<
14591
+ <A, E, R, const Layers extends [Layer.Layer.Any, ...Array<Layer.Layer.Any>]>(self: Effect<A, E, R>, layers: Layers): Effect<
14664
14592
  A,
14665
14593
  E | { [k in keyof Layers]: Layer.Layer.Error<Layers[k]> }[number],
14666
14594
  | { [k in keyof Layers]: Layer.Layer.Context<Layers[k]> }[number]
@@ -14721,10 +14649,7 @@ export const provide: {
14721
14649
  * @since 2.0.0
14722
14650
  * @category Context
14723
14651
  */
14724
- <A, E, R, ROut, E2, RIn>(
14725
- self: Effect<A, E, R>,
14726
- layer: Layer.Layer<ROut, E2, RIn>
14727
- ): Effect<A, E | E2, RIn | Exclude<R, ROut>>
14652
+ <A, E, R, ROut, E2, RIn>(self: Effect<A, E, R>, layer: Layer.Layer<ROut, E2, RIn>): Effect<A, E | E2, RIn | Exclude<R, ROut>>
14728
14653
  /**
14729
14654
  * Provides necessary dependencies to an effect, removing its environmental
14730
14655
  * requirements.
@@ -14892,10 +14817,7 @@ export const provide: {
14892
14817
  * @since 2.0.0
14893
14818
  * @category Context
14894
14819
  */
14895
- <A, E, E2, R, R2>(
14896
- self: Effect<A, E, R>,
14897
- runtime: ManagedRuntime.ManagedRuntime<R2, E2>
14898
- ): Effect<A, E | E2, Exclude<R, R2>>
14820
+ <A, E, E2, R, R2>(self: Effect<A, E, R>, runtime: ManagedRuntime.ManagedRuntime<R2, E2>): Effect<A, E | E2, Exclude<R, R2>>
14899
14821
  } = layer.effect_provide
14900
14822
 
14901
14823
  /**
@@ -15096,10 +15018,7 @@ export const provideServiceEffect: {
15096
15018
  * @since 2.0.0
15097
15019
  * @category Context
15098
15020
  */
15099
- <I, S, E1, R1>(
15100
- tag: Context.Tag<I, S>,
15101
- effect: Effect<NoInfer<S>, E1, R1>
15102
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E1, R1 | Exclude<R, I>>
15021
+ <I, S, E1, R1>(tag: Context.Tag<I, S>, effect: Effect<NoInfer<S>, E1, R1>): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E | E1, R1 | Exclude<R, I>>
15103
15022
  /**
15104
15023
  * Dynamically provides an implementation for a service using an effect.
15105
15024
  *
@@ -15273,10 +15192,7 @@ export const updateService: {
15273
15192
  * @since 2.0.0
15274
15193
  * @category Context
15275
15194
  */
15276
- <I, S>(
15277
- tag: Context.Tag<I, S>,
15278
- f: (service: NoInfer<S>) => NoInfer<S>
15279
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, R | I>
15195
+ <I, S>(tag: Context.Tag<I, S>, f: (service: NoInfer<S>) => NoInfer<S>): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, R | I>
15280
15196
  /**
15281
15197
  * Updates a service in the context with a new implementation.
15282
15198
  *
@@ -15395,10 +15311,7 @@ export const bind: {
15395
15311
  * @category Do notation
15396
15312
  * @since 2.0.0
15397
15313
  */
15398
- <N extends string, A extends object, B, E2, R2>(
15399
- name: Exclude<N, keyof A>,
15400
- f: (a: NoInfer<A>) => Effect<B, E2, R2>
15401
- ): <E1, R1>(self: Effect<A, E1, R1>) => Effect<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }, E2 | E1, R2 | R1>
15314
+ <N extends string, A extends object, B, E2, R2>(name: Exclude<N, keyof A>, f: (a: NoInfer<A>) => Effect<B, E2, R2>): <E1, R1>(self: Effect<A, E1, R1>) => Effect<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }, E2 | E1, R2 | R1>
15402
15315
  /**
15403
15316
  * The "do simulation" in Effect allows you to write code in a more declarative style, similar to the "do notation" in other programming languages. It provides a way to define variables and perform operations on them using functions like `bind` and `let`.
15404
15317
  *
@@ -16106,10 +16019,7 @@ export const filterOrDie: {
16106
16019
  * @since 2.0.0
16107
16020
  * @category Filtering
16108
16021
  */
16109
- <A>(
16110
- predicate: Predicate<NoInfer<A>>,
16111
- orDieWith: (a: NoInfer<A>) => unknown
16112
- ): <E, R>(self: Effect<A, E, R>) => Effect<A, E, R>
16022
+ <A>(predicate: Predicate<NoInfer<A>>, orDieWith: (a: NoInfer<A>) => unknown): <E, R>(self: Effect<A, E, R>) => Effect<A, E, R>
16113
16023
  /**
16114
16024
  * Filters an effect, dying with a custom defect if the predicate fails.
16115
16025
  *
@@ -16181,10 +16091,7 @@ export const filterOrDieMessage: {
16181
16091
  * @since 2.0.0
16182
16092
  * @category Filtering
16183
16093
  */
16184
- <A, B extends A>(
16185
- refinement: Refinement<NoInfer<A>, B>,
16186
- message: string
16187
- ): <E, R>(self: Effect<A, E, R>) => Effect<B, E, R>
16094
+ <A, B extends A>(refinement: Refinement<NoInfer<A>, B>, message: string): <E, R>(self: Effect<A, E, R>) => Effect<B, E, R>
16188
16095
  /**
16189
16096
  * Filters an effect, dying with a custom message if the predicate fails.
16190
16097
  *
@@ -16411,10 +16318,7 @@ export const filterOrFail: {
16411
16318
  * @since 2.0.0
16412
16319
  * @category Filtering
16413
16320
  */
16414
- <A, B extends A, E2>(
16415
- refinement: Refinement<NoInfer<A>, B>,
16416
- orFailWith: (a: NoInfer<A>) => E2
16417
- ): <E, R>(self: Effect<A, E, R>) => Effect<B, E2 | E, R>
16321
+ <A, B extends A, E2>(refinement: Refinement<NoInfer<A>, B>, orFailWith: (a: NoInfer<A>) => E2): <E, R>(self: Effect<A, E, R>) => Effect<B, E2 | E, R>
16418
16322
  /**
16419
16323
  * Filters an effect, failing with a custom error if the predicate fails.
16420
16324
  *
@@ -16464,10 +16368,7 @@ export const filterOrFail: {
16464
16368
  * @since 2.0.0
16465
16369
  * @category Filtering
16466
16370
  */
16467
- <A, E2>(
16468
- predicate: Predicate<NoInfer<A>>,
16469
- orFailWith: (a: NoInfer<A>) => E2
16470
- ): <E, R>(self: Effect<A, E, R>) => Effect<A, E2 | E, R>
16371
+ <A, E2>(predicate: Predicate<NoInfer<A>>, orFailWith: (a: NoInfer<A>) => E2): <E, R>(self: Effect<A, E, R>) => Effect<A, E2 | E, R>
16471
16372
  /**
16472
16373
  * Filters an effect, failing with a custom error if the predicate fails.
16473
16374
  *
@@ -16517,9 +16418,7 @@ export const filterOrFail: {
16517
16418
  * @since 2.0.0
16518
16419
  * @category Filtering
16519
16420
  */
16520
- <A, B extends A>(
16521
- refinement: Refinement<NoInfer<A>, B>
16522
- ): <E, R>(self: Effect<A, E, R>) => Effect<B, Cause.NoSuchElementException | E, R>
16421
+ <A, B extends A>(refinement: Refinement<NoInfer<A>, B>): <E, R>(self: Effect<A, E, R>) => Effect<B, Cause.NoSuchElementException | E, R>
16523
16422
  /**
16524
16423
  * Filters an effect, failing with a custom error if the predicate fails.
16525
16424
  *
@@ -16723,10 +16622,7 @@ export const filterOrFail: {
16723
16622
  * @since 2.0.0
16724
16623
  * @category Filtering
16725
16624
  */
16726
- <A, E, R, B extends A>(
16727
- self: Effect<A, E, R>,
16728
- refinement: Refinement<A, B>
16729
- ): Effect<B, E | Cause.NoSuchElementException, R>
16625
+ <A, E, R, B extends A>(self: Effect<A, E, R>, refinement: Refinement<A, B>): Effect<B, E | Cause.NoSuchElementException, R>
16730
16626
  /**
16731
16627
  * Filters an effect, failing with a custom error if the predicate fails.
16732
16628
  *
@@ -17087,9 +16983,7 @@ export const unlessEffect: {
17087
16983
  * @since 2.0.0
17088
16984
  * @category Conditional Operators
17089
16985
  */
17090
- <E2, R2>(
17091
- condition: Effect<boolean, E2, R2>
17092
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<Option.Option<A>, E2 | E, R2 | R>
16986
+ <E2, R2>(condition: Effect<boolean, E2, R2>): <A, E, R>(self: Effect<A, E, R>) => Effect<Option.Option<A>, E2 | E, R2 | R>
17093
16987
  /**
17094
16988
  * Conditionally execute an effect based on the result of another effect.
17095
16989
  *
@@ -17335,9 +17229,7 @@ export const whenEffect: {
17335
17229
  * @since 2.0.0
17336
17230
  * @category Conditional Operators
17337
17231
  */
17338
- <E, R>(
17339
- condition: Effect<boolean, E, R>
17340
- ): <A, E2, R2>(effect: Effect<A, E2, R2>) => Effect<Option.Option<A>, E | E2, R | R2>
17232
+ <E, R>(condition: Effect<boolean, E, R>): <A, E2, R2>(effect: Effect<A, E2, R2>) => Effect<Option.Option<A>, E | E2, R | R2>
17341
17233
  /**
17342
17234
  * Conditionally executes an effect based on the result of another effect.
17343
17235
  *
@@ -17411,10 +17303,7 @@ export const whenFiberRef: {
17411
17303
  * @since 2.0.0
17412
17304
  * @category Conditional Operators
17413
17305
  */
17414
- <S>(
17415
- fiberRef: FiberRef.FiberRef<S>,
17416
- predicate: Predicate<S>
17417
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<[S, Option.Option<A>], E, R>
17306
+ <S>(fiberRef: FiberRef.FiberRef<S>, predicate: Predicate<S>): <A, E, R>(self: Effect<A, E, R>) => Effect<[S, Option.Option<A>], E, R>
17418
17307
  /**
17419
17308
  * Executes an effect conditionally based on the value of a `FiberRef` that
17420
17309
  * satisfies a predicate.
@@ -17983,10 +17872,7 @@ export const andThen: {
17983
17872
  * @since 2.0.0
17984
17873
  * @category Sequencing
17985
17874
  */
17986
- <A, E, R, X>(
17987
- self: Effect<A, E, R>,
17988
- f: (a: NoInfer<A>) => X
17989
- ): [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1>
17875
+ <A, E, R, X>(self: Effect<A, E, R>, f: (a: NoInfer<A>) => X): [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1>
17990
17876
  : [X] extends [PromiseLike<infer A1>] ? Effect<A1, E | Cause.UnknownException, R>
17991
17877
  : Effect<X, E, R>
17992
17878
  /**
@@ -18063,10 +17949,7 @@ export const andThen: {
18063
17949
  * @since 2.0.0
18064
17950
  * @category Sequencing
18065
17951
  */
18066
- <A, E, R, X>(
18067
- self: Effect<A, E, R>,
18068
- f: NotFunction<X>
18069
- ): [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1>
17952
+ <A, E, R, X>(self: Effect<A, E, R>, f: NotFunction<X>): [X] extends [Effect<infer A1, infer E1, infer R1>] ? Effect<A1, E | E1, R | R1>
18070
17953
  : [X] extends [PromiseLike<infer A1>] ? Effect<A1, E | Cause.UnknownException, R>
18071
17954
  : Effect<X, E, R>
18072
17955
  } = core.andThen
@@ -19244,10 +19127,7 @@ export const summarized: {
19244
19127
  * @since 2.0.0
19245
19128
  * @category Sequencing
19246
19129
  */
19247
- <B, E2, R2, C>(
19248
- summary: Effect<B, E2, R2>,
19249
- f: (start: B, end: B) => C
19250
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<[C, A], E2 | E, R2 | R>
19130
+ <B, E2, R2, C>(summary: Effect<B, E2, R2>, f: (start: B, end: B) => C): <A, E, R>(self: Effect<A, E, R>) => Effect<[C, A], E2 | E, R2 | R>
19251
19131
  /**
19252
19132
  * Summarizes a effect by computing some value before and after execution, and
19253
19133
  * then combining the values to produce a summary, together with the result of
@@ -19604,10 +19484,7 @@ export const tap: {
19604
19484
  * @since 2.0.0
19605
19485
  * @category Sequencing
19606
19486
  */
19607
- <A, E, R, X>(
19608
- self: Effect<A, E, R>,
19609
- f: (a: NoInfer<A>) => X
19610
- ): [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1>
19487
+ <A, E, R, X>(self: Effect<A, E, R>, f: (a: NoInfer<A>) => X): [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1>
19611
19488
  : [X] extends [PromiseLike<infer _A1>] ? Effect<A, E | Cause.UnknownException, R>
19612
19489
  : Effect<A, E, R>
19613
19490
  /**
@@ -19723,10 +19600,7 @@ export const tap: {
19723
19600
  * @since 2.0.0
19724
19601
  * @category Sequencing
19725
19602
  */
19726
- <A, E, R, X>(
19727
- self: Effect<A, E, R>,
19728
- f: NotFunction<X>
19729
- ): [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1>
19603
+ <A, E, R, X>(self: Effect<A, E, R>, f: NotFunction<X>): [X] extends [Effect<infer _A1, infer E1, infer R1>] ? Effect<A, E | E1, R | R1>
19730
19604
  : [X] extends [PromiseLike<infer _A1>] ? Effect<A, E | Cause.UnknownException, R>
19731
19605
  : Effect<A, E, R>
19732
19606
  /**
@@ -19783,11 +19657,7 @@ export const tap: {
19783
19657
  * @since 2.0.0
19784
19658
  * @category Sequencing
19785
19659
  */
19786
- <A, E, R, X, E1, R1>(
19787
- self: Effect<A, E, R>,
19788
- f: Effect<X, E1, R1>,
19789
- options: { onlyEffect: true }
19790
- ): Effect<A, E | E1, R | R1>
19660
+ <A, E, R, X, E1, R1>(self: Effect<A, E, R>, f: Effect<X, E1, R1>, options: { onlyEffect: true }): Effect<A, E | E1, R | R1>
19791
19661
  } = core.tap
19792
19662
 
19793
19663
  /**
@@ -20042,9 +19912,7 @@ export const tapDefect: {
20042
19912
  * @since 2.0.0
20043
19913
  * @category Sequencing
20044
19914
  */
20045
- <X, E2, R2>(
20046
- f: (cause: Cause.Cause<never>) => Effect<X, E2, R2>
20047
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E2 | E, R2 | R>
19915
+ <X, E2, R2>(f: (cause: Cause.Cause<never>) => Effect<X, E2, R2>): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E2 | E, R2 | R>
20048
19916
  /**
20049
19917
  * Inspect severe errors or defects (non-recoverable failures) in an effect.
20050
19918
  *
@@ -20095,10 +19963,7 @@ export const tapDefect: {
20095
19963
  * @since 2.0.0
20096
19964
  * @category Sequencing
20097
19965
  */
20098
- <A, E, R, X, E2, R2>(
20099
- self: Effect<A, E, R>,
20100
- f: (cause: Cause.Cause<never>) => Effect<X, E2, R2>
20101
- ): Effect<A, E | E2, R | R2>
19966
+ <A, E, R, X, E2, R2>(self: Effect<A, E, R>, f: (cause: Cause.Cause<never>) => Effect<X, E2, R2>): Effect<A, E | E2, R | R2>
20102
19967
  } = effect.tapDefect
20103
19968
 
20104
19969
  /**
@@ -20302,10 +20167,7 @@ export const tapErrorTag: {
20302
20167
  * @since 2.0.0
20303
20168
  * @category Sequencing
20304
20169
  */
20305
- <K extends E extends { _tag: string } ? E["_tag"] : never, E, A1, E1, R1>(
20306
- k: K,
20307
- f: (e: NoInfer<Extract<E, { _tag: K }>>) => Effect<A1, E1, R1>
20308
- ): <A, R>(self: Effect<A, E, R>) => Effect<A, E | E1, R1 | R>
20170
+ <K extends E extends { _tag: string } ? E["_tag"] : never, E, A1, E1, R1>(k: K, f: (e: NoInfer<Extract<E, { _tag: K }>>) => Effect<A1, E1, R1>): <A, R>(self: Effect<A, E, R>) => Effect<A, E | E1, R1 | R>
20309
20171
  /**
20310
20172
  * Inspect errors matching a specific tag without altering the original effect.
20311
20173
  *
@@ -20455,9 +20317,7 @@ export const tapErrorCause: {
20455
20317
  * @since 2.0.0
20456
20318
  * @category Sequencing
20457
20319
  */
20458
- <E, X, E2, R2>(
20459
- f: (cause: Cause.Cause<NoInfer<E>>) => Effect<X, E2, R2>
20460
- ): <A, R>(self: Effect<A, E, R>) => Effect<A, E | E2, R2 | R>
20320
+ <E, X, E2, R2>(f: (cause: Cause.Cause<NoInfer<E>>) => Effect<X, E2, R2>): <A, R>(self: Effect<A, E, R>) => Effect<A, E | E2, R2 | R>
20461
20321
  /**
20462
20322
  * Inspect the complete cause of an error, including failures and defects.
20463
20323
  *
@@ -20506,10 +20366,7 @@ export const tapErrorCause: {
20506
20366
  * @since 2.0.0
20507
20367
  * @category Sequencing
20508
20368
  */
20509
- <A, E, R, X, E2, R2>(
20510
- self: Effect<A, E, R>,
20511
- f: (cause: Cause.Cause<E>) => Effect<X, E2, R2>
20512
- ): Effect<A, E | E2, R | R2>
20369
+ <A, E, R, X, E2, R2>(self: Effect<A, E, R>, f: (cause: Cause.Cause<E>) => Effect<X, E2, R2>): Effect<A, E | E2, R | R2>
20513
20370
  } = effect.tapErrorCause
20514
20371
 
20515
20372
  /**
@@ -21892,9 +21749,7 @@ export const schedule: {
21892
21749
  * @since 2.0.0
21893
21750
  * @category Repetition / Recursion
21894
21751
  */
21895
- <A, R2, Out>(
21896
- schedule: Schedule.Schedule<Out, NoInfer<A> | undefined, R2>
21897
- ): <E, R>(self: Effect<A, E, R>) => Effect<Out, E, R2 | R>
21752
+ <A, R2, Out>(schedule: Schedule.Schedule<Out, NoInfer<A> | undefined, R2>): <E, R>(self: Effect<A, E, R>) => Effect<Out, E, R2 | R>
21898
21753
  /**
21899
21754
  * Repeats an effect based on a specified schedule.
21900
21755
  *
@@ -21967,9 +21822,7 @@ export const scheduleForked: {
21967
21822
  * @since 2.0.0
21968
21823
  * @category Repetition / Recursion
21969
21824
  */
21970
- <Out, R2>(
21971
- schedule: Schedule.Schedule<Out, unknown, R2>
21972
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<Fiber.RuntimeFiber<Out, E>, never, Scope.Scope | R2 | R>
21825
+ <Out, R2>(schedule: Schedule.Schedule<Out, unknown, R2>): <A, E, R>(self: Effect<A, E, R>) => Effect<Fiber.RuntimeFiber<Out, E>, never, Scope.Scope | R2 | R>
21973
21826
  /**
21974
21827
  * Runs an effect repeatedly on a new fiber according to a given schedule.
21975
21828
  *
@@ -21993,10 +21846,7 @@ export const scheduleForked: {
21993
21846
  * @since 2.0.0
21994
21847
  * @category Repetition / Recursion
21995
21848
  */
21996
- <A, E, R, Out, R2>(
21997
- self: Effect<A, E, R>,
21998
- schedule: Schedule.Schedule<Out, unknown, R2>
21999
- ): Effect<Fiber.RuntimeFiber<Out, E>, never, Scope.Scope | R | R2>
21849
+ <A, E, R, Out, R2>(self: Effect<A, E, R>, schedule: Schedule.Schedule<Out, unknown, R2>): Effect<Fiber.RuntimeFiber<Out, E>, never, Scope.Scope | R | R2>
22000
21850
  } = circular.scheduleForked
22001
21851
 
22002
21852
  /**
@@ -22036,10 +21886,7 @@ export const scheduleFrom: {
22036
21886
  * @since 2.0.0
22037
21887
  * @category Repetition / Recursion
22038
21888
  */
22039
- <R2, In, Out>(
22040
- initial: In,
22041
- schedule: Schedule.Schedule<Out, In, R2>
22042
- ): <E, R>(self: Effect<In, E, R>) => Effect<Out, E, R2 | R>
21889
+ <R2, In, Out>(initial: In, schedule: Schedule.Schedule<Out, In, R2>): <E, R>(self: Effect<In, E, R>) => Effect<Out, E, R2 | R>
22043
21890
  /**
22044
21891
  * Runs an effect repeatedly according to a schedule, starting from a specified
22045
21892
  * input value.
@@ -26366,9 +26213,7 @@ export const request: {
26366
26213
  * @since 2.0.0
26367
26214
  * @category Requests & Batching
26368
26215
  */
26369
- <A extends Request.Request<any, any>, Ds extends RequestResolver<A> | Effect<RequestResolver<A>, any, any>>(
26370
- dataSource: Ds
26371
- ): (
26216
+ <A extends Request.Request<any, any>, Ds extends RequestResolver<A> | Effect<RequestResolver<A>, any, any>>(dataSource: Ds): (
26372
26217
  self: A
26373
26218
  ) => Effect<
26374
26219
  Request.Request.Success<A>,
@@ -26836,10 +26681,7 @@ export const withSpan: {
26836
26681
  * @since 2.0.0
26837
26682
  * @category Tracing
26838
26683
  */
26839
- (
26840
- name: string,
26841
- options?: Tracer.SpanOptions | undefined
26842
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, Tracer.ParentSpan>>
26684
+ (name: string, options?: Tracer.SpanOptions | undefined): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, Tracer.ParentSpan>>
26843
26685
  /**
26844
26686
  * Wraps the effect with a new span for tracing.
26845
26687
  *
@@ -26912,10 +26754,7 @@ export const withSpanScoped: {
26912
26754
  * @since 2.0.0
26913
26755
  * @category Tracing
26914
26756
  */
26915
- (
26916
- name: string,
26917
- options?: Tracer.SpanOptions
26918
- ): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, Tracer.ParentSpan> | Scope.Scope>
26757
+ (name: string, options?: Tracer.SpanOptions): <A, E, R>(self: Effect<A, E, R>) => Effect<A, E, Exclude<R, Tracer.ParentSpan> | Scope.Scope>
26919
26758
  /**
26920
26759
  * Wraps the effect with a new span for tracing.
26921
26760
  *
@@ -26924,11 +26763,7 @@ export const withSpanScoped: {
26924
26763
  * @since 2.0.0
26925
26764
  * @category Tracing
26926
26765
  */
26927
- <A, E, R>(
26928
- self: Effect<A, E, R>,
26929
- name: string,
26930
- options?: Tracer.SpanOptions
26931
- ): Effect<A, E, Exclude<R, Tracer.ParentSpan> | Scope.Scope>
26766
+ <A, E, R>(self: Effect<A, E, R>, name: string, options?: Tracer.SpanOptions): Effect<A, E, Exclude<R, Tracer.ParentSpan> | Scope.Scope>
26932
26767
  } = fiberRuntime.withSpanScoped
26933
26768
 
26934
26769
  /**