hspec-quickcheck-classes
Integration between Hspec and quickcheck-classes
https://github.com/jonathanknowles/hspec-quickcheck-classes
| Stackage Nightly 2026-10-02: | 0.0.0.1 |
| Latest on Hackage: | 0.0.0.1 |
Maintained by [email protected]
This version can be pinned in stack with:
hspec-quickcheck-classes-0.0.0.1@sha256:ea6856370af294131c329bb485ba46a2ff01783d2b5b007ed16713df78139052,1837Module documentation for 0.0.0.1
- Test
- Test.Hspec
- Test.Hspec.QuickCheck
- Test.Hspec
Depends on 4 packages(full list with versions):
hspec-quickcheck-classes
This package integrates Hspec with quickcheck-classes, making it convenient for Hspec test suites to include tests for the lawfulness of type class instances.
Usage
To test that a type satisfies the laws of one or more type classes:
testLaws @Bool
[ eqLaws
, ordLaws
, showLaws
]
Kind polymorphism
The testLaws function is kind-polymorphic, supporting type parameters of
any kind.
This means it can be used to test instances of type classes whose type
parameters are not of kind Type.
For example, with Maybe (which has kind Type -> Type):
testLaws @Maybe
[ applicativeLaws
, functorLaws
, monadLaws
, foldableLaws
, traversableLaws
]
And with Either (which has kind Type -> Type -> Type):
testLaws @Either
[ bifoldableLaws
, bifunctorLaws
, bitraversableLaws
]