CODE EXAMPLE FOR TYPESCRIPT

Extract and Exclude type TypeScript

type Extract<T, U> = T extends U ? T : never;
type Exclude<T, U> = T extends U ? never : T; 
type a = Exclude<'a' | 'b' | 'c', 'a'>;//'b' | 'c'
type b = Extract<'a' | 'b' | 'c', 'a' | 'b'>; // 'a' | 'b'