haskell-checkers / checkers

Check properties on standard classes and data structures

haskell-checkers/checkers Issues

MonadFix
Updated 2 years ago4
Traversable laws?
Updated 2 years ago2
monadLogic
Updated 2 years ago2
Bitraversable laws
Updated 2 years ago1
Bifunctor laws
Updated 2 years ago
`bifoldable` doesn't include tests for `bifoldl`
Updated 2 years ago
Hashable laws
Updated 2 years ago
How to use / Proxy
Updated 3 years ago7
Build failures in older versions
Closed 3 years ago1
Feature request: `bifoldable` to check Bifoldable laws
Closed 3 years ago1
Missing Travis CI build status
Closed 4 years ago11
Module Test.QuickCheck.Instances collides with a module of the same name from quickcheck-instances
Updated 4 years ago6
Fails to build on GHC 8.10
Closed 4 years ago2
v0.5.5 fails to build with GHC 8.10.1
Closed 4 years ago4
Better implementation of hang?
Closed 5 years ago4
ord only checks <=
Closed 6 years ago1
Why aren't there laws for Foldable in the library?
Closed 6 years ago1
Alt and left-distribution
Updated 7 years ago2
Missing instance EqProp ()
Closed 8 years ago1
antiSymmetric requires Show instance but doesn't print counterexample
Closed 9 years ago1
QuickCheck 2.7 support?
Closed 10 years ago2
checkers doesn't build with QuickCheck 2.7
Closed 10 years ago1