AIHC Haddock

Community
Modules 18

Test.QuickCheck.Monoids

data 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`.

Every :: forall p. Testable p => p -> Every

data 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`.

Some :: forall p. Testable p => p -> Some

Instances

6
  • instance Testable Every
  • instance Semigroup Every
  • instance Monoid Every
  • instance Testable Some
  • instance Semigroup Some
  • instance Monoid Some
Build record and source files

Community contribution. The service has not verified this documentation. The generator reported 30 diagnostics.

Target: Linux on x86-64. Some inferred types and resolved links are not available.

Generator: aihc-haddock-aa6debbd-web-3

Metadata snapshot: f17ab6aeb2a7b6daf9fba7614097e138beeef85fa92c3fb7fdfed9ed0e49728c

Open the dependency plan · Download the documentation model

Import a package

Enter a package name and an exact version from Hackage. The site contains imported versions only.