export declare const Await: <R, E0, Z0, E, Z>(
  f: (exit: Exit.Exit<E0, Z0>) => Effect.Effect<R, E, Z>
) => MergeDecision<R, E0, Z0, E, Z>

export declare const AwaitConst: <R, E, Z>(effect: Effect.Effect<R, E, Z>) => MergeDecision<R, unknown, unknown, E, Z>

export declare const Done: <R, E, Z>(effect: Effect.Effect<R, E, Z>) => MergeDecision<R, unknown, unknown, E, Z>

export declare const match: {
  <R, E0, Z0, E, Z, Z2>(options: {
    readonly onDone: (effect: Effect.Effect<R, E, Z>) => Z2
    readonly onAwait: (f: (exit: Exit.Exit<E0, Z0>) => Effect.Effect<R, E, Z>) => Z2
  }): (self: MergeDecision<R, E0, Z0, E, Z>) => Z2
  <R, E0, Z0, E, Z, Z2>(
    self: MergeDecision<R, E0, Z0, E, Z>,
    options: {
      readonly onDone: (effect: Effect.Effect<R, E, Z>) => Z2
      readonly onAwait: (f: (exit: Exit.Exit<E0, Z0>) => Effect.Effect<R, E, Z>) => Z2
    }
  ): Z2
}

export interface MergeDecision<R, E0, Z0, E, Z> extends MergeDecision.Variance<R, E0, Z0, E, Z> {}

export declare const isMergeDecision: (u: unknown) => u is MergeDecision<unknown, unknown, unknown, unknown, unknown>

export declare const MergeDecisionTypeId: typeof MergeDecisionTypeId

export type MergeDecisionTypeId = typeof MergeDecisionTypeId

export interface Variance<R, E0, Z0, E, Z> {
  readonly [MergeDecisionTypeId]: {
    _R: (_: never) => R
    _E0: (_: E0) => void
    _Z0: (_: Z0) => void
    _E: (_: never) => E
    _Z: (_: never) => Z
  }
}