import type { Eq } from "@principia/prelude/Eq";
import type { Separated } from "@principia/prelude/Utils";
import type { Either } from "../Either";
import type { Predicate, Refinement } from "../Function";
import type { Option } from "../Option";
/**
 * @since 1.0.0
 */
export declare const filter_: {
   <A, B extends A>(fa: ReadonlySet<A>, refinement: Refinement<A, B>): ReadonlySet<B>;
   <A>(fa: ReadonlySet<A>, predicate: Predicate<A>): ReadonlySet<A>;
};
/**
 * @since 1.0.0
 */
export declare const filter: {
   <A, B extends A>(refinement: Refinement<A, B>): (fa: ReadonlySet<A>) => ReadonlySet<B>;
   <A>(predicate: Predicate<A>): (fa: ReadonlySet<A>) => ReadonlySet<A>;
};
/**
 * @since 1.0.0
 */
export declare const partition_: {
   <A, B extends A>(fa: ReadonlySet<A>, refinement: Refinement<A, B>): Separated<ReadonlySet<A>, ReadonlySet<B>>;
   <A>(fa: ReadonlySet<A>, predicate: Predicate<A>): Separated<ReadonlySet<A>, ReadonlySet<A>>;
};
/**
 * @since 1.0.0
 */
export declare const partition: {
   <A, B extends A>(refinement: Refinement<A, B>): (fa: ReadonlySet<A>) => Separated<ReadonlySet<A>, ReadonlySet<B>>;
   <A>(predicate: Predicate<A>): (fa: ReadonlySet<A>) => Separated<ReadonlySet<A>, ReadonlySet<A>>;
};
/**
 * @since 1.0.0
 */
export declare const mapEither_: <B, C>(
   EB: Eq<B>,
   EC: Eq<C>
) => <A>(set: ReadonlySet<A>, f: (a: A) => Either<B, C>) => Separated<ReadonlySet<B>, ReadonlySet<C>>;
/**
 * @since 1.0.0
 */
export declare const mapEither: <B, C>(
   EB: Eq<B>,
   EC: Eq<C>
) => <A>(f: (a: A) => Either<B, C>) => (set: ReadonlySet<A>) => Separated<ReadonlySet<B>, ReadonlySet<C>>;
/**
 * @since 1.0.0
 */
export declare const mapOption_: <B>(E: Eq<B>) => <A>(fa: ReadonlySet<A>, f: (a: A) => Option<B>) => Set<B>;
/**
 * @since 1.0.0
 */
export declare const mapOption: <B>(E: Eq<B>) => <A>(f: (a: A) => Option<B>) => (fa: ReadonlySet<A>) => Set<B>;
//# sourceMappingURL=filterable.d.ts.map