congruence-relation: Decidable congruence relations for Haskell: up to you whether this is a joke

[ data, library, mit ] [ Propose Tags ]

The laws of Eq only require that you have a decidable equivalence relation defined on a type; they do not force you to guarantee abstraction with respect to the relation, i.e. you can write anti-extensional operations without violating the laws. This package provides an alternative for when functionality with respect to an equivalence relation is desired.




Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Dependencies array (>=, base (>=4.7 && <4.8), containers (>= [details]
License MIT
Author Jonathan Sterling
Category Data
Uploaded by JonSterling at 2014-12-05T02:29:00Z
Distributions NixOS:
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1147 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]