quickcheck-classes: QuickCheck common typeclasses
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 `genvalidity-hspec` and checkers
.
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
(Data.Functor.Classes.Show1
, Data.Functor.Classes.Eq1
, Data.Functor.Classes.Ord1
, etc.),
but on GHC >= 8.5, it uses `-XQuantifiedConstraints` to express these
constraints more cleanly.
[Skip to Readme]
Flags
Manual Flags
Name | Description | Default |
---|---|---|
aeson | You can disable the use of the This may be useful for accelerating builds in sandboxes for expert users. | Enabled |
semigroupoids | You can disable the use of the This may be useful for accelerating builds in sandboxes for expert users. | Enabled |
semirings | You can disable the use of the This may be useful for accelerating builds in sandboxes for expert users. | Enabled |
vector | You can disable the use of the This may be useful for accelerating builds in sandboxes for expert users. | Enabled |
unary-laws | Include infrastructure for testing class laws of unary type constructors. It is required that this flag match the value that the `unary-laws` flag was given when building `quickcheck-classes-base`. | Enabled |
binary-laws | Include infrastructure for testing class laws of binary type constructors. It is required that this flag match the value that the `unary-laws` flag was given when building `quickcheck-classes-base`. Disabling `unary-laws` while keeping `binary-laws` enabled is an unsupported configuration. | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- quickcheck-classes-0.6.5.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1, 0.2, 0.3, 0.3.1, 0.3.2, 0.3.3, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.4.4, 0.4.5, 0.4.6, 0.4.7, 0.4.8, 0.4.9, 0.4.10, 0.4.11, 0.4.11.1, 0.4.12, 0.4.13, 0.4.14, 0.4.14.1, 0.4.14.2, 0.4.14.3, 0.5.0.0, 0.6.0.0, 0.6.1.0, 0.6.2.0, 0.6.2.1, 0.6.2.2, 0.6.3.0, 0.6.4.0, 0.6.5.0 (info) |
---|---|
Change log | changelog.md |
Dependencies | aeson (>=0.9), base (>=4.5 && <5), containers (>=0.4.2.1), fail, ghc-prim, primitive (>=0.6.4 && <0.10), primitive-addr (>=0.1.0.2 && <0.2), QuickCheck (>=2.10.0), quickcheck-classes-base (>=0.6.2 && <0.7), semigroupoids, semigroups (>=0.17), semirings (>=0.4.2), tagged, transformers (>=0.5.0 && <0.7), vector (>=0.12) [details] |
License | BSD-3-Clause |
Copyright | 2018 Andrew Martin |
Author | Andrew Martin, chessai |
Maintainer | andrew.thaddeus@gmail.com |
Revised | Revision 3 made by andrewthad at 2024-04-24T12:43:41Z |
Category | Testing |
Home page | https://github.com/andrewthad/quickcheck-classes#readme |
Source repo | head: git clone https://github.com/andrewthad/quickcheck-classes |
Uploaded | by andrewthad at 2021-04-12T11:35:35Z |
Distributions | Arch:0.6.5.0, LTSHaskell:0.6.5.0, NixOS:0.6.5.0, Stackage:0.6.5.0 |
Reverse Dependencies | 6 direct, 0 indirect [details] |
Downloads | 20643 total (83 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] |