export interface Semigroup<A> extends Magma<A> {}

export const semigroupAll: Semigroup<boolean> = ...

export const semigroupAny: Semigroup<boolean> = ...

export const semigroupProduct: Semigroup<number> = ...

export const semigroupString: Semigroup<string> = ...

export const semigroupSum: Semigroup<number> = ...

export const semigroupVoid: Semigroup<void> = ...

export function fold<A>(S: Semigroup<A>): (a: A, as: Array<A>) => A { ... }

export function getDualSemigroup<A>(S: Semigroup<A>): Semigroup<A> { ... }

export function getFirstSemigroup<A = never>(): Semigroup<A> { ... }

export function getFunctionSemigroup<S>(S: Semigroup<S>): <A = never>() => Semigroup<(a: A) => S> { ... }

export function getJoinSemigroup<A>(O: Ord<A>): Semigroup<A> { ... }

export function getLastSemigroup<A = never>(): Semigroup<A> { ... }

export function getMeetSemigroup<A>(O: Ord<A>): Semigroup<A> { ... }

export function getObjectSemigroup<A extends object = never>(): Semigroup<A> { ... }

import { getObjectSemigroup } from 'fp-ts/lib/Semigroup'

interface Person {
  name: string
  age: number
}

const S = getObjectSemigroup<Person>()
assert.deepStrictEqual(S.concat({ name: 'name', age: 23 }, { name: 'name', age: 24 }), { name: 'name', age: 24 })

export function getStructSemigroup<O extends { [key: string]: any }>(
  semigroups: { [K in keyof O]: Semigroup<O[K]> }
): Semigroup<O> { ... }

export function getTupleSemigroup<T extends Array<Semigroup<any>>>(
  ...semigroups: T
): Semigroup<{ [K in keyof T]: T[K] extends Semigroup<infer A> ? A : never }> { ... }

import { getTupleSemigroup, semigroupString, semigroupSum, semigroupAll } from 'fp-ts/lib/Semigroup'

const S1 = getTupleSemigroup(semigroupString, semigroupSum)
assert.deepStrictEqual(S1.concat(['a', 1], ['b', 2]), ['ab', 3])

const S2 = getTupleSemigroup(semigroupString, semigroupSum, semigroupAll)
assert.deepStrictEqual(S2.concat(['a', 1, true], ['b', 2, false]), ['ab', 3, false])