Type Alias OneKey<K, V, KK>

OneKey: {
    [P in K]: ({ [Q in P]: V } & { [Q in Exclude<KK, P>]?: undefined }) extends infer O
        ? { [Q in keyof O]: O[Q] }
        : never
}[K]

🔍 Expanded Type Evaluation (Compiler API)

type OneKey<K, V, KK> = { [P in K]: { [Q in P]: V; } & { [Q in Exclude<KK, P>]?: undefined; } extends infer O ? { [Q in keyof O]: O[Q]; } : never; }[K]

Record with only one-key

Type Parameters

K extends keyof any
V
KK extends keyof any = K

Type Alias OneKey<K, V, KK>

Type Parameters

Settings