org.specs2.matcher

ScalaCheckMatchers

object ScalaCheckMatchers extends ScalaCheckMatchers

Linear Supertypes
ScalaCheckMatchers, Expectations, CanBeEqual, ApplicableArbitraries, ResultLogicalCombinators, Results, ResultPropertyImplicits, FunctionPropertyImplicits, ScalaCheckParameters, ConsoleOutput, Output, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ScalaCheckMatchers
  2. ScalaCheckMatchers
  3. Expectations
  4. CanBeEqual
  5. ApplicableArbitraries
  6. ResultLogicalCombinators
  7. Results
  8. ResultPropertyImplicits
  9. FunctionPropertyImplicits
  10. ScalaCheckParameters
  11. ConsoleOutput
  12. Output
  13. AnyRef
  14. 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: 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

    execute a ScalaCheck property

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

  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

    Definition Classes
    ScalaCheckMatchers

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

  36. def checkMatchResultFailure[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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    execute a ScalaCheck property

    execute a ScalaCheck property

    Definition Classes
    ScalaCheckMatchers

  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[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

    allow to combine properties as if they were results

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ResultLogicalCombinators

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

    returns

    an Expectable with a description function

    Definition Classes
    Expectations

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

    returns

    an Expectable with a description function

    Definition Classes
    Expectations

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

    returns

    an Expectable with a description

    Definition Classes
    Expectations

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

    returns

    an Expectable

    Definition Classes
    Expectations

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

    returns

    an Expectable with a function to show the element 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]

    describe a value with the aka method

    describe a value with the aka method

    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

    flush the content if necessary

    flush the content if necessary

    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]

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

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

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

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    transform a Function returning a MatchResult (or anything which can be converted to a Prop) as a ScalaCheck property

    Definition Classes
    ScalaCheckMatchers

  85. implicit def propAsResult(implicit p: Parameters): AsResult[Prop]

    implicit typeclass instance to create examples from Props

    implicit typeclass instance to create examples from Props

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    Definition Classes
    ScalaCheckMatchers

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

    returns

    a Prop that will not throw an exception when evaluated

    Definition Classes
    ResultPropertyImplicits

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

    Definition Classes
    ResultPropertyImplicits

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

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

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes
    ScalaCheckParameters

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

    Definition Classes
    AnyRef

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

    implicit definition to accept any boolean value as a Result This avoids writing b must beTrue

    implicit definition to accept any boolean value as a Result This avoids writing b must beTrue

    Definition Classes
    Results

  101. def toString(): String

    Definition Classes
    AnyRef → Any

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

    Definition Classes
    ResultPropertyImplicits

  103. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ScalaCheckMatchers

Inherited from Expectations

Inherited from CanBeEqual

Inherited from ApplicableArbitraries

Inherited from ResultLogicalCombinators

Inherited from Results

Inherited from ResultPropertyImplicits

Inherited from FunctionPropertyImplicits

Inherited from ScalaCheckParameters

Inherited from ConsoleOutput

Inherited from Output

Inherited from AnyRef

Inherited from Any

Ungrouped