specs2-scalacheck-effect/org.specs2.scalacheck.effect/ScalaCheckEffectFunction4

ScalaCheckEffectFunction4

case class ScalaCheckEffectFunction4[F[_], T1, T2, T3, T4, R](execute: (T1, T2, T3, T4) => F[R], argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], prettyFreqMap: FreqMap[Set[Any]] => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters)(using evidence$4: MonadThrow[F]) extends ScalaCheckEffectFunction[F]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Types

type SelfType = ScalaCheckEffectFunction4[F, T1, T2, T3, T4, R]

Value members

Concrete methods

def collectAllArgs(f1: T1 => Any, f2: T2 => Any, f3: T3 => Any, f4: T4 => Any): SelfType
def collectArg1(f: T1 => Any): SelfType
def collectArg2(f: T2 => Any): SelfType
def collectArg3(f: T3 => Any): SelfType
def collectArg4(f: T4 => Any): SelfType
def prepare(action: (T1, T2, T3, T4) => (T1, T2, T3, T4)): SelfType
def pretties(p1: T1 => String, p2: T2 => String, p3: T3 => String, p4: T4 => String): SelfType
def pretty1(p1: T1 => String): SelfType
def pretty2(p2: T2 => String): SelfType
def pretty3(p3: T3 => String): SelfType
def pretty4(p4: T4 => String): SelfType
def setArbitraries(a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4]): SelfType
def setArbitrary1(a1: Arbitrary[T1]): SelfType
def setArbitrary2(a2: Arbitrary[T2]): SelfType
def setArbitrary3(a3: Arbitrary[T3]): SelfType
def setArbitrary4(a4: Arbitrary[T4]): SelfType
def setContext(context: Context): SelfType
def setGen1(g1: Gen[T1]): SelfType
def setGen2(g2: Gen[T2]): SelfType
def setGen3(g3: Gen[T3]): SelfType
def setGen4(g4: Gen[T4]): SelfType
def setGens(g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4]): SelfType
def setParameters(ps: Parameters): SelfType
def setPretties(p1: T1 => Pretty, p2: T2 => Pretty, p3: T3 => Pretty, p4: T4 => Pretty): SelfType
def setPretty1(p1: T1 => Pretty): SelfType
def setPretty2(p2: T2 => Pretty): SelfType
def setPretty3(p3: T3 => Pretty): SelfType
def setPretty4(p4: T4 => Pretty): SelfType
def setPrettyFreqMap(f: FreqMap[Set[Any]] => Pretty): SelfType
def setSeed(seed: Seed): SelfType
def setSeed(seed: String): SelfType
def setShrink1(s1: Shrink[T1]): SelfType
def setShrink2(s2: Shrink[T2]): SelfType
def setShrink3(s3: Shrink[T3]): SelfType
def setShrink4(s4: Shrink[T4]): SelfType
def setShrinks(s1: Shrink[T1], s2: Shrink[T2], s3: Shrink[T3], s4: Shrink[T4]): SelfType

Inherited methods

def display(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): SelfType
def prettyFreqMap(f: FreqMap[Set[Any]] => String): SelfType
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
def set(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): SelfType

Concrete fields

lazy val propF: PropF[F]
lazy val propFunction: (T1, T2, T3, T4) => PropF[F]