scalacheck

trait CheckerAsserting[T] extends AnyRef

Supertrait for CheckerAsserting typeclasses, which are used to implement and determine the result type of GeneratorDrivenPropertyChecks's apply and forAll method.
trait Checkers extends ScalaCheckConfiguration

Trait that contains several “check” methods that perform ScalaCheck property checks.
trait ScalaCheckDrivenPropertyChecks extends Whenever with ScalaCheckConfiguration

Trait containing methods that faciliate property checks against generated data using ScalaCheck.
trait ScalaCheckPropertyChecks extends TableDrivenPropertyChecks with ScalaCheckDrivenPropertyChecks

Trait that facilitates property checks on data supplied by tables and generators.
abstract class UnitCheckerAsserting extends AnyRef

Class holding lowest priority CheckerAsserting implicit, which enables GeneratorDrivenPropertyChecks expressions that have result type Unit.

object CheckerAsserting extends UnitCheckerAsserting

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.
object ScalaCheckDrivenPropertyChecks extends ScalaCheckDrivenPropertyChecks
object ScalaCheckPropertyChecks extends ScalaCheckPropertyChecks

Companion object that facilitates the importing of ScalaCheckPropertyChecks members as an alternative to mixing it in.

object Checkers extends Checkers

Companion object that facilitates the importing of Checkers members as an alternative to mixing it in.