org.specs2.matcher

OneExpectationPerProp

trait OneExpectationPerProp extends ScalaCheckMatchers

This trait can be mixed in a Specification to avoid counting the number of times that a property was executed as the number of expectations. With this trait we just count 1 for each result

Linear Supertypes
ScalaCheckMatchers, Expectations, CanBeEqual, ApplicableArbitraries, ResultLogicalCombinators, Results, ResultPropertyImplicits, FunctionPropertyImplicits, ScalaCheckParameters, ConsoleOutput, Output, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. OneExpectationPerProp
  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: 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]

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

    execute a ScalaCheck property

    execute a ScalaCheck property

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

    Definition Classes
    ScalaCheckMatchers
  18. def check1NoShrink[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T]): Prop

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    ScalaCheckMatchers
  33. def checkFailure[T](m: MatchResult[T]): MatchResult[T]

    Attributes
    protected
    Definition Classes
    Expectations
  34. def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]

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

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

    execute a ScalaCheck property

    execute a ScalaCheck property

    Definition Classes
    ScalaCheckMatchers
  38. def checkResultFailure(r: Result): Result

    Attributes
    protected
    Definition Classes
    Expectations
  39. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. implicit def combineBoolean(b: ⇒ Boolean): ResultLogicalCombinator

    Definition Classes
    ResultLogicalCombinators
  41. 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
  42. implicit def combineResult(r: ⇒ Result): ResultLogicalCombinator

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

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

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

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

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

    Definition Classes
    Expectations
  48. implicit def defaultParameters: Parameters

    default parameters.

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

    Definition Classes
    ScalaCheckParameters
  49. implicit def defaultPrettyParams: Params

    default parameters to display pretty messages

    default parameters to display pretty messages

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

    Definition Classes
    Expectations
  51. 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
  52. implicit def displayProperty(p: Prop): DisplayProperty

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes
    ScalaCheckParameters
  53. final def eq(arg0: AnyRef): Boolean

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

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

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  56. def flush(): Unit

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

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

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

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

    Definition Classes
    Any
  64. def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]

    Attributes
    protected
    Definition Classes
    Expectations
  65. implicit def matchResultToProp[T](m: MatchResult[T]): Prop

    Definition Classes
    ResultPropertyImplicits
  66. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  67. def negate(r: Result): Result

    Definition Classes
    Results
  68. final def notify(): Unit

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

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

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

    Definition Classes
    Output
  72. def printf(s: String, args: Any*): Unit

    Definition Classes
    ConsoleOutput → Output
  73. def println(m: Any): Unit

    Definition Classes
    Output
  74. 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
  75. 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
  76. 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
  77. 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
  78. 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
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
    OneExpectationPerPropScalaCheckMatchers
  84. def propNoShrink[T, S](f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T]): Prop

    Definition Classes
    ScalaCheckMatchers
  85. 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
  86. 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
  87. 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
  88. 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
  89. 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
  90. 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
  91. def propNoShrink[T1, T2, R](result: (T1, T2) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a1: Arbitrary[T1], a2: Arbitrary[T2]): Prop

    Definition Classes
    ScalaCheckMatchers
  92. def propNoShrink[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T]): Prop

    Definition Classes
    ScalaCheckMatchers
  93. implicit def propToProp(p: ⇒ Prop): Prop

    returns

    a Prop that will not throw an exception when evaluated

    Definition Classes
    ResultPropertyImplicits
  94. implicit def resultProp(r: ⇒ Result): Prop

    Definition Classes
    ResultPropertyImplicits
  95. 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
  96. implicit def setProperty(p: Prop): SetProperty

    set specific execution parameters on a Property

    set specific execution parameters on a Property

    Definition Classes
    ScalaCheckParameters
  97. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  98. implicit def toResult(b: Boolean): Result

    Definition Classes
    Results
  99. def toString(): String

    Definition Classes
    AnyRef → Any
  100. implicit def unitToProp(u: ⇒ Unit): Prop

    Definition Classes
    ResultPropertyImplicits
  101. final def wait(): Unit

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  103. 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