https://github.com/ekmett/eq

Leibnizian type equality
https://github.com/ekmett/eq

Last synced: 21 days ago
JSON representation

Leibnizian type equality

• Host: GitHub
• URL: https://github.com/ekmett/eq
• Owner: ekmett
• License: other
• Created: 2011-01-12T13:07:40.000Z (almost 14 years ago)
• Default Branch: master
• Last Pushed: 2023-03-12T19:11:23.000Z (over 1 year ago)
• Last Synced: 2024-10-03T02:22:23.902Z (about 1 month ago)
• Language: Haskell
• Homepage: http://hackage.haskell.org/package/eq
• Size: 83 KB
• Stars: 13
• Watchers: 7
• Forks: 6
• Open Issues: 0
• Metadata Files:
  • Readme: README.markdown
  • Changelog: CHANGELOG.markdown
  • License: LICENSE

Awesome Lists containing this project

README

        
eq

==

[![Hackage](https://img.shields.io/hackage/v/eq.svg)](https://hackage.haskell.org/package/eq) [![Build Status](https://github.com/ekmett/eq/workflows/Haskell-CI/badge.svg)](https://github.com/ekmett/eq/actions?query=workflow%3AHaskell-CI)

This package provides a data type that witnesses equality between two types using Leibnizian equality.

It includes a [refinement to the notion of Leibnizian equality by Oleg Kiselyov](http://www.haskell.org/pipermail/haskell-cafe/2010-May/077177.html)

that permits it to refine equality using the injectively of type constructors via type families.

Contact Information

-------------------

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett