import { $type, HKT, PrimitiveType, TyK, TyVar } from '@fp4ts/core';
import { Eq, Ord, Monoid } from '@fp4ts/cats-kernel';
import { Foldable } from '../../../foldable';
import { List } from '../list';
import { Set as SetBase } from './algebra';
export type Set<A> = SetBase<A>;
export declare const Set: SetObj;
interface SetObj {
    <A extends PrimitiveType>(...xs: A[]): Set<A>;
    fromArray<A extends PrimitiveType>(xs: A[]): Set<A>;
    fromArray<A>(O: Ord<A>, xs: A[]): Set<A>;
    fromList<A extends PrimitiveType>(xs: List<A>): Set<A>;
    fromList<A>(O: Ord<A>, xs: List<A>): Set<A>;
    empty: Set<never>;
    Eq<A>(O: Eq<A>): Eq<Set<A>>;
    Monoid<A>(O: Ord<A>): Monoid<Set<A>>;
    Foldable: Foldable<SetF>;
}
declare module './algebra' {
    interface Set<A> extends HKT<SetF, [A]> {
    }
}
/**
 * @category Type Constructor
 * @category Collection
 */
export interface SetF extends TyK<[unknown]> {
    [$type]: Set<TyVar<this, 0>>;
}
export {};
//# sourceMappingURL=set.d.ts.map