https://github.com/purefunctor/purescript-typelevel-lists

Type-level list of kinds for PureScript.
https://github.com/purefunctor/purescript-typelevel-lists

purescript typelevel

Last synced: 9 days ago
JSON representation

Type-level list of kinds for PureScript.

• Host: GitHub
• URL: https://github.com/purefunctor/purescript-typelevel-lists
• Owner: purefunctor
• License: bsd-3-clause
• Created: 2021-01-11T09:56:37.000Z (about 4 years ago)
• Default Branch: main
• Last Pushed: 2021-11-17T05:35:29.000Z (about 3 years ago)
• Last Synced: 2024-11-25T06:41:17.205Z (2 months ago)
• Topics: purescript, typelevel
• Language: PureScript
• Homepage:
• Size: 67.4 KB
• Stars: 13
• Watchers: 2
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# purescript-typelevel-lists

Type-level list of kinds for PureScript.

## Documentation

* Module documentation is published in [Pursuit](https://pursuit.purescript.org/packages/purescript-typelevel-lists).

* Changes per release are listed on [CHANGELOG.md](./CHANGELOG.md).

* Example code can be found in the [test](./test) directory.

## Installation

```sh

$ spago install typelevel-lists

```