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.  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 (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
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.  abstract class Seed extends Product with Serializable
17.  final class Shrink [A] extends AnyRef