scalaprops

Type Members

1. sealed abstract class :-:[+H, +T <: Or] extends Or

2. sealed abstract class AddArgs extends HasResult

3. sealed abstract class Arg extends AnyRef

4. abstract class AsProperty[A] extends AnyRef

5. final case class Bool extends Product with Serializable

6. final case class Check(prop: Property, paramEndo: Endo[Param] = Param.id) extends Product with Serializable

7. sealed abstract class CheckResult extends Product with Serializable

8. abstract class Choose[A] extends AnyRef

9. abstract class Cogen[A] extends AnyRef

10. abstract class CogenInstances extends AnyRef

11. sealed abstract class CogenInstances0 extends CogenInstances

12. final case class CogenState[A](rand: Rand, gen: Gen[A]) extends Product with Serializable

13. final class F2Polynomial extends AnyRef

14. final case class Gen[A] extends Product with Serializable

15. abstract class GenInstances extends AnyRef

16. sealed abstract class GenInstances0 extends GenInstances

17. sealed abstract class HasResult extends Result

18. sealed abstract class Inj[C <: Or, I] extends Serializable

19. final class MersenneTwister32 extends Rand

20. final class MersenneTwister64 extends Rand

21. sealed abstract class Or extends AnyRef

22. sealed abstract class OrConsInstances extends AnyRef

23. 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

24. final case class Properties[A] extends Product with Serializable

25. final case class Property(f: (Int, Rand) ⇒ (Rand, Result)) extends Product with Serializable

26. abstract class Rand extends AnyRef

27. sealed abstract class Result extends Product with Serializable

28. trait Scalaprops extends AnyRef

29. 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

30. class ScalapropsFramework extends Framework

31. abstract class ScalapropsListener extends AnyRef

32. final class ScalapropsRunner extends Runner

33. final class ScalazLaw extends AnyRef

34. final class Shrink[A] extends AnyRef

35. final case class TinyMT32(st0: Int, st1: Int, st2: Int, st3: Int, parameter: TinyMT32Parameter) extends Rand with Product with Serializable

36. final case class TinyMT32Parameter(characteristic: F2Polynomial, id: Int, mat1: Int, mat2: Int, tmat: Int, weight: Int, delta: Int) extends Product with Serializable