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.
ModuleQuickCheck-2.18.0.0Haskell2010
Test.QuickCheck.Monoids
- 2 types
- PackageQuickCheck-2.18.0.0
- Exports2
- LanguageHaskell2010
- LicenceBSD-3-Clause
- SourceMonoids.hs
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.