import type { FunctorMin } from './Functor';
import { Functor } from './Functor';
import * as HKT from './HKT';
export interface Profunctor<F extends HKT.URIS, C = HKT.Auto> extends Functor<F, C> {
    readonly dimap_: DimapFn_<F, C>;
    readonly dimap: DimapFn<F, C>;
    readonly lmap_: LMapFn_<F, C>;
    readonly lmap: LMapFn<F, C>;
}
export declare type ProfunctorMin<F extends HKT.URIS, C = HKT.Auto> = FunctorMin<F, C> & ({
    readonly dimap_: DimapFn_<F, C>;
} | {
    readonly lmap_: LMapFn_<F, C>;
} | {
    readonly dimap_: DimapFn_<F, C>;
    readonly lmap_: LMapFn_<F, C>;
});
export declare function Profunctor<F extends HKT.URIS, C = HKT.Auto>(F: ProfunctorMin<F, C>): Profunctor<F, C>;
export interface DimapFn_<F extends HKT.URIS, TC = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, U, B>(fa: HKT.Kind<F, TC, N, K, Q, W, X, I, S, U, E, A>, f: (r: R) => U, g: (A: A) => B): HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, B>;
}
export interface DimapFn<F extends HKT.URIS, TC = HKT.Auto> {
    <R, U, A, B>(f: (r: R) => U, g: (a: A) => B): <N extends string, K, Q, W, X, I, S, E>(fa: HKT.Kind<F, TC, N, K, Q, W, X, I, S, U, E, A>) => HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, B>;
}
export interface LMapFn_<F extends HKT.URIS, TC = HKT.Auto> {
    <N extends string, K, Q, W, X, I, S, R, E, A, U>(fa: HKT.Kind<F, TC, N, K, Q, W, X, I, S, U, E, A>, f: (r: R) => U): HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, A>;
}
export interface LMapFn<F extends HKT.URIS, TC = HKT.Auto> {
    <R, U>(f: (r: R) => U): <N extends string, K, Q, W, X, I, S, E, A>(fa: HKT.Kind<F, TC, N, K, Q, W, X, I, S, U, E, A>) => HKT.Kind<F, TC, N, K, Q, W, X, I, S, R, E, A>;
}
//# sourceMappingURL=Profunctor.d.ts.map