Object/Trait

org.specs2.matcher

ScalaCheckMatchers

Related Docs: trait ScalaCheckMatchers | package matcher

Permalink

object ScalaCheckMatchers extends ScalaCheckMatchers

Linear Supertypes
ScalaCheckMatchers, Expectations, MatchResultStackTrace, CanBeEqual, ApplicableArbitraries, ResultLogicalCombinators, ResultPropertyImplicits, FunctionPropertyImplicits, CheckProperty, PropertiesCreation, ScalaCheckParameters, ConsoleOutput, Output, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ScalaCheckMatchers
  2. ScalaCheckMatchers
  3. Expectations
  4. MatchResultStackTrace
  5. CanBeEqual
  6. ApplicableArbitraries
  7. ResultLogicalCombinators
  8. ResultPropertyImplicits
  9. FunctionPropertyImplicits
  10. CheckProperty
  11. PropertiesCreation
  12. ScalaCheckParameters
  13. ConsoleOutput
  14. Output
  15. AnyRef
  16. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

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

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

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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    Definition Classes
    ApplicableArbitraries
  9. class CanBeEqualExpectation[T] extends AnyRef

    Permalink
    Definition Classes
    CanBeEqual
  10. class Descriptible[T] extends AnyRef

    Permalink
    Definition Classes
    Expectations
  11. class DisplayProperty extends AnyRef

    Permalink
    Definition Classes
    ScalaCheckParameters
  12. class FunctionForAll[T] extends AnyRef

    Permalink
    Definition Classes
    FunctionPropertyImplicits
  13. class FunctionForAll2[T1, T2] extends AnyRef

    Permalink
    Definition Classes
    FunctionPropertyImplicits
  14. class FunctionForAll3[T1, T2, T3] extends AnyRef

    Permalink
    Definition Classes
    FunctionPropertyImplicits
  15. class ResultLogicalCombinator extends AnyRef

    Permalink
    Definition Classes
    ResultLogicalCombinators
  16. class SetProperty extends AnyRef

    Permalink
    Definition Classes
    ScalaCheckParameters

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. implicit def applicableArbitrary[T](a: Arbitrary[T]): ApplicableArbitrary[T]

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

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

    Permalink
    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]

    Permalink
    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]

    Permalink
    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]

    Permalink
    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]

    Permalink
    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]

    Permalink
    Definition Classes
    ApplicableArbitraries
  12. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  13. implicit def booleanToProp(b: ⇒ Boolean): Prop

    Permalink
    Definition Classes
    ResultPropertyImplicits
  14. implicit def callByNameMatchResultToProp[T](m: ⇒ MatchResult[T]): Prop

    Permalink
    Definition Classes
    ResultPropertyImplicits
  15. implicit def canBeEqual[T](t: ⇒ T): CanBeEqualExpectation[T]

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

    Permalink

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

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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

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

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

    Permalink
    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

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

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

    Permalink

    execute a ScalaCheck property

    execute a ScalaCheck property

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

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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

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

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

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

    Permalink
    Definition Classes
    PropertiesCreation
  47. def collectData[T](t: T)(prop: Prop)(implicit params: Parameters): Prop

    Permalink

    collect data if the collect parameter is true

    collect data if the collect parameter is true

    Definition Classes
    PropertiesCreation
  48. def collectValues: Parameters

    Permalink

    shortcut to collect and display values

    shortcut to collect and display values

    Definition Classes
    ScalaCheckParameters
  49. def collectValuesAnd(showValues: (Set[Any]) ⇒ Set[Any]): Parameters

    Permalink

    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

    Permalink
    Definition Classes
    ResultLogicalCombinators
  51. implicit def combineProp(prop: ⇒ Prop)(implicit p: Parameters): ResultLogicalCombinator

    Permalink

    allow to combine properties as if they were results

    allow to combine properties as if they were results

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

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

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

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

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

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

    Permalink
    Definition Classes
    Expectations
  58. implicit def defaultParameters: Parameters

    Permalink

    default parameters.

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

    Definition Classes
    ScalaCheckParameters
  59. implicit def defaultPrettyParams: Params

    Permalink

    default parameters to display pretty messages

    default parameters to display pretty messages

    Definition Classes
    CheckProperty
  60. implicit def describe[T](t: ⇒ T): Descriptible[T]

    Permalink
    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

    Permalink

    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

    Permalink

    set specific execution parameters on a Property

    set specific execution parameters on a Property

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

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

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

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

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

    Permalink
    Definition Classes
    FunctionPropertyImplicits
  68. implicit def functionToProp[T](f: (T) ⇒ Boolean)(implicit a: Arbitrary[T], s: Shrink[T]): Prop

    Permalink

    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]

    Permalink

    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]

    Permalink

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

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef
  77. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  78. final def notifyAll(): Unit

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

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

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

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

    Permalink
    Definition Classes
    Output
  83. def prop[T, S](f: PartialFunction[T, S])(implicit toProp: (S) ⇒ Prop, a: Arbitrary[T], s: Shrink[T]): Prop

    Permalink

    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    Definition Classes
    PropertiesCreation
  91. def prop[T, R](result: (T) ⇒ R)(implicit toProp: (⇒ R) ⇒ Prop, a: Arbitrary[T], s: Shrink[T], p: Parameters): Prop

    Permalink

    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]

    Permalink

    implicit typeclass instance to create examples from Props

    implicit typeclass instance to create examples from Props

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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

    Permalink
    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

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

    Permalink
    Definition Classes
    PropertiesCreation
  102. implicit def propToProp(p: ⇒ Prop): Prop

    Permalink

    returns

    a Prop that will not throw an exception when evaluated

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

    Permalink
    Definition Classes
    ResultPropertyImplicits
  104. def sandboxMatchResult[T](mr: ⇒ MatchResult[T]): MatchResult[T]

    Permalink
    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

    Permalink

    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

    Permalink

    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]

    Permalink
    Attributes
    protected
    Definition Classes
    MatchResultStackTrace
  108. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  109. def toString(): String

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

    Permalink
    Definition Classes
    ResultPropertyImplicits
  111. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ScalaCheckMatchers

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