Type Members

1.  sealed trait Cover extends AnyRef

   Whether a test is covered by a classifier, and therefore belongs to a Class

2.  case class CoverCount(toInt: Int) extends Product with Serializable

   The total number of tests which are covered by a classifier.

3.  case class CoverPercentage(toDouble: Double) extends Product with Serializable

   The relative number of tests which are covered by a classifier.

4.  case class Coverage[A](labels: Map[LabelName, Label[A]]) extends Product with Serializable
5.  case class DiscardCount(value: Int) extends Product with Serializable

   The number of tests a property had to discard.

6.  case class Error(value: Exception) extends Log with Product with Serializable
7.  case class Failed(shrinks: ShrinkCount, log: List[Log]) extends Status with Product with Serializable
8.  case class ForAll(name: Name, value: String) extends Log with Product with Serializable
9.  abstract class GenImplicits1 extends AnyRef
10.  abstract class GenImplicits2 extends GenImplicits1
11.  case class GenT[A](run: (Size, Seed) ⇒ Tree[(Seed, Option[A])]) extends Product with Serializable

    Generator for random values of A.

12.  case class Info(value: String) extends Log with Product with Serializable
13.  case class Journal(logs: List[Log], coverage: Coverage[Cover]) extends Product with Serializable

    A record containing the details of a test run.

14.  case class Label[A](name: LabelName, minimum: CoverPercentage, annotation: A) extends Product with Serializable

    The extent to which a test is covered by a classifier.

    The extent to which a test is covered by a classifier.

    _When a classifier's coverage does not exceed the required minimum, the test will be failed._

15.  case class LabelName(render: String) extends Product with Serializable

    The name of a classifier.

16.  sealed trait Log extends AnyRef
17.  trait MonadGenT[M[_]] extends AnyRef
18.  case class Name(value: String) extends Product with Serializable
19.  trait NumericPlus[A] extends AnyRef
20.  case class PropertyConfig(testLimit: SuccessCount, discardLimit: DiscardCount, shrinkLimit: ShrinkLimit) extends Product with Serializable
21.  class PropertyR[A] extends AnyRef

    A slightly different way to express a property, with the added benefit of exposing a pure "test".

    A slightly different way to express a property, with the added benefit of exposing a pure "test". This enables running the test with specific examples, either as a "golden" test or from the shell. Or both. The trade-off is that the A needs to be exposed/declared, and it's likely to be some horrible multi-value tuple.

22.  case class PropertyT[A](run: GenT[(Journal, Option[A])]) extends Product with Serializable
23.  trait PropertyTReporting extends AnyRef
24.  case class Report(tests: SuccessCount, discards: DiscardCount, coverage: Coverage[CoverCount], status: Status) extends Product with Serializable
25.  sealed trait Result extends AnyRef
26.  case class Seed(seed: MersenneTwister64) extends Product with Serializable
27.  case class ShrinkCount(value: Int) extends Product with Serializable

    The numbers of times a property was able to shrink after a failing test.

28.  case class ShrinkLimit(value: Int) extends Product with Serializable

    The number of shrinks to try before giving up on shrinking.

29.  sealed trait Status extends AnyRef

    The status of a property test run.

    The status of a property test run.

    In the case of a failure it provides the seed used for the test, the number of shrinks, and the execution log.

30.  case class SuccessCount(value: Int) extends Product with Serializable

    The number of tests a property ran successfully.

31.  case class Tree[A](value: A, children: Identity[LazyList[Tree[A]]]) extends Product with Serializable

    NOTE: This differs from the Haskell version by not having an effect on the Node for performance reasons.

    NOTE: This differs from the Haskell version by not having an effect on the Node for performance reasons. See haskell-difference.md for more information.

    FIXME The LazyList here is critical to avoid running extra tests during shrinking. The alternative might be something like: https://github.com/hedgehogqa/scala-hedgehog/compare/topic/issue-66-lazy-shrinking

32.  abstract class TreeImplicits1 extends AnyRef
33.  abstract class TreeImplicits2 extends TreeImplicits1
34.  trait XCompat extends AnyRef