[HK-Types Toolbelt]
A higher-kinded-type companion to ts-toolbelt
This library is a companion to ts-toolbelt that provides higher-kinded-type versions of its functionality. This allows for more complex types to be constructed.
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.SubtypeOf<number>>,
[1, "foo", 2, 3, "bar"]
>;