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

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

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

export declare const match: {
  <R, E0, Z0, E, Z, Z2>(options: {
    readonly onDone: (effect: Effect.Effect<Z, E, R>) => Z2
    readonly onAwait: (f: (exit: Exit.Exit<Z0, E0>) => Effect.Effect<Z, E, R>) => 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<Z, E, R>) => Z2
      readonly onAwait: (f: (exit: Exit.Exit<Z0, E0>) => Effect.Effect<Z, E, R>) => Z2
    }
  ): Z2
}

export interface MergeDecision<out R, in E0, in Z0, out E, out 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<out R, in E0, in Z0, out E, out Z> {
  readonly [MergeDecisionTypeId]: {
    _R: Types.Covariant<R>
    _E0: Types.Contravariant<E0>
    _Z0: Types.Contravariant<Z0>
    _E: Types.Covariant<E>
    _Z: Types.Covariant<Z>
  }
}