@hackage congruence-relation0.1.0.0

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

  • Categories

    • License

      MIT

    • Maintainer

      jon@jonmsterling.com

    • Links

    • Versions

    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.