Safe Haskell	Safe
Language	Haskell2010

Test.QuickCheck.Monoids

Synopsis

Documentation

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.

Constructors

forall p.Testable p => Every
Fields getEvery :: p

Instances details

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

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.

Constructors

forall p.Testable p => Some
Fields getSome :: p

Instances details

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