import { Base, Kind } from '@fp4ts/core';
import { CommutativeMonoid } from '@fp4ts/cats-kernel';
/**
 * @category Type Class
 */
export interface UnorderedFoldable<F> extends Base<F> {
    /**
     * Lazy fold mapping each element of the structure `Kind<F, [A]>` into a commutative
     *  monoid `M` and combining them using `combineEval`.
     */
    unorderedFoldMap<M>(M: CommutativeMonoid<M>): <A>(f: (a: A) => M) => (fa: Kind<F, [A]>) => M;
    /**
     * Lazy fold mapping each element of the structure `Kind<F, [A]>` into a commutative
     * monoid `M` and combining them using `combineEval`.
     */
    unorderedFoldMap_<M>(M: CommutativeMonoid<M>): <A>(fa: Kind<F, [A]>, f: (a: A) => M) => M;
    /**
     * Lazy fold combining each element of the structure `Kind<F, [A]>` using
     * `combineEval` of the provided commutative monoid.
     */
    unorderedFold<A>(M: CommutativeMonoid<A>): (fa: Kind<F, [A]>) => A;
    isEmpty<A>(fa: Kind<F, [A]>): boolean;
    nonEmpty<A>(fa: Kind<F, [A]>): boolean;
    all<A>(p: (a: A) => boolean): (fa: Kind<F, [A]>) => boolean;
    all_<A>(fa: Kind<F, [A]>, p: (a: A) => boolean): boolean;
    any<A>(p: (a: A) => boolean): (fa: Kind<F, [A]>) => boolean;
    any_<A>(fa: Kind<F, [A]>, p: (a: A) => boolean): boolean;
    count<A>(p: (a: A) => boolean): (fa: Kind<F, [A]>) => number;
    count_<A>(fa: Kind<F, [A]>, p: (a: A) => boolean): number;
    size<A>(fa: Kind<F, [A]>): number;
}
export type UnorderedFoldableRequirements<F> = Pick<UnorderedFoldable<F>, 'unorderedFoldMap_'> & Partial<UnorderedFoldable<F>>;
export declare const UnorderedFoldable: Readonly<{
    of: <F>(F: UnorderedFoldableRequirements<F>) => UnorderedFoldable<F>;
}>;
//# sourceMappingURL=unordered-foldable.d.ts.map