Can I do this type transformation in TypeScript?

type U = {
  foo: {
    id: '001'
    name: 'alan'
  }
  bar: {
    id: '002'
    name: 'dan'
  }
}

type V = {
  '001': 'alan'
  '002': 'dan'
}

// type Trans<T> = ...
// V === Trans<U>

Sorry I don’t know how to name it, but anyone can tell me how to archive that?

I’ve already been trying for several hours but I can only get

// this is not I want
type V = {
  '001': 'alan' | 'dan'
  '002': 'alan' | 'dan'
}

Thanks!

>Solution :

The easiest way to do this would be with a mapped type and a remapped key (docs):

type V = {[K in keyof U as U[K]['id']]: U[K]['name']}
// V = { "001": "alan"; "002": "dan" }

TypeScript playground