Как развернуть юнион в интерфейс?

Question

[G F]

Интерфейс в юнион превратить можно через [K in keyof T], а как перебрать какждого мембера юниона?
Ожидаемое поведение

type union = 'a' | 'b' | 'c'
interface I {
  [здесь пройтись циклом по каждому мемберу из union]: any
}
// result:
interface I {
a: any
b: any
c: any
}

Answer 1

[Дмитрий Беляев]

type Union = 'a' | 'b' | 'c';
type Obj = {
  [K in Union]: any;
};

Интерфейсом насколько помню так нельзя

Comments

[G F]

ну это было очевидное решение. но почему-то при использовании с дженериком

type Union = 'a' | 'b' | 'c';
type Obj<U> = {
  [K in U]: any;
};
const s: Obj<Union> = {
}

на https://www.typescriptlang.org/play компилятор ругается на

Type 'U' is not assignable to type 'string | number | symbol'.
Type 'U' is not assignable to type 'symbol'

при этом автокомплит все равно норм работает. меня это смутило.
я так понимаю дело в индекс типах?

[Дмитрий Беляев]

G F, с типом символов у TS есть некоторые траблы, так как все символы имеют unique тип, но unique типы еще до конца не реализованы.
Можно ограничить U только строками, и тогда все будет работать:

type Union = 'a' | 'b' | 'c';
type Obj<U extends string> = {
  [K in U]: any;
};

[G F]

Дмитрий Беляев, понял, спасибо большое, так и думал что здесь какая-то сырая фича замешана.

Answer 2

[Demian Smith]

Вы, наверное это имели ввиду:

type union = 'a' | 'b' | 'c'
type I = {
  someOtherField?: number;
} & Record<union, any>;
// result:
interface I {
  someOtherField?: number;
  a: any
  b: any
  c: any
}

Если вам не нужны дополнительные поля в интерфейсе (типа someOtherField из примера), то можно обойтись просто Record<union, string>. Как-то так:

type I = Record<union, any>;

Comments

[G F]

да, это. но вопрос в том что у него внутри. сейчас поищу на гитхабе должен быть сорс

[Demian Smith]

Я, наверное, не совсем понял вопрос. Если в итоге вы хотите полчить тип, поля которого принимают все значения из union чтоб в итоге получилось что-то типа

interface I {
  a: any
  b: any
  c: any
}

то это можно сделать при помощи Record.

[G F]

да меня интересовало как именно Record это делает. примерно то что Дмитрий Беляев ответил.
но видимо тут в другом проблема. спасибо за помощь