Proposal: IsUnion

[zikaari]

Inspired by - https://stackoverflow.com/a/53955431/5039290

type IsUnion<T> = [T] extends [UnionToIntersection<T>] ? false : true;

Use case

Create a specific type that guarantees only unions from a generic type that could be mixed-bag.

type MemberInfo = {
  first_name: string;
  last_name: string;
  date_of_birth: number;
  favourite_fruit: 'apple' | 'mango' | 'banana';
  industry: 'tech' | 'art' | 'medicine';
}

type ChoiceBasedField = {
  [K in keyof MemberInfo]: IsUnion<MemberInfo[K]> extends true ? K : never
}[keyof RespondentFields];

// can accept 'favourite_fruit' or 'industry', but errors on anything else
const renderDropdown = (field: ChoiceBasedField) => (
  <select> ... </select>
);

Upvote & Fund

• We're using Polar.sh so you can upvote and help fund this issue.
• The funding will be given to active contributors.
• Thank you in advance for helping prioritize & fund our backlog.

[sindresorhus]

Sounds like a useful type.

[Mouvedia]

@sindresorhus can you expose

type-fest/source/internal/type.d.ts

Line 92 in eff76da

export type IsUnion<T> = InternalIsUnion<T>;

?

[sindresorhus]

#676