type-transformations.ts

// オンデマンドに T や Promise<T> を返す関数実装を許容する
type OnDemandType<T> = (T | (() => T) | (() => Promise<T>));

// すべてのプロパティがオンデマンド対応
type LazyType<T> = { [K in keyof T]: OnDemandType<T[K]> };

// T や Promise<T> を返す関数実装なら T を取り出す
type ResolvedType<T> = (T extends () => Promise<infer P> ? P : T extends () => infer P ? P : T);

// T のうち __typename プロパティを無視して、残りのプロパティは必須とする
type Implements<T> = Required<Omit<T, "__typename">>;