Supertrait for CheckerAsserting
typeclasses, which are used to implement and determine the result
type of GeneratorDrivenPropertyChecks's apply
and forAll
method.
Trait that contains several “check” methods that perform ScalaCheck property checks.
Trait containing methods that faciliate property checks against generated data using ScalaCheck.
Trait that facilitates property checks on data supplied by tables and generators.
Class holding lowest priority CheckerAsserting
implicit, which enables GeneratorDrivenPropertyChecks expressions that have result type Unit
.
Companion object to CheckerAsserting
that provides two implicit providers, a higher priority one for passed functions that have result
type Assertion
, which also yields result type Assertion
, and one for any other type, which yields result type Unit
.
Companion object that facilitates the importing of ScalaCheckPropertyChecks
members as
an alternative to mixing it in.