The eq package

[ Tags: bsd3, library, type-system ] [ Propose Tags ]

GADT-based type-level equality

Properties

Versions 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.3.3.1, 0.3.4, 0.3.4.1, 0.3.4.2, 0.3.4.3, 0.3.5, 0.3.6, 0.3.7, 0.3.7.1, 3.0, 3.1, 3.1.1, 4.0, 4.0.1, 4.0.2, 4.0.3, 4.0.4
Dependencies base (==4.*), semigroupoids (>=1.1.1 && <1.2.0) [details]
License BSD3
Copyright Copyright (C) 2011 Edward A. Kmett, Dan Doel
Author Edward A. Kmett
Maintainer Edward A. Kmett <ekmett@gmail.com>
Category Type System
Home page http://github.com/ekmett/eq/
Source repository head: git clone git://github.com/ekmett/eq.git
Uploaded Sat Feb 5 12:11:06 UTC 2011 by EdwardKmett
Distributions LTSHaskell:4.0.4, NixOS:4.0.4, Stackage:4.0.4, Tumbleweed:4.0.4
Downloads 6553 total (606 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees