import { Effect } from "@effect/core/io/Effect/definition";
import { LazyArg } from "@tsplus/stdlib/data/Function";
/**
 * Sequentially zips this effect with the specified effect using the specified
 * combiner function. Combines the causes in case both effect fail.
 * @tsplus fluent ets/Effect validateWith
 * @tsplus location "@effect/core/io/Effect/operations/validateWith"
 */
export declare function validateWith_<R, E, A, R1, E1, B, C>(self: Effect<R, E, A>, that: LazyArg<Effect<R1, E1, B>>, f: (a: A, b: B) => C, __tsplusTrace?: string): Effect<R | R1, E | E1, C>;
/**
 * Sequentially zips this effect with the specified effect using the specified
 * combiner function. Combines the causes in case both effect fail.
 * @tsplus static ets/Effect/Aspects validateWith
 * @tsplus pipeable ets/Effect validateWith
 * @tsplus location "@effect/core/io/Effect/operations/validateWith"
 */
export declare const validateWith: <A, R1, E1, B, C>(that: import("@tsplus/stdlib/data/Function").LazyArg<import("../definition").Effect<R1, E1, B>>, f: (a: A, b: B) => C, __tsplusTrace?: string) => <R, E>(self: import("../definition").Effect<R, E, A>) => import("../definition").Effect<R | R1, E | E1, C>;
//# sourceMappingURL=validateWith.d.ts.map