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

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

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

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

const a = 'a'; // Строковый литеральный тип
const b = 1; // Числовой литеральный тип
const c = true; // Логический литеральный тип

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

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