https://github.com/purescript/purescript-type-equality

Type equality constraints
https://github.com/purescript/purescript-type-equality

Last synced: 14 days ago
JSON representation

Type equality constraints

• Host: GitHub
• URL: https://github.com/purescript/purescript-type-equality
• Owner: purescript
• License: bsd-3-clause
• Created: 2016-10-08T19:49:42.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2022-04-27T18:09:05.000Z (almost 4 years ago)
• Last Synced: 2025-07-19T17:14:25.117Z (7 months ago)
• Language: PureScript
• Homepage:
• Size: 24.4 KB
• Stars: 16
• Watchers: 6
• Forks: 5
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# purescript-type-equality

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

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

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

Type equality constraints

## Installation

```

spago install type-equality

```

## Documentation

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