ScalaCheck

Value Members

1. final def !=(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

2. final def !=(arg0: Any): Boolean

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

4. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

5. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

6. implicit def aBooleanExample(expression: ⇒ Boolean): (ScalaCheck.this)#ToBooleanExample2

   Definition Classes

   ScalaCheck → AutoExamplesLowImplicits

7. implicit def aDataTableExample[T](expression: ⇒ DecoratedResult[T]): (ScalaCheck.this)#ToDataTableExample[T]

   this syntax allows to declare auto examples with { .

   this syntax allows to declare auto examples with { ... }.eg in mutable specifications

   Definition Classes

   AutoExamples

8. implicit def aMatchResultExample(expression: ⇒ MatchResult[_]): (ScalaCheck.this)#ToMatchResultExample2

   Definition Classes

   ScalaCheck → AutoExamplesLowImplicits

9. implicit def aResultExample(expression: ⇒ Result): (ScalaCheck.this)#ToResultExample2

   Definition Classes

   ScalaCheck → AutoExamplesLowImplicits

10. implicit def applicableArbitrary[T](a: Arbitrary[T]): (ScalaCheck.this)#ApplicableArbitrary[T]

    Definition Classes

    ApplicableArbitraries

11. implicit def applicableArbitrary2[T1, T2](a: (Arbitrary[T1], Arbitrary[T2])): (ScalaCheck.this)#ApplicableArbitrary2[T1, T2]

    Definition Classes

    ApplicableArbitraries

12. implicit def applicableArbitrary3[T1, T2, T3](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3])): (ScalaCheck.this)#ApplicableArbitrary3[T1, T2, T3]

    Definition Classes

    ApplicableArbitraries

13. implicit def applicableArbitrary4[T1, T2, T3, T4](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4])): (ScalaCheck.this)#ApplicableArbitrary4[T1, T2, T3, T4]

    Definition Classes

    ApplicableArbitraries

14. implicit def applicableArbitrary5[T1, T2, T3, T4, T5](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5])): (ScalaCheck.this)#ApplicableArbitrary5[T1, T2, T3, T4, T5]

    Definition Classes

    ApplicableArbitraries

15. implicit def applicableArbitrary6[T1, T2, T3, T4, T5, T6](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6])): (ScalaCheck.this)#ApplicableArbitrary6[T1, T2, T3, T4, T5, T6]

    Definition Classes

    ApplicableArbitraries

16. implicit def applicableArbitrary7[T1, T2, T3, T4, T5, T6, T7](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6], Arbitrary[T7])): (ScalaCheck.this)#ApplicableArbitrary7[T1, T2, T3, T4, T5, T6, T7]

    Definition Classes

    ApplicableArbitraries

17. implicit def applicableArbitrary8[T1, T2, T3, T4, T5, T6, T7, T8](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6], Arbitrary[T7], Arbitrary[T8])): (ScalaCheck.this)#ApplicableArbitrary8[T1, T2, T3, T4, T5, T6, T7, T8]

    Definition Classes

    ApplicableArbitraries

18. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

19. implicit def booleanExample(expression: ⇒ Boolean): Example

    Definition Classes

    AutoExamplesLowImplicits

20. implicit def booleanFragments(expression: ⇒ Boolean): Fragments

    this implicit def is necessary when the expression is at the start of the spec

    this implicit def is necessary when the expression is at the start of the spec

    Definition Classes

    AutoExamplesLowImplicits

21. implicit def booleanFragmentsFragment(expression: ⇒ Boolean): (ScalaCheck.this)#BooleanResultFragment

    this implicit def is necessary when the expression is at the start of the spec

    this implicit def is necessary when the expression is at the start of the spec

    Definition Classes

    AutoExamplesLowImplicits

22. implicit def booleanToProp(b: ⇒ Boolean): Prop

    Definition Classes

    ResultPropertyImplicits

23. implicit def callByNameMatchResultToProp[T](m: ⇒ MatchResult[T]): Prop

    Definition Classes

    ResultPropertyImplicits

24. implicit def canBeEqual[T](t: ⇒ T): (ScalaCheck.this)#CanBeEqualExpectation[T]

    A value can be tested against another with the === operator.

    A value can be tested against another with the === operator. It is equivalent to writing a must_== b

    Definition Classes

    CanBeEqual

25. def check(prop: Prop)(implicit p: Parameters): Result

    execute a ScalaCheck property

    execute a ScalaCheck property

    Definition Classes

    ScalaCheckMatchers

