quickcheck-classes

QuickCheck common typeclasses

Version0.6.5.0
CategoryTesting
LicenceBSD-3-Clause
AuthorAndrew Martin, chessai
Maintainerandrew.thaddeus@gmail.com
Homepagegithub.com/andrewthad/quickcheck-classes#readme
Pinned byhackage quickcheck-classes 0.6.5.0
Sourcehackage.haskell.org/package/quickcheck-classes-0.6.5.0

Modules

2 modules

Test.QuickCheck.Classes56This library provides sets of properties that should hold for common
Test.QuickCheck.Classes.IsList16

Description

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.

Depends on

11 packages

QuickCheck-2.15.0.1in this set
aeson-2.2.3.0in this set
base-4.20.2.0with GHC
containers-0.7with GHC
primitive-0.9.1.0in this set
primitive-addr-0.1.0.3in this set
quickcheck-classes-base-0.6.2.0in this set
semigroupoids-6.0.1in this set
semirings-0.7in this set
transformers-0.6.1.1with GHC
vector-0.13.2.0in this set

Used by in this set · 0

Nothing in this set depends on it.