Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

6.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

7.  def equals(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

8.  def exception(p: ⇒ Property): Property
9.  def finalize(): Unit

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

10.  def forAll[A1, A2, A3, A4, A5](f: (A1, A2, A3, A4, A5) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], A5: Gen[A5]): Property
11.  def forAll[A1, A2, A3, A4](f: (A1, A2, A3, A4) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4]): Property
12.  def forAll[A1, A2, A3](f: (A1, A2, A3) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3]): Property
13.  def forAll[A1, A2](f: (A1, A2) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2]): Property
14.  def forAll[A1](f: (A1) ⇒ Boolean)(implicit A1: Gen[A1]): Property
15.  def forAll(result: ⇒ Boolean): Property
16.  def forAllG[A1, A2, A3, A4, A5](A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], A5: Gen[A5])(f: (A1, A2, A3, A4, A5) ⇒ Boolean): Property

    forAll with explicit Gen

17.  def forAllG[A1, A2, A3, A4](A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4])(f: (A1, A2, A3, A4) ⇒ Boolean): Property

    forAll with explicit Gen

18.  def forAllG[A1, A2, A3](A1: Gen[A1], A2: Gen[A2], A3: Gen[A3])(f: (A1, A2, A3) ⇒ Boolean): Property

    forAll with explicit Gen

19.  def forAllG[A1, A2](A1: Gen[A1], A2: Gen[A2])(f: (A1, A2) ⇒ Boolean): Property

    forAll with explicit Gen

20.  def forAllG[A1](A1: Gen[A1])(f: (A1) ⇒ Boolean): Property

    forAll with explicit Gen

21.  def forAllS[A1, A2, A3, A4, A5](f: (A1, A2, A3, A4, A5) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], A5: Gen[A5], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3], S4: Shrink[A4], S5: Shrink[A5]): Property
22.  def forAllS[A1, A2, A3, A4](f: (A1, A2, A3, A4) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], A4: Gen[A4], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3], S4: Shrink[A4]): Property
23.  def forAllS[A1, A2, A3](f: (A1, A2, A3) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3]): Property
24.  def forAllS[A1, A2](f: (A1, A2) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): Property
25.  def forAllS[A1](f: (A1) ⇒ Boolean)(implicit A1: Gen[A1], S1: Shrink[A1]): Property
26.  def forall0[A](g: Gen[A], shrink: Shrink[A])(f: (A) ⇒ Property): Property
27.  def fromGen(g: Gen[Result]): Property
28.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

29.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

30.  def implies(b: ⇒ Boolean, p: ⇒ Property): Property
31.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

32.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

33.  final def notify(): Unit

    Definition Classes

    AnyRef

34.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

35.  val prop: (Boolean) ⇒ Property
36.  def propFromResult(r: Result): Property
37.  def propFromResultLazy(r: Need[Result]): Property
38.  def property[A1, A2, A3](f: (A1, A2, A3) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3]): Property
39.  def property[A1, A2](f: (A1, A2) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): Property
40.  def property[A1](f: (A1) ⇒ Property)(implicit A1: Gen[A1], S1: Shrink[A1]): Property
41.  def property1[A1](f: (A1) ⇒ Property)(implicit A1: Gen[A1], S1: Shrink[A1]): Property
42.  def property2[A1, A2](f: (A1, A2) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): Property
43.  def property3[A1, A2, A3](f: (A1, A2, A3) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3], S1: Shrink[A1], S2: Shrink[A2], S3: Shrink[A3]): Property
44.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

45.  def toString(): String

    Definition Classes

    AnyRef → Any

46.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

47.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

48.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

49.  object NoShrink