Lift your code to the next level.

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...