org.specs2.matcher

ScalaCheckMatchers

Related Docs: object ScalaCheckMatchers | package matcher

trait ScalaCheckMatchers extends ConsoleOutput with ScalaCheckParameters with PropertiesCreation with CheckProperty with FunctionPropertyImplicits with ResultPropertyImplicits with ResultLogicalCombinators 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
Expectations, MatchResultStackTrace, CanBeEqual, ApplicableArbitraries, ResultLogicalCombinators, ResultPropertyImplicits, FunctionPropertyImplicits, CheckProperty, PropertiesCreation, ScalaCheckParameters, ConsoleOutput, Output, AnyRef, Any
Known Subclasses
OneExpectationPerProp, ScalaCheck, ScalaCheckMatchers
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ScalaCheckMatchers
  2. Expectations
  3. MatchResultStackTrace
  4. CanBeEqual
  5. ApplicableArbitraries
  6. ResultLogicalCombinators
  7. ResultPropertyImplicits
  8. FunctionPropertyImplicits
  9. CheckProperty
  10. PropertiesCreation
  11. ScalaCheckParameters
  12. ConsoleOutput
  13. Output
  14. AnyRef
  15. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

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

    Definition Classes
    ApplicableArbitraries

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

    Definition Classes
    ApplicableArbitraries

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

    Definition Classes
    ApplicableArbitraries

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

    Definition Classes
    ApplicableArbitraries

  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

    Definition Classes
    ApplicableArbitraries

  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

    Definition Classes
    ApplicableArbitraries

  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

    Definition Classes
    ApplicableArbitraries

  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

    Definition Classes
    ApplicableArbitraries

  9. class CanBeEqualExpectation[T] extends AnyRef

    Definition Classes
    CanBeEqual

  10. class Descriptible[T] extends AnyRef

    Definition Classes
    Expectations

  11. class DisplayProperty extends AnyRef

    Definition Classes
    ScalaCheckParameters

  12. class FunctionForAll[T] extends AnyRef

    Definition Classes
    FunctionPropertyImplicits

  13. class FunctionForAll2[T1, T2] extends AnyRef

    Definition Classes
    FunctionPropertyImplicits

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

    Definition Classes
    FunctionPropertyImplicits

  15. class ResultLogicalCombinator extends AnyRef

    Definition Classes
    ResultLogicalCombinators

  16. class SetProperty extends AnyRef

    Definition Classes
    ScalaCheckParameters

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

    Definition Classes
    ApplicableArbitraries

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

    Definition Classes
    ApplicableArbitraries

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

    Definition Classes
    ApplicableArbitraries

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

    Definition Classes
    ApplicableArbitraries

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

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

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

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

  12. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

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

    Definition Classes
    ResultPropertyImplicits

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

    Definition Classes
    ResultPropertyImplicits

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

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

    execute a ScalaCheck property

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

    Definition Classes
    PropertiesCreation

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

    Definition Classes
    PropertiesCreation

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    PropertiesCreation

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

    Definition Classes
    PropertiesCreation

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

    execute a ScalaCheck property

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

  39. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

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

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

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

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

    Definition Classes
    PropertiesCreation

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

    Definition Classes
    PropertiesCreation

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

    Definition Classes
    PropertiesCreation

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

  48. def collectValues: Parameters

    shortcut to collect and display values

    shortcut to collect and display values

    Definition Classes
    ScalaCheckParameters

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

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

    Definition Classes
    ResultLogicalCombinators

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

    allow to combine properties as if they were results

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

    Definition Classes
    ResultLogicalCombinators

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

    returns

    an Expectable with a description function

    Definition Classes
    Expectations

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

    returns

    an Expectable with a description function

    Definition Classes
    Expectations

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

    returns

    an Expectable with a description

    Definition Classes
    Expectations

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

    returns

    an Expectable

    Definition Classes
    Expectations

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

    returns

    an Expectable with a function to show the element T

    Definition Classes
    Expectations

  58. implicit def defaultParameters: Parameters

    default parameters.

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

    Definition Classes
    ScalaCheckParameters

  59. implicit def defaultPrettyParams: Params

    default parameters to display pretty messages

    default parameters to display pretty messages

    Definition Classes
    CheckProperty

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

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

  62. implicit def displayProperty(p: Prop)(implicit params: Parameters, prettyParams: Params): DisplayProperty

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes
    ScalaCheckParameters

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

    Definition Classes
    AnyRef

  64. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  65. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  66. def flush(): Unit

    flush the content if necessary

    flush the content if necessary

    Definition Classes
    ConsoleOutput → Output

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

    Definition Classes
    FunctionPropertyImplicits

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

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

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

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

    Definition Classes
    AnyRef → Any

  72. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  73. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

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

    Definition Classes
    ResultPropertyImplicits

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

    Definition Classes
    AnyRef

  77. final def notify(): Unit

    Definition Classes
    AnyRef

  78. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  79. def print(m: Any): Unit

    print an object with no newline

    print an object with no newline

    Definition Classes
    Output

  80. def printStackTrace(t: Throwable): Unit

    print stacktraces

    print stacktraces

    Definition Classes
    Output

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

  82. def println(m: Any): Unit

    print an object with a newline

    print an object with a newline

    Definition Classes
    Output

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

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

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

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

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

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

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

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

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

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

    implicit typeclass instance to create examples from Props

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

    Definition Classes
    PropertiesCreation

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

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

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

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

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

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

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

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

    Definition Classes
    PropertiesCreation

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

    returns

    a Prop that will not throw an exception when evaluated

    Definition Classes
    ResultPropertyImplicits

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

    Definition Classes
    ResultPropertyImplicits

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

    returns

    the match result without any side-effects

    Attributes
    protected
    Definition Classes
    Expectations

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

  106. implicit def setProperty(p: Prop)(implicit params: Parameters, prettyParams: Params): SetProperty

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes
    ScalaCheckParameters

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

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

    Definition Classes
    AnyRef

  109. def toString(): String

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    ResultPropertyImplicits

  111. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Expectations

Inherited from MatchResultStackTrace

Inherited from CanBeEqual

Inherited from ApplicableArbitraries

Inherited from ResultLogicalCombinators

Inherited from ResultPropertyImplicits

Inherited from FunctionPropertyImplicits

Inherited from CheckProperty

Inherited from PropertiesCreation

Inherited from ScalaCheckParameters

Inherited from ConsoleOutput

Inherited from Output

Inherited from AnyRef

Inherited from Any

Ungrouped