test/nyaya.test

nyaya.test

package nyaya.test

Type members

Classlikes

object DefaultSettings
trait Domain[A]
Companion
object
object Domain
Companion
class
final class DomainExt[A](d: Domain[A]) extends AnyVal
object Executor
Companion
class
trait Executor
Companion
object
final class GenExt[A](g: () => A) extends AnyVal
object PTest
final class PropExt[A](p: Prop[A]) extends AnyVal
object PropTest extends PropTestOps
object PropTestOps extends PropTestOps
Companion
class
trait PropTestOps
Companion
object
sealed abstract class Result[+A]
Companion
object
object Result
Companion
class
case class RunState[A](runs: Int, result: Result[A])
Companion
object
object RunState
Companion
class
final case class SampleSize(value: Int)

How many samples to generate. How many times each prop is tested.

How many samples to generate. How many times each prop is tested.

object Samples
case class Settings(executor: Executor, sizeDist: SizeDist, sampleSize: SampleSize, genSize: GenSize, seed: Option[Long], debug: Boolean, debugMaxLen: Int)
Companion
object
object Settings
Companion
class
object SingleThreadedExecutor extends Executor