fix: Effect.forEach overload (#2640)

Effect-TS · Apr 27, 2024 · 661004f · 661004f
1 parent 69d974b
commit 661004f
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 14 deletions.
diff --git a/.changeset/spicy-wolves-sip.md b/.changeset/spicy-wolves-sip.md
@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+fix: forEach NonEmpty overload causing inference issues for Iterables
diff --git a/packages/effect/dtslint/Effect.ts b/packages/effect/dtslint/Effect.ts
@@ -62,7 +62,7 @@ pipe(
 // -------------------------------------------------------------------------------------
 
 // $ExpectType Effect<[string, ...string[]], "err-1", "dep-1">
-Effect.forEach(["a", "b"], (
+Effect.forEach(["a", "b"] as NonEmptyReadonlyArray<string>, (
   // $ExpectType string
   _a,
   // $ExpectType number

diff --git a/packages/effect/src/Effect.ts b/packages/effect/src/Effect.ts
@@ -673,24 +673,15 @@ export const forEach: {
       readonly discard: true
     }
   ): (self: Iterable<A>) => Effect<void, E, R>
-  <A, B, E, R>(
-    self: RA.NonEmptyReadonlyArray<A>,
-    f: (a: A, i: number) => Effect<B, E, R>,
-    options?: {
-      readonly concurrency?: Concurrency | undefined
-      readonly batching?: boolean | "inherit" | undefined
-      readonly discard?: false | undefined
-    } | undefined
-  ): Effect<RA.NonEmptyArray<B>, E, R>
-  <A, B, E, R>(
-    self: Iterable<A>,
-    f: (a: A, i: number) => Effect<B, E, R>,
+  <B, E, R, S extends Iterable<any>>(
+    self: S,
+    f: (a: RA.ReadonlyArray.Infer<S>, i: number) => Effect<B, E, R>,
     options?: {
       readonly concurrency?: Concurrency | undefined
       readonly batching?: boolean | "inherit" | undefined
       readonly discard?: false | undefined
     } | undefined
-  ): Effect<Array<B>, E, R>
+  ): Effect<RA.ReadonlyArray.With<S, B>, E, R>
   <A, B, E, R>(
     self: Iterable<A>,
     f: (a: A, i: number) => Effect<B, E, R>,