package
test
Type Members
-
trait
Baggy[H[_]] extends AnyRef
-
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
-
case class
DistinctEndo[A](ds: NonEmptyList[DistinctFn[A, A]]) extends DistinctFn[A, A] with Product with Serializable
-
sealed
trait
DistinctFn[A, B] extends AnyRef
-
trait
Domain[A] extends AnyRef
-
final
class
DomainExt[A] extends AnyVal
-
final
case class
Error[A](a: A, e: Throwable) extends Result[A] with Product with Serializable
-
trait
Executor extends AnyRef
-
final
case class
Falsified[A](a: A, f: Eval) extends Result[A] with Product with Serializable
-
class
Gen[A] extends AnyRef
-
final
class
GenExt[A] extends AnyVal
-
class
GenS[A] extends Gen[A]
-
final
case class
GenSize(value: Int) extends Product with Serializable
-
final
class
PropExt[A] extends AnyVal
-
-
sealed abstract
class
Result[+A] extends AnyRef
-
implicit final
class
RngExt[A] extends AnyVal
-
case class
RunState[A](runs: Int, result: Result[A]) extends Product with Serializable
-
final
case class
SampleSize(value: Int) extends Product with Serializable
-
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
-
-
-
object
Distinct extends Serializable
-
-
-
object
Gen
-
-
-
-
object
Proved extends Result[Nothing] with Product with Serializable
-
-
object
RunState extends Serializable
-
object
Satisfied extends Result[Nothing] with Product with Serializable
-
object
Settings extends Serializable
-
Inherited from AnyRef
Inherited from Any