Criar anotação de tipo de união a partir de array gerado dinamicamente em Typescript

Dando um array gerado a partir de um reduce, como é possível criar um tipo união a partir desse array?

import someFancyObject from 'some/modules';
const generatedArray = someFancyObject.reduce((acc, val, i) => {...}, []);

// generatedArray would be like: ['a', 'b', 'c']

type UnionFromArray = ???

// UnionFromArray would be like 'a' | 'b' | 'c'

Resposta #1

Você pode inferir um array a partir do argumento de uma função ou declarar um array constante (imutável):

const arr = ['a', 'b', 'c'] as const
type UnionFromArray = (typeof arr)[number] // "a" | "b" | "c"

// OR

const unionFromArray = <
  T extends string,
  Arr extends T[]
>(arr: [...Arr]): Arr[number] => null as any

const result = unionFromArray(['a', 'b', 'c']) // // "a" | "b" | "c"