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/dist/cjs/Effect.js.map +1 -1
- package/dist/cjs/internal/metric/hook.js +4 -8
- package/dist/cjs/internal/metric/hook.js.map +1 -1
- package/dist/cjs/internal/version.js +1 -1
- package/dist/dts/Effect.d.ts +33 -28
- package/dist/dts/Effect.d.ts.map +1 -1
- package/dist/esm/Effect.js.map +1 -1
- package/dist/esm/internal/metric/hook.js +4 -8
- package/dist/esm/internal/metric/hook.js.map +1 -1
- package/dist/esm/internal/version.js +1 -1
- package/package.json +1 -1
- package/src/Effect.ts +163 -154
- package/src/internal/metric/hook.ts +6 -8
- package/src/internal/version.ts +1 -1
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 =
|
|
225
|
-
let max =
|
|
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({
|
package/src/internal/version.ts
CHANGED