A higher-kinded-type companion to ts-toolbelt
This library provides type-level utilities across many domains that may be mapped and combined in a functional way, using higher-kinded types.
Write robust, type-safe software with the benefit of composable and compile-time efficient types.
We aim to support hundreds of kind categories, including List, Boolean, String, Function, and more. We also provide a set of combinators for composing types.
1. Installation
> npm install hkt-toolbelt
2. Usage
import $, { List, Conditional } from "hkt-toolbelt";
type Result = $<
List.Filter<Conditional.Extends<number>>,
[1, "foo", 2, 3, "bar"]
>;