import type * as P from "@principia/prelude";
import type { Const, URI, V } from "./model";
export declare const contramap_: <E, A, B>(fa: Const<E, A>, _: (b: B) => A) => Const<E, B>;
export declare const contramap: <A, B>(_: (b: B) => A) => <E>(fa: Const<E, A>) => Const<E, B>;
/**
 * @category Contravariant
 * @since 1.0.0
 */
export declare const Contravariant: P.Contravariant<[URI], V>;
//# sourceMappingURL=contravariant.d.ts.map