import type { Eq } from "@principia/prelude/Eq";
import type { Predicate, Refinement } from "../Function";
import type { Either } from "./model";
/**
 * orElse_ :: Either E => (E a b, (a -> b)) -> a | b
 */
export declare const orElse_: <E, A, G, B>(fa: Either<E, A>, onLeft: (e: E) => Either<G, B>) => Either<G, A | B>;
/**
 * orElse :: Either E => (a -> b) -> E a b -> a | b
 */
export declare const orElse: <E, A, G, B>(onLeft: (e: E) => Either<G, B>) => (fa: Either<E, A | B>) => Either<G, A | B>;
/**
 * orElseEither_ :: Either E => (E a b, (a -> E c a)) -> E c (E a b)
 */
export declare const orElseEither_: <E, A, G, B>(
   fa: Either<E, A>,
   onLeft: (e: E) => Either<G, B>
) => Either<G, Either<A, B>>;
/**
 * orElseEither :: Either E => (a -> E c a) -> E a b -> E c (E a b)
 */
export declare const orElseEither: <E, E1, B>(
   onLeft: (e: E) => Either<E1, B>
) => <A>(fa: Either<E, A>) => Either<E1, Either<A, B>>;
/**
 * filterOrElse_ :: (Either E, Bool B) => (E a b, (a -> B), (a -> c)) -> E (a | c) b
 */
export declare const filterOrElse_: {
   <E, A, B extends A, G>(fa: Either<E, A>, refinement: Refinement<A, B>, onFalse: (a: A) => G): Either<E | G, B>;
   <E, A, G>(fa: Either<E, A>, predicate: Predicate<A>, onFalse: (a: A) => G): Either<E | G, A>;
};
/**
 * filterOrElse :: (Either E, Bool B) => ((a -> B), (a -> c)) -> E a b -> E (a | c) b
 */
export declare const filterOrElse: {
   <A, B extends A, G>(refinement: Refinement<A, B>, onFalse: (a: A) => G): <E>(fa: Either<E, A>) => Either<E | G, B>;
   <A, G>(predicate: Predicate<A>, onFalse: (a: A) => G): <E>(fa: Either<E, A>) => Either<E | G, A>;
};
export declare const elem: <A>(E: Eq<A>) => <E>(a: A, fa: Either<E, A>) => boolean;
export declare const exists_: {
   <E, A, B extends A>(fa: Either<E, A>, refinement: Refinement<A, B>): fa is Either<E, B>;
   <E, A>(fa: Either<E, A>, predicate: Predicate<A>): fa is Either<E, A>;
};
export declare const exists: {
   <A, B extends A>(refinement: Refinement<A, B>): <E>(fa: Either<E, A>) => fa is Either<E, B>;
   <A>(predicate: Predicate<A>): <E>(fa: Either<E, A>) => fa is Either<E, A>;
};
//# sourceMappingURL=combinators.d.ts.map