26. implicit def check1[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

    Definition Classes

    ScalaCheckMatchers

27. def check1NoShrink[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T]): Prop

    Definition Classes

    ScalaCheckMatchers

28. implicit def check2[T1, T2, R](result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2]): Prop

    Definition Classes

    ScalaCheckMatchers

29. def check2NoShrink[T1, T2, R](result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2]): Prop

    Definition Classes

    ScalaCheckMatchers

30. implicit def check3[T1, T2, T3, R](result: (T1, T2, T3) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3]): Prop

    Definition Classes

    ScalaCheckMatchers

31. def check3NoShrink[T1, T2, T3, R](result: (T1, T2, T3) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3]): Prop

    Definition Classes

    ScalaCheckMatchers

32. implicit def check4[T1, T2, T3, T4, R](result: (T1, T2, T3, T4) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4]): Prop

    Definition Classes

    ScalaCheckMatchers

33. def check4NoShrink[T1, T2, T3, T4, R](result: (T1, T2, T3, T4) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4]): Prop

    Definition Classes

    ScalaCheckMatchers

34. implicit def check5[T1, T2, T3, T4, T5, R](result: (T1, T2, T3, T4, T5) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5]): Prop

    Definition Classes

    ScalaCheckMatchers

35. def check5NoShrink[T1, T2, T3, T4, T5, R](result: (T1, T2, T3, T4, T5) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5]): Prop

    Definition Classes

    ScalaCheckMatchers

36. implicit def check6[T1, T2, T3, T4, T5, T6, R](result: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6]): Prop

    Definition Classes

    ScalaCheckMatchers

37. def check6NoShrink[T1, T2, T3, T4, T5, T6, R](result: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6]): Prop

    Definition Classes

    ScalaCheckMatchers

38. implicit def check7[T1, T2, T3, T4, T5, T6, T7, R](result: (T1, T2, T3, T4, T5, T6, T7) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6], a7: Arbitrary[T7], s7: Shrink[T7]): Prop

    Definition Classes

    ScalaCheckMatchers

39. def check7NoShrink[T1, T2, T3, T4, T5, T6, T7, R](result: (T1, T2, T3, T4, T5, T6, T7) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7]): Prop

    Definition Classes

    ScalaCheckMatchers

40. implicit def check8[T1, T2, T3, T4, T5, T6, T7, T8, R](result: (T1, T2, T3, T4, T5, T6, T7, T8) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6], a7: Arbitrary[T7], s7: Shrink[T7], a8: Arbitrary[T8], s8: Shrink[T8]): Prop

    Definition Classes

    ScalaCheckMatchers

41. def check8NoShrink[T1, T2, T3, T4, T5, T6, T7, T8, R](result: (T1, T2, T3, T4, T5, T6, T7, T8) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7], a8: Arbitrary[T8]): Prop

    Definition Classes

    ScalaCheckMatchers

42. def checkFailure[T](m: MatchResult[T]): MatchResult[T]

    this method can be overriden to throw exceptions when checking the match result

    this method can be overriden to throw exceptions when checking the match result

    Attributes

    protected

    Definition Classes

    Expectations

43. def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]

    this method can be overriden to throw exceptions when checking the match result

    this method can be overriden to throw exceptions when checking the match result

    Attributes

    protected

    Definition Classes

    Expectations

44. implicit def checkPartial[T, S](f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

    Definition Classes

    ScalaCheckMatchers

45. implicit def checkPartialNoShrink[T, S](f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T]): Prop

    Definition Classes

    ScalaCheckMatchers

46. implicit def checkProp(prop: Prop)(implicit p: Parameters): Result

    execute a ScalaCheck property

    execute a ScalaCheck property

    Definition Classes

    ScalaCheckMatchers

47. def checkResultFailure(r: Result): Result

    this method can be overriden to throw exceptions when checking the result

    this method can be overriden to throw exceptions when checking the result

    Attributes

    protected

    Definition Classes

    Expectations

48. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

49. implicit def combineBoolean(b: ⇒ Boolean): (ScalaCheck.this)#ResultLogicalCombinator

    Definition Classes

    ResultLogicalCombinators

50. implicit def combineProp(prop: ⇒ Prop)(implicit p: Parameters): (ScalaCheck.this)#ResultLogicalCombinator

    allow to combine properties as if they were results

    allow to combine properties as if they were results

    Definition Classes

    ScalaCheckMatchers

