import { Effect } from "@effect/core/io/Effect/definition";
import { Refinement } from "@tsplus/stdlib/data/Function";
import { Predicate } from "@tsplus/stdlib/data/Predicate";
/**
 * Applies `f` if the predicate fails.
 * @tsplus fluent ets/Effect filterOrElseWith
 * @tsplus location "@effect/core/io/Effect/operations/filterOrElseWith"
 */
export declare function filterOrElseWith_<R, E, A, B extends A, R1, E1, A1>(self: Effect<R, E, A>, f: Refinement<A, B>, orElse: (a: A) => Effect<R1, E1, A1>, __tsplusTrace?: string): Effect<R | R1, E | E1, B | A1>;
export declare function filterOrElseWith_<R, E, A, R1, E1, A1>(self: Effect<R, E, A>, f: Predicate<A>, orElse: (a: A) => Effect<R1, E1, A1>, __tsplusTrace?: string): Effect<R | R1, E | E1, A | A1>;
/**
 * Applies `f` if the predicate fails.
 * @tsplus static ets/Effect/Aspects filterOrElseWith
 * @tsplus location "@effect/core/io/Effect/operations/filterOrElseWith"
 */
export declare function filterOrElseWith<A, B extends A, R1, E1, A1>(f: Refinement<A, B>, orElse: (a: A) => Effect<R1, E1, A1>, __tsplusTrace?: string | undefined): <R, E>(self: Effect<R, E, A>) => Effect<R | R1, E | E1, B | A1>;
export declare function filterOrElseWith<A, R1, E1, A1>(f: Predicate<A>, orElse: (a: A) => Effect<R1, E1, A1>, __tsplusTrace?: string | undefined): <R, E>(self: Effect<R, E, A>) => Effect<R | R1, E | E1, A | A1>;
//# sourceMappingURL=filterOrElseWith.d.ts.map