airspec
API
Generated with
airspec/wvlet.airspec.spi/PropertyCheck

PropertyCheck

wvlet.airspec.spi.PropertyCheck
trait PropertyCheck extends Asserts

Attributes

Graph
Supertypes
trait Asserts
class Object
trait Matchable
class Any
Self type
AirSpecSpi

Members list

Concise view

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
Generated with