51. implicit def combineResult(r: ⇒ Result): (ScalaCheck.this)#ResultLogicalCombinator

    Definition Classes

    ResultLogicalCombinators

52. def createExpectable[T](t: ⇒ T, alias: Option[(String) ⇒ String]): Expectable[T]

    returns

    an Expectable with a description function

    Definition Classes

    Expectations

53. def createExpectable[T](t: ⇒ T, alias: (String) ⇒ String): Expectable[T]

    returns

    an Expectable with a description function

    Definition Classes

    Expectations

54. def createExpectable[T](t: ⇒ T, alias: ⇒ String): Expectable[T]

    returns

    an Expectable with a description

    Definition Classes

    Expectations

55. def createExpectable[T](t: ⇒ T): Expectable[T]

    returns

    an Expectable

    Definition Classes

    Expectations

56. def createExpectableWithShowAs[T](t: ⇒ T, showAs: ⇒ String): Expectable[T]

    returns

    an Expectable with a function to show the element T

    Definition Classes

    Expectations

57. implicit def dataTableExample[T](result: ⇒ DecoratedResult[T]): Example

    Definition Classes

    AutoExamples

58. implicit def dataTableFragments[T](result: ⇒ DecoratedResult[T]): Fragments

    specific implicits for datatables

    specific implicits for datatables

    Definition Classes

    AutoExamples

59. implicit def defaultParameters: Parameters

    default parameters.

    default parameters. Uses ScalaCheck default values and doesn't print anything to the console

    Definition Classes

    ScalaCheckParameters

60. implicit def defaultPrettyParams: Params

    default parameters to display pretty messages

    default parameters to display pretty messages

    Definition Classes

    ScalaCheckParameters

61. implicit def describe[T](t: ⇒ T): (ScalaCheck.this)#Descriptible[T]

    describe a value with the aka method

    describe a value with the aka method

    Definition Classes

    Expectations

62. def display(minTestsOk: Int = defaultParameters.minTestsOk, minSize: Int = defaultParameters.minSize, maxDiscardRatio: Float = defaultParameters.maxDiscardRatio, maxSize: Int = defaultParameters.maxSize, workers: Int = defaultParameters.workers, rng: Random = defaultParameters.rng, callback: TestCallback = defaultParameters.callback, loader: Option[ClassLoader] = defaultParameters.loader): Parameters

    create parameters with verbose = true

    create parameters with verbose = true

    Definition Classes

    ScalaCheckParameters

63. implicit def displayProperty(p: Prop): (ScalaCheck.this)#DisplayProperty

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes

    ScalaCheckParameters

64. def eg(expression: ⇒ Result): Fragment

    explicit call The result type is different from the eg method to create examples in order to avoid an overloading error

    explicit call The result type is different from the eg method to create examples in order to avoid an overloading error

    Definition Classes

    ScalaCheck → AutoExamplesLowImplicits

65. def eg(expression: ⇒ Boolean): Fragments

    explicit call.

    explicit call. The result type is different from the eg method to create examples in order to avoid an overloading error

    Definition Classes

    ScalaCheck → AutoExamplesLowImplicits

66. def eg(expression: ⇒ MatchResult[_]): Example

    explicit call

    explicit call

    Definition Classes

    ScalaCheck → AutoExamplesLowImplicits

67. def eg[T](expression: ⇒ DecoratedResult[T])(implicit p: (ScalaCheck.this)#ImplicitParam): Example

    explicit call

    explicit call

    Definition Classes

    AutoExamples

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

    Definition Classes

    AnyRef

69. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

70. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

71. def flush(): Unit

    flush the content if necessary

    flush the content if necessary

    Definition Classes

    ConsoleOutput → Output

72. implicit def functionToForAll[T](f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): (ScalaCheck.this)#FunctionForAll[T]

    Definition Classes

    FunctionPropertyImplicits

73. implicit def functionToProp[T](f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): Prop

    transform a function returning a boolean to a property by appending forAll

    transform a function returning a boolean to a property by appending forAll

    Definition Classes

    FunctionPropertyImplicits

74. implicit def functionToProp2[T1, T2](f: (T1, T2) ⇒ Boolean): (ScalaCheck.this)#FunctionForAll2[T1, T2]

    transform a function returning a boolean to a property by appending forAll

    transform a function returning a boolean to a property by appending forAll

    Definition Classes

    FunctionPropertyImplicits

75. implicit def functionToProp3[T1, T2, T3](f: (T1, T2, T3) ⇒ Boolean): (ScalaCheck.this)#FunctionForAll3[T1, T2, T3]

    transform a function returning a boolean to a property by appending forAll

    transform a function returning a boolean to a property by appending forAll

    Definition Classes

    FunctionPropertyImplicits

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

    Definition Classes

    AnyRef → Any

77. def hashCode(): Int

    Definition Classes

    AnyRef → Any

78. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

79. def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]

    this method can be overriden to intercept a MatchResult and change its message before it is thrown

    this method can be overriden to intercept a MatchResult and change its message before it is thrown

    Attributes

    protected

    Definition Classes

    Expectations

