/purescript-typelevel-lists

Type-level heterogenous list of kinds for PureScript.

Primary LanguagePureScriptBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

purescript-typelevel-lists

Type-level heterogenous list of kinds for PureScript.

Documentation

Documentation is published in Pursuit.

Examples

Examples can be found in the examples directory.

Installation (Pre-Release)

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