MergeState

declare const BothRunning: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
  left: Fiber<Either<Elem, Done>, Err>,
  right: Fiber<Either<Elem, Done1>, Err1>,
) => MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>;

declare const LeftDone: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
  f: (exit: Exit<Done1, Err1>) => Effect<Done2, Err2, Env>,
) => MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>;

declare const RightDone: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
  f: (exit: Exit<Done, Err>) => Effect<Done2, Err2, Env>,
) => MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>;

declare const match: {
  <Env, Err, Err1, Err2, Elem, Done, Done1, Done2, Z>(options: {
    readonly onBothRunning: (
      left: Fiber.Fiber<Either.Either<Elem, Done>, Err>,
      right: Fiber.Fiber<Either.Either<Elem, Done1>, Err1>,
    ) => Z;
    readonly onLeftDone: (
      f: (exit: Exit.Exit<Done1, Err1>) => Effect.Effect<Done2, Err2, Env>,
    ) => Z;
    readonly onRightDone: (f: (exit: Exit.Exit<Done, Err>) => Effect.Effect<Done2, Err2, Env>) => Z;
  }): (self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>) => Z;
  <Env, Err, Err1, Err2, Elem, Done, Done1, Done2, Z>(
    self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>,
    options: {
      readonly onBothRunning: (
        left: Fiber.Fiber<Either.Either<Elem, Done>, Err>,
        right: Fiber.Fiber<Either.Either<Elem, Done1>, Err1>,
      ) => Z;
      readonly onLeftDone: (
        f: (exit: Exit.Exit<Done1, Err1>) => Effect.Effect<Done2, Err2, Env>,
      ) => Z;
      readonly onRightDone: (
        f: (exit: Exit.Exit<Done, Err>) => Effect.Effect<Done2, Err2, Env>,
      ) => Z;
    },
  ): Z;
};

interface BothRunning<
  _Env,
  out Err,
  out Err1,
  _Err2,
  out Elem,
  out Done,
  out Done1,
  _Done2,
> extends Proto {
  readonly _tag: "BothRunning";
  readonly left: Fiber<Either<Elem, Done>, Err>;
  readonly right: Fiber<Either<Elem, Done1>, Err1>;
}

interface LeftDone<
  out Env,
  _Err,
  in Err1,
  out Err2,
  _Elem,
  _Done,
  in Done1,
  out Done2,
> extends Proto {
  readonly _tag: "LeftDone";
  f(exit: Exit<Done1, Err1>): Effect<Done2, Err2, Env>;
}

type MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2> =
  | BothRunning<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>
  | LeftDone<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>
  | RightDone<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>;

interface RightDone<
  out Env,
  in Err,
  _Err1,
  out Err2,
  _Elem,
  in Done,
  _Done1,
  out Done2,
> extends Proto {
  readonly _tag: "RightDone";
  f(exit: Exit<Done, Err>): Effect<Done2, Err2, Env>;
}

declare const isBothRunning: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
  self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>,
) => self is BothRunning<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>;

declare const isLeftDone: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
  self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>,
) => self is LeftDone<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>;

declare const isMergeState: (
  u: unknown,
) => u is MergeState<unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown>;

declare const isRightDone: <Env, Err, Err1, Err2, Elem, Done, Done1, Done2>(
  self: MergeState<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>,
) => self is RightDone<Env, Err, Err1, Err2, Elem, Done, Done1, Done2>;

declare const MergeStateTypeId: unique symbol;

type MergeStateTypeId = typeof MergeStateTypeId;