TypeSrcipt:Objectから、そのメンバを許容するユニオン型を作成したい

Question

前提・実現したいこと

TypeSrciptのObject（または定数）があるとします。
そのObjectの子のObjectのユニオン型のtypeを作成する方法をご教示いただきたく。

発生している問題・エラーメッセージ

const またはある一定の定数を持つ変数を作成し
そのメンバーのユニオン型を作成したいのですが、どうやって作成すればいいのか、発想が思い浮かばずにおります。

該当のソースコード

const ITEMS = {
  a: { id: 1, value: "1111" },
  b: { id: 2, value: "2222" },
} as const

type myType = { [P in keyof typeof ITEMS]: typeof ITEMS[P] }

const f = (item:myType) => { 
  console.log(item);
  // a: { id: 1, value: "1111" }
  // or
  // b: { id: 2, value: "2222" }
}

f(ITEMS.a) //こういう呼び出し方をしたい。
/*
型 '{ readonly id: 1; readonly value: "1111"; }' の引数を型 'myType' のパラメーターに割り当てることはできません。
  型 '{ readonly id: 1; readonly value: "1111"; }' には 型 'myType' からの次のプロパティがありません: a, bts(2345)
const ITEMS: {
    readonly a: {
        readonly id: 1;
        readonly value: "1111";
    };
    readonly b: {
        readonly id: 2;
        readonly value: "2222";
    };
}
*/

試したこと

定数にしてみたり、Typeにしてみたり、右往左往・・・

const itemsType = {
  a: { id: 1, value: "1111" },
  b: { id: 2, value: "2222" },
} as const

type myType = { [P in keyof typeof itemsType]: typeof itemsType[P] }
/*
type myType = {
    readonly a: {
        readonly id: 1;
        readonly value: "1111";
    };
    readonly b: {
        readonly id: 2;
        readonly value: "2222";
    };
}
*/

補足情報

const 部分はどういった宣言でもいいのですが、そもそも、
こういった型から、

const ITEMS = {
  a: { one:string, two:string },
  b: { one:string, two:string },
} // as const

このようなユニオン型を作れるのかどうか、あれはその記述方法をご教示いただけますと幸いです。

const expect = {a: { one:string, two:string }} | {b: { one:string, two:string }}

不足情報があれば、ご指摘いただけますと幸いです。
お手数をおかけいたしますが、よろしくお願い申し上げます。

Answer 1

もっと凝れそうですが、サラッとやるならこんな感じでしょうか。

type Entity = { type: 'a' | 'b', 'id': number, 'value': string }
type Rec = { 'a': Entity, 'b': Entity }
const ITEMS: Rec = {
  'a': {type: 'a', 'id': 1, 'value': 'aaa'},
  'b': {type: 'b', 'id': 2, 'value': 'bbb'}
}

const f = (item:Entity) => { 
  console.log(item);
}

f(ITEMS.a)

TypeScript: TS Playground - An online editor for exploring TypeScript and JavaScript

Comments

[UnripeTomato]

回答いただき、ありがとうございます！！
説明不足で申し訳ございません。

今回の例でいうと、const ITEMS のキーの中の型は常に一定ではないものを想定しておりました。
ですが、頂いたコードを元に、なるほど、typeを分けて考えていけばいいのかとヒントをいただき、試行錯誤した結果、解答にたどり着くことができました。

そのコードを以下に投稿いたします。

[UnripeTomato]

type itemType = typeof ITEMS[keyof typeof ITEMS]

Answer 2

//何らかの定数があるとする。
const ITEMS = {
  ITEM_A: {one: 1, two: 2,},
  ITEM_B: {one: 1, two: 2, three:3},
  ITEM_C: {one: 1, two: 2, three:3, four:4},
} 

//定数の中の型のユニオン型を定義
type itemType = typeof ITEMS[keyof typeof ITEMS]

const f = (item:itemType) => { 
  console.log(item);
}
f(ITEMS.ITEM_A)
f(ITEMS.ITEM_B)
f(ITEMS.ITEM_C)
// { one: 1, two: 2 }
// { one: 1, two: 2, three: 3 }
// { one: 1, two: 2, three: 3, four: 4 }

//上記のジェネリック版

type valueOf<T> = T[keyof T];
type itemTypeGeneric = valueOf<typeof ITEMS>
const f2 = (item:itemTypeGeneric) => { 
  console.log(item);
}
console.log('type generic');
f(ITEMS.ITEM_A)
f(ITEMS.ITEM_B)
f(ITEMS.ITEM_C)
// { one: 1, two: 2 }
// { one: 1, two: 2, three: 3 }
// { one: 1, two: 2, three: 3, four: 4 }