Function tuple

packages/typeclass/src/Monoid.ts:73–78

(
  ...elements: T
)

 * @since 0.24.0
 */
export const tuple = <T extends ReadonlyArray<Monoid<any>>>(
  ...elements: T
): Monoid<{ readonly [I in keyof T]: [T[I]] extends [Monoid<infer A>] ? A : never }> => {
  const empty = elements.map((m) => m.empty) as any
  return fromSemigroup(semigroup.tuple(...elements), empty)
}

/**
 * Given a type `A`, this function creates and returns a `Semigroup` for `ReadonlyArray<A>`.