Exhaustive Packages

Utility Error class for performing exhaustiveness checks via exceptions in TypeScript.

Rules for making switch/case expressions for union type values exhaustively checkable at compile time.

Rules for properly handling switch statements, including ensuring that appropriate exhaustive case handling.

Exhaustiveness checking in TypeScript

A modern TypeScript library designed to reduce boilerplate for tagged unions, also known as discriminated unions. This library is also an implementation of algebraic data types