Type-level heterogenous list of kinds for PureScript.
Documentation is published in Pursuit.
Examples can be found in the examples directory.
This package is still under development and expects a few more features to be added (and some free time) before being published to the PureScript registry, package-sets.
For now, this package can be installed and used in a project using Spago's packages.dhall
file.
let upstream =
-- <Package Set URL>
let additions =
{ typelevel-lists =
{ repo = "https://github.com/PureFunctor/purescript-typelevel-lists.git"
, version = "v0.3.1"
, dependencies = [ "typelevel-peano" ]
}
}
in upstream // additions
After which, it can then be installed using:
$ spago install typelevel-lists