Расширить размеченные союзы

возможно ли преобразовать этот DU, используя mappend/условные типы

type MyDU =
| {kind: 'foo'}
| {kind: 'bar'}

type Transformed = DUTransformer<MyDU>

таким образом, что мы получаем следующий результат

type Transformed =
| {kind: 'foo', foo: boolean}
| {kind: 'bar', bar: boolean}

typescript mapped-types
person robkuz    schedule 29.09.2020    source источник

Ответы (1)


arrow_upward
5
arrow_downward

Да, потому что TypeScript будет распределять сопоставленные типы по объединению< /а>:

type MyDU =
| {kind: 'foo'}
| {kind: 'bar'}

type Kinded<T extends string> = { kind: T }

type DUTransformer<T> = T extends Kinded<infer K> ? T & {[K1 in K]: boolean} : never

type Transformed = DUTransformer<MyDU>

Тип Transformed:

type Transformed = ({
    kind: 'foo';
} & {
    foo: boolean;
}) | ({
    kind: 'bar';
} & {
    bar: boolean;
})
person Sean Vieira    schedule 29.09.2020
comment
Святой макрос! Спасибо. не могли бы вы объяснить, что делает ваш DUTransformer? особенно часть Kinded<infer K>? - person robkuz; 29.09.2020
comment
Думайте о типах как об операторе Пролога (и если вы не знаете Пролог, взгляните на Руководство по программированию диалоговых окон, чтобы интуитивно понять, как это работает. - person Sean Vieira; 06.10.2020
comment
Но суть в том, что мы говорим if T extends Kinded<any> then store the argument to Kinded in K and then generate a type which is the intersection of T and the mapped type with all the keys in K associated with booleans - person Sean Vieira; 06.10.2020