import type { Predicate, PredicateWithIndex, Refinement, RefinementWithIndex } from "../Function";
import type { Option } from "../Option";
import type { NonEmptyArray } from "./model";
/**
 * ```haskell
 * filterWithIndex_ :: (NonEmptyArray f, Index k) =>
 *    (f a, ((k, a) -> Boolean)) -> Option (f a)
 * ```
 */
export declare const filterWithIndex_: {
   <A, B extends A>(fa: NonEmptyArray<A>, f: RefinementWithIndex<number, A, B>): Option<NonEmptyArray<B>>;
   <A>(fa: NonEmptyArray<A>, f: PredicateWithIndex<number, A>): Option<NonEmptyArray<A>>;
};
/**
 * ```haskell
 * filterWithIndex :: (NonEmptyArray f, Index k) =>
 *    ((k, a) -> Boolean) -> f a -> Option (f a)
 * ```
 */
export declare const filterWithIndex: {
   <A, B extends A>(f: RefinementWithIndex<number, A, B>): (fa: NonEmptyArray<A>) => Option<NonEmptyArray<B>>;
   <A>(f: PredicateWithIndex<number, A>): (fa: NonEmptyArray<A>) => Option<NonEmptyArray<A>>;
};
/**
 * ```haskell
 * filter_ :: NonEmptyArray f => (f a, (a -> Boolean)) -> Option (f a)
 * ```
 */
export declare const filter_: {
   <A, B extends A>(fa: NonEmptyArray<A>, f: Refinement<A, B>): Option<NonEmptyArray<B>>;
   <A>(fa: NonEmptyArray<A>, f: Predicate<A>): Option<NonEmptyArray<A>>;
};
/**
 * ```haskell
 * filter :: NonEmptyArray f => (a -> Boolean) -> f a -> Option (f a)
 * ```
 */
export declare const filter: {
   <A, B extends A>(f: Refinement<A, B>): (fa: NonEmptyArray<A>) => Option<NonEmptyArray<B>>;
   <A>(f: Predicate<A>): (fa: NonEmptyArray<A>) => Option<NonEmptyArray<A>>;
};
//# sourceMappingURL=filterable.d.ts.map