import * as HKT from './HKT';
export interface Bifunctor<F extends HKT.URIS, C = HKT.Auto> extends HKT.Base<F, C> {
    readonly bimap_: BimapFn_<F, C>;
    readonly bimap: BimapFn<F, C>;
    readonly mapLeft_: MapLeftFn_<F, C>;
    readonly mapLeft: MapLeftFn<F, C>;
    readonly mapRight_: MapRightFn_<F, C>;
    readonly mapRight: MapRightFn<F, C>;
}
export declare type BifunctorMin<F extends HKT.URIS, C = HKT.Auto> = {
    readonly mapLeft_: MapLeftFn_<F, C>;
    readonly mapRight_: MapRightFn_<F, C>;
} | {
    readonly bimap_: BimapFn_<F, C>;
} | {
    readonly mapLeft_: MapLeftFn_<F, C>;
    readonly mapRight_: MapRightFn_<F, C>;
    readonly bimap_: BimapFn_<F, C>;
};
export declare function Bifunctor<F extends HKT.URIS, C = HKT.Auto>(F: BifunctorMin<F, C>): Bifunctor<F, C>;
export interface BimapFn<F extends HKT.URIS, C = HKT.Auto> {
    <E, A, H, B>(f: (e: E) => H, g: (a: A) => B): <N extends string, K, Q, W, X, I, S, R>(fea: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>) => HKT.Kind<F, C, N, K, Q, W, X, I, S, R, H, B>;
}
export interface BimapFn_<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, H, B>(fea: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, f: (e: E) => H, g: (a: A) => B): HKT.Kind<F, C, N, K, Q, W, X, I, S, R, H, B>;
}
export interface MapLeftFn<F extends HKT.URIS, C = HKT.Auto> {
    <E, H>(f: (e: E) => H): <N extends string, K, Q, W, X, I, S, R, A>(fea: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>) => HKT.Kind<F, C, N, K, Q, W, X, I, S, R, H, A>;
}
export interface MapLeftFn_<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, H>(fea: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, f: (e: E) => H): HKT.Kind<F, C, N, K, Q, W, X, I, S, R, H, A>;
}
export interface MapRightFn<F extends HKT.URIS, C = HKT.Auto> {
    <A, B>(f: (a: A) => B): <N extends string, K, Q, W, X, I, S, R, E>(fea: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>) => HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, B>;
}
export interface MapRightFn_<F extends HKT.URIS, C = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, B>(fea: HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, A>, f: (a: A) => B): HKT.Kind<F, C, N, K, Q, W, X, I, S, R, E, B>;
}
//# sourceMappingURL=Bifunctor.d.ts.map