TypeScriptでidとvalueのセットの型を定義したい

Question

idとvalueをセットで型定義する事は可能でしょうか？
ここでのidとはHTMLのid属性に指定する値ですが、idとvalueは1:1として存在するので、セットで型定義をしたいと思いました。

現在の実装はこんな感じです。idとvalueの型が分かれています。

const Id = {
  id1: 'id1',
  id2: 'id2',
  id3: 'id3',
} as const

const Value = {
  value1: 'value1',
  value2: 'value2',
  value3: 'value3',
} as const

type IdType = typeof Id[keyof typeof Id]
type ValueType = typeof Value[keyof typeof Value]

type IdValueListType = {
  id: IdType
  value: ValueType
}

const idValueList: Array<IdValueListType> = [
  {
    id: 'id1',
    value: 'value1',
  },
  {
    id: 'id2',
    value: 'value2',
  },
  {
    id: 'id3',
    value: 'value3',
  },
]

上記の実装の場合、idにはid1〜id3が、valueにはvalue1〜value3が入りますが、id1の場合はvalue1しか入らない、というような事をしたいです。

型を複合してセットで定義する方法がもしあれば、教えていただけますと幸いです。
よろしくお願いします。

Answer 1

リテラルがあるのでしたら、リテラルから型を定義してしまうのがいちばん楽です。

const idValueList = [
  {
    id: 'id1',
    value: 'value1',
  },
  {
    id: 'id2',
    value: 'value2',
  },
  {
    id: 'id3',
    value: 'value3',
  },
] as const

// idとvalueの組のunionが取れる
type IdValue = (typeof idValueList)[number]