effect 3.15.3 → 3.15.5

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/src/Effect.ts CHANGED
@@ -253,6 +253,15 @@ export declare namespace Effect {
253
253
  * @category Effect Type Extractors
254
254
  */
255
255
  export type Success<T extends Effect<any, any, any>> = [T] extends [Effect<infer _A, infer _E, infer _R>] ? _A : never
256
+ /**
257
+ * @since 3.15.5
258
+ * @category Effect Type Extractors
259
+ */
260
+ export type AsEffect<T extends Effect<any, any, any>> = Effect<
261
+ T extends Effect<infer _A, infer _E, infer _R> ? _A : never,
262
+ T extends Effect<infer _A, infer _E, infer _R> ? _E : never,
263
+ T extends Effect<infer _A, infer _E, infer _R> ? _R : never
264
+ >
256
265
  }
257
266
 
258
267
  /**
@@ -28078,9 +28087,9 @@ export namespace fn {
28078
28087
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28079
28088
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28080
28089
  >,
28081
- ...args: Args
28090
+ ...args: NoInfer<Args>
28082
28091
  ) => A
28083
- ): (this: Self, ...args: Args) => A
28092
+ ): (this: Self, ...args: Args) => Effect.AsEffect<A>
28084
28093
  <
28085
28094
  Self,
28086
28095
  Eff extends YieldWrap<Effect<any, any, any>>,
@@ -28096,10 +28105,10 @@ export namespace fn {
28096
28105
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28097
28106
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28098
28107
  >,
28099
- ...args: Args
28108
+ ...args: NoInfer<Args>
28100
28109
  ) => A,
28101
- b: (_: A, ...args: Args) => B
28102
- ): (this: Self, ...args: Args) => B
28110
+ b: (_: A, ...args: NoInfer<Args>) => B
28111
+ ): (this: Self, ...args: Args) => Effect.AsEffect<B>
28103
28112
  <
28104
28113
  Self,
28105
28114
  Eff extends YieldWrap<Effect<any, any, any>>,
@@ -28116,11 +28125,11 @@ export namespace fn {
28116
28125
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28117
28126
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28118
28127
  >,
28119
- ...args: Args
28128
+ ...args: NoInfer<Args>
28120
28129
  ) => A,
28121
- b: (_: A, ...args: Args) => B,
28122
- c: (_: B, ...args: Args) => C
28123
- ): (this: Self, ...args: Args) => C
28130
+ b: (_: A, ...args: NoInfer<Args>) => B,
28131
+ c: (_: B, ...args: NoInfer<Args>) => C
28132
+ ): (this: Self, ...args: Args) => Effect.AsEffect<C>
28124
28133
  <
28125
28134
  Self,
28126
28135
  Eff extends YieldWrap<Effect<any, any, any>>,
@@ -28138,12 +28147,12 @@ export namespace fn {
28138
28147
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28139
28148
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28140
28149
  >,
28141
- ...args: Args
28150
+ ...args: NoInfer<Args>
28142
28151
  ) => A,
28143
- b: (_: A, ...args: Args) => B,
28144
- c: (_: B, ...args: Args) => C,
28145
- d: (_: C, ...args: Args) => D
28146
- ): (this: Self, ...args: Args) => D
28152
+ b: (_: A, ...args: NoInfer<Args>) => B,
28153
+ c: (_: B, ...args: NoInfer<Args>) => C,
28154
+ d: (_: C, ...args: NoInfer<Args>) => D
28155
+ ): (this: Self, ...args: Args) => Effect.AsEffect<D>
28147
28156
  <
28148
28157
  Self,
28149
28158
  Eff extends YieldWrap<Effect<any, any, any>>,
@@ -28162,13 +28171,13 @@ export namespace fn {
28162
28171
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28163
28172
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28164
28173
  >,
28165
- ...args: Args
28174
+ ...args: NoInfer<Args>
28166
28175
  ) => A,
28167
- b: (_: A, ...args: Args) => B,
28168
- c: (_: B, ...args: Args) => C,
28169
- d: (_: C, ...args: Args) => D,
28170
- e: (_: D, ...args: Args) => E
28171
- ): (this: Self, ...args: Args) => E
28176
+ b: (_: A, ...args: NoInfer<Args>) => B,
28177
+ c: (_: B, ...args: NoInfer<Args>) => C,
28178
+ d: (_: C, ...args: NoInfer<Args>) => D,
28179
+ e: (_: D, ...args: NoInfer<Args>) => E
28180
+ ): (this: Self, ...args: Args) => Effect.AsEffect<E>
28172
28181
  <
28173
28182
  Self,
28174
28183
  Eff extends YieldWrap<Effect<any, any, any>>,
@@ -28188,14 +28197,14 @@ export namespace fn {
28188
28197
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28189
28198
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28190
28199
  >,
28191
- ...args: Args
28200
+ ...args: NoInfer<Args>
28192
28201
  ) => A,
28193
- b: (_: A, ...args: Args) => B,
28194
- c: (_: B, ...args: Args) => C,
28195
- d: (_: C, ...args: Args) => D,
28196
- e: (_: D, ...args: Args) => E,
28197
- f: (_: E, ...args: Args) => F
28198
- ): (this: Self, ...args: Args) => F
28202
+ b: (_: A, ...args: NoInfer<Args>) => B,
28203
+ c: (_: B, ...args: NoInfer<Args>) => C,
28204
+ d: (_: C, ...args: NoInfer<Args>) => D,
28205
+ e: (_: D, ...args: NoInfer<Args>) => E,
28206
+ f: (_: E, ...args: NoInfer<Args>) => F
28207
+ ): (this: Self, ...args: Args) => Effect.AsEffect<F>
28199
28208
  <
28200
28209
  Self,
28201
28210
  Eff extends YieldWrap<Effect<any, any, any>>,
@@ -28216,15 +28225,15 @@ export namespace fn {
28216
28225
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28217
28226
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28218
28227
  >,
28219
- ...args: Args
28228
+ ...args: NoInfer<Args>
28220
28229
  ) => A,
28221
- b: (_: A, ...args: Args) => B,
28222
- c: (_: B, ...args: Args) => C,
28223
- d: (_: C, ...args: Args) => D,
28224
- e: (_: D, ...args: Args) => E,
28225
- f: (_: E, ...args: Args) => F,
28226
- g: (_: F, ...args: Args) => G
28227
- ): (this: Self, ...args: Args) => G
28230
+ b: (_: A, ...args: NoInfer<Args>) => B,
28231
+ c: (_: B, ...args: NoInfer<Args>) => C,
28232
+ d: (_: C, ...args: NoInfer<Args>) => D,
28233
+ e: (_: D, ...args: NoInfer<Args>) => E,
28234
+ f: (_: E, ...args: NoInfer<Args>) => F,
28235
+ g: (_: F, ...args: NoInfer<Args>) => G
28236
+ ): (this: Self, ...args: Args) => Effect.AsEffect<G>
28228
28237
  <
28229
28238
  Self,
28230
28239
  Eff extends YieldWrap<Effect<any, any, any>>,
@@ -28246,16 +28255,16 @@ export namespace fn {
28246
28255
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28247
28256
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28248
28257
  >,
28249
- ...args: Args
28258
+ ...args: NoInfer<Args>
28250
28259
  ) => A,
28251
- b: (_: A, ...args: Args) => B,
28252
- c: (_: B, ...args: Args) => C,
28253
- d: (_: C, ...args: Args) => D,
28254
- e: (_: D, ...args: Args) => E,
28255
- f: (_: E, ...args: Args) => F,
28256
- g: (_: F, ...args: Args) => G,
28257
- h: (_: G, ...args: Args) => H
28258
- ): (this: Self, ...args: Args) => H
28260
+ b: (_: A, ...args: NoInfer<Args>) => B,
28261
+ c: (_: B, ...args: NoInfer<Args>) => C,
28262
+ d: (_: C, ...args: NoInfer<Args>) => D,
28263
+ e: (_: D, ...args: NoInfer<Args>) => E,
28264
+ f: (_: E, ...args: NoInfer<Args>) => F,
28265
+ g: (_: F, ...args: NoInfer<Args>) => G,
28266
+ h: (_: G, ...args: NoInfer<Args>) => H
28267
+ ): (this: Self, ...args: Args) => Effect.AsEffect<H>
28259
28268
  <
28260
28269
  Self,
28261
28270
  Eff extends YieldWrap<Effect<any, any, any>>,
@@ -28278,17 +28287,17 @@ export namespace fn {
28278
28287
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28279
28288
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28280
28289
  >,
28281
- ...args: Args
28290
+ ...args: NoInfer<Args>
28282
28291
  ) => A,
28283
- b: (_: A, ...args: Args) => B,
28284
- c: (_: B, ...args: Args) => C,
28285
- d: (_: C, ...args: Args) => D,
28286
- e: (_: D, ...args: Args) => E,
28287
- f: (_: E, ...args: Args) => F,
28288
- g: (_: F, ...args: Args) => G,
28289
- h: (_: G, ...args: Args) => H,
28290
- i: (_: H, ...args: Args) => I
28291
- ): (this: Self, ...args: Args) => I
28292
+ b: (_: A, ...args: NoInfer<Args>) => B,
28293
+ c: (_: B, ...args: NoInfer<Args>) => C,
28294
+ d: (_: C, ...args: NoInfer<Args>) => D,
28295
+ e: (_: D, ...args: NoInfer<Args>) => E,
28296
+ f: (_: E, ...args: NoInfer<Args>) => F,
28297
+ g: (_: F, ...args: NoInfer<Args>) => G,
28298
+ h: (_: G, ...args: NoInfer<Args>) => H,
28299
+ i: (_: H, ...args: NoInfer<Args>) => I
28300
+ ): (this: Self, ...args: Args) => Effect.AsEffect<I>
28292
28301
  }
28293
28302
 
28294
28303
  /**
@@ -28298,79 +28307,79 @@ export namespace fn {
28298
28307
  export type NonGen = {
28299
28308
  <Self, Eff extends Effect<any, any, any>, Args extends Array<any>>(
28300
28309
  body: (this: Self, ...args: Args) => Eff
28301
- ): (this: Self, ...args: Args) => Eff
28310
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28302
28311
  <Self, Eff extends Effect<any, any, any>, A, Args extends Array<any>>(
28303
28312
  body: (this: Self, ...args: Args) => A,
28304
- a: (_: A, ...args: Args) => Eff
28305
- ): (this: Self, ...args: Args) => Eff
28313
+ a: (_: A, ...args: NoInfer<Args>) => Eff
28314
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28306
28315
  <Self, Eff extends Effect<any, any, any>, A, B, Args extends Array<any>>(
28307
28316
  body: (this: Self, ...args: Args) => A,
28308
- a: (_: A, ...args: Args) => B,
28309
- b: (_: B, ...args: Args) => Eff
28310
- ): (this: Self, ...args: Args) => Eff
28317
+ a: (_: A, ...args: NoInfer<Args>) => B,
28318
+ b: (_: B, ...args: NoInfer<Args>) => Eff
28319
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28311
28320
  <Self, Eff extends Effect<any, any, any>, A, B, C, Args extends Array<any>>(
28312
28321
  body: (this: Self, ...args: Args) => A,
28313
- a: (_: A, ...args: Args) => B,
28314
- b: (_: B, ...args: Args) => C,
28315
- c: (_: C, ...args: Args) => Eff
28316
- ): (this: Self, ...args: Args) => Eff
28322
+ a: (_: A, ...args: NoInfer<Args>) => B,
28323
+ b: (_: B, ...args: NoInfer<Args>) => C,
28324
+ c: (_: C, ...args: NoInfer<Args>) => Eff
28325
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28317
28326
  <Self, Eff extends Effect<any, any, any>, A, B, C, D, Args extends Array<any>>(
28318
28327
  body: (this: Self, ...args: Args) => A,
28319
- a: (_: A, ...args: Args) => B,
28320
- b: (_: B, ...args: Args) => C,
28321
- c: (_: C, ...args: Args) => D,
28322
- d: (_: D, ...args: Args) => Eff
28323
- ): (this: Self, ...args: Args) => Eff
28328
+ a: (_: A, ...args: NoInfer<Args>) => B,
28329
+ b: (_: B, ...args: NoInfer<Args>) => C,
28330
+ c: (_: C, ...args: NoInfer<Args>) => D,
28331
+ d: (_: D, ...args: NoInfer<Args>) => Eff
28332
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28324
28333
  <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, Args extends Array<any>>(
28325
28334
  body: (this: Self, ...args: Args) => A,
28326
- a: (_: A, ...args: Args) => B,
28327
- b: (_: B, ...args: Args) => C,
28328
- c: (_: C, ...args: Args) => D,
28329
- d: (_: D, ...args: Args) => E,
28330
- e: (_: E, ...args: Args) => Eff
28331
- ): (this: Self, ...args: Args) => Eff
28335
+ a: (_: A, ...args: NoInfer<Args>) => B,
28336
+ b: (_: B, ...args: NoInfer<Args>) => C,
28337
+ c: (_: C, ...args: NoInfer<Args>) => D,
28338
+ d: (_: D, ...args: NoInfer<Args>) => E,
28339
+ e: (_: E, ...args: NoInfer<Args>) => Eff
28340
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28332
28341
  <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, F, Args extends Array<any>>(
28333
28342
  body: (this: Self, ...args: Args) => A,
28334
- a: (_: A, ...args: Args) => B,
28335
- b: (_: B, ...args: Args) => C,
28336
- c: (_: C, ...args: Args) => D,
28337
- d: (_: D, ...args: Args) => E,
28338
- e: (_: E, ...args: Args) => F,
28339
- f: (_: F, ...args: Args) => Eff
28340
- ): (this: Self, ...args: Args) => Eff
28343
+ a: (_: A, ...args: NoInfer<Args>) => B,
28344
+ b: (_: B, ...args: NoInfer<Args>) => C,
28345
+ c: (_: C, ...args: NoInfer<Args>) => D,
28346
+ d: (_: D, ...args: NoInfer<Args>) => E,
28347
+ e: (_: E, ...args: NoInfer<Args>) => F,
28348
+ f: (_: F, ...args: NoInfer<Args>) => Eff
28349
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28341
28350
  <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, Args extends Array<any>>(
28342
28351
  body: (this: Self, ...args: Args) => A,
28343
- a: (_: A, ...args: Args) => B,
28344
- b: (_: B, ...args: Args) => C,
28345
- c: (_: C, ...args: Args) => D,
28346
- d: (_: D, ...args: Args) => E,
28347
- e: (_: E, ...args: Args) => F,
28348
- f: (_: F, ...args: Args) => G,
28349
- g: (_: G, ...args: Args) => Eff
28350
- ): (this: Self, ...args: Args) => Eff
28352
+ a: (_: A, ...args: NoInfer<Args>) => B,
28353
+ b: (_: B, ...args: NoInfer<Args>) => C,
28354
+ c: (_: C, ...args: NoInfer<Args>) => D,
28355
+ d: (_: D, ...args: NoInfer<Args>) => E,
28356
+ e: (_: E, ...args: NoInfer<Args>) => F,
28357
+ f: (_: F, ...args: NoInfer<Args>) => G,
28358
+ g: (_: G, ...args: NoInfer<Args>) => Eff
28359
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28351
28360
  <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, H, Args extends Array<any>>(
28352
28361
  body: (this: Self, ...args: Args) => A,
28353
- a: (_: A, ...args: Args) => B,
28354
- b: (_: B, ...args: Args) => C,
28355
- c: (_: C, ...args: Args) => D,
28356
- d: (_: D, ...args: Args) => E,
28357
- e: (_: E, ...args: Args) => F,
28358
- f: (_: F, ...args: Args) => G,
28359
- g: (_: G, ...args: Args) => H,
28360
- h: (_: H, ...args: Args) => Eff
28361
- ): (this: Self, ...args: Args) => Eff
28362
+ a: (_: A, ...args: NoInfer<Args>) => B,
28363
+ b: (_: B, ...args: NoInfer<Args>) => C,
28364
+ c: (_: C, ...args: NoInfer<Args>) => D,
28365
+ d: (_: D, ...args: NoInfer<Args>) => E,
28366
+ e: (_: E, ...args: NoInfer<Args>) => F,
28367
+ f: (_: F, ...args: NoInfer<Args>) => G,
28368
+ g: (_: G, ...args: NoInfer<Args>) => H,
28369
+ h: (_: H, ...args: NoInfer<Args>) => Eff
28370
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28362
28371
  <Self, Eff extends Effect<any, any, any>, A, B, C, D, E, F, G, H, I, Args extends Array<any>>(
28363
28372
  body: (this: Self, ...args: Args) => A,
28364
- a: (_: A, ...args: Args) => B,
28365
- b: (_: B, ...args: Args) => C,
28366
- c: (_: C, ...args: Args) => D,
28367
- d: (_: D, ...args: Args) => E,
28368
- e: (_: E, ...args: Args) => F,
28369
- f: (_: F, ...args: Args) => G,
28370
- g: (_: G, ...args: Args) => H,
28371
- h: (_: H, ...args: Args) => I,
28372
- i: (_: H, ...args: Args) => Eff
28373
- ): (this: Self, ...args: Args) => Eff
28373
+ a: (_: A, ...args: NoInfer<Args>) => B,
28374
+ b: (_: B, ...args: NoInfer<Args>) => C,
28375
+ c: (_: C, ...args: NoInfer<Args>) => D,
28376
+ d: (_: D, ...args: NoInfer<Args>) => E,
28377
+ e: (_: E, ...args: NoInfer<Args>) => F,
28378
+ f: (_: F, ...args: NoInfer<Args>) => G,
28379
+ g: (_: G, ...args: NoInfer<Args>) => H,
28380
+ h: (_: H, ...args: NoInfer<Args>) => I,
28381
+ i: (_: H, ...args: NoInfer<Args>) => Eff
28382
+ ): (this: Self, ...args: Args) => Effect.AsEffect<Eff>
28374
28383
  }
28375
28384
 
28376
28385
  /**
@@ -28393,7 +28402,7 @@ export namespace fn {
28393
28402
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28394
28403
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28395
28404
  >,
28396
- ...args: Args
28405
+ ...args: NoInfer<Args>
28397
28406
  ) => A
28398
28407
  ): (this: Self, ...args: Args) => A
28399
28408
  <Self, Eff extends YieldWrap<Effect<any, any, any>>, AEff, Args extends Array<any>, A, B>(
@@ -28404,9 +28413,9 @@ export namespace fn {
28404
28413
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28405
28414
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28406
28415
  >,
28407
- ...args: Args
28416
+ ...args: NoInfer<Args>
28408
28417
  ) => A,
28409
- b: (_: A, ...args: Args) => B
28418
+ b: (_: A, ...args: NoInfer<Args>) => B
28410
28419
  ): (this: Self, ...args: Args) => B
28411
28420
  <
28412
28421
  Self,
@@ -28424,10 +28433,10 @@ export namespace fn {
28424
28433
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28425
28434
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28426
28435
  >,
28427
- ...args: Args
28436
+ ...args: NoInfer<Args>
28428
28437
  ) => A,
28429
- b: (_: A, ...args: Args) => B,
28430
- c: (_: B, ...args: Args) => C
28438
+ b: (_: A, ...args: NoInfer<Args>) => B,
28439
+ c: (_: B, ...args: NoInfer<Args>) => C
28431
28440
  ): (this: Self, ...args: Args) => C
28432
28441
  <
28433
28442
  Self,
@@ -28446,11 +28455,11 @@ export namespace fn {
28446
28455
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28447
28456
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28448
28457
  >,
28449
- ...args: Args
28458
+ ...args: NoInfer<Args>
28450
28459
  ) => A,
28451
- b: (_: A, ...args: Args) => B,
28452
- c: (_: B, ...args: Args) => C,
28453
- d: (_: C, ...args: Args) => D
28460
+ b: (_: A, ...args: NoInfer<Args>) => B,
28461
+ c: (_: B, ...args: NoInfer<Args>) => C,
28462
+ d: (_: C, ...args: NoInfer<Args>) => D
28454
28463
  ): (this: Self, ...args: Args) => D
28455
28464
  <
28456
28465
  Self,
@@ -28470,12 +28479,12 @@ export namespace fn {
28470
28479
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28471
28480
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28472
28481
  >,
28473
- ...args: Args
28482
+ ...args: NoInfer<Args>
28474
28483
  ) => A,
28475
- b: (_: A, ...args: Args) => B,
28476
- c: (_: B, ...args: Args) => C,
28477
- d: (_: C, ...args: Args) => D,
28478
- e: (_: D, ...args: Args) => E
28484
+ b: (_: A, ...args: NoInfer<Args>) => B,
28485
+ c: (_: B, ...args: NoInfer<Args>) => C,
28486
+ d: (_: C, ...args: NoInfer<Args>) => D,
28487
+ e: (_: D, ...args: NoInfer<Args>) => E
28479
28488
  ): (this: Self, ...args: Args) => E
28480
28489
  <
28481
28490
  Self,
@@ -28496,13 +28505,13 @@ export namespace fn {
28496
28505
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28497
28506
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28498
28507
  >,
28499
- ...args: Args
28508
+ ...args: NoInfer<Args>
28500
28509
  ) => A,
28501
- b: (_: A, ...args: Args) => B,
28502
- c: (_: B, ...args: Args) => C,
28503
- d: (_: C, ...args: Args) => D,
28504
- e: (_: D, ...args: Args) => E,
28505
- f: (_: E, ...args: Args) => F
28510
+ b: (_: A, ...args: NoInfer<Args>) => B,
28511
+ c: (_: B, ...args: NoInfer<Args>) => C,
28512
+ d: (_: C, ...args: NoInfer<Args>) => D,
28513
+ e: (_: D, ...args: NoInfer<Args>) => E,
28514
+ f: (_: E, ...args: NoInfer<Args>) => F
28506
28515
  ): (this: Self, ...args: Args) => F
28507
28516
  <
28508
28517
  Self,
@@ -28524,14 +28533,14 @@ export namespace fn {
28524
28533
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28525
28534
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28526
28535
  >,
28527
- ...args: Args
28536
+ ...args: NoInfer<Args>
28528
28537
  ) => A,
28529
- b: (_: A, ...args: Args) => B,
28530
- c: (_: B, ...args: Args) => C,
28531
- d: (_: C, ...args: Args) => D,
28532
- e: (_: D, ...args: Args) => E,
28533
- f: (_: E, ...args: Args) => F,
28534
- g: (_: F, ...args: Args) => G
28538
+ b: (_: A, ...args: NoInfer<Args>) => B,
28539
+ c: (_: B, ...args: NoInfer<Args>) => C,
28540
+ d: (_: C, ...args: NoInfer<Args>) => D,
28541
+ e: (_: D, ...args: NoInfer<Args>) => E,
28542
+ f: (_: E, ...args: NoInfer<Args>) => F,
28543
+ g: (_: F, ...args: NoInfer<Args>) => G
28535
28544
  ): (this: Self, ...args: Args) => G
28536
28545
  <
28537
28546
  Self,
@@ -28554,15 +28563,15 @@ export namespace fn {
28554
28563
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28555
28564
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28556
28565
  >,
28557
- ...args: Args
28566
+ ...args: NoInfer<Args>
28558
28567
  ) => A,
28559
- b: (_: A, ...args: Args) => B,
28560
- c: (_: B, ...args: Args) => C,
28561
- d: (_: C, ...args: Args) => D,
28562
- e: (_: D, ...args: Args) => E,
28563
- f: (_: E, ...args: Args) => F,
28564
- g: (_: F, ...args: Args) => G,
28565
- h: (_: G, ...args: Args) => H
28568
+ b: (_: A, ...args: NoInfer<Args>) => B,
28569
+ c: (_: B, ...args: NoInfer<Args>) => C,
28570
+ d: (_: C, ...args: NoInfer<Args>) => D,
28571
+ e: (_: D, ...args: NoInfer<Args>) => E,
28572
+ f: (_: E, ...args: NoInfer<Args>) => F,
28573
+ g: (_: F, ...args: NoInfer<Args>) => G,
28574
+ h: (_: G, ...args: NoInfer<Args>) => H
28566
28575
  ): (this: Self, ...args: Args) => H
28567
28576
  <
28568
28577
  Self,
@@ -28586,16 +28595,16 @@ export namespace fn {
28586
28595
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer E, infer _R>>] ? E : never,
28587
28596
  [Eff] extends [never] ? never : [Eff] extends [YieldWrap<Effect<infer _A, infer _E, infer R>>] ? R : never
28588
28597
  >,
28589
- ...args: Args
28598
+ ...args: NoInfer<Args>
28590
28599
  ) => A,
28591
- b: (_: A, ...args: Args) => B,
28592
- c: (_: B, ...args: Args) => C,
28593
- d: (_: C, ...args: Args) => D,
28594
- e: (_: D, ...args: Args) => E,
28595
- f: (_: E, ...args: Args) => F,
28596
- g: (_: F, ...args: Args) => G,
28597
- h: (_: G, ...args: Args) => H,
28598
- i: (_: H, ...args: Args) => I
28600
+ b: (_: A, ...args: NoInfer<Args>) => B,
28601
+ c: (_: B, ...args: NoInfer<Args>) => C,
28602
+ d: (_: C, ...args: NoInfer<Args>) => D,
28603
+ e: (_: D, ...args: NoInfer<Args>) => E,
28604
+ f: (_: E, ...args: NoInfer<Args>) => F,
28605
+ g: (_: F, ...args: NoInfer<Args>) => G,
28606
+ h: (_: G, ...args: NoInfer<Args>) => H,
28607
+ i: (_: H, ...args: NoInfer<Args>) => I
28599
28608
  ): (this: Self, ...args: Args) => I
28600
28609
  }
28601
28610
  }
@@ -221,8 +221,8 @@ export const summary = (key: MetricKey.MetricKey.Summary): MetricHook.MetricHook
221
221
  let head = 0
222
222
  let count = 0
223
223
  let sum = 0
224
- let min = Number.MAX_VALUE
225
- let max = Number.MIN_VALUE
224
+ let min = 0
225
+ let max = 0
226
226
 
227
227
  // Just before the snapshot we filter out all values older than maxAge
228
228
  const snapshot = (now: number): ReadonlyArray<readonly [number, Option.Option<number>]> => {
@@ -264,14 +264,12 @@ export const summary = (key: MetricKey.MetricKey.Summary): MetricHook.MetricHook
264
264
  const target = head % maxSize
265
265
  values[target] = [timestamp, value] as const
266
266
  }
267
+
268
+ min = count === 0 ? value : Math.min(min, value)
269
+ max = count === 0 ? value : Math.max(max, value)
270
+
267
271
  count = count + 1
268
272
  sum = sum + value
269
- if (value < min) {
270
- min = value
271
- }
272
- if (value > max) {
273
- max = value
274
- }
275
273
  }
276
274
 
277
275
  return make({
@@ -1,4 +1,4 @@
1
- let moduleVersion = "3.15.3"
1
+ let moduleVersion = "3.15.5"
2
2
 
3
3
  export const getCurrentVersion = () => moduleVersion
4
4