Conjunction monoid build with .&&..
Use `property @All` as an accessor which doesn't leak existential variables.
Modulequickcheck-monoids-0.1.1.0Haskell2010
Test.QuickCheck.Monoids
They satisfy monoid laws with respect to the isSuccess unless one is using checkCoverage (see test for a counterexample).
- 4 types
- Packagequickcheck-monoids-0.1.1.0
- Exports4
- LanguageHaskell2010
- LicenceApache-2.0
- SourceMonoids.hs
Disjunction monoid build with .||..
Use `property @Any` as an accessor which doesn't leak existential variables.
Conjunction monoid built with .&&..
Use `property @Every` as an accessor which doesn't leak existential variables.
Note: monoid laws are satisfied up to isSuccess unless one is using checkCoverage.
Disjunction monoid built with .||..
Use `property @Some` as an accessor which doesn't leak existential variables.
Note: monoid laws are satisfied up to isSuccess unless one is using checkCoverage.