hkt-toolbelt

[Higher-Kinded-Type Toolbelt]

A higher-kinded-type companion to ts-toolbelt.

[Full API Docs]

1.1. Installation

npm install hkt-toolbelt

1.2. Usage

import $, { List, Conditional } from "hkt-toolbelt";

// A kind that filters to find numbers.
type FilterNumbers = List.Filter<Conditional.SubtypeOf<number>>;

type Result = $<FilterNumbers, [1, null, 2, 3, "4"]>; // [1, 2, 3]

1.2.1. Subpath Imports

You can also optionally import subpaths.

import $ from "hkt-toolbelt";
import { Filter } from "hkt-toolbelt/list";
import { SubtypeOf } from "hkt-toolbelt/conditional";

type FilterNumbers = Filter<SubtypeOf<number>>;

type Result = $<FilterNumbers, [1, null, 2, 3, "4"]>; // [1, 2, 3]

Changelog

[0.5.1]

• Fix bug with Test.Expect in checking equality between two never types.
• Publish improved docs on npm.