Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.QuickCheck.Monoids

Description

Monoids using .&&. and .||..

They satisfy monoid laws with respect to the isSuccess unless one is using checkCoverage (see test for a counterexample).

Synopsis

Documentation

Conjunction monoid build with .&&..

Use `property @All` as an accessor which doesn't leak existential variables.

Constructors

Testable p => All
Fields getAll :: p

Instances details

Testable All Source #
Instance details Defined in Test.QuickCheck.Monoids Methods property :: All -> Property # propertyForAllShrinkShow :: Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> All) -> Property #
Monoid All Source #
Instance details Defined in Test.QuickCheck.Monoids Methods mempty :: All # mappend :: All -> All -> All # mconcat :: [All] -> All #
Semigroup All Source #
Instance details Defined in Test.QuickCheck.Monoids Methods (<>) :: All -> All -> All # sconcat :: NonEmpty All -> All # stimes :: Integral b => b -> All -> All #

Disjunction monoid build with .||..

Use `property @Any` as an accessor which doesn't leak existential variables.

Constructors

Testable p => Any
Fields getAny :: p

Instances details

Testable Any Source #
Instance details Defined in Test.QuickCheck.Monoids Methods property :: Any -> Property # propertyForAllShrinkShow :: Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> Any) -> Property #
Monoid Any Source #
Instance details Defined in Test.QuickCheck.Monoids Methods mempty :: Any # mappend :: Any -> Any -> Any # mconcat :: [Any] -> Any #
Semigroup Any Source #
Instance details Defined in Test.QuickCheck.Monoids Methods (<>) :: Any -> Any -> Any # sconcat :: NonEmpty Any -> Any # stimes :: Integral b => b -> Any -> Any #