hedgehog-core/hedgehog.core/PropertyT

PropertyT

case class PropertyT[A](run: GenT[(Journal, Option[A])])
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def classify(name: LabelName, covered: A => Cover): PropertyT[A]

Records the proportion of tests which satisfy a given condition.

Records the proportion of tests which satisfy a given condition.

def collect: PropertyT[A]

Like 'label', but uses the toString value as the label.

Like 'label', but uses the toString value as the label.

def cover(minimum: CoverPercentage, name: LabelName, covered: A => Cover): PropertyT[A]

Records the proportion of tests which satisfy a given condition.

Records the proportion of tests which satisfy a given condition.

def flatMap[B](f: A => PropertyT[B]): PropertyT[B]
def label(name: LabelName): PropertyT[A]

Add a label for each test run. It produces a table showing the percentage of test runs that produced each label.

Add a label for each test run. It produces a table showing the percentage of test runs that produced each label.

def map[B](f: A => B): PropertyT[B]

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product