Packages

object Prop extends Serializable

Source
Prop.scala
Linear Supertypes
Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Prop
  2. Serializable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. case class Arg[+T](label: String, arg: T, shrinks: Int, origArg: T, prettyArg: Pretty, prettyOrigArg: Pretty) extends Product with Serializable

    A property argument

  2. sealed case class Exception(e: Throwable) extends Status with Product with Serializable

    Evaluating the property raised an exception

  3. class ExtendedAny[T] extends AnyRef

    A collection of property operators on Any values.

    A collection of property operators on Any values. Import Prop.AnyOperators to make the operators available.

  4. class ExtendedBoolean extends AnyRef

    A collection of property operators on Boolean values.

    A collection of property operators on Boolean values. Import Prop.propBoolean to make the operators available. The availability of this class as an implicit via BooleanOperators was removed in 1.15.0.

  5. case class Result(status: Status, args: List[Arg[Any]] = Nil, collected: Set[Any] = Set.empty, labels: Set[String] = Set.empty) extends Product with Serializable

    The result of evaluating a property

  6. sealed trait Status extends AnyRef

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. def =?[T](x: T, y: T)(implicit pp: (T) => Pretty): Prop

    Create a property that compares two values.

    Create a property that compares two values. If the values aren't equal, the property will fail and report that second value doesn't match the expected (first) value.

  5. def ?=[T](x: T, y: T)(implicit pp: (T) => Pretty): Prop

    Create a property that compares two values.

    Create a property that compares two values. If the values aren't equal, the property will fail and report that first value doesn't match the expected (second) value.

  6. implicit def AnyOperators[T](x: => T)(implicit ev: (T) => Pretty): ExtendedAny[T]

    Implicit method that makes a number of property operators on values of type Any available in the current scope.

    Implicit method that makes a number of property operators on values of type Any available in the current scope. See Prop.ExtendedAny for documentation on the operators.

  7. def all(ps: Prop*): Prop

    Combines properties into one, which is true if and only if all the properties are true

  8. def apply(b: Boolean): Prop

    Create a property from a boolean value

  9. def apply(r: Result): Prop

    Create a property that returns the given result

  10. def apply(f: (Parameters) => Result): Prop

    Create a new property from the given function.

  11. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def atLeastOne(ps: Prop*): Prop

    Combines properties into one, which is true if at least one of the properties is true

  13. def classify(c: => Boolean, ifTrue: Any, ifFalse: Any)(prop: Prop): Prop

    Collect data for presentation in test report

  14. def classify(c: => Boolean, ifTrue: Any)(prop: Prop): Prop

    Collect data for presentation in test report

  15. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  16. def collect[T](t: T)(prop: Prop): Prop

    Collect data for presentation in test report

  17. def delay(p: => Prop): Prop

    Wraps a property to delay its evaluation.

    Wraps a property to delay its evaluation. The given parameter is evaluated each time the wrapper property is evaluated.

  18. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  19. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  20. def exception(e: Throwable): Prop

    A property that denotes an exception

  21. lazy val exception: Prop

    A property that denotes an exception

  22. def exists[A, P](g: Gen[A])(f: (A) => P)(implicit pv: (P) => Prop, pp: (A) => Pretty): Prop

    Existential quantifier for an explicit generator.

  23. def exists[A, P](f: (A) => P)(implicit pv: (P) => Prop, pp: (A) => Pretty, aa: Arbitrary[A]): Prop

    Existential quantifier for an explicit generator.

  24. lazy val falsified: Prop

    A property that always is false

  25. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  26. def forAll[A1, A2, A3, A4, A5, A6, A7, A8, P](f: (A1, A2, A3, A4, A5, A6, A7, A8) => P)(implicit p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) => Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) => Pretty, a7: Arbitrary[A7], s7: Shrink[A7], pp7: (A7) => Pretty, a8: Arbitrary[A8], s8: Shrink[A8], pp8: (A8) => Pretty): Prop

    Converts a function into a universally quantified property

  27. def forAll[A1, A2, A3, A4, A5, A6, A7, P](f: (A1, A2, A3, A4, A5, A6, A7) => P)(implicit p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) => Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) => Pretty, a7: Arbitrary[A7], s7: Shrink[A7], pp7: (A7) => Pretty): Prop

    Converts a function into a universally quantified property

  28. def forAll[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) => P)(implicit p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) => Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) => Pretty): Prop

    Converts a function into a universally quantified property

  29. def forAll[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) => P)(implicit p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) => Pretty): Prop

    Converts a function into a universally quantified property

  30. def forAll[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) => P)(implicit p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) => Pretty): Prop

    Converts a function into a universally quantified property

  31. def forAll[A1, A2, A3, P](f: (A1, A2, A3) => P)(implicit p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) => Pretty): Prop

    Converts a function into a universally quantified property

  32. def forAll[A1, A2, P](f: (A1, A2) => P)(implicit p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) => Pretty): Prop

    Converts a function into a universally quantified property

  33. def forAll[A1, P](f: (A1) => P)(implicit p: (P) => Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) => Pretty): Prop

    Converts a function into a universally quantified property

  34. def forAll[T1, T2, T3, T4, T5, T6, T7, T8, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7], g8: Gen[T8])(f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(implicit p: (P) => Prop, s1: Shrink[T1], pp1: (T1) => Pretty, s2: Shrink[T2], pp2: (T2) => Pretty, s3: Shrink[T3], pp3: (T3) => Pretty, s4: Shrink[T4], pp4: (T4) => Pretty, s5: Shrink[T5], pp5: (T5) => Pretty, s6: Shrink[T6], pp6: (T6) => Pretty, s7: Shrink[T7], pp7: (T7) => Pretty, s8: Shrink[T8], pp8: (T8) => Pretty): Prop

    Universal quantifier for eight explicit generators.

    Universal quantifier for eight explicit generators. Shrinks failed arguments with the default shrink function for the type

  35. def forAll[T1, T2, T3, T4, T5, T6, T7, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7])(f: (T1, T2, T3, T4, T5, T6, T7) => P)(implicit p: (P) => Prop, s1: Shrink[T1], pp1: (T1) => Pretty, s2: Shrink[T2], pp2: (T2) => Pretty, s3: Shrink[T3], pp3: (T3) => Pretty, s4: Shrink[T4], pp4: (T4) => Pretty, s5: Shrink[T5], pp5: (T5) => Pretty, s6: Shrink[T6], pp6: (T6) => Pretty, s7: Shrink[T7], pp7: (T7) => Pretty): Prop

    Universal quantifier for seven explicit generators.

    Universal quantifier for seven explicit generators. Shrinks failed arguments with the default shrink function for the type

  36. def forAll[T1, T2, T3, T4, T5, T6, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6])(f: (T1, T2, T3, T4, T5, T6) => P)(implicit p: (P) => Prop, s1: Shrink[T1], pp1: (T1) => Pretty, s2: Shrink[T2], pp2: (T2) => Pretty, s3: Shrink[T3], pp3: (T3) => Pretty, s4: Shrink[T4], pp4: (T4) => Pretty, s5: Shrink[T5], pp5: (T5) => Pretty, s6: Shrink[T6], pp6: (T6) => Pretty): Prop

    Universal quantifier for six explicit generators.

    Universal quantifier for six explicit generators. Shrinks failed arguments with the default shrink function for the type

  37. def forAll[T1, T2, T3, T4, T5, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5])(f: (T1, T2, T3, T4, T5) => P)(implicit p: (P) => Prop, s1: Shrink[T1], pp1: (T1) => Pretty, s2: Shrink[T2], pp2: (T2) => Pretty, s3: Shrink[T3], pp3: (T3) => Pretty, s4: Shrink[T4], pp4: (T4) => Pretty, s5: Shrink[T5], pp5: (T5) => Pretty): Prop

    Universal quantifier for five explicit generators.

    Universal quantifier for five explicit generators. Shrinks failed arguments with the default shrink function for the type

  38. def forAll[T1, T2, T3, T4, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4])(f: (T1, T2, T3, T4) => P)(implicit p: (P) => Prop, s1: Shrink[T1], pp1: (T1) => Pretty, s2: Shrink[T2], pp2: (T2) => Pretty, s3: Shrink[T3], pp3: (T3) => Pretty, s4: Shrink[T4], pp4: (T4) => Pretty): Prop

    Universal quantifier for four explicit generators.

    Universal quantifier for four explicit generators. Shrinks failed arguments with the default shrink function for the type

  39. def forAll[T1, T2, T3, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3])(f: (T1, T2, T3) => P)(implicit p: (P) => Prop, s1: Shrink[T1], pp1: (T1) => Pretty, s2: Shrink[T2], pp2: (T2) => Pretty, s3: Shrink[T3], pp3: (T3) => Pretty): Prop

    Universal quantifier for three explicit generators.

    Universal quantifier for three explicit generators. Shrinks failed arguments with the default shrink function for the type

  40. def forAll[T1, T2, P](g1: Gen[T1], g2: Gen[T2])(f: (T1, T2) => P)(implicit p: (P) => Prop, s1: Shrink[T1], pp1: (T1) => Pretty, s2: Shrink[T2], pp2: (T2) => Pretty): Prop

    Universal quantifier for two explicit generators.

    Universal quantifier for two explicit generators. Shrinks failed arguments with the default shrink function for the type

  41. def forAll[T1, P](g1: Gen[T1])(f: (T1) => P)(implicit p: (P) => Prop, s1: Shrink[T1], pp1: (T1) => Pretty): Prop

    Universal quantifier for an explicit generator.

    Universal quantifier for an explicit generator. Shrinks failed arguments with the default shrink function for the type

  42. def forAllNoShrink[A1, A2, A3, A4, A5, A6, A7, A8, P](f: (A1, A2, A3, A4, A5, A6, A7, A8) => P)(implicit pv: (P) => Prop, a1: Arbitrary[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], pp5: (A5) => Pretty, a6: Arbitrary[A6], pp6: (A6) => Pretty, a7: Arbitrary[A7], pp7: (A7) => Pretty, a8: Arbitrary[A8], pp8: (A8) => Pretty): Prop

    Converts a function into a universally quantified property

  43. def forAllNoShrink[A1, A2, A3, A4, A5, A6, A7, P](f: (A1, A2, A3, A4, A5, A6, A7) => P)(implicit pv: (P) => Prop, a1: Arbitrary[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], pp5: (A5) => Pretty, a6: Arbitrary[A6], pp6: (A6) => Pretty, a7: Arbitrary[A7], pp7: (A7) => Pretty): Prop

    Converts a function into a universally quantified property

  44. def forAllNoShrink[A1, A2, A3, A4, A5, A6, P](f: (A1, A2, A3, A4, A5, A6) => P)(implicit pv: (P) => Prop, a1: Arbitrary[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], pp5: (A5) => Pretty, a6: Arbitrary[A6], pp6: (A6) => Pretty): Prop

    Converts a function into a universally quantified property

  45. def forAllNoShrink[A1, A2, A3, A4, A5, P](f: (A1, A2, A3, A4, A5) => P)(implicit pv: (P) => Prop, a1: Arbitrary[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], pp4: (A4) => Pretty, a5: Arbitrary[A5], pp5: (A5) => Pretty): Prop

    Converts a function into a universally quantified property

  46. def forAllNoShrink[A1, A2, A3, A4, P](f: (A1, A2, A3, A4) => P)(implicit pv: (P) => Prop, a1: Arbitrary[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], pp3: (A3) => Pretty, a4: Arbitrary[A4], pp4: (A4) => Pretty): Prop

    Converts a function into a universally quantified property

  47. def forAllNoShrink[A1, A2, A3, P](f: (A1, A2, A3) => P)(implicit pv: (P) => Prop, a1: Arbitrary[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], pp2: (A2) => Pretty, a3: Arbitrary[A3], pp3: (A3) => Pretty): Prop

    Converts a function into a universally quantified property

  48. def forAllNoShrink[A1, A2, P](f: (A1, A2) => P)(implicit pv: (P) => Prop, a1: Arbitrary[A1], pp1: (A1) => Pretty, a2: Arbitrary[A2], pp2: (A2) => Pretty): Prop

    Converts a function into a universally quantified property

  49. def forAllNoShrink[A1, P](f: (A1) => P)(implicit pv: (P) => Prop, a1: Arbitrary[A1], pp1: (A1) => Pretty): Prop

    Converts a function into a universally quantified property

  50. def forAllNoShrink[T1, T2, T3, T4, T5, T6, T7, T8, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7], g8: Gen[T8])(f: (T1, T2, T3, T4, T5, T6, T7, T8) => P)(implicit p: (P) => Prop, pp1: (T1) => Pretty, pp2: (T2) => Pretty, pp3: (T3) => Pretty, pp4: (T4) => Pretty, pp5: (T5) => Pretty, pp6: (T6) => Pretty, pp7: (T7) => Pretty, pp8: (T8) => Pretty): Prop

    Universal quantifier for eight explicit generators.

    Universal quantifier for eight explicit generators. Does not shrink failed test cases.

  51. def forAllNoShrink[T1, T2, T3, T4, T5, T6, T7, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7])(f: (T1, T2, T3, T4, T5, T6, T7) => P)(implicit p: (P) => Prop, pp1: (T1) => Pretty, pp2: (T2) => Pretty, pp3: (T3) => Pretty, pp4: (T4) => Pretty, pp5: (T5) => Pretty, pp6: (T6) => Pretty, pp7: (T7) => Pretty): Prop

    Universal quantifier for seven explicit generators.

    Universal quantifier for seven explicit generators. Does not shrink failed test cases.

  52. def forAllNoShrink[T1, T2, T3, T4, T5, T6, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6])(f: (T1, T2, T3, T4, T5, T6) => P)(implicit p: (P) => Prop, pp1: (T1) => Pretty, pp2: (T2) => Pretty, pp3: (T3) => Pretty, pp4: (T4) => Pretty, pp5: (T5) => Pretty, pp6: (T6) => Pretty): Prop

    Universal quantifier for six explicit generators.

    Universal quantifier for six explicit generators. Does not shrink failed test cases.

  53. def forAllNoShrink[T1, T2, T3, T4, T5, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5])(f: (T1, T2, T3, T4, T5) => P)(implicit p: (P) => Prop, pp1: (T1) => Pretty, pp2: (T2) => Pretty, pp3: (T3) => Pretty, pp4: (T4) => Pretty, pp5: (T5) => Pretty): Prop

    Universal quantifier for five explicit generators.

    Universal quantifier for five explicit generators. Does not shrink failed test cases.

  54. def forAllNoShrink[T1, T2, T3, T4, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4])(f: (T1, T2, T3, T4) => P)(implicit p: (P) => Prop, pp1: (T1) => Pretty, pp2: (T2) => Pretty, pp3: (T3) => Pretty, pp4: (T4) => Pretty): Prop

    Universal quantifier for four explicit generators.

    Universal quantifier for four explicit generators. Does not shrink failed test cases.

  55. def forAllNoShrink[T1, T2, T3, P](g1: Gen[T1], g2: Gen[T2], g3: Gen[T3])(f: (T1, T2, T3) => P)(implicit p: (P) => Prop, pp1: (T1) => Pretty, pp2: (T2) => Pretty, pp3: (T3) => Pretty): Prop

    Universal quantifier for three explicit generators.

    Universal quantifier for three explicit generators. Does not shrink failed test cases.

  56. def forAllNoShrink[T1, T2, P](g1: Gen[T1], g2: Gen[T2])(f: (T1, T2) => P)(implicit p: (P) => Prop, pp1: (T1) => Pretty, pp2: (T2) => Pretty): Prop

    Universal quantifier for two explicit generators.

    Universal quantifier for two explicit generators. Does not shrink failed test cases.

  57. def forAllNoShrink[T1, P](g1: Gen[T1])(f: (T1) => P)(implicit pv: (P) => Prop, pp1: (T1) => Pretty): Prop

    Universal quantifier for an explicit generator.

    Universal quantifier for an explicit generator. Does not shrink failed test cases.

  58. def forAllShrink[T, P](g: Gen[T], shrink: (T) => Stream[T])(f: (T) => P)(implicit pv: (P) => Prop, pp: (T) => Pretty): Prop

    Universal quantifier for an explicit generator.

    Universal quantifier for an explicit generator. Shrinks failed arguments with the given shrink function

  59. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  60. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  61. def iff[T](x: T, f: PartialFunction[T, Prop]): Prop

    Property holds only if the given partial function is defined at x, and returns a property that holds

  62. def imply[T](x: T, f: PartialFunction[T, Prop]): Prop

    Implication with several conditions

  63. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  64. def lzy(p: => Prop): Prop

    Wraps a property lazily.

    Wraps a property lazily. The given parameter is only evaluated once, and not until the wrapper property is evaluated.

  65. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  66. def noneFailing[T](gs: Seq[Gen[T]]): Prop

    A property that holds iff none of the given generators fails generating a value

  67. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  68. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  69. lazy val passed: Prop

    A property that always is passed

  70. implicit def propBoolean(b: Boolean): Prop

    Implicit conversion of Boolean values to Prop values.

  71. def protect(p: => Prop): Prop

    Wraps and protects a property, delaying its evaluation and turning exceptions into test failures.

  72. lazy val proved: Prop

    A property that always is proved

  73. def secure[P](p: => P)(implicit ev: (P) => Prop): Prop

    Wraps and protects a property, turning exceptions thrown by the property into test failures.

  74. def sizedProp(f: (Int) => Prop): Prop

    A property that depends on the generator size

  75. def slideSeed(prms: Parameters): Parameters

  76. def someFailing[T](gs: Seq[Gen[T]]): Prop

    A property that holds if at least one of the given generators fails generating a value

  77. def startSeed(prms: Parameters): (Parameters, Seed)

    This handles situations where we have a starting seed in our parameters.

    This handles situations where we have a starting seed in our parameters.

    If we do, then we remove it from parameters and return it. If not, we create a new random seed. The new parameters from this method should be used with all the generation that this prop needs itself.

    Note that if this Prop needs to evaluate other Props (e.g. in forAll), you should make sure *not* to use the parameters returned from this method. We need for all Props evaluated by this one to behave deterministically if this Prop was given a seed. In that case you should use slideSeed to update the parameters.

  78. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  79. def throws[T <: Throwable](c: Class[T])(x: => Any): Boolean

    Returns true if the given statement throws an exception of the specified type

  80. def toString(): String
    Definition Classes
    AnyRef → Any
  81. lazy val undecided: Prop

    A property that never is proved or falsified

  82. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  83. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  84. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  85. def within(maximumMs: Long)(wrappedProp: => Prop): Prop

    Ensures that the property expression passed in completes within the given space of time.

  86. case object False extends Status with Product with Serializable

    The property was false

  87. case object Proof extends Status with Product with Serializable

    The property was proved

  88. case object True extends Status with Product with Serializable

    The property was true

  89. case object Undecided extends Status with Product with Serializable

    The property could not be falsified or proved

Deprecated Value Members

  1. def BooleanOperators(b: => Boolean): ExtendedBoolean

    Implicit method that makes a number of property operators on boolean values available in the current scope.

    Implicit method that makes a number of property operators on boolean values available in the current scope. See Prop.ExtendedBoolean for documentation on the operators.

    Annotations
    @deprecated
    Deprecated

    (Since version 1.14.1) Please import Prop.propBoolean instead

  2. def collect[T, P](f: (T) => P)(implicit ev: (P) => Prop): (T) => Prop

    Collect data for presentation in test report

    Collect data for presentation in test report

    Annotations
    @deprecated
    Deprecated

    (Since version 1.15.0) Use Prop.forAll(t => Prop.collect(t)(...)) instead of Prop.forAll(Prop.collect(t => ...))

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped