Property

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. object NoShrink

   

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

8. def equals(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

9. def exception(p: ⇒ Property): Property

   

10. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

11. 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

    

12. 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

    

13. def forAll[A1, A2, A3](f: (A1, A2, A3) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2], A3: Gen[A3]): Property

    

14. def forAll[A1, A2](f: (A1, A2) ⇒ Boolean)(implicit A1: Gen[A1], A2: Gen[A2]): Property

    

15. def forAll[A1](f: (A1) ⇒ Boolean)(implicit A1: Gen[A1]): Property

    

16. def forAll(result: ⇒ Boolean): Property

    

17. 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

18. 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

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

    

    forAll with explicit Gen

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

    

    forAll with explicit Gen

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

    

    forAll with explicit Gen

22. def forall0[A](g: Gen[A], shrink: Shrink[A])(f: (A) ⇒ Property): Property

    

23. def fromGen(g: Gen[Result]): Property

    

24. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

25. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

26. def implies(b: ⇒ Boolean, p: ⇒ Property): Property

    

27. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

28. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

29. final def notify(): Unit

    

    Definition Classes

    AnyRef

30. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

31. val prop: (Boolean) ⇒ Property

    

32. def propFromResult(r: Result): Property

    

33. def propFromResultLazy(r: Need[Result]): Property

    

34. 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

    

35. def property[A1, A2](f: (A1, A2) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): Property

    

36. def property[A1](f: (A1) ⇒ Property)(implicit A1: Gen[A1], S1: Shrink[A1]): Property

    

37. def property1[A1](f: (A1) ⇒ Property)(implicit A1: Gen[A1], S1: Shrink[A1]): Property

    

38. def property2[A1, A2](f: (A1, A2) ⇒ Property)(implicit A1: Gen[A1], A2: Gen[A2], S1: Shrink[A1], S2: Shrink[A2]): Property

    

39. 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

    

40. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

41. def toString(): String

    

    Definition Classes

    AnyRef → Any

42. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

44. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )