Helper class to satisfy ScalaJS compilation.
Helper class to satisfy ScalaJS compilation. Do not use this directly,
use Prop.apply
instead.
Represents a collection of properties, with convenient methods for checking all properties at once.
Represents a collection of properties, with convenient methods for checking all properties at once. This class is itself a property, which holds if and only if all of the contained properties hold.
Properties are added in the following way:
object MyProps extends Properties("MyProps") { property("myProp1") = forAll { (n:Int, m:Int) => n+m == m+n } }
Defines implicit org.scalacheck.Arbitrary instances for common types.
Defines implicit org.scalacheck.Arbitrary instances for common types.
ScalaCheck
uses implicit org.scalacheck.Arbitrary instances when creating properties
out of functions with the Prop.property
method, and when
the Arbitrary.arbitrary
method is used. For example, the
following code requires that there exists an implicit
Arbitrary[MyClass]
instance:
val myProp = Prop.forAll { myClass: MyClass => ... } val myGen = Arbitrary.arbitrary[MyClass]
The required implicit definition could look like this:
implicit val arbMyClass: Arbitrary[MyClass] = Arbitrary(...)
The factory method Arbitrary(...)
takes a generator of type
Gen[T]
and returns an instance of Arbitrary[T]
.
The Arbitrary
module defines implicit org.scalacheck.Arbitrary
instances for common types, for convenient use in your properties and
generators.