ScalaCheck

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. implicit def aBooleanExample(expression: ⇒ Boolean): (ScalaCheck.this)#ToBooleanExample2

   

   Definition Classes

   ScalaCheck → AutoExamplesLowImplicits

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

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

   

   Definition Classes

   ScalaCheck → AutoExamplesLowImplicits

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

   

   Definition Classes

   ScalaCheck → AutoExamplesLowImplicits

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

   

   Definition Classes

   ApplicableArbitraries

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

   

   Definition Classes

   ApplicableArbitraries

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

    

    Definition Classes

    ApplicableArbitraries

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

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

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

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

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

16. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

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

    

    Definition Classes

    AutoExamplesLowImplicits

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

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

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

    

    Definition Classes

    ResultPropertyImplicits

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

    

    Definition Classes

    ResultPropertyImplicits

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

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

    

    execute a ScalaCheck property

    execute a ScalaCheck property

    Definition Classes

    ScalaCheckMatchers

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

    

    Definition Classes

    PropertiesCreation

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

    

    Definition Classes

    PropertiesCreation

26. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

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

    

    Definition Classes

    PropertiesCreation

28. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

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

    

    Definition Classes

    PropertiesCreation

30. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

31. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

32. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

33. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

34. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

35. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

36. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

37. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

38. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

39. 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], p: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

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

    

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

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

    Attributes

    protected

    Definition Classes

    Expectations

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

    

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

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

    Attributes

    protected

    Definition Classes

    Expectations

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

    

    Definition Classes

    PropertiesCreation

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

    

    Definition Classes

    PropertiesCreation

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

    

    execute a ScalaCheck property

    execute a ScalaCheck property

    Definition Classes

    ScalaCheckMatchers

45. def checkResultFailure(r: ⇒ Result): Result

    

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

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

    Attributes

    protected

    Definition Classes

    Expectations

46. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