80. implicit def matchExample(expression: ⇒ MatchResult[_]): Example

    Definition Classes

    AutoExamplesLowImplicits

81. implicit def matchFragments(expression: ⇒ MatchResult[_]): Fragments

    this implicit def is necessary when the expression is at the start of the spec The startDepth and offsets are special tweakings to make sure we get the right line in that specific case

    this implicit def is necessary when the expression is at the start of the spec The startDepth and offsets are special tweakings to make sure we get the right line in that specific case

    Definition Classes

    AutoExamplesLowImplicits

82. implicit def matchFragmentsFragment(expression: ⇒ MatchResult[_]): (ScalaCheck.this)#MatchResultFragment

    this implicit def is necessary when the expression is at the start of the spec

    this implicit def is necessary when the expression is at the start of the spec

    Definition Classes

    AutoExamplesLowImplicits

83. implicit def matchResultToProp[T](m: MatchResult[T]): Prop

    Definition Classes

    ResultPropertyImplicits

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

    Definition Classes

    AnyRef

85. def negate(r: Result): Result

    Definition Classes

    Results

86. final def notify(): Unit

    Definition Classes

    AnyRef

87. final def notifyAll(): Unit

    Definition Classes

    AnyRef

88. def print(m: Any): Unit

    print an object with no newline

    print an object with no newline

    Definition Classes

    Output

89. def printStackTrace(t: Throwable): Unit

    print stacktraces

    print stacktraces

    Definition Classes

    Output

90. def printf(s: String, args: Any*): Unit

    print several objects according to a format string (see Console.

    print several objects according to a format string (see Console.printf)

    Definition Classes

    ConsoleOutput → Output

91. def println(m: Any): Unit

    print an object with a newline

    print an object with a newline

    Definition Classes

    Output

92. def prop[T, S](f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

    execute a PartialFunction as a ScalaCheck property

    execute a PartialFunction as a ScalaCheck property

    Definition Classes

    ScalaCheckMatchers

93. def prop[T1, T2, T3, T4, T5, T6, T7, T8, R](result: (T1, T2, T3, T4, T5, T6, T7, T8) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6], a7: Arbitrary[T7], s7: Shrink[T7], a8: Arbitrary[T8], s8: Shrink[T8]): Prop

    Definition Classes

    ScalaCheckMatchers

94. def prop[T1, T2, T3, T4, T5, T6, T7, R](result: (T1, T2, T3, T4, T5, T6, T7) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6], a7: Arbitrary[T7], s7: Shrink[T7]): Prop

    Definition Classes

    ScalaCheckMatchers

95. def prop[T1, T2, T3, T4, T5, T6, R](result: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5], a6: Arbitrary[T6], s6: Shrink[T6]): Prop

    Definition Classes

    ScalaCheckMatchers

96. def prop[T1, T2, T3, T4, T5, R](result: (T1, T2, T3, T4, T5) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4], a5: Arbitrary[T5], s5: Shrink[T5]): Prop

    Definition Classes

    ScalaCheckMatchers

97. def prop[T1, T2, T3, T4, R](result: (T1, T2, T3, T4) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3], a4: Arbitrary[T4], s4: Shrink[T4]): Prop

    Definition Classes

    ScalaCheckMatchers

98. def prop[T1, T2, T3, R](result: (T1, T2, T3) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2], a3: Arbitrary[T3], s3: Shrink[T3]): Prop

    Definition Classes

    ScalaCheckMatchers

99. def prop[T1, T2, R](result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], s1: Shrink[T1], a2: Arbitrary[T2], s2: Shrink[T2]): Prop

    Definition Classes

    ScalaCheckMatchers

