HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

ModuleQuickCheck-2.18.0.0Haskell2010

Test.QuickCheck.Monoids

Synopsis
datadata Every

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

Instances3Semigroup, Monoid, Testable
  • Semigroup EveryDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Monoids
  • Monoid EveryDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Monoids
  • Testable EveryDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Monoids
datadata Some

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

Instances3Semigroup, Monoid, Testable
  • Semigroup SomeDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Monoids
  • Monoid SomeDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Monoids
  • Testable SomeDefined in QuickCheck-2.18.0.0 · Test.QuickCheck.Monoids