47. def collectData[T1, T2, T3, T4, T5, T6, T7, T8](t1: T1, t2: T2, t3: T3, t4: T4, t5: T5, t6: T6, t7: T7, t8: T8)(prop: Prop)(implicit params: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

48. def collectData[T1, T2, T3, T4, T5, T6, T7](t1: T1, t2: T2, t3: T3, t4: T4, t5: T5, t6: T6, t7: T7)(prop: Prop)(implicit params: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

49. def collectData[T1, T2, T3, T4, T5, T6](t1: T1, t2: T2, t3: T3, t4: T4, t5: T5, t6: T6)(prop: Prop)(implicit params: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

50. def collectData[T1, T2, T3, T4, T5](t1: T1, t2: T2, t3: T3, t4: T4, t5: T5)(prop: Prop)(implicit params: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

51. def collectData[T1, T2, T3, T4](t1: T1, t2: T2, t3: T3, t4: T4)(prop: Prop)(implicit params: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

52. def collectData[T1, T2, T3](t1: T1, t2: T2, t3: T3)(prop: Prop)(implicit params: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

53. def collectData[T1, T2](t1: T1, t2: T2)(prop: Prop)(implicit params: Parameters): Prop

    

    Definition Classes

    PropertiesCreation

54. def collectData[T](t: T)(prop: Prop)(implicit params: Parameters): Prop

    

    collect data if the collect parameter is true

    collect data if the collect parameter is true

    Definition Classes

    PropertiesCreation

55. def collectValues: Parameters

    

    shortcut to collect and display values

    shortcut to collect and display values

    Definition Classes

    ScalaCheckParameters

56. def collectValuesAnd(showValues: (Set[Any]) ⇒ Set[Any]): Parameters

    

    shortcut to collect, display values and tweak the values

    shortcut to collect, display values and tweak the values

    Definition Classes

    ScalaCheckParameters

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

    

    Definition Classes

    ResultLogicalCombinators

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

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

    

    Definition Classes

    ResultLogicalCombinators

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

    
    returns

    an Expectable with a description function

    Definition Classes

    Expectations

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

    
    returns

    an Expectable with a description function

    Definition Classes

    Expectations

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

    
    returns

    an Expectable with a description

    Definition Classes

    Expectations

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

    
    returns

    an Expectable

    Definition Classes

    Expectations

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

    
    returns

    an Expectable with a function to show the element T

    Definition Classes

    Expectations

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

    

    Definition Classes

    AutoExamples

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

    

    specific implicits for datatables

    specific implicits for datatables

    Definition Classes

    AutoExamples

67. implicit def defaultParameters: Parameters

    

    default parameters.

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

    Definition Classes

    ScalaCheckParameters

68. implicit def defaultPrettyParams: Params

    

    default parameters to display pretty messages

    default parameters to display pretty messages

    Definition Classes

    CheckProperty

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

70. 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, collect: Boolean = defaultParameters.collect, prettyCollected: Prettier[FreqMap[Set[Any]]] = defaultParameters.prettyCollected, output: Output = outer): Parameters

    

    create parameters with verbose = true

    create parameters with verbose = true

    Definition Classes

    ScalaCheckParameters

71. implicit def displayProperty(p: Prop)(implicit params: Parameters, prettyParams: Params): (ScalaCheck.this)#DisplayProperty

    

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes

    ScalaCheckParameters

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

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

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

    

    explicit call

    explicit call

    Definition Classes

    ScalaCheck → AutoExamplesLowImplicits

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

    

    explicit call

    explicit call

    Definition Classes

    AutoExamples

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

    

    Definition Classes

    AnyRef

77. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

78. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

79. def flush(): Unit

    

    flush the content if necessary

    flush the content if necessary

    Definition Classes

    ConsoleOutput → Output

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

    

    Definition Classes

    FunctionPropertyImplicits

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

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

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

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

    

    Definition Classes

    AnyRef → Any

85. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

86. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

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

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

    Attributes

    protected

    Definition Classes

    Expectations

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

    

    Definition Classes

    AutoExamplesLowImplicits

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

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

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

    

    Definition Classes

    ResultPropertyImplicits

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

    

    Definition Classes

    AnyRef

93. def negate(r: Result): Result

    

    Definition Classes

    Results

94. def negateWhen(condition: Boolean)(r: Result): Result

    

    Definition Classes

    Results

95. final def notify(): Unit

    

    Definition Classes

    AnyRef

96. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

97. def print(m: Any): Unit

    

    print an object with no newline

    print an object with no newline

    Definition Classes

    Output

98. def printStackTrace(t: Throwable): Unit

    

    print stacktraces

    print stacktraces

    Definition Classes

    Output

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

    

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

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

    Definition Classes

    ConsoleOutput → Output

100. def println(m: Any): Unit

     

     print an object with a newline

     print an object with a newline

     Definition Classes

     Output

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

     PropertiesCreation

102. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

103. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

104. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

105. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

106. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

107. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

108. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

109. def prop[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T], p: Parameters): 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

     PropertiesCreation

110. implicit def propAsResult[P <: Prop](implicit p: Parameters): AsResult[P]

     

     implicit typeclass instance to create examples from Props

     implicit typeclass instance to create examples from Props

     Definition Classes

     ScalaCheckMatchers

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

     

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

     

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

     

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

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

     

     Definition Classes

     PropertiesCreation

115. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

116. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

117. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

118. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

119. 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], p: Parameters): Prop

     

     Definition Classes

     PropertiesCreation

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

     

     Definition Classes

     PropertiesCreation

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

     

     Definition Classes

     PropertiesCreation

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

     

     Definition Classes

     PropertiesCreation

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

     
     returns

     a Prop that will not throw an exception when evaluated

     Definition Classes

     ResultPropertyImplicits

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

     

     Definition Classes

     AutoExamplesLowImplicits

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

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

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

     

     Definition Classes

     ResultPropertyImplicits

128. def sandboxMatchResult[T](mr: ⇒ MatchResult[T]): MatchResult[T]

     
     returns

     the match result without any side-effects

     Attributes

     protected

     Definition Classes

     Expectations

129. 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, collect: Boolean = defaultParameters.collect, prettyCollected: Prettier[FreqMap[Set[Any]]] = defaultParameters.prettyCollected, output: Output = outer): Parameters

     

     create parameters with verbose = false

     create parameters with verbose = false

     Definition Classes

     ScalaCheckParameters

130. implicit def setProperty(p: Prop)(implicit params: Parameters, prettyParams: Params): (ScalaCheck.this)#SetProperty

     

     set specific execution parameters on a Property

     set specific execution parameters on a Property

     Definition Classes

     ScalaCheckParameters

131. def setStacktrace[T](m: MatchResult[T]): MatchResult[T]

     

     this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

     this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

     Attributes

     protected

     Definition Classes

     MatchResultStackTrace

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

     

     Definition Classes

     AnyRef

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

134. def toString(): String

     

     Definition Classes

     AnyRef → Any

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

     

     Definition Classes

     ResultPropertyImplicits

136. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )