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.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/cjah50q7gaj1hz0ll4jfl02kkh8647f3-ghc-quickcheck-classes-0.6.5.0.drv | ||
i686-linux | /gnu/store/4kj2dnmpm9xv8h4b7a0pd0g7pf8pycgq-ghc-quickcheck-classes-0.6.5.0.drv |
Linter | Message | Location |
---|---|---|
formatting Look for formatting issues in the source | line 1069 is way too long (91 characters) |