airspec/wvlet.airspec.spi/PropertyCheck

PropertyCheck

trait PropertyCheck extends Asserts
trait Asserts
class Object
trait Matchable
class Any
AirSpecSpi

Value members

Concrete methods

protected
def forAll[A1, U](checker: A1 => U)(implicit a1: Arbitrary[A1], s1: Shrink[A1], pp1: A1 => Pretty): Unit
protected
def forAll[A1, U](gen: Gen[A1])(checker: A1 => U)(implicit s1: Shrink[A1], pp1: A1 => Pretty): Unit
protected
def forAll[A1, A2, U](checker: (A1, A2) => U)(implicit a1: Arbitrary[A1], s1: Shrink[A1], pp1: A1 => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: A2 => Pretty): Unit
protected
def forAll[A1, A2, U](g1: Gen[A1], g2: Gen[A2])(checker: (A1, A2) => U)(implicit s1: Shrink[A1], pp1: A1 => Pretty, s2: Shrink[A2], pp2: A2 => Pretty): Unit
protected
def forAll[A1, A2, A3, U](checker: (A1, A2, A3) => U)(implicit a1: Arbitrary[A1], s1: Shrink[A1], pp1: A1 => Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: A2 => Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: A3 => Pretty): Unit
protected
def scalaCheckConfig: Parameters