ScalaCheckMatchers

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 applicableArbitrary[T](a: Arbitrary[T]): ApplicableArbitrary[T]

   Definition Classes

   ApplicableArbitraries

7. implicit def applicableArbitrary2[T1, T2](a: (Arbitrary[T1], Arbitrary[T2])): ApplicableArbitrary2[T1, T2]

   Definition Classes

   ApplicableArbitraries

8. implicit def applicableArbitrary3[T1, T2, T3](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3])): ApplicableArbitrary3[T1, T2, T3]

   Definition Classes

   ApplicableArbitraries

9. implicit def applicableArbitrary4[T1, T2, T3, T4](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4])): ApplicableArbitrary4[T1, T2, T3, T4]

   Definition Classes

   ApplicableArbitraries

10. implicit def applicableArbitrary5[T1, T2, T3, T4, T5](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5])): ApplicableArbitrary5[T1, T2, T3, T4, T5]

    Definition Classes

    ApplicableArbitraries

11. implicit def applicableArbitrary6[T1, T2, T3, T4, T5, T6](a: (Arbitrary[T1], Arbitrary[T2], Arbitrary[T3], Arbitrary[T4], Arbitrary[T5], Arbitrary[T6])): ApplicableArbitrary6[T1, T2, T3, T4, T5, T6]

    Definition Classes

    ApplicableArbitraries

12. 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])): ApplicableArbitrary7[T1, T2, T3, T4, T5, T6, T7]

    Definition Classes

    ApplicableArbitraries

13. 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])): ApplicableArbitrary8[T1, T2, T3, T4, T5, T6, T7, T8]

    Definition Classes

    ApplicableArbitraries

14. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

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

    Definition Classes

    ResultPropertyImplicits

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

    Definition Classes

    ResultPropertyImplicits

17. implicit def canBeEqual[T](t: ⇒ T): CanBeEqualExpectation[T]

    Definition Classes

    CanBeEqual

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

    execute a ScalaCheck property

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Attributes

    protected

    Definition Classes

    Expectations

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

    Attributes

    protected

    Definition Classes

    Expectations

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

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

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

    execute a ScalaCheck property

40. def checkResultFailure(r: Result): Result

    Attributes

    protected

    Definition Classes

    Expectations

41. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

42. implicit def combineBoolean(b: ⇒ Boolean): ResultLogicalCombinator

    Definition Classes

    ResultLogicalCombinators

43. implicit def combineProp(prop: ⇒ Prop)(implicit p: Parameters): ResultLogicalCombinator

    allow to combine properties as if they were results

44. implicit def combineResult(r: ⇒ Result): ResultLogicalCombinator

    Definition Classes

    ResultLogicalCombinators

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

    Definition Classes

    Expectations

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

    Definition Classes

    Expectations

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

    Definition Classes

    Expectations

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

    Definition Classes

    Expectations

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

    Definition Classes

    Expectations

50. implicit def defaultParameters: Parameters

    default parameters.

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

    Definition Classes

    ScalaCheckParameters

51. implicit def defaultPrettyParams: Params

    default parameters to display pretty messages

    default parameters to display pretty messages

    Definition Classes

    ScalaCheckParameters

52. implicit def describe[T](t: ⇒ T): Descriptible[T]

    Definition Classes

    Expectations

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

54. implicit def displayProperty(p: Prop): DisplayProperty

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes

    ScalaCheckParameters

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

    Definition Classes

    AnyRef

56. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

57. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

58. def flush(): Unit

    Definition Classes

    ConsoleOutput → Output

59. implicit def functionToForAll[T](f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): FunctionForAll[T]

    Definition Classes

    FunctionPropertyImplicits

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

61. implicit def functionToProp2[T1, T2](f: (T1, T2) ⇒ Boolean): 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

62. implicit def functionToProp3[T1, T2, T3](f: (T1, T2, T3) ⇒ Boolean): 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

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

    Definition Classes

    AnyRef → Any

64. def hashCode(): Int

    Definition Classes

    AnyRef → Any

65. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

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

    Attributes

    protected

    Definition Classes

    Expectations

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

    Definition Classes

    ResultPropertyImplicits

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

    Definition Classes

    AnyRef

69. def negate(r: Result): Result

    Definition Classes

    Results

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

    Definition Classes

    Results

71. final def notify(): Unit

    Definition Classes

    AnyRef

72. final def notifyAll(): Unit

    Definition Classes

    AnyRef

73. def print(m: Any): Unit

    Definition Classes

    Output

74. def printStackTrace(t: Throwable): Unit

    Definition Classes

    Output

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

    Definition Classes

    ConsoleOutput → Output

76. def println(m: Any): Unit

    Definition Classes

    Output

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

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

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

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

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

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

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

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

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

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

    implicit typeclass instance to create examples from Props

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

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

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

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

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

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

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

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

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

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

    returns

    a Prop that will not throw an exception when evaluated

    Definition Classes

    ResultPropertyImplicits

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

    Definition Classes

    ResultPropertyImplicits

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

99. implicit def setProperty(p: Prop): SetProperty

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes

    ScalaCheckParameters

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

     Definition Classes

     AnyRef

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

     Definition Classes

     Results

102. def toString(): String

     Definition Classes

     AnyRef → Any

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

     Definition Classes

     ResultPropertyImplicits

104. final def wait(): Unit

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

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

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )