import { Kind } from '@fp4ts/core';
import { Invariant } from './invariant';
/**
 * @category Type Class
 */
export interface Contravariant<F> extends Invariant<F> {
    readonly contramap: <A, B>(f: (b: B) => A) => (fa: Kind<F, [A]>) => Kind<F, [B]>;
    readonly contramap_: <A, B>(fa: Kind<F, [A]>, f: (b: B) => A) => Kind<F, [B]>;
    readonly narrow: <A, B extends A>(fa: Kind<F, [A]>) => Kind<F, [B]>;
    readonly liftContravariant: <A, B>(f: (b: A) => B) => (fb: Kind<F, [B]>) => Kind<F, [A]>;
}
export type ContravariantRequirements<F> = Pick<Contravariant<F>, 'contramap_'> & Partial<Contravariant<F>>;
export declare const Contravariant: Readonly<{
    of: <F>(F: ContravariantRequirements<F>) => Contravariant<F>;
    Function1: <A>() => Contravariant<import("@fp4ts/core").λ<import("./instances/function").Function1F, [import("@fp4ts/core").α, import("@fp4ts/core").Fix<A>]>>;
}>;
//# sourceMappingURL=contravariant.d.ts.map