import { Base, Kind } from '@fp4ts/core';
/**
 * @category Type Class
 */
export interface Invariant<F> extends Base<F> {
    readonly imap: <A, B>(f: (a: A) => B, g: (b: B) => A) => (fa: Kind<F, [A]>) => Kind<F, [B]>;
    readonly imap_: <A, B>(fa: Kind<F, [A]>, f: (a: A) => B, g: (b: B) => A) => Kind<F, [B]>;
}
export type InvariantRequirements<F> = Pick<Invariant<F>, 'imap_'> & Partial<Invariant<F>>;
export declare const Invariant: Readonly<{
    of: <F>(F: InvariantRequirements<F>) => Invariant<F>;
}>;
//# sourceMappingURL=invariant.d.ts.map