import type { Eq } from "@principia/prelude/Eq";
/**
 * Form the union of two sets
 *
 * @category Combinators
 * @since 1.0.0
 */
export declare const union_: <A>(E: Eq<A>) => (me: ReadonlySet<A>, that: ReadonlySet<A>) => ReadonlySet<A>;
/**
 * Form the union of two sets
 *
 * @category Combinators
 * @since 1.0.0
 */
export declare const union: <A>(E: Eq<A>) => (that: ReadonlySet<A>) => (me: ReadonlySet<A>) => ReadonlySet<A>;
/**
 * The set of elements which are in both the first and second set
 *
 * @category Combinators
 * @since 1.0.0
 */
export declare const intersection_: <A>(
   E: Eq<A>
) => (me: ReadonlySet<A>, that: ReadonlySet<A>) => ReadonlySet<never> | Set<A>;
/**
 * The set of elements which are in both the first and second set
 *
 * @category Combinators
 * @since 1.0.0
 */
export declare const intersection: <A>(
   E: Eq<A>
) => (that: ReadonlySet<A>) => (me: ReadonlySet<A>) => ReadonlySet<never> | Set<A>;
export declare const difference_: <A>(E: Eq<A>) => (me: ReadonlySet<A>, that: ReadonlySet<A>) => ReadonlySet<A>;
export declare const difference: <A>(E: Eq<A>) => (that: ReadonlySet<A>) => (me: ReadonlySet<A>) => ReadonlySet<A>;
export declare const insert_: <A>(E: Eq<A>) => (set: ReadonlySet<A>, a: A) => ReadonlySet<A>;
export declare const insert: <A>(E: Eq<A>) => (a: A) => (set: ReadonlySet<A>) => ReadonlySet<A>;
export declare const remove_: <A>(E: Eq<A>) => (set: ReadonlySet<A>, a: A) => ReadonlySet<A>;
export declare const remove: <A>(E: Eq<A>) => (a: A) => (set: ReadonlySet<A>) => ReadonlySet<A>;
//# sourceMappingURL=combinators.d.ts.map