import { STM } from "@effect/core/stm/STM/definition/base";
import { Maybe } from "@tsplus/stdlib/data/Maybe/definition";
/**
 * Continue with the returned computation if the `PartialFunction` matches,
 * translating the successful match into a failure, otherwise continue with
 * our held value.
 * @tsplus fluent ets/STM rejectSTM
 * @tsplus location "@effect/core/stm/STM/operations/rejectSTM"
 */
export declare function rejectSTM_<R, E, A, R1, E1>(self: STM<R, E, A>, pf: (a: A) => Maybe<STM<R1, E1, E1>>): STM<R | R1, E | E1, A>;
/**
 * Continue with the returned computation if the `PartialFunction` matches,
 * translating the successful match into a failure, otherwise continue with
 * our held value.
 * @tsplus static ets/STM/Aspects rejectSTM
 * @tsplus pipeable ets/STM rejectSTM
 * @tsplus location "@effect/core/stm/STM/operations/rejectSTM"
 */
export declare const rejectSTM: <A, R1, E1>(pf: (a: A) => import("@tsplus/stdlib/data/Maybe").Maybe<import("../definition").STM<R1, E1, E1>>) => <R, E>(self: import("../definition").STM<R, E, A>) => import("../definition").STM<R | R1, E | E1, A>;
//# sourceMappingURL=rejectSTM.d.ts.map