@hackage / axiomatic-classes

Specify axioms for type classes and quickCheck all available instances

Latest0.1.0.0

About

Metadata

  • Last updated , by SimonHudon
  • License MIT
  • Categories Testing
  • Maintained by: simon@cse.yorku.ca

  • Lottery factor: 0

Links

Installation

Readme

Provides a way to specify axioms for type classes and to quickCheck all available instances against them