hkt-toolbelt
Advanced tools
Changelog
[0.22.0]
Conditional.EqualsAll
for checking if every type in a list is equal.Conditional.ExtendsAll
for performing composite subtype checks.Union.FromList
for constructing a union from a list of types.List.At
, List.Accumulate
, List.Iterate
, List.Zip
.List.Range
, for generating ranges of numbers.Number.Negate
for integer negation.Number.Max
and Number.Min
for binary max/min operations.Number.MAX_SAFE_INTEGER
and Number.MIN_SAFE_INTEGER
constants.NaturalNumber.SubtractBy
for argument-swapped subtraction.List.Slice
, List.Splice
, and List.Unshift
interfaces.Changelog
[0.21.0]
$N
operator for uncurried type-level function application.Kind.Curry
and Kind.Uncurry
to support argument lifting.NaturalNumber.ModuloBy
with swapped arguments.NaturalNumber.IsLessThan
.Combinator.Collate
for theoretical / pedagogical purposes.NaturalNumberTheory.Factorial
.NaturalNumberTheory.FizzBuzz
and NaturalNumberTheory.FizzBuzzSequence
.Changelog
[0.20.1]
DigitList.FromString
for parsing digit lists from strings.Number.Compare
for type-level numeric comparison.Changelog
[0.20.0]
List
methods.
Concat
, Repeat
, ShiftN
, PopN
, Slice
, Splice
, Flatten
FlattenN
, DigitList.ToNumber
List.Slice
utility to List.ShiftN
.Changelog
[0.19.1]
Kind.Reify
for reifying a higher-order type to a value-level type.Type.Infer
for inferring a narrow type in a parameter context.