quickcheck-classes-base: QuickCheck common typeclasses from `base`
This libary is a minimal variant of
only provides laws for typeclasses from
base. The main purpose
of splitting this out is so that
primitive can depend on
quickcheck-classes-base in its test suite, avoiding the circular
dependency that arises if
quickcheck-classes is used instead.
This library provides QuickCheck properties to ensure
that typeclass instances adhere to the set of laws that
they are supposed to. There are other libraries that do
similar things, such as
This library differs from other solutions by not introducing
any new typeclasses that the user needs to learn.
Note: on GHC < 8.5, this library uses the higher-kinded typeclasses
but on GHC >= 8.5, it uses
-XQuantifiedConstraints to express these
constraints more cleanly.
|Dependencies||base (>=4.5 && <5), base-orphans (>=0.1), bifunctors, containers (>=0.4.2.1), contravariant, fail, ghc-prim, QuickCheck (>=2.10.0), semigroups (>=0.17), tagged, transformers (>=0.5.0 && <0.6) [details]|
|Copyright||2019 Andrew Martin|
|Author||Andrew Martin, chessai|
|Source repo||head: git clone https://github.com/andrewthad/quickcheck-classes|
|Uploaded||by andrewthad at Thu Aug 8 17:14:51 UTC 2019|
|Downloads||206 total (41 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs available [build log]
Last success reported on 2019-08-08 [all 1 reports]
Include infrastructure for testing class laws of unary type constructors.
Include infrastructure for testing class laws of binary type constructors.
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
For package maintainers and hackage trustees