package test

Linear Supertypes
AnyRef, Any
  1. Alphabetic
  2. By inheritance
  1. test
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
  1. Public
  2. All

Type Members

  1. trait Baggy[H[_]] extends AnyRef

  2. case class Distinct[A, X, H[_], Y, Z, B](fixer: Fixer[X, H, Y, Z], t: (A) ⇒ ((X) ⇒ State[H[Y], Z]) ⇒ State[H[Y], B])(implicit evidence$1: Baggy[H]) extends DistinctFn[A, B] with Product with Serializable

  3. case class DistinctEndo[A](ds: NonEmptyList[DistinctFn[A, A]]) extends DistinctFn[A, A] with Product with Serializable

  4. sealed trait DistinctFn[A, B] extends AnyRef

  5. trait Domain[A] extends AnyRef

  6. final class DomainExt[A] extends AnyVal

  7. final case class Error[A](a: A, e: Throwable) extends Result[A] with Product with Serializable

  8. trait Executor extends AnyRef

  9. final case class Falsified[A](a: A, f: Eval) extends Result[A] with Product with Serializable

  10. class Gen[A] extends AnyRef

  11. final class GenExt[A] extends AnyVal

  12. class GenS[A] extends Gen[A]

  13. final case class GenSize(value: Int) extends Product with Serializable

  14. final class PropExt[A] extends AnyVal

  15. trait PropTestOps extends AnyRef

  16. sealed abstract class Result[+A] extends AnyRef

  17. implicit final class RngExt[A] extends AnyVal

  18. case class RunState[A](runs: Int, result: Result[A]) extends Product with Serializable

  19. final case class SampleSize(value: Int) extends Product with Serializable

  20. case class Settings(executor: Executor = SingleThreadedExecutor, sizeDist: SizeDist = ..., sampleSize: SampleSize = SampleSize.apply(100), genSize: GenSize = GenSize.apply(40), seed: Option[Long] = scala.None, debug: Boolean = false, debugMaxLen: Int = 200) extends Product with Serializable

Value Members

  1. object Baggy

  2. object DefaultSettings

  3. object Distinct extends Serializable

  4. object Domain

  5. object Executor

  6. object Gen

  7. object PTest

  8. object PropTest extends PropTestOps

  9. object PropTestOps extends PropTestOps

  10. object Proved extends Result[Nothing] with Product with Serializable

  11. object Result

  12. object RunState extends Serializable

  13. object Satisfied extends Result[Nothing] with Product with Serializable

  14. object Settings extends Serializable

  15. object SingleThreadedExecutor extends Executor

Inherited from AnyRef

Inherited from Any