import type * as P from "@principia/prelude";
import type { Separated } from "@principia/prelude/Utils";
import type { Either } from "../Either";
import type { Predicate, Refinement } from "../Function";
import type { Option, URI, V } from "./model";
export declare const filter_: {
   <A, B extends A>(fa: Option<A>, refinement: Refinement<A, B>): Option<B>;
   <A>(fa: Option<A>, predicate: Predicate<A>): Option<A>;
};
export declare const filter: {
   <A, B extends A>(refinement: Refinement<A, B>): (fa: Option<A>) => Option<B>;
   <A>(predicate: Predicate<A>): (fa: Option<A>) => Option<A>;
};
export declare const partition_: {
   <A, B extends A>(fa: Option<A>, refinement: Refinement<A, B>): Separated<Option<A>, Option<B>>;
   <A>(fa: Option<A>, predicate: Predicate<A>): Separated<Option<A>, Option<A>>;
};
export declare const partition: {
   <A, B extends A>(refinement: Refinement<A, B>): (fa: Option<A>) => Separated<Option<A>, Option<B>>;
   <A>(predicate: Predicate<A>): (fa: Option<A>) => Separated<Option<A>, Option<A>>;
};
export declare const mapEither_: <A, B, C>(fa: Option<A>, f: (a: A) => Either<B, C>) => Separated<Option<B>, Option<C>>;
export declare const mapEither: <A, B, C>(
   f: (a: A) => Either<B, C>
) => (fa: Option<A>) => Separated<Option<B>, Option<C>>;
/**
 * ```haskell
 * mapOption_ :: Filterable f => (f a, (a -> Maybe b)) -> f b
 * ```
 */
export declare const mapOption_: <A, B>(fa: Option<A>, f: (a: A) => Option<B>) => Option<B>;
/**
 * ```haskell
 * mapOption :: Filterable f => (a -> Maybe b) -> f a -> f b
 * ```
 */
export declare const mapOption: <A, B>(f: (a: A) => Option<B>) => (fa: Option<A>) => Option<B>;
export declare const Filterable: P.Filterable<[URI], V>;
//# sourceMappingURL=filterable.d.ts.map