import type { ReadonlyRecord } from "../Record";
import type { Eq } from "./model";
export * from "@principia/prelude/Eq/combinators";
export declare const nullable: <A>(or: Eq<A>) => Eq<A | null>;
export declare const type: <A>(
   eqs: {
      [K in keyof A]: Eq<A[K]>;
   }
) => Eq<
   {
      [K in keyof A]: A[K];
   }
>;
export declare const partial: <A>(
   properties: { [K in keyof A]: Eq<A[K]> }
) => Eq<Partial<{ [K_1 in keyof A]: A[K_1] }>>;
export declare const record: <A>(codomain: Eq<A>) => Eq<ReadonlyRecord<string, A>>;
export declare const array: <A>(item: Eq<A>) => Eq<ReadonlyArray<A>>;
export declare const tuple: <A extends ReadonlyArray<unknown>>(
   ...components: {
      [K in keyof A]: Eq<A[K]>;
   }
) => Eq<A>;
export declare const intersect_: <A, B>(left: Eq<A>, right: Eq<B>) => Eq<A & B>;
export declare const intersect: <B>(right: Eq<B>) => <A>(left: Eq<A>) => Eq<A & B>;
export declare const sum_: <T extends string, A>(
   tag: T,
   members: { [K in keyof A]: Eq<A[K] & Record<T, K>> }
) => Eq<A[keyof A]>;
export declare const sum: <T extends string>(
   tag: T
) => <A>(members: { [K in keyof A]: Eq<A[K] & Record<T, K>> }) => Eq<A[keyof A]>;
export declare const lazy: <A>(f: () => Eq<A>) => Eq<A>;
//# sourceMappingURL=combinators.d.ts.map