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. final case class Arguments(only: Option[NonEmptyList[String]], showDuration: Int) extends Product with Serializable

5. abstract class AsProperty[A] extends AnyRef

6. final case class Bool extends Product with Serializable

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

8. sealed abstract class CheckResult extends Product with Serializable

9. abstract class Choose[A] extends AnyRef

10. abstract class Cogen[A] extends AnyRef

11. abstract class CogenInstances extends AnyRef

12. sealed abstract class CogenInstances0 extends CogenInstances

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

14. final class F2Polynomial extends AnyRef

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

16. abstract class GenInstances extends AnyRef

17. sealed abstract class GenInstances0 extends GenInstances1

18. abstract class GenInstances1 extends GenInstances

19. sealed abstract class HasResult extends Result

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

21. final class MersenneTwister32 extends Rand

22. final class MersenneTwister64 extends Rand

23. sealed abstract class Or extends AnyRef

24. sealed abstract class OrConsInstances extends AnyRef

25. final case class Param(rand: Rand, minSuccessful: Int = Platform.minSuccessful, maxDiscarded: Int = 500, minSize: Int = 0, maxSize: Int = Gen.defaultSize, timeout: Duration = ...) extends Product with Serializable

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

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

28. abstract class Rand extends AnyRef

29. sealed abstract class Result extends Product with Serializable

30. trait Scalaprops extends AnyRef

    Annotations

    @JSExportDescendentObjects()

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

32. class ScalapropsFramework extends Framework

33. abstract class ScalapropsListener extends AnyRef

34. final class ScalapropsRunner extends Runner

35. final class ScalapropsTaskImpl extends Task

36. final class ScalazLaw extends AnyRef

37. final class Shrink[A] extends AnyRef

38. abstract class TestExecutor extends AnyRef

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

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