https://github.com/purescript/purescript-typelevel-prelude

Types and kinds for basic type-level programming
https://github.com/purescript/purescript-typelevel-prelude

Last synced: 24 days ago
JSON representation

Types and kinds for basic type-level programming

• Host: GitHub
• URL: https://github.com/purescript/purescript-typelevel-prelude
• Owner: purescript
• License: bsd-3-clause
• Created: 2016-12-22T16:28:46.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2024-09-28T15:01:53.000Z (over 1 year ago)
• Last Synced: 2025-11-30T04:48:50.759Z (3 months ago)
• Language: PureScript
• Homepage:
• Size: 68.4 KB
• Stars: 64
• Watchers: 9
• Forks: 21
• Open Issues: 8
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# purescript-typelevel-prelude

[![Latest release](http://img.shields.io/github/release/purescript/purescript-typelevel-prelude.svg)](https://github.com/purescript/purescript-typelevel-prelude/releases)

[![Build status](https://github.com/purescript/purescript-typelevel-prelude/workflows/CI/badge.svg?branch=master)](https://github.com/purescript/purescript-typelevel-prelude/actions?query=workflow%3ACI+branch%3Amaster)

[![Pursuit](https://pursuit.purescript.org/packages/purescript-typelevel-prelude/badge)](https://pursuit.purescript.org/packages/purescript-typelevel-prelude)

Types and kinds for basic type-level programming.

## Installation

```

spago install typelevel-prelude

```

## Documentation

Module documentation is [published on Pursuit](http://pursuit.purescript.org/packages/purescript-typelevel-prelude).