scalaprops
package
scalaprops
Type Members
-
sealed abstract
class
:-:[+H, +T <: Or] extends Or
-
-
sealed abstract
class
Arg extends AnyRef
-
final
case class
Arguments(only: Option[NonEmptyList[String]], showDuration: Int, param: ParamOpt) extends Product with Serializable
-
abstract
class
AsProperty[A] extends AnyRef
-
final
case class
Bool extends Product with Serializable
-
final
case class
Check(prop: Property, paramEndo: Endo[Param] = Param.id) extends Product with Serializable
-
sealed abstract
class
CheckResult extends Product with Serializable
-
abstract
class
Choose[A] extends AnyRef
-
abstract
class
Cogen[A] extends AnyRef
-
abstract
class
CogenInstances extends AnyRef
-
-
final
case class
CogenState[A](rand: Rand, gen: Gen[A]) extends Product with Serializable
-
final
class
F2Polynomial extends AnyRef
-
final
case class
Gen[A] extends Product with Serializable
-
abstract
class
GenInstances extends AnyRef
-
-
-
sealed abstract
class
HasResult extends Result
-
sealed abstract
class
Inj[C <: Or, I] extends Serializable
-
-
-
sealed abstract
class
Or extends AnyRef
-
sealed abstract
class
OrConsInstances extends AnyRef
-
final
case class
Param(seed: Seed, minSuccessful: Int = Platform.minSuccessful, maxDiscarded: Int = 500, minSize: Int = 0, maxSize: Int = Gen.defaultSize, timeout: Duration = ...) extends Product with Serializable
-
final
case class
ParamOpt(seed: Option[Seed], minSuccessful: Option[Int], maxDiscarded: Option[Int], minSize: Option[Int], maxSize: Option[Int], timeoutSeconds: Option[Int]) extends Product with Serializable
-
final
case class
Properties[A] extends Product with Serializable
-
final
case class
Property(f: (Int, Rand) ⇒ (Rand, Result)) extends Product with Serializable
-
abstract
class
Rand extends AnyRef
-
sealed abstract
class
Result extends Product with Serializable
-
trait
Scalaprops extends AnyRef
-
final
case class
ScalapropsEvent(fullyQualifiedName: String, fingerprint: Fingerprint, selector: Selector, status: Status, throwable: OptionalThrowable, duration: Long, result: \&/[Throwable, CheckResult]) extends Event with Product with Serializable
-
-
-
-
-
final
class
ScalazLaw extends AnyRef
-
abstract
class
Seed extends Product with Serializable
-
final
class
Shrink[A] extends AnyRef
-
abstract
class
TestExecutor extends AnyRef
-
final
case class
TinyMT32(st0: Int, st1: Int, st2: Int, st3: Int, parameter: TinyMT32Parameter) extends Rand with Product with Serializable
-
final
case class
TinyMT32Parameter(characteristic: F2Polynomial, id: Int, mat1: Int, mat2: Int, tmat: Int, weight: Int, delta: Int) extends Product with Serializable