import { Eq } from '@fp4ts/cats-kernel';
import { $, $type, Kind, TyK, TyVar } from '@fp4ts/core';
import { Applicative } from '../applicative';
import { Bifunctor } from '../bifunctor';
import { Defer } from '../defer';
import { EqK } from '../eq-k';
import { Functor } from '../functor';
import { Monad } from '../monad';
import { MonadError } from '../monad-error';
import { SemigroupK } from '../semigroup-k';
import { Either } from './either';
export type EitherT<F, E, A> = Kind<F, [Either<E, A>]>;
export declare const EitherT: {
    <F, E, A>(fa: Kind<F, [Either<E, A>]>): Kind<F, [Either<E, A>]>;
    Right<F_1>(F: Applicative<F_1>): <A_1, E_1 = never>(a: A_1) => Kind<F_1, [Either<E_1, A_1>]>;
    Left<F_2>(F: Applicative<F_2>): <E_2, A_2 = never>(e: E_2) => Kind<F_2, [Either<E_2, A_2>]>;
    liftF<F_3>(F: Functor<F_3>): <A_3, E_3 = never>(fa: Kind<F_3, [A_3]>) => Kind<F_3, [Either<E_3, A_3>]>;
    EqK<F_4, E_4>(F: EqK<F_4>, E: Eq<E_4>): EqK<$<EitherTF, [F_4, E_4]>>;
    Defer: <F_5, E_5>(a: Defer<F_5>) => Defer<$<EitherTF, [F_5, E_5]>>;
    Functor: <F_6, E_6>(a: Functor<F_6>) => Functor<$<EitherTF, [F_6, E_6]>>;
    Bifunctor: <F_7>(a: Functor<F_7>) => Bifunctor<$<EitherTF, [F_7]>>;
    Monad: <F_8, E_7>(a: Monad<F_8>) => Monad<$<EitherTF, [F_8, E_7]>>;
    MonadError: <F_9, E_8>(a: Monad<F_9>) => MonadError<$<EitherTF, [F_9, E_8]>, E_8>;
    SemigroupK: <F_10, E_9>(a: Monad<F_10>) => SemigroupK<$<EitherTF, [F_10, E_9]>>;
};
export interface EitherTF extends TyK<[unknown, unknown, unknown]> {
    [$type]: EitherT<TyVar<this, 0>, TyVar<this, 1>, TyVar<this, 2>>;
}
//# sourceMappingURL=either-t.d.ts.map