All Articles

9 Ways to Use Exclude in TypeScript

Matt Pocock
Matt PocockMatt is a well-regarded TypeScript expert known for his ability to demystify complex TypeScript concepts.

As part of my work as a TypeScript educator, I get asked a lot about the TypeScript utility types - especially about how to use them in application code. So, I'm starting a series on them - built around real-world examples.

Let's start with the Exclude type helper.

1. Remove a member of a union

ts
type Fruit = "apple" | "banana" | "orange";
 
type Result = Exclude<Fruit, "orange">;
type Result = "apple" | "banana"

We can use Exclude to remove a single member of a union. The first argument represents the full union, and the second argument represents the member to remove.

Technically, the second argument can be any type - TypeScript won't warn you if you try to remove a member that doesn't exist. It'll just return the original union.

ts
type Result = Exclude<Fruit, "pear">;
type Result = "apple" | "banana" | "orange"

2. Remove multiple members from a union

ts
type Event = "click" | "focus" | "change" | "abort";
 
type ClickAndFocusEvent = Exclude<
type ClickAndFocusEvent = "click" | "focus"
Event,
"change" | "abort"
>;

We can also use Exclude to remove multiple members from a union. By passing a union to the second argument, we can remove multiple members at once.

Just like above, not all of those members need to exist in the original union:

ts
type ClickAndFocusEvent = Exclude<
type ClickAndFocusEvent = "click" | "focus"
Event,
"change" | "abort" | "blur"
>;

3. Remove a member of a discriminated union

ts
type Event =
| {
type: "click";
}
| {
type: "focus";
}
| {
type: "change";
};

A discriminated union is a union, usually of objects, which have a common property that can be used to discriminate between them. In the example above, the type property is used to discriminate between the different events.

We can extract a subset of the union by using Exclude to remove all members that don't have a specific value for the type property.

ts
type Event =
| {
type: "click";
}
| {
type: "focus";
}
| {
type: "change";
};
 
type ClickAndFocusEvent = Exclude<
type ClickAndFocusEvent = { type: "click"; } | { type: "focus"; }
Event,
{ type: "change" }
>;

This works even if the members of the union have other properties attached to them.

ts
type Event =
| {
type: "click";
x: number;
y: number;
}
| {
type: "focus";
}
| {
type: "change";
value: string;
};
 
type ClickAndFocusEvent = Exclude<Event, { type: "click" }>; // { type: 'focus' } | { type: 'change', value: string }

In the example above, the x and y properties don't need to be passed to Exclude in order to remove the click event.

4. Remove multiple members of a discriminated union

ts
type Event =
| {
type: "click";
}
| {
type: "focus";
}
| {
type: "change";
}
| {
type: "abort";
};
 
type ClickAndFocusEvent = Exclude<
type ClickAndFocusEvent = { type: "click"; } | { type: "focus"; }
Event,
{ type: "change" } | { type: "abort" }
>;

You can also remove multiple members of a discriminated union by passing a union to the second argument. This can either be a union of the members of the union, or a union of the type property:

ts
type ClickAndFocusEvent = Exclude<
type ClickAndFocusEvent = Event
Event,
{ type: "change" | "abort" }
>;

5. Exclude members of a discriminated union by shape

ts
type Routes =
| {
route: "/user";
search: {
id: string;
};
}
| {
route: "/user/create";
}
| {
route: "/user/edit";
search: {
id: string;
};
};
 
type RoutesWithoutSearch = Exclude<
type RoutesWithoutSearch = { route: "/user/create"; }
Routes,
{
search: any;
}
>;

You don't need to include the 'discriminator' (in this case, route) in the second argument to Exclude. You can just pass the shape of the members you want to remove.

In the example above, we're removing all members of the Routes union that have a search property.

6. Remove all strings/numbers/booleans from a union

ts
type PossibleTypes = "admin" | "user" | 0 | 1 | 2;
 
type StringTypes = Exclude<PossibleTypes, number>;
type StringTypes = "admin" | "user"

Exclude also works on basic types. In the example above, we're removing all literals that match number from the PossibleTypes union.

This can be useful if you want to remove all strings from a union, or all numbers, or all booleans.

7. Remove strings containing a substring from a union

ts
type ObjectKey =
| "userId"
| "postId"
| "userName"
| "postName";
 
type PostKey = Exclude<
type PostKey = "postId" | "postName"
ObjectKey,
`${string}${"user"}${string}`
>;

You can use Exclude to remove all strings from a union that contain a specific substring.

In the example above, we're removing all strings that contain the substring user from the ObjectKey union.

We use a template literal to represent the string we want to remove - in this case, user. We then use the ${string} syntax to represent any string that comes before or after the substring we want to remove.

8. Remove strings with one of several possible values from a union

ts
type ObjectKey =
| "userId"
| "postId"
| "id"
| "userName"
| "postName";
 
type NonIdKey = Exclude<
type NonIdKey = "userName" | "postName"
ObjectKey,
`${string}${"id" | "Id"}${string}`
>;

You can also use Exclude to remove all strings from a union that contain one of several possible substrings.

In the example above, we're removing all strings that contain either id or Id from the ObjectKey union. By passing a union to the template literal, we can remove multiple substrings at once.

9. Remove strings with a certain prefix/suffix from a union

ts
type ObjectKey =
| "userId"
| "postId"
| "id"
| "userName"
| "postName";
 
type NonNameKey = Exclude<ObjectKey, `${string}Name`>;
type NonNameKey = "userId" | "postId" | "id"

You can use Exclude to remove all strings from a union that have a certain prefix or suffix.

In the example above, we're removing all strings that end with Name from the ObjectKey union.

Here, ${string} is used to represent a string of any length that comes before the substring we want to remove.

To switch this over to match a certain prefix, we can move ${string} to the end of the template literal instead.

What did I miss?

Exclude is a very powerful utility type that can be used in a variety of ways. If you have other examples of how you've used Exclude, let me know on my TypeScript Wizards Discord!

Matt's signature

Share this article with your friends

`any` Considered Harmful, Except For These Cases

Discover when it's appropriate to use TypeScript's any type despite its risks. Learn about legitimate cases where any is necessary.

Matt Pocock
Matt Pocock

No, TypeScript Types Don't Exist At Runtime

Learn why TypeScript's types don't exist at runtime. Discover how TypeScript compiles down to JavaScript and how it differs from other strongly-typed languages.

Matt Pocock
Matt Pocock

Deriving vs Decoupling: When NOT To Be A TypeScript Wizard

In this book teaser, we discuss deriving vs decoupling your types: when building relationships between your types or segregating them makes sense.

Matt Pocock
Matt Pocock

NoInfer: TypeScript 5.4's New Utility Type

Learn how TypeScript's new utility type, NoInfer, can improve inference behavior by controlling where types are inferred in generic functions.

Matt Pocock
Matt Pocock