Type Members

1.  sealed abstract class Arbitrary[T] extends Serializable
2.  sealed trait Cogen[T] extends Serializable
3.  trait CogenLowPriority extends AnyRef
4.  sealed abstract class Gen[+T] extends Serializable
5.  sealed abstract class Prop extends Serializable

   Annotations

   @EnableReflectiveInstantiation()

6.  sealed class PropFromFun extends Prop

   Helper class to satisfy ScalaJS compilation.

   Helper class to satisfy ScalaJS compilation. Do not use this directly, use Prop.apply instead.

7.  class Properties extends AnyRef

   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
     }
   }

   Annotations

   @EnableReflectiveInstantiation()

8.  final class ScalaCheckFramework extends Framework
9.  sealed abstract class Shrink[T] extends Serializable
10.  final class ShrinkFractional[T] extends Shrink[T]
11.  final class ShrinkIntegral[T] extends Shrink[T]
12.  trait ShrinkLowPriority extends AnyRef