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]

   

   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

    

    Definition Classes

    AutoExamplesLowImplicits

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

    

    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]

    

    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]

    

    Attributes

    protected

    Definition Classes

    Expectations

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

    

    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

    

    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]

    

    Definition Classes

    Expectations

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

    

    Definition Classes

    Expectations

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

    

    Definition Classes

    Expectations

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

    

    Definition Classes

    Expectations

64. def createExpectableWithShowAs[T](t: ⇒ T, showAs: ⇒ String): Expectable[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

    

    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]

    

    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

    

    Definition Classes

    ScalaCheck → AutoExamplesLowImplicits

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

    

    Definition Classes

    ScalaCheck → AutoExamplesLowImplicits

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

    

    Definition Classes

    ScalaCheck → AutoExamplesLowImplicits

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

    

    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

    

    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]

    

    Attributes

    protected

    Definition Classes

    Expectations

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

    

    Definition Classes

    AutoExamplesLowImplicits

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

    

    Definition Classes

    AutoExamplesLowImplicits

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

    

    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

    

    Definition Classes

    Output

98. def printStackTrace(t: Throwable): Unit

    

    Definition Classes

    Output

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

    

    Definition Classes

    ConsoleOutput → Output

100. def println(m: Any): Unit

     

     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

     

     Definition Classes

     AutoExamplesLowImplicits

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

     

     Definition Classes

     AutoExamplesLowImplicits

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

     

     Definition Classes

     ResultPropertyImplicits

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

     

     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]

     

     Attributes

     protected

     Definition Classes

     MatchResultStackTrace

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

     

     Definition Classes

     AnyRef

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

     

     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( ... )