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

∀ p.Testable p ⇒ All
Fields getAll ∷ p

Instances details

Testable All Source #
Instance details Defined in Test.QuickCheck.Monoids Methods property ∷ All → Property Source # propertyForAllShrinkShow ∷ Gen a → (a → [a]) → (a → [String]) → (a → All) → Property Source #
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

∀ p.Testable p ⇒ Any
Fields getAny ∷ p

Instances details

Testable Any Source #
Instance details Defined in Test.QuickCheck.Monoids Methods property ∷ Any → Property Source # propertyForAllShrinkShow ∷ Gen a → (a → [a]) → (a → [String]) → (a → Any) → Property Source #
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 #