TypeLevel shifts the work from the TypeScript runtime to the compiler. Developers benefit from faster page loads and reduced provider costs when compiling their code to JS. TypeLevel provides a highly composable type level language and tests at compile time.
Usage
Install TypeLevel
npm i -D typescript-typelevel
Start to code (try it out)
import { assertType, Is } from 'typescript-typelevel';
type Hi<T extends string> = `Hi ${T}!`;
assertType<Is<Hi<'TypeLevel'>, 'Hi TypeLevel!'>>();
Visit typelevel.io to learn more...