100. def prop[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

     transform a Function returning a MatchResult (or anything which can be converted to a Prop) as a ScalaCheck property

     transform a Function returning a MatchResult (or anything which can be converted to a Prop) as a ScalaCheck property

     Definition Classes

     ScalaCheckMatchers

101. implicit def propAsResult(implicit p: Parameters): AsResult[Prop]

     implicit typeclass instance to create examples from Props

     implicit typeclass instance to create examples from Props

     Definition Classes

     ScalaCheckMatchers

102. implicit def propExample(expression: ⇒ Prop)(implicit p: Parameters): Example

103. implicit def propFragments(expression: ⇒ Prop)(implicit p: Parameters): Fragments

104. implicit def propFragmentsFragments(expression: ⇒ Prop): FragmentsFragment

     this implicit def is necessary when the expression is at the start of the spec

105. def propNoShrink[T, S](f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T]): Prop

     Definition Classes

     ScalaCheckMatchers

106. def propNoShrink[T1, T2, T3, T4, T5, T6, T7, T8, R](result: (T1, T2, T3, T4, T5, T6, T7, T8) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7], a8: Arbitrary[T8]): Prop

     Definition Classes

     ScalaCheckMatchers

107. def propNoShrink[T1, T2, T3, T4, T5, T6, T7, R](result: (T1, T2, T3, T4, T5, T6, T7) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7]): Prop

     Definition Classes

     ScalaCheckMatchers

108. def propNoShrink[T1, T2, T3, T4, T5, T6, R](result: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6]): Prop

     Definition Classes

     ScalaCheckMatchers

109. def propNoShrink[T1, T2, T3, T4, T5, R](result: (T1, T2, T3, T4, T5) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5]): Prop

     Definition Classes

     ScalaCheckMatchers

110. def propNoShrink[T1, T2, T3, T4, R](result: (T1, T2, T3, T4) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4]): Prop

     Definition Classes

     ScalaCheckMatchers

111. def propNoShrink[T1, T2, T3, R](result: (T1, T2, T3) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3]): Prop

     Definition Classes

     ScalaCheckMatchers

112. def propNoShrink[T1, T2, R](result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2]): Prop

     Definition Classes

     ScalaCheckMatchers

113. def propNoShrink[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T]): Prop

     Definition Classes

     ScalaCheckMatchers

114. implicit def propToProp(p: ⇒ Prop): Prop

     Definition Classes

     ResultPropertyImplicits

115. implicit def resultExample(expression: ⇒ Result): Example

     Definition Classes

     AutoExamplesLowImplicits

116. implicit def resultFragments(result: ⇒ Result): Fragments

     this implicit def is necessary when the expression is at the start of the spec

     this implicit def is necessary when the expression is at the start of the spec

     Definition Classes

     AutoExamplesLowImplicits

117. def resultFragmentsFragment(expression: ⇒ Result): (ScalaCheck.this)#ResultFragment

     this implicit def is necessary when the expression is at the start of the spec

     this implicit def is necessary when the expression is at the start of the spec

     Definition Classes

     AutoExamplesLowImplicits

118. implicit def resultProp(r: ⇒ Result): Prop

     Definition Classes

     ResultPropertyImplicits

119. def set(minTestsOk: Int = defaultParameters.minTestsOk, minSize: Int = defaultParameters.minSize, maxDiscardRatio: Float = defaultParameters.maxDiscardRatio, maxSize: Int = defaultParameters.maxSize, workers: Int = defaultParameters.workers, rng: Random = defaultParameters.rng, callback: TestCallback = defaultParameters.callback, loader: Option[ClassLoader] = defaultParameters.loader): Parameters

     create parameters with verbose = false

     create parameters with verbose = false

     Definition Classes

     ScalaCheckParameters

120. implicit def setProperty(p: Prop): (ScalaCheck.this)#SetProperty

     set specific execution parameters on a Property

     set specific execution parameters on a Property

     Definition Classes

     ScalaCheckParameters

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

     Definition Classes

     AnyRef

122. implicit def toResult(b: Boolean): Result

     implicit definition to accept any boolean value as a Result This avoids writing b must beTrue

     implicit definition to accept any boolean value as a Result This avoids writing b must beTrue

     Definition Classes

     Results

123. def toString(): String

     Definition Classes

     AnyRef → Any

124. implicit def unitToProp(u: ⇒ Unit): Prop

     Definition Classes

     ResultPropertyImplicits

125. final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )