import type { Eq } from "@principia/prelude/Eq";
import type { Predicate } from "../Function";
/**
 * @since 1.0.0
 */
export declare const some_: <A>(set: ReadonlySet<A>, predicate: Predicate<A>) => boolean;
/**
 * @since 1.0.0
 */
export declare const some: <A>(predicate: Predicate<A>) => (set: ReadonlySet<A>) => boolean;
/**
 * @since 1.0.0
 */
export declare const every_: <A>(set: ReadonlySet<A>, predicate: Predicate<A>) => boolean;
/**
 * @since 1.0.0
 */
export declare const every: <A>(predicate: Predicate<A>) => (set: ReadonlySet<A>) => boolean;
/**
 * Test if a value is a member of a set
 *
 * @since 1.0.0
 */
export declare const elem_: <A>(E: Eq<A>) => (set: ReadonlySet<A>, a: A) => boolean;
/**
 * Test if a value is a member of a set
 *
 * @since 1.0.0
 */
export declare const elem: <A>(E: Eq<A>) => (a: A) => (set: ReadonlySet<A>) => boolean;
/**
 * `true` if and only if every element in the first set is an element of the second set
 *
 * @since 1.0.0
 */
export declare const isSubset: <A>(E: Eq<A>) => (that: ReadonlySet<A>) => (me: ReadonlySet<A>) => boolean;
//# sourceMappingURL=guards.d.ts.map