Skip to content

Commit 88835e5

Browse files
authoredFeb 14, 2024··
Fix withRandom and withClock types (#2144)
1 parent ff88f80 commit 88835e5

File tree

3 files changed

+13
-8
lines changed

3 files changed

+13
-8
lines changed
 

‎.changeset/red-chefs-dance.md

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
---
2+
"effect": patch
3+
---
4+
5+
Fix withRandom and withClock types

‎packages/effect/src/Effect.ts

+4-4
Original file line numberDiff line numberDiff line change
@@ -2817,8 +2817,8 @@ export const withClockScoped: <A extends Clock.Clock>(value: A) => Effect<void,
28172817
* @category clock
28182818
*/
28192819
export const withClock: {
2820-
<A extends Clock.Clock>(value: A): <A, E, R>(effect: Effect<A, E, R>) => Effect<A, E, R>
2821-
<R, E, A extends Clock.Clock>(effect: Effect<A, E, R>, value: A): Effect<A, E, R>
2820+
<X extends Clock.Clock>(value: X): <A, E, R>(effect: Effect<A, E, R>) => Effect<A, E, R>
2821+
<X extends Clock.Clock, A, E, R>(effect: Effect<A, E, R>, value: X): Effect<A, E, R>
28222822
} = defaultServices.withClock
28232823

28242824
// -------------------------------------------------------------------------------------
@@ -4532,8 +4532,8 @@ export const randomWith: <A, E, R>(f: (random: Random.Random) => Effect<A, E, R>
45324532
* @category random
45334533
*/
45344534
export const withRandom: {
4535-
<A extends Random.Random>(value: A): <A, E, R>(effect: Effect<A, E, R>) => Effect<A, E, R>
4536-
<A extends Random.Random, E, R>(effect: Effect<A, E, R>, value: A): Effect<A, E, R>
4535+
<X extends Random.Random>(value: X): <A, E, R>(effect: Effect<A, E, R>) => Effect<A, E, R>
4536+
<X extends Random.Random, A, E, R>(effect: Effect<A, E, R>, value: X): Effect<A, E, R>
45374537
} = defaultServices.withRandom
45384538

45394539
/**

‎packages/effect/src/internal/defaultServices.ts

+4-4
Original file line numberDiff line numberDiff line change
@@ -58,8 +58,8 @@ export const currentTimeNanos: Effect.Effect<bigint> = clockWith((clock) => cloc
5858

5959
/** @internal */
6060
export const withClock = dual<
61-
<A extends Clock.Clock>(value: A) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>,
62-
<A extends Clock.Clock, E, R>(effect: Effect.Effect<A, E, R>, value: A) => Effect.Effect<A, E, R>
61+
<X extends Clock.Clock>(value: X) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>,
62+
<X extends Clock.Clock, A, E, R>(effect: Effect.Effect<A, E, R>, value: X) => Effect.Effect<A, E, R>
6363
>(2, (effect, value) =>
6464
core.fiberRefLocallyWith(
6565
currentServices,
@@ -104,8 +104,8 @@ export const randomWith = <A, E, R>(f: (random: Random.Random) => Effect.Effect<
104104

105105
/** @internal */
106106
export const withRandom = dual<
107-
<A extends Random.Random>(value: A) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>,
108-
<A extends Random.Random, E, R>(effect: Effect.Effect<A, E, R>, value: A) => Effect.Effect<A, E, R>
107+
<X extends Random.Random>(value: X) => <A, E, R>(effect: Effect.Effect<A, E, R>) => Effect.Effect<A, E, R>,
108+
<X extends Random.Random, A, E, R>(effect: Effect.Effect<A, E, R>, value: X) => Effect.Effect<A, E, R>
109109
>(2, (effect, value) =>
110110
core.fiberRefLocallyWith(
111111
currentServices,

0 commit comments

Comments
 (0)
Please sign in to comment.