import type { Either } from "../Either";
import type { FunctionN, Lazy, Predicate, Refinement } from "../Function";
import type { IO } from "../IO";
import type { Option } from "../Option";
import type { EIO } from "./model";
export declare const foldM_: <E, A, E1, B, E2, C>(
   ma: EIO<E, A>,
   onFailure: (e: E) => EIO<E1, B>,
   onSuccess: (a: A) => EIO<E2, C>
) => EIO<E1 | E2, B | C>;
export declare const foldM: <E, A, E1, B, E2, C>(
   onFailure: (e: E) => EIO<E1, B>,
   onSuccess: (a: A) => EIO<E2, C>
) => (ma: EIO<E, A>) => EIO<E1 | E2, B | C>;
export declare const fold_: <E, A, B, C>(
   ma: EIO<E, A>,
   onFailure: (e: E) => IO<B>,
   onSuccess: (a: A) => IO<C>
) => IO<B | C>;
export declare const fold: <E, A, B, C>(
   onLeft: (e: E) => IO<B>,
   onRight: (a: A) => IO<C>
) => (ma: EIO<E, A>) => IO<B | C>;
export declare const orElse_: <E, A, M>(ma: EIO<E, A>, onLeft: (e: E) => EIO<M, A>) => EIO<M, A>;
export declare const orElse: <E, A, M>(onLeft: (e: E) => EIO<M, A>) => (ma: EIO<E, A>) => EIO<M, A>;
export declare const filterOrElse_: {
   <E, A, E1, B extends A>(ma: EIO<E, A>, refinement: Refinement<A, B>, onFalse: (a: A) => E1): EIO<E | E1, B>;
   <E, A, E1>(ma: EIO<E, A>, predicate: Predicate<A>, onFalse: (a: A) => E1): EIO<E | E1, A>;
};
export declare const filterOrElse: {
   <E, A, E1, B extends A>(refinement: Refinement<A, B>, onFalse: (a: A) => E1): (ma: EIO<E, A>) => EIO<E | E1, B>;
   <E, A, E1>(predicate: Predicate<A>, onFalse: (a: A) => E1): (ma: EIO<E, A>) => EIO<E | E1, A>;
};
export declare const fromEitherK: <A extends readonly unknown[], E, B>(
   f: FunctionN<A, Either<E, B>>
) => (...args: A) => EIO<E, B>;
export declare const chainEitherK_: <E, A, E1, B>(ma: EIO<E, A>, f: (a: A) => Either<E1, B>) => EIO<E | E1, B>;
export declare const chainEitherK: <A, E1, B>(f: (a: A) => Either<E1, B>) => <E>(ma: EIO<E, A>) => EIO<E1 | E, B>;
export declare const fromOption_: <E, A>(ma: Option<A>, onNone: Lazy<E>) => EIO<E, A>;
export declare const fromOption: <E>(onNone: Lazy<E>) => <A>(ma: Option<A>) => EIO<E, A>;
//# sourceMappingURL=combinators.d.ts.map