Package

scalacheck

Permalink

package scalacheck

Visibility

Public
All

Type Members

sealed abstract class Arbitrary[T] extends AnyRef
sealed trait Gen[+T] extends AnyRef
trait Prop extends AnyRef
class Properties extends Prop

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
  }
}
```
class ScalaCheckFramework extends Framework
sealed abstract class Shrink[T] extends AnyRef
trait Commands extends Prop

See User Guide for usage examples
See User Guide for usage examples

Annotations
@deprecated
Deprecated
(Since version 1.11.4) Will be replaced with a new implementation in 1.12.0

Value Members

object Arbitrary

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.
object Gen
object Prop
object Shrink
object Test
package util

Ungrouped