如何将元组并集转换为 object 类型

Question

I have a type InputData which is either string or a tuple. I want to transform it to object.

type InputType = File | string | boolean;
type InputData = string | [string, InputType]

type test = "username" | "password" | ["isAbove18", boolean] | ["photo", File];

In above type where only string (the name of the input field is given) its type should be set to string . I have generic type for that

type AddDefaultValues<Data extends InputData> = Data extends string ? [Data, string] : Data 
//AddDefaultValues<test> = ["username", string]| ["password", string] | ["isAbove18", boolean] | ["photo", File]

Now my requirement is to map above type to an object like below.

{username: string, password: string, isAbove18: boolean, photo: File}

I am trying from a long time but can't make out anything. Kindly help me out with this...

Answer 1

You can use an object mapping with key renaming:

type test = "username" | "password" | ["isAbove18", boolean] | ["photo", File];

type ObjMap = {
  [K in test as K extends [infer F, infer _] ? F : K]: K extends [infer _, infer S] ? S : string;
};

Playground link

See also:

• Mapped types
• Type inference in conditional types
• Key Remapping in Mapped Types