import Filterable from "../../specifications/Filterable";
import Traversable from "../../specifications/Traversable";
import Semigroup from "../../specifications/Semigroup";
import { Applicative, ApplicativeTypeRep } from "../../specifications/Applicative";
import { FNA1 } from "../../specifications/Function";
export default class Intersection<A> implements Applicative<A>, Filterable<A>, Traversable<A>, Semigroup<A> {
    protected readonly values: Set<A>;
    constructor(values: Iterable<A>);
    map<B>(fn: (a: A) => B): Intersection<B>;
    ap<B>(other: Intersection<B>): A extends FNA1<B, infer C> ? Intersection<C> : any;
    static of<A>(value: A): Intersection<A>;
    filter(fn: (value: A) => Boolean): Intersection<A>;
    reduce<B>(reducer: (accumulator: B, value: A) => B, initial: B): B;
    traverse<B>(TypeRep: ApplicativeTypeRep<Intersection<B>>, fn: (a: A) => Applicative<B>): Applicative<Intersection<B>>;
    concat(other: Intersection<A>): Intersection<A>;
    static empty<A>(): Intersection<A>;
    get(): Array<A>;
    inspect(): string;
}