import { STM } from "@effect/core/stm/STM/definition/base";
import { LazyArg } from "@tsplus/stdlib/data/Function";
import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
/**
 * Fail with `e` if the supplied partial function does not match, otherwise
 * continue with the returned value.
 * @tsplus fluent ets/STM continueOrFailSTM
 * @tsplus location "@effect/core/stm/STM/operations/continueOrFailSTM"
 */
export declare function continueOrFailSTM_<R, E, E1, A, R2, E2, A2>(self: STM<R, E, A>, e: LazyArg<E1>, pf: (a: A) => Maybe<STM<R2, E2, A2>>): import("../definition").STM<R | R2, E | E1 | E2, A2>;
/**
 * Fail with `e` if the supplied partial function does not match, otherwise
 * continue with the returned value.
 * @tsplus static ets/STM/Aspects continueOrFailSTM
 * @tsplus pipeable ets/STM continueOrFailSTM
 * @tsplus location "@effect/core/stm/STM/operations/continueOrFailSTM"
 */
export declare const continueOrFailSTM: <E1, A, R2, E2, A2>(e: import("@tsplus/stdlib/data/Function").LazyArg<E1>, pf: (a: A) => import("@tsplus/stdlib/data/Maybe").Maybe<import("../definition").STM<R2, E2, A2>>) => <R, E>(self: import("../definition").STM<R, E, A>) => import("../definition").STM<R | R2, E | E1 | E2, A2>;
//# sourceMappingURL=continueOrFailSTM.d.ts.map