export const empty: Set<never> = ...

export const chain = <B>(S: Setoid<B>): (<A>(set: Set<A>, f: (x: A) => Set<B>) => Set<B>) => ...

export const compact = <A>(S: Setoid<A>): ((fa: Set<Option<A>>) => Set<A>) => ...

export const difference = <A>(S: Setoid<A>): ((x: Set<A>, y: Set<A>) => Set<A>) => ...

export const difference2v = <A>(S: Setoid<A>): ((x: Set<A>, y: Set<A>) => Set<A>) => ...

import { difference2v } from 'fp-ts/lib/Set'
import { setoidNumber } from 'fp-ts/lib/Setoid'

assert.deepStrictEqual(difference2v(setoidNumber)(new Set([1, 2]), new Set([1, 3])), new Set([2]))

export const elem = <A>(S: Setoid<A>) => (a: A, x: Set<A>): boolean => ...

export const every = <A>(x: Set<A>, predicate: Predicate<A>): boolean => ...

export function filter<A, B extends A>(x: Set<A>, predicate: Refinement<A, B>): Set<B>
export function filter<A>(x: Set<A>, predicate: Predicate<A>): Set<A> { ... }

export const filterMap = <B>(S: Setoid<B>): (<A>(fa: Set<A>, f: (a: A) => Option<B>) => Set<B>) => ...

export const foldMap = <A, M>(O: Ord<A>, M: Monoid<M>): ((fa: Set<A>, f: (a: A) => M) => M) => ...

export const fromArray = <A>(S: Setoid<A>) => (as: Array<A>): Set<A> => ...

export const getIntersectionSemigroup = <A>(S: Setoid<A>): Semigroup<Set<A>> => ...

export const getSetoid = <A>(S: Setoid<A>): Setoid<Set<A>> => ...

export const getUnionMonoid = <A>(S: Setoid<A>): Monoid<Set<A>> => ...

export const insert = <A>(S: Setoid<A>): ((a: A, x: Set<A>) => Set<A>) => ...

export const intersection = <A>(S: Setoid<A>): ((x: Set<A>, y: Set<A>) => Set<A>) => ...

export const map = <B>(S: Setoid<B>): (<A>(set: Set<A>, f: (x: A) => B) => Set<B>) => ...

export const member = <A>(S: Setoid<A>): ((set: Set<A>) => (a: A) => boolean) => ...

export function partition<A, B extends A>(x: Set<A>, predicate: Refinement<A, B>): Separated<Set<A>, Set<B>>
export function partition<A>(x: Set<A>, predicate: Predicate<A>): Separated<Set<A>, Set<A>> { ... }

export const partitionMap = <L, R>(SL: Setoid<L>, SR: Setoid<R>) => <A>(
  x: Set<A>,
  f: (a: A) => Either<L, R>
): Separated<Set<L>, Set<R>> => ...

export const reduce = <A>(O: Ord<A>): (<B>(fa: Set<A>, b: B, f: (b: B, a: A) => B) => B) => ...

export const remove = <A>(S: Setoid<A>) => (a: A, x: Set<A>): Set<A> => ...

export const separate = <L, R>(SL: Setoid<L>, SR: Setoid<R>) => (fa: Set<Either<L, R>>): Separated<Set<L>, Set<R>> => ...

export const singleton = <A>(a: A): Set<A> => ...

export const some = <A>(x: Set<A>, predicate: Predicate<A>): boolean => ...

export const subset = <A>(S: Setoid<A>): ((x: Set<A>, y: Set<A>) => boolean) => ...

export const toArray = <A>(O: Ord<A>) => (x: Set<A>): Array<A> => ...

export const union = <A>(S: Setoid<A>): ((x: Set<A>, y: Set<A>) => Set<A>) => ...