import { $type, Base, Kind, TyK, TyVar, EvalF } from '@fp4ts/core';
import { Eq } from '@fp4ts/cats-kernel';
import { FunctionK } from './function-k';
import { ComposedEqK } from './composed';
import { ArrayF } from './instances/array';
import { Function0F } from './instances/function';
export interface EqK<F> extends Base<F> {
    liftEq<A>(E: Eq<A>): Eq<Kind<F, [A]>>;
    lift<A>(p: (l: A, r: A) => boolean): Eq<Kind<F, [A]>>;
}
export type EqKRequirements<F> = Pick<EqK<F>, 'liftEq'> & Partial<EqK<F>>;
export declare const EqK: Readonly<{
    of: <F>(F: EqKRequirements<F>) => EqK<F>;
    compose: <F_1, G>(F: EqK<F_1>, G: EqK<G>) => ComposedEqK<F_1, G>;
    by: <F_2, G_1>(fa: EqK<F_2>, g: FunctionK<G_1, F_2>) => EqK<G_1>;
    readonly Eval: EqK<EvalF>;
    readonly Array: EqK<ArrayF>;
    readonly Function0: EqK<Function0F>;
}>;
export interface EqKF extends TyK<[unknown]> {
    [$type]: EqK<TyVar<this, 0>>;
}
//# sourceMappingURL=eq-k.d.ts.map