擴展歧視工會

Question

是否可以使用 mappend/conditional 類型來轉換這個 DU

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

type Transformed = DUTransformer<MyDU>

這樣我們就得到了以下結果

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

Answer 1

是的，因為 TypeScript 會通過 union 分配映射類型：

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;
})