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. sealed abstract class HasResult extends Result

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

10. sealed abstract class Or extends AnyRef

11. sealed abstract class OrConsInstances extends AnyRef

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

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

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

15. sealed abstract class Result extends Product with Serializable

16. final class Shrink[A] extends AnyRef