import { Kind } from '@fp4ts/core';
import { Applicative, ApplicativeRequirements } from './applicative';
import { Either } from './data';
/**
 * @category Type Class
 */
export interface ApplicativeError<F, E> extends Applicative<F> {
    readonly _E: E;
    readonly throwError: <A = never>(e: E) => Kind<F, [A]>;
    readonly handleError: <A>(f: (a: E) => A) => (fa: Kind<F, [A]>) => Kind<F, [A]>;
    readonly handleError_: <A>(fa: Kind<F, [A]>, f: (a: E) => A) => Kind<F, [A]>;
    readonly handleErrorWith: <A>(f: (a: E) => Kind<F, [A]>) => (fa: Kind<F, [A]>) => Kind<F, [A]>;
    readonly handleErrorWith_: <A>(fa: Kind<F, [A]>, f: (a: E) => Kind<F, [A]>) => Kind<F, [A]>;
    readonly attempt: <A>(fa: Kind<F, [A]>) => Kind<F, [Either<E, A>]>;
    readonly redeem: <A, B>(h: (e: E) => B, f: (a: A) => B) => (fa: Kind<F, [A]>) => Kind<F, [B]>;
    readonly redeem_: <A, B>(fa: Kind<F, [A]>, h: (e: E) => B, f: (a: A) => B) => Kind<F, [B]>;
    readonly onError: (h: (e: E) => Kind<F, [void]>) => <A>(fa: Kind<F, [A]>) => Kind<F, [A]>;
    readonly onError_: <A>(fa: Kind<F, [A]>, h: (e: E) => Kind<F, [void]>) => Kind<F, [A]>;
    readonly fromEither: <A>(ea: Either<E, A>) => Kind<F, [A]>;
}
export type ApplicativeErrorRequirements<F, E> = Pick<ApplicativeError<F, E>, 'throwError' | 'handleErrorWith_'> & ApplicativeRequirements<F> & Partial<ApplicativeError<F, E>>;
export declare const ApplicativeError: Readonly<{
    of: <F, E>(F: ApplicativeErrorRequirements<F, E>) => ApplicativeError<F, E>;
}>;
//# sourceMappingURL=applicative-error.d.ts.map