import { HKT } from "@tsplus/stdlib/prelude/HKT";
import { Covariant } from "@tsplus/stdlib/prelude/Covariant";
import { AssociativeEither } from "@tsplus/stdlib/prelude/AssociativeEither";
import { LazyArg } from "@tsplus/stdlib/data/Function";
import { Either } from "@tsplus/stdlib/data/Either/definition";
/**
 * @tsplus static DSL orElseF_
 * @tsplus location "@tsplus/stdlib/prelude/DSL/orElseF"
 */
export declare function orElseF_<F extends HKT>(F: Covariant<F> & AssociativeEither<F>): <R, E, A, R2, E2, B>(fa: import("../HKT").HKT.Kind<F, R, E, A>, fb: import("../../data/Function").LazyArg<import("../HKT").HKT.Kind<F, R2, E2, B>>) => import("../HKT").HKT.Kind<F, R & R2, E | E2, A | B>;
/**
 * @tsplus static DSL orElseF
 * @tsplus location "@tsplus/stdlib/prelude/DSL/orElseF"
 */
export declare function orElseF<F extends HKT>(F: Covariant<F> & AssociativeEither<F>): <R2, E2, B>(fb: import("../../data/Function").LazyArg<import("../HKT").HKT.Kind<F, R2, E2, B>>) => <R, E, A>(fa: import("../HKT").HKT.Kind<F, R, E, A>) => import("../HKT").HKT.Kind<F, R & R2, E2 | E, B | A>;
//# sourceMappingURL=orElseF.d.ts.map