import { Kind } from '@fp4ts/core';
import { Traversable } from './traversable';
import { FunctorFilter } from './functor-filter';
import { Applicative } from './applicative';
import { Option } from './data';
import { ArrayF } from './instances/array';
/**
 * @category Type Class
 */
export interface TraversableFilter<F> extends Traversable<F>, FunctorFilter<F> {
    traverseFilter<G>(G: Applicative<G>): <A, B>(f: (a: A) => Kind<G, [Option<B>]>) => (fa: Kind<F, [A]>) => Kind<G, [Kind<F, [B]>]>;
    traverseFilter_<G>(G: Applicative<G>): <A, B>(fa: Kind<F, [A]>, f: (a: A) => Kind<G, [Option<B>]>) => Kind<G, [Kind<F, [B]>]>;
    sequenceFilter<G>(G: Applicative<G>): <A>(fga: Kind<F, [Kind<G, [Option<A>]>]>) => Kind<G, [Kind<F, [A]>]>;
    filterA<G>(G: Applicative<G>): <A>(f: (a: A) => Kind<G, [boolean]>) => (fa: Kind<F, [A]>) => Kind<G, [Kind<F, [A]>]>;
    filterA_<G>(G: Applicative<G>): <A>(fa: Kind<F, [A]>, f: (a: A) => Kind<G, [boolean]>) => Kind<G, [Kind<F, [A]>]>;
}
export type TraversableFilterRequirements<F> = Pick<TraversableFilter<F>, 'traverseFilter_'> & Partial<TraversableFilter<F>>;
export declare const TraversableFilter: Readonly<{
    of: <F>(F: TraversableFilterRequirements<F>) => TraversableFilter<F>;
    readonly Array: TraversableFilter<ArrayF>;
}>;
//# sourceMappingURL=traversable-filter.d.ts.map