quickcheck-comonad-laws
Provides TestTree
of Comonad laws for Tasty framework.
stack
Install with Just add quickcheck-comonad-laws
to stack.yaml
file.
extra-deps:
- git: https://github.com/d12frosted/quickcheck-comonad-laws
commit: c4fe532c26c3339df6d5afbef35e6946ab185a98
And then add quickcheck-comonad-laws
to your test target as dependency.