Литеральные типы

Литеральный тип — это множество из одного элемента внутри составного типа; он задаёт строго определённое значение, являющееся примитивом JavaScript.

Литеральные типы в TypeScript бывают числовыми, строковыми и логическими.

Примеры литералов:

const a = 'a'; // String literal type
const b = 1; // Numeric literal type
const c = true; // Boolean literal type

Строковые, числовые и логические литеральные типы используются в объединениях, защитниках типа и псевдонимах типов. В следующем примере показан псевдоним типа-объединения. O состоит только из указанных значений; никакая другая строка недопустима:

type O = 'a' | 'b' | 'c';