import { $, Base, Fix, Kind, α, λ } from '@fp4ts/core';
import { Functor } from './functor';
import { Tuple2F } from './instances/tuple2';
/**
 * @category Type Class
 */
export interface Bifunctor<F> extends Base<F> {
    readonly bimap: <A, B, C, D>(f: (a: A) => C, g: (b: B) => D) => (fab: Kind<F, [A, B]>) => Kind<F, [C, D]>;
    readonly bimap_: <A, B, C, D>(fab: Kind<F, [A, B]>, f: (a: A) => C, g: (b: B) => D) => Kind<F, [C, D]>;
    readonly leftFunctor: <X>() => Functor<λ<F, [α, Fix<X>]>>;
    readonly rightFunctor: <X>() => Functor<$<F, [X]>>;
    readonly map: <B, D>(g: (b: B) => D) => <A>(fab: Kind<F, [A, B]>) => Kind<F, [A, D]>;
    readonly map_: <A, B, D>(fab: Kind<F, [A, B]>, g: (b: B) => D) => Kind<F, [A, D]>;
    readonly leftMap: <A, C>(f: (a: A) => C) => <B>(fab: Kind<F, [A, B]>) => Kind<F, [C, B]>;
    readonly leftMap_: <A, B, C>(fab: Kind<F, [A, B]>, f: (a: A) => C) => Kind<F, [C, B]>;
}
export type BifunctorRequirements<F> = Pick<Bifunctor<F>, 'bimap_'> & Partial<Bifunctor<F>>;
export declare const Bifunctor: Readonly<{
    of: <F>(F: BifunctorRequirements<F>) => Bifunctor<F>;
    readonly Tuple2: Bifunctor<Tuple2F>;
}>;
//# sourceMappingURL=bifunctor.d.ts.map