ts-exhaustive-check
Exhaustive check for typescript type never.
Description
This package has a single function called exhaustiveCheck that just checks if a typescript type is of type never.
It will save you one line of code in the default case of switch statements if you have strictNullChecks enabled.
For more information see discriminated-unions and typescript issue 6155.
Usage
yarn add ts-exhaustive-check
import { exhaustiveCheck } from "ts-exhaustive-check";
interface Square {
kind: "square";
size: number;
}
interface Rectangle {
kind: "rectangle";
width: number;
height: number;
}
interface Circle {
kind: "circle";
radius: number;
}
type Shape = Square | Rectangle | Circle;
function area(s: Shape) {
switch (s.kind) {
case "square":
return s.size * s.size;
case "rectangle":
return s.width * s.height;
case "circle":
return Math.PI * s.radius * s.radius;
default:
return exhaustiveCheck(s);
}
}
Without this package the default case in the switch statement would have been this:
function area(s: Shape) {
switch (s.kind) {
...
default:
const _exhaustiveCheck: never = s;
return _exhaustiveCheck;
}
}
