inline discard type-argument

Effect-TS · Aug 29, 2024 · 83d63cb · 83d63cb
1 parent 2e93cf5
commit 83d63cb
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 13 deletions.
diff --git a/packages/effect/src/Effect.ts b/packages/effect/src/Effect.ts
@@ -3558,7 +3558,6 @@ export const bind: {
  * )
  * assert.deepStrictEqual(Effect.runSync(result), { x: 2, a: Either.right(2), b: Either.left('ops') })
  *
- * @see All.Options
  * @category do notation
  * @since 3.7.0
  */
@@ -3581,12 +3580,12 @@ export const bindAll: {
     {
       [K in keyof X | keyof A]: K extends keyof A ? A[K] :
         K extends keyof Effect.Success<
-          All.ReturnObject<X, All.IsDiscard<O>, All.ExtractMode<O>>
-        > ? Effect.Success<All.ReturnObject<X, All.IsDiscard<O>, All.ExtractMode<O>>>[K] :
+          All.ReturnObject<X, false, All.ExtractMode<O>>
+        > ? Effect.Success<All.ReturnObject<X, false, All.ExtractMode<O>>>[K] :
         never
     },
     | E1
-    | Effect.Error<All.ReturnObject<X, All.IsDiscard<O>, All.ExtractMode<O>>>,
+    | Effect.Error<All.ReturnObject<X, false, All.ExtractMode<O>>>,
     R1 | Effect.Context<X[keyof X]>
   >
   <
@@ -3613,14 +3612,14 @@ export const bindAll: {
     {
       [K in keyof X | keyof A]: K extends keyof A ? A[K] :
         K extends keyof Effect.Success<
-          All.ReturnObject<X, All.IsDiscard<O>, All.ExtractMode<O>>
+          All.ReturnObject<X, false, All.ExtractMode<O>>
         > ? Effect.Success<
-            All.ReturnObject<X, All.IsDiscard<O>, All.ExtractMode<O>>
+            All.ReturnObject<X, false, All.ExtractMode<O>>
           >[K] :
         never
     },
     | E1
-    | Effect.Error<All.ReturnObject<X, All.IsDiscard<O>, All.ExtractMode<O>>>,
+    | Effect.Error<All.ReturnObject<X, false, All.ExtractMode<O>>>,
     R1 | Effect.Context<X[keyof X]>
   >
 } = circular.bindAll

diff --git a/packages/effect/src/internal/effect/circular.ts b/packages/effect/src/internal/effect/circular.ts
@@ -724,15 +724,15 @@ export const bindAll: {
     {
       [K in keyof X | keyof A]: K extends keyof A ? A[K] :
         K extends keyof Effect.Effect.Success<
-          Effect.All.ReturnObject<X, Effect.All.IsDiscard<O>, Effect.All.ExtractMode<O>>
+          Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
         > ? Effect.Effect.Success<
-            Effect.All.ReturnObject<X, Effect.All.IsDiscard<O>, Effect.All.ExtractMode<O>>
+            Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
           >[K] :
         never
     },
     | E1
     | Effect.Effect.Error<
-      Effect.All.ReturnObject<X, Effect.All.IsDiscard<O>, Effect.All.ExtractMode<O>>
+      Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
     >,
     R1 | Effect.Effect.Context<X[keyof X]>
   >
@@ -760,15 +760,15 @@ export const bindAll: {
     {
       [K in keyof X | keyof A]: K extends keyof A ? A[K] :
         K extends keyof Effect.Effect.Success<
-          Effect.All.ReturnObject<X, Effect.All.IsDiscard<O>, Effect.All.ExtractMode<O>>
+          Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
         > ? Effect.Effect.Success<
-            Effect.All.ReturnObject<X, Effect.All.IsDiscard<O>, Effect.All.ExtractMode<O>>
+            Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
           >[K] :
         never
     },
     | E1
     | Effect.Effect.Error<
-      Effect.All.ReturnObject<X, Effect.All.IsDiscard<O>, Effect.All.ExtractMode<O>>
+      Effect.All.ReturnObject<X, false, Effect.All.ExtractMode<O>>
     >,
     R1 | Effect.Effect.Context<X[keyof X]>
   >