quickcheck-classes-base: QuickCheck common typeclasses from `base`

[ bsd3, library, testing ] [ Propose Tags ] [ Report a vulnerability ]

This libary is a minimal variant of `quickcheck-classes` that 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 `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.

Modules

[Index] [Quick Jump]

Flags

Manual Flags

NameDescriptionDefault
unary-laws

Include infrastructure for testing class laws of unary type constructors.

Enabled
binary-laws

Include infrastructure for testing class laws of binary type constructors. 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

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

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.6.0.0, 0.6.1.0, 0.6.2.0
Change log changelog.md
Dependencies base (>=4.5 && <5), bifunctors, containers (>=0.4.2.1), contravariant, fail, ghc-prim, QuickCheck (>=2.10.0), semigroups (>=0.17), tagged, transformers (>=0.5.0 && <0.7) [details]
License BSD-3-Clause
Copyright 2019 Andrew Martin
Author Andrew Martin, chessai
Maintainer andrew.thaddeus@gmail.com
Revised Revision 1 made by Bodigrim at 2023-03-25T12:14:31Z
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:18Z
Distributions Arch:0.6.2.0, LTSHaskell:0.6.2.0, NixOS:0.6.2.0, Stackage:0.6.2.0
Reverse Dependencies 3 direct, 5 indirect [details]
Downloads 6719 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]