minor type fixes to Result

Author: Joshua

.changeset/minor-result-type-fixes.md

@@ -0,0 +1,8 @@
+---
+"@effect-atom/atom": patch
+---
+
+Minor type fixes to Result type:
+- Fix `flatMap` overload signature to correctly return `Result<B, E2>` instead of `Result<A, E2>`
+- Add explicit type parameters to `initial` call in `waitingFrom` to preserve type information
+- Remove duplicate `when` method overload in `BuilderImpl`

packages/atom/src/Result.ts

@@ -136,7 +136,7 @@ export const fromExitWithPrevious = <A, E>(
  */
 export const waitingFrom = <A, E>(previous: Option.Option<Result<A, E>>): Result<A, E> => {
   if (previous._tag === "None") {
-    return initial(true)
+    return initial<A, E>(true)
   }
   return waiting(previous.value)
 }
@@ -413,7 +413,7 @@ export const map: {
  * @category combinators
  */
 export const flatMap: {
-  <A, E, B, E2>(f: (a: A, prev: Success<A, E>) => Result<A, E2>): (self: Result<A, E>) => Result<B, E | E2>
+  <A, E, B, E2>(f: (a: A, prev: Success<A, E>) => Result<B, E2>): (self: Result<A, E>) => Result<B, E | E2>
   <E, A, B, E2>(self: Result<A, E>, f: (a: A, prev: Success<A, E>) => Result<B, E2>): Result<B, E | E2>
 } = dual(2, <E, A, B, E2>(self: Result<A, E>, f: (a: A, prev: Success<A, E>) => Result<B, E2>): Result<B, E | E2> => {
   switch (self._tag) {
@@ -651,10 +651,6 @@ class BuilderImpl<Out, A, E> {
     refinement: Refinement<Result<A, E>, B>,
     f: (result: B) => Option.Option<C>
   ): any
-  when<C>(
-    refinement: Predicate<Result<A, E>>,
-    f: (result: Result<A, E>) => Option.Option<C>
-  ): any
   when<C>(
     refinement: Predicate<Result<A, E>>,
     f: (result: Result<A, E>) => Option.Option<C>