scalaprops
package
scalaprops
Type Members
-
sealed abstract
class
:-:[+H, +T <: Or] extends Or
-
-
sealed abstract
class
Arg extends AnyRef
-
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
Cogen[A] extends AnyRef
-
abstract
class
CogenInstances extends AnyRef
-
-
final
case class
CogenState[A](rand: Rand, gen: Gen[A]) extends Product with Serializable
-
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(rand: Rand, minSuccessful: Int = 100, maxDiscarded: Int = 500, minSize: Int = 0, maxSize: Int = Gen.defaultSize, timeout: Duration = ...) 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
-
final
class
Shrink[A] extends AnyRef