org.specs2.matcher

ScalaCheckMatchers

trait ScalaCheckMatchers extends ConsoleOutput with ScalaCheckFunctions with ScalaCheckParameters with FunctionPropertyImplicits with ResultPropertyImplicits with ApplicableArbitraries with Expectations

The ScalaCheckMatchers trait provides matchers which allow to assess properties multiple times with generated data.

Self Type
ScalaCheckMatchers
See also

the ScalaCheck project

Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ScalaCheckMatchers
  2. Expectations
  3. CanBeEqual
  4. ApplicableArbitraries
  5. ResultPropertyImplicits
  6. FunctionPropertyImplicits
  7. ScalaCheckParameters
  8. ScalaCheckFunctions
  9. ConsoleOutput
  10. Output
  11. AnyRef
  12. Any
Visibility
  1. Public
  2. All

Type Members

  1. case class ApplicableArbitrary[T](a: Arbitrary[T]) extends Product with Serializable

  2. case class ApplicableArbitrary2[T1, T2](a1: Arbitrary[T1], a2: Arbitrary[T2]) extends Product with Serializable

  3. case class ApplicableArbitrary3[T1, T2, T3](a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3]) extends Product with Serializable

  4. case class ApplicableArbitrary4[T1, T2, T3, T4](a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4]) extends Product with Serializable

  5. case class ApplicableArbitrary5[T1, T2, T3, T4, T5](a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5]) extends Product with Serializable

  6. case class ApplicableArbitrary6[T1, T2, T3, T4, T5, T6](a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6]) extends Product with Serializable

  7. case class ApplicableArbitrary7[T1, T2, T3, T4, T5, T6, T7](a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7]) extends Product with Serializable

  8. case class ApplicableArbitrary8[T1, T2, T3, T4, T5, T6, T7, T8](a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7], a8: Arbitrary[T8]) extends Product with Serializable

  9. class CanBeEqualExpectation[T] extends AnyRef

  10. class Descriptible[T] extends AnyRef

  11. class FunctionForAll[T] extends AnyRef

  12. class FunctionForAll2[T1, T2] extends AnyRef

  13. class FunctionForAll3[T1, T2, T3] extends AnyRef

  14. class SetProperty extends AnyRef

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]

    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
  18. def check(prop: Prop)(implicit p: Parameters): Result

    execute a ScalaCheck property

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

    execute a PartialFunction as a ScalaCheck property

  20. def check[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

  21. def check[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

  22. def check[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

  23. def check[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

  24. def check[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

  25. def check[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

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

  27. def check[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

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

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

  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

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

  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]): Prop

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

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

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

  36. 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
  37. implicit def checkPartial[T, S](f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

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

    execute a ScalaCheck property

  39. def checkProp(params: Params, prop: ⇒ Prop, callback: TestCallback): Result

    Definition Classes
    ScalaCheckFunctions
  40. 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
  41. def clone(): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  42. def createExpectable[T](t: ⇒ T, alias: Option[(String) ⇒ String]): Expectable[T]

    returns

    an Expectable with a description function

    Definition Classes
    Expectations
  43. def createExpectable[T](t: ⇒ T, alias: (String) ⇒ String): Expectable[T]

    returns

    an Expectable with a description function

    Definition Classes
    Expectations
  44. def createExpectable[T](t: ⇒ T, alias: String): Expectable[T]

    returns

    an Expectable with a description

    Definition Classes
    Expectations
  45. def createExpectable[T](t: ⇒ T): Expectable[T]

    returns

    an Expectable

    Definition Classes
    Expectations
  46. def createExpectableWithShowAs[T](t: ⇒ T, showAs: ⇒ String): Expectable[T]

    returns

    an Expectable with a function to show the element T

    Definition Classes
    Expectations
  47. implicit def defaultParameters: Parameters

    default parameters.

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

    Definition Classes
    ScalaCheckParameters
  48. implicit def defaultPrettyParams: Params

    default parameters to display pretty messages

    default parameters to display pretty messages

    Definition Classes
    ScalaCheckParameters
  49. def defaultValues: Map[Symbol, Int]

    Default values for ScalaCheck parameters

    Default values for ScalaCheck parameters

    Definition Classes
    ScalaCheckParameters
  50. implicit def describe[T](t: ⇒ T): Descriptible[T]

    describe a value with the aka method

    describe a value with the aka method

    Definition Classes
    Expectations
  51. object display extends Parameters

    factory object to create parameters with verbose = true

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

    Definition Classes
    AnyRef
  53. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  54. def finalize(): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  55. def flush(): Unit

    flush the content if necessary

    flush the content if necessary

    Definition Classes
    ConsoleOutput → Output
  56. implicit def functionToForAll[T](f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): FunctionForAll[T]

    Definition Classes
    FunctionPropertyImplicits
  57. 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
  58. 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
  59. 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
  60. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  61. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  62. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  63. implicit def matchResultToProp[T](m: MatchResult[T]): Prop

    Definition Classes
    ResultPropertyImplicits
  64. def matchResultToResult[T](m: MatchResult[T]): Result

    this method can be overriden to intercept the transformation of a MatchResult to a Result

    this method can be overriden to intercept the transformation of a MatchResult to a Result

    Attributes
    protected
    Definition Classes
    Expectations
  65. val maxDiscarded: Symbol

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Definition Classes
    ScalaCheckParameters
  66. val maxSize: Symbol

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Definition Classes
    ScalaCheckParameters
  67. val minSize: Symbol

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Definition Classes
    ScalaCheckParameters
  68. val minTestsOk: Symbol

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Definition Classes
    ScalaCheckParameters
  69. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  70. final def notify(): Unit

    Definition Classes
    AnyRef
  71. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  72. def print(m: Any): Unit

    print an object with no newline

    print an object with no newline

    Definition Classes
    Output
  73. def printStackTrace(t: Throwable): Unit

    print stacktraces

    print stacktraces

    Definition Classes
    Output
  74. 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
  75. def println(m: Any): Unit

    print an object with a newline

    print an object with a newline

    Definition Classes
    Output
  76. implicit def propToProp(p: ⇒ Prop): Prop

    Definition Classes
    ResultPropertyImplicits
  77. object set extends Parameters

    factory object to create parameters with verbose = false

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

    set specific execution parameters on a Property

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

    Definition Classes
    AnyRef
  80. def toString(): String

    Definition Classes
    AnyRef → Any
  81. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  82. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  83. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws()
  84. val workers: Symbol

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Values which can be used as Symbol aliases to specify ScalaCheck parameters
    The naming is a bit different, in order to keep short names for frequent use cases - minTestsOk == minSuccessfulTests - maxDiscarded == maxDiscardedTests - minSize and maxSize keep their name

    Definition Classes
    ScalaCheckParameters

Inherited from Expectations

Inherited from CanBeEqual

Inherited from ApplicableArbitraries

Inherited from ResultPropertyImplicits

Inherited from FunctionPropertyImplicits

Inherited from ScalaCheckParameters

Inherited from ScalaCheckFunctions

Inherited from ConsoleOutput

Inherited from Output

Inherited from AnyRef

Inherited from Any