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

   
   See also

   scalaprops.Bool

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 Cogen[A] extends AnyRef

   

9. abstract class CogenInstances extends AnyRef

   

10. sealed abstract class CogenInstances0 extends CogenInstances

    

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

    

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

    

13. abstract class GenInstances extends AnyRef

    

14. sealed abstract class GenInstances0 extends GenInstances

    

15. sealed abstract class HasResult extends Result

    

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

    

17. final class MersenneTwister32 extends Rand

    

18. final class MersenneTwister64 extends Rand

    

19. sealed abstract class Or extends AnyRef

    

20. sealed abstract class OrConsInstances extends AnyRef

    

21. final case class Param(rand: Rand, minSuccessful: Int = 100, maxDiscarded: Int = 500, minSize: Int = 0, maxSize: Int = Gen.defaultSize, timeout: Duration = Duration(30, TimeUnit.SECONDS)) extends Product with Serializable

    

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

    

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

    

24. abstract class Rand extends AnyRef

    

25. sealed abstract class Result extends Product with Serializable

    

26. trait Scalaprops extends AnyRef

    

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

    

28. class ScalapropsFramework extends Framework

    

29. abstract class ScalapropsListener extends AnyRef

    

30. final class ScalapropsRunner extends Runner

    

31. final class ScalazLaw extends AnyRef

    

32. final class Shrink[A] extends AnyRef