org.specs2.matcher

PropertiesCreation

trait PropertiesCreation extends AnyRef

Properties creation

Linear Supertypes
AnyRef, Any
Known Subclasses
OneExpectationPerProp, ScalaCheck, ScalaCheckMatchers, ScalaCheckMatchers
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. PropertiesCreation
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

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. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  25. def clone(): AnyRef

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

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

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

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

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

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

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

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

  33. def collectData[T](t: T)(prop: Prop)(implicit params: Parameters): Prop

    collect data if the collect parameter is true

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

    Definition Classes
    AnyRef

  35. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  36. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  38. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  39. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  41. final def notify(): Unit

    Definition Classes
    AnyRef

  42. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Definition Classes
    AnyRef

  62. def toString(): String

    Definition Classes
    AnyRef → Any

  63. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped