The congruence-relation package
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.
|Dependencies||array (>=0.4.0.0), base (==4.7.*), containers (>=0.5.5.0) [details]|
|Uploaded||Fri Dec 5 02:29:00 UTC 2014 by JonSterling|
|Downloads||245 total (4 in the last 30 days)|
|Status||Docs uploaded by user
Build status unknown [no reports yet]
For package maintainers and hackage trustees