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: List[String], showDuration: Int, param: ParamOpt) extends Product with Serializable

   

5. abstract class AsProperty[A] extends AnyRef

   
   See also

   scalaprops.Bool

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. sealed abstract class CheckResultError extends Product with Serializable

   

10. abstract class Choose[A] extends AnyRef

    

11. abstract class Cogen[A] extends AnyRef

    

12. abstract class CogenInstances extends CogenInstances1

    

13. sealed abstract class CogenInstances0 extends CogenInstances

    

14. abstract class CogenInstances1 extends AnyRef

    

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

    

16. final class F2Polynomial extends AnyRef

    

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

    

18. abstract class GenInstances extends GenInstances2

    

19. sealed abstract class GenInstances0 extends GenInstances1

    

20. abstract class GenInstances1 extends GenInstances

    

21. abstract class GenInstances2 extends AnyRef

    

22. sealed abstract class HasResult extends Result

    

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

    

24. final class Lazy[A] extends AnyRef

    

25. final class MersenneTwister32 extends Rand

    

26. final class MersenneTwister64 extends Rand

    

27. sealed abstract class Or extends AnyRef

    

28. sealed abstract class OrConsInstances extends AnyRef

    

29. final case class Param(seed: Seed, minSuccessful: Int = Platform.minSuccessful, maxDiscarded: Int = 500, minSize: Int = 0, maxSize: Int = Gen.defaultSize, timeout: Duration = Duration(30, TimeUnit.SECONDS)) extends Product with Serializable

    

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

    

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

    

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

    

33. abstract class Rand extends AnyRef

    

34. sealed abstract class Result extends Product with Serializable

    

35. trait Scalaprops extends AnyRef

    

    Annotations

    @EnableReflectiveInstantiation()

36. final class ScalapropsEvent extends Event

    

37. class ScalapropsFramework extends Framework

    

38. abstract class ScalapropsListener extends AnyRef

    

39. final class ScalapropsRunner extends Runner

    

40. sealed abstract class ScalapropsScalaz0 extends ScalapropsScalaz1

    

41. abstract class ScalapropsScalaz1 extends AnyRef

    

42. final class ScalapropsTaskImpl extends Task

    

43. final class ScalazLaw extends AnyRef

    

44. abstract class Seed extends Product with Serializable

    

45. final class Shrink[A] extends AnyRef

    

46. abstract class TestExecutor extends AnyRef

    

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

    
    parameter

    parameters for this generator.

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

    
    characteristic

    characteristic polynomial.

    id

    ID of TinyMT32.

    mat1

    parameter mat1 of TinyMT32.

    mat2

    parameter mat2 of TinyMT32.

    tmat

    parameter tmat of TinyMT32.

    weight

    Hamming weight of characteristic polynomial.

    delta

    Delta of TinyMT.