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 Choose [A] extends AnyRef
9.  abstract class Cogen [A] extends AnyRef
10.  abstract class CogenInstances extends AnyRef
11.  sealed abstract class CogenInstances0 extends CogenInstances
12.  final case class CogenState [A](rand: Rand, gen: Gen[A]) extends Product with Serializable
13.  final class F2Polynomial extends AnyRef

14.  final case class Gen [A] extends Product with Serializable
15.  abstract class GenInstances extends AnyRef
16.  sealed abstract class GenInstances0 extends GenInstances
17.  sealed abstract class HasResult extends Result
18.  sealed abstract class Inj [C <: Or, I] extends Serializable
19.  final class MersenneTwister32 extends Rand
20.  final class MersenneTwister64 extends Rand
21.  sealed abstract class Or extends AnyRef
22.  sealed abstract class OrConsInstances extends AnyRef
23.  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
24.  final case class Properties [A] extends Product with Serializable
25.  final case class Property (f: (Int, Rand) ⇒ (Rand, Result)) extends Product with Serializable
26.  abstract class Rand extends AnyRef
27.  sealed abstract class Result extends Product with Serializable
28.  trait Scalaprops extends AnyRef
29.  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
30.  class ScalapropsFramework extends Framework
31.  abstract class ScalapropsListener extends AnyRef
32.  final class ScalapropsRunner extends Runner
33.  final class ScalazLaw extends AnyRef
34.  final class Shrink [A] extends AnyRef
35.  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.

36.  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.