PropertyR

class PropertyR[A](val gen: PropertyT[A], val test: A => Result)

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.

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.

Companion
object
class Object
trait Matchable
class Any

Value members

Concrete methods

Concrete fields

val gen: PropertyT[A]
val test: A => Result