import { STM } from "@effect/core/stm/STM/definition/base";
import { Either } from "@tsplus/stdlib/data/Either/definition";
/**
 * Submerges the error case of an `Either` into the `STM`. The inverse
 * operation of `STM.either`.
 * @tsplus static effect/core/stm/STM.Ops absolve
 * @tsplus getter effect/core/stm/STM absolve
 * @tsplus location "@effect/core/stm/STM/operations/absolve"
 */
export declare function absolve<R, E, E1, A>(self: STM<R, E, Either<E1, A>>): STM<R, E | E1, A>;
//# sourceMappingURL=absolve.d.ts.map