Extract<Type, Union>

// Extract<Type, Union>

type a = 'a'|'b';
type b = Extract<a, 'a'> // 'a'
type c = Extract<a, string> // 'a' | 'b'

Type에서 Union에 할당할 수 있는 모든 Union 멤버를 추출하여 유형을 구성한다.

위 코드에서는 a 로부터 두번째 타입 인자로 받은 Union에 할당 가능한 대상을 각각 추출한 것이다.

a로부터 ‘a’ 상수 타입에 들어갈 수 있는 것은 ‘a’ 상수 타입 뿐이며, string 타입에 들어갈 수 있는 건 ‘a’, ‘b’ 모두다.