Packages

object Prop extends Serializable

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. type FailedCase = String
  2. case class Falsified(failure: FailedCase, successes: SuccessCount) extends Result with Product with Serializable
  3. type MaxSize = Int
  4. sealed trait Result extends AnyRef
  5. type SuccessCount = Int
  6. type TestCases = Int

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. val ES: ExecutorService
  5. val S: Gen[ExecutorService]
  6. def apply(f: (TestCases, RNG) => Result): Prop
  7. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  8. def buildMsg[A](s: A, e: Exception): String
  9. def check(p: => Boolean): Prop
  10. def checkPar(p: Par[Boolean]): Prop
  11. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  12. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. def equal[A](p: Par[A], p2: Par[A]): Par[Boolean]
  14. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  15. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  16. def forAll[A](g: (Int) => Gen[A])(f: (A) => Boolean): Prop
  17. def forAll[A](g: SGen[A])(f: (A) => Boolean): Prop
  18. def forAll[A](as: Gen[A])(f: (A) => Boolean): Prop
  19. def forAllPar[A](g: Gen[A])(f: (A) => Par[Boolean]): Prop
  20. def forAllPar2[A](g: Gen[A])(f: (A) => Par[Boolean]): Prop
  21. def forAllPar3[A](g: Gen[A])(f: (A) => Par[Boolean]): Prop
  22. val forkProp: Prop
  23. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  24. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  25. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  26. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  29. val p1: Prop
  30. val p2: Prop
  31. val p3: Prop
  32. val p4: Prop
  33. val pint: Gen[Par[Int]]
  34. def randomStream[A](g: Gen[A])(rng: RNG): Stream[A]
  35. def run(p: Prop, maxSize: Int = 100, testCases: Int = 100, rng: RNG = RNG.Simple(System.currentTimeMillis)): Unit
  36. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  41. case object Passed extends Result with Product with Serializable
  42. case object Proved extends Result with Product with Serializable

Inherited from Serializable

Inherited from AnyRef

Inherited from Any

Ungrouped