👉 A literal type is a type that represents a specific exact value, instead of a general category like string, number, or boolean.
Examples:
"yes"is a string literal type.42is a number literal type.trueis a boolean literal type.
They help enforce specific allowed values.
<div class="infographic-ts" id="infographic-ts">
<style>
.infographic-ts {
--body-font: system-ui, -apple-system, sans-serif;
--mono-font: ui-monospace, SFMono-Regular, Consolas, "Courier New", monospace;
--ed-bg: #1e1e1e;
--ed-bar: #2a2a2a;
--ed-out: #d4d4d4;
--ed-muted: #8a8a8a;
--ed-ok: #4ec9b0;
--ed-err: #f14c4c;
--run-bg: #2e7d46;
--run-bg-hover: #35924f;
--tok-kw: #c586c0;
--tok-type: #4ec9b0;
--tok-str: #ce9178;
--tok-num: #b5cea8;
--tok-punc: #d4d4d4;
--tok-cmt: #808080;
--tok-var: #ffffff;
max-width: 680px;
margin: 0 auto;
box-sizing: border-box;
background: transparent;
font-family: var(--body-font);
}
.infographic-ts * { box-sizing: border-box; }
.ts-header { font-family: 'Georgia', 'Fraunces', serif; font-weight: 700;
font-size: 1.9rem; letter-spacing: 0.01em; color: inherit; text-align: center;
margin: 0 0 1.4rem; }
.tabs { display: flex; justify-content: center; gap: 4px; margin-bottom: 1.1rem; flex-wrap: wrap; }
.tab-btn { font-family: var(--body-font); font-size: 0.82rem; font-weight: 500;
background: #ffffff; color: #2563eb; border: 1px solid #2563eb; padding: 0.65rem 1rem;
cursor: pointer; border-radius: 8px; }
.tab-btn.active { background: #2563eb; color: #ffffff; }
.tab-btn:hover:not(.active) { background: #eef3ff; }
.tab-panel { display: none; background: var(--ed-bg); border-radius: 8px;
padding: 1.1rem; }
.tab-panel.active { display: block; }
.code-window { background: var(--ed-bg); border: 1px solid #2f2f2f; border-radius: 8px;
overflow: hidden; margin-bottom: 1rem; }
.code-window:last-child { margin-bottom: 0; }
.code-topbar { display: flex; align-items: center; justify-content: space-between;
padding: 0.5rem 0.75rem; background: var(--ed-bar); }
.code-dots { display: flex; gap: 6px; }
.code-dot { width: 9px; height: 9px; border-radius: 50%; }
.code-dot.r { background: #ff5f57; }
.code-dot.y { background: #febc2e; }
.code-dot.g { background: #28c840; }
.code-filename { font-family: var(--mono-font); font-size: 0.74rem; color: var(--ed-muted); }
.run-btn { display: inline-flex; align-items: center; gap: 0.35rem; background: var(--run-bg);
color: #fff; border: none; border-radius: 4px; padding: 0.32rem 0.7rem; font-size: 0.74rem;
font-family: var(--body-font); font-weight: 500; cursor: pointer; }
.run-btn:hover { background: var(--run-bg-hover); }
.run-btn svg { width: 10px; height: 10px; }
.code-body { padding: 0.85rem 1.1rem; font-family: var(--mono-font); font-size: 0.8rem;
line-height: 1.65; color: var(--ed-out); white-space: pre; overflow-x: auto; }
.tok-kw { color: var(--tok-kw); }
.tok-type { color: var(--tok-type); }
.tok-str { color: var(--tok-str); }
.tok-num { color: var(--tok-num); }
.tok-punc { color: var(--tok-var); }
.tok-cmt { color: var(--tok-cmt); }
.tok-var { color: var(--tok-var); }
.tok-err { color: var(--ed-err); }
.console { padding: 0 1.1rem; max-height: 0; overflow: hidden; font-family: var(--mono-font);
font-size: 0.78rem; line-height: 1.65; transition: max-height 0.35s ease, padding 0.35s ease; }
.console.show { max-height: 260px; padding: 0 1.1rem 0.85rem; }
.console-line { color: var(--ed-out); }
.console-line.ok { color: var(--ed-ok); }
.console-line.err { color: var(--ed-err); }
.note-line { font-family: var(--body-font); font-size: 0.8rem; color: var(--ed-muted);
padding: 0 0.2rem; margin: 0; }
</style>
<h2 class="ts-header">Literal types</h2>
<div class="tabs">
<button class="tab-btn active" data-tab="t1" type="button">String, number & boolean</button>
<button class="tab-btn" data-tab="t2" type="button">const inference</button>
<button class="tab-btn" data-tab="t3" type="button">Function parameters</button>
<button class="tab-btn" data-tab="t4" type="button">Discriminated unions</button>
</div>
<div class="tab-panel active" id="t1">
<div class="code-window">
<div class="code-topbar">
<div class="code-dots"><span class="code-dot r"></span><span class="code-dot y"></span><span class="code-dot g"></span></div>
<span class="code-filename">string-literal.ts</span>
<button class="run-btn" id="strBtn" type="button">
<svg viewBox="0 0 24 24" fill="currentColor"><polygon points="6 3 20 12 6 21 6 3"/></svg>
run
</button>
</div>
<div class="code-body"><span class="tok-kw">let</span> <span class="tok-var">answer</span><span class="tok-punc">:</span> <span class="tok-str">"yes"</span> <span class="tok-punc">|</span> <span class="tok-str">"no"</span><span class="tok-punc">;</span>
<span class="tok-var">answer</span> <span class="tok-punc">=</span> <span class="tok-str">"yes"</span><span class="tok-punc">;</span>
<span class="tok-var">answer</span> <span class="tok-punc">=</span> <span class="tok-str">"no"</span><span class="tok-punc">;</span>
<span class="tok-var">answer</span> <span class="tok-punc">=</span> <span class="tok-str">"maybe"</span><span class="tok-punc">;</span></div>
<div class="console" id="strConsole"></div>
</div>
<div class="code-window">
<div class="code-topbar">
<div class="code-dots"><span class="code-dot r"></span><span class="code-dot y"></span><span class="code-dot g"></span></div>
<span class="code-filename">number-literal.ts</span>
<button class="run-btn" id="numBtn" type="button">
<svg viewBox="0 0 24 24" fill="currentColor"><polygon points="6 3 20 12 6 21 6 3"/></svg>
run
</button>
</div>
<div class="code-body"><span class="tok-kw">let</span> <span class="tok-var">roll</span><span class="tok-punc">:</span> <span class="tok-num">1</span> <span class="tok-punc">|</span> <span class="tok-num">2</span> <span class="tok-punc">|</span> <span class="tok-num">3</span><span class="tok-punc">;</span>
<span class="tok-var">roll</span> <span class="tok-punc">=</span> <span class="tok-num">2</span><span class="tok-punc">;</span>
<span class="tok-var">roll</span> <span class="tok-punc">=</span> <span class="tok-num">5</span><span class="tok-punc">;</span></div>
<div class="console" id="numConsole"></div>
</div>
<div class="code-window">
<div class="code-topbar">
<div class="code-dots"><span class="code-dot r"></span><span class="code-dot y"></span><span class="code-dot g"></span></div>
<span class="code-filename">boolean-literal.ts</span>
<button class="run-btn" id="boolBtn" type="button">
<svg viewBox="0 0 24 24" fill="currentColor"><polygon points="6 3 20 12 6 21 6 3"/></svg>
run
</button>
</div>
<div class="code-body"><span class="tok-kw">let</span> <span class="tok-var">toggle</span><span class="tok-punc">:</span> <span class="tok-kw">true</span><span class="tok-punc">;</span>
<span class="tok-var">toggle</span> <span class="tok-punc">=</span> <span class="tok-kw">true</span><span class="tok-punc">;</span>
<span class="tok-var">toggle</span> <span class="tok-punc">=</span> <span class="tok-kw">false</span><span class="tok-punc">;</span></div>
<div class="console" id="boolConsole"></div>
</div>
</div>
<div class="tab-panel" id="t2">
<div class="code-window">
<div class="code-topbar">
<div class="code-dots"><span class="code-dot r"></span><span class="code-dot y"></span><span class="code-dot g"></span></div>
<span class="code-filename">const-vs-let.ts</span>
<button class="run-btn" id="constBtn" type="button">
<svg viewBox="0 0 24 24" fill="currentColor"><polygon points="6 3 20 12 6 21 6 3"/></svg>
run
</button>
</div>
<div class="code-body"><span class="tok-kw">const</span> <span class="tok-var">role</span> <span class="tok-punc">=</span> <span class="tok-str">"admin"</span><span class="tok-punc">;</span> <span class="tok-cmt">// inferred type: "admin"</span>
<span class="tok-kw">let</span> <span class="tok-var">role2</span> <span class="tok-punc">=</span> <span class="tok-str">"admin"</span><span class="tok-punc">;</span> <span class="tok-cmt">// inferred type: string</span></div>
<div class="console" id="constConsole"></div>
</div>
<p class="note-line">const can't be reassigned, so TS narrows it to the exact literal. let could change later, so TS widens it to string.</p>
</div>
<div class="tab-panel" id="t3">
<div class="code-window">
<div class="code-topbar">
<div class="code-dots"><span class="code-dot r"></span><span class="code-dot y"></span><span class="code-dot g"></span></div>
<span class="code-filename">status.ts</span>
<button class="run-btn" id="fnBtn" type="button">
<svg viewBox="0 0 24 24" fill="currentColor"><polygon points="6 3 20 12 6 21 6 3"/></svg>
run
</button>
</div>
<div class="code-body"><span class="tok-kw">function</span> <span class="tok-var">setStatus</span><span class="tok-punc">(</span><span class="tok-var">status</span><span class="tok-punc">:</span> <span class="tok-str">"pending"</span> <span class="tok-punc">|</span> <span class="tok-str">"approved"</span> <span class="tok-punc">|</span> <span class="tok-str">"rejected"</span><span class="tok-punc">)</span> <span class="tok-punc">{</span>
<span class="tok-var">console</span><span class="tok-punc">.</span><span class="tok-var">log</span><span class="tok-punc">(</span><span class="tok-str">`Status is ${</span><span class="tok-var">status</span><span class="tok-str">}`</span><span class="tok-punc">);</span>
<span class="tok-punc">}</span>
<span class="tok-var">setStatus</span><span class="tok-punc">(</span><span class="tok-str">"approved"</span><span class="tok-punc">);</span>
<span class="tok-var">setStatus</span><span class="tok-punc">(</span><span class="tok-str">"done"</span><span class="tok-punc">);</span></div>
<div class="console" id="fnConsole"></div>
</div>
<p class="note-line">Restricts input to a fixed set of allowed strings, instead of accepting any string.</p>
</div>
<div class="tab-panel" id="t4">
<div class="code-window">
<div class="code-topbar">
<div class="code-dots"><span class="code-dot r"></span><span class="code-dot y"></span><span class="code-dot g"></span></div>
<span class="code-filename">shapes.ts</span>
<button class="run-btn" id="shapeBtn" type="button">
<svg viewBox="0 0 24 24" fill="currentColor"><polygon points="6 3 20 12 6 21 6 3"/></svg>
run
</button>
</div>
<div class="code-body"><span class="tok-kw">type</span> <span class="tok-type">Shape</span> <span class="tok-punc">=</span>
<span class="tok-punc">|</span> <span class="tok-punc">{</span> <span class="tok-var">kind</span><span class="tok-punc">:</span> <span class="tok-str">"circle"</span><span class="tok-punc">;</span> <span class="tok-var">radius</span><span class="tok-punc">:</span> <span class="tok-type">number</span> <span class="tok-punc">}</span>
<span class="tok-punc">|</span> <span class="tok-punc">{</span> <span class="tok-var">kind</span><span class="tok-punc">:</span> <span class="tok-str">"square"</span><span class="tok-punc">;</span> <span class="tok-var">side</span><span class="tok-punc">:</span> <span class="tok-type">number</span> <span class="tok-punc">};</span>
<span class="tok-kw">function</span> <span class="tok-var">getArea</span><span class="tok-punc">(</span><span class="tok-var">shape</span><span class="tok-punc">:</span> <span class="tok-type">Shape</span><span class="tok-punc">)</span> <span class="tok-punc">{</span>
<span class="tok-kw">if</span> <span class="tok-punc">(</span><span class="tok-var">shape</span><span class="tok-punc">.</span><span class="tok-var">kind</span> <span class="tok-punc">===</span> <span class="tok-str">"circle"</span><span class="tok-punc">)</span> <span class="tok-punc">{</span>
<span class="tok-kw">return</span> <span class="tok-var">Math</span><span class="tok-punc">.</span><span class="tok-var">PI</span> <span class="tok-punc">*</span> <span class="tok-var">shape</span><span class="tok-punc">.</span><span class="tok-var">radius</span> <span class="tok-punc">**</span> <span class="tok-num">2</span><span class="tok-punc">;</span>
<span class="tok-punc">}</span> <span class="tok-kw">else</span> <span class="tok-punc">{</span>
<span class="tok-kw">return</span> <span class="tok-var">shape</span><span class="tok-punc">.</span><span class="tok-var">side</span> <span class="tok-punc">**</span> <span class="tok-num">2</span><span class="tok-punc">;</span>
<span class="tok-punc">}</span>
<span class="tok-punc">}</span>
<span class="tok-var">getArea</span><span class="tok-punc">({</span> <span class="tok-var">kind</span><span class="tok-punc">:</span> <span class="tok-str">"circle"</span><span class="tok-punc">,</span> <span class="tok-var">radius</span><span class="tok-punc">:</span> <span class="tok-num">4</span> <span class="tok-punc">});</span>
<span class="tok-var">getArea</span><span class="tok-punc">({</span> <span class="tok-var">kind</span><span class="tok-punc">:</span> <span class="tok-str">"square"</span><span class="tok-punc">,</span> <span class="tok-var">side</span><span class="tok-punc">:</span> <span class="tok-num">5</span> <span class="tok-punc">});</span></div>
<div class="console" id="shapeConsole"></div>
</div>
<p class="note-line">The shared "kind" literal lets TS narrow which fields are safe to access inside each branch.</p>
</div>
<script>
(function () {
var wrapper = document.currentScript.closest('.infographic-ts')
|| document.querySelector('.infographic-ts');
var root = wrapper;
var tabBtns = root.querySelectorAll('.tab-btn');
var panels = root.querySelectorAll('.tab-panel');
tabBtns.forEach(function (btn) {
btn.addEventListener('click', function () {
var target = btn.getAttribute('data-tab');
tabBtns.forEach(function (b) { b.classList.toggle('active', b === btn); });
panels.forEach(function (p) { p.classList.toggle('active', p.id === target); });
});
});
function line(consoleEl, cls, text) {
var el = document.createElement('div');
el.className = 'console-line ' + (cls || '');
el.textContent = text;
consoleEl.appendChild(el);
}
function bind(id, consoleId, cb) {
var btn = root.querySelector('#' + id);
var c = root.querySelector('#' + consoleId);
btn.addEventListener('click', function () {
c.innerHTML = '';
c.classList.add('show');
cb(c);
});
}
bind('strBtn', 'strConsole', function (c) {
line(c, 'ok', 'answer = "yes" \u2192 OK');
line(c, 'ok', 'answer = "no" \u2192 OK');
line(c, 'err', 'answer = "maybe" \u2192 Error: Type \'"maybe"\' is not assignable to type \'"yes" | "no"\'.');
});
bind('numBtn', 'numConsole', function (c) {
line(c, 'ok', 'roll = 2 \u2192 OK');
line(c, 'err', 'roll = 5 \u2192 Error: Type \'5\' is not assignable to type \'1 | 2 | 3\'.');
});
bind('boolBtn', 'boolConsole', function (c) {
line(c, 'ok', 'toggle = true \u2192 OK');
line(c, 'err', 'toggle = false \u2192 Error: Type \'false\' is not assignable to type \'true\'.');
});
bind('constBtn', 'constConsole', function (c) {
line(c, '', 'typeof role \u2192 "string" at runtime | compile-time type: "admin"');
line(c, '', 'typeof role2 \u2192 "string" at runtime | compile-time type: string');
line(c, 'ok', 'role = "guest" \u2192 Error: not assignable (const, and not "admin")');
line(c, 'ok', 'role2 = "guest" \u2192 OK (widened to string)');
});
bind('fnBtn', 'fnConsole', function (c) {
line(c, 'ok', 'setStatus("approved") \u2192 logs "Status is approved"');
line(c, 'err', 'setStatus("done") \u2192 Error: Argument of type \'"done"\' is not assignable to parameter of type \'"pending" | "approved" | "rejected"\'.');
});
bind('shapeBtn', 'shapeConsole', function (c) {
line(c, 'ok', 'getArea({ kind: "circle", radius: 4 }) \u2192 50.27');
line(c, 'ok', 'getArea({ kind: "square", side: 5 }) \u2192 25');
});
})();
</script>
</div>✅ Summary
Literal Type | Example |
|---|---|
String literal |
|
Number literal |
|
Boolean literal |
|
Union of literals | `"yes" |
✅ Use literal types when you want to strictly control values.
✅ Combine them with union, type, const, and as const for powerful patterns.