specs2-scalacheck-effect/org.specs2.scalacheck.effect/ScalaCheckEffectFunction2

ScalaCheckEffectFunction2

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

Type members

Types

type SelfType = ScalaCheckEffectFunction2[F, T1, T2, R]

Value members

Concrete methods

def collectAllArgs(f1: T1 => Any, f2: T2 => Any): SelfType
def collectArg1(f: T1 => Any): SelfType
def collectArg2(f: T2 => Any): SelfType
def prepare(action: (T1, T2) => (T1, T2)): SelfType
def pretties(p1: T1 => String, p2: T2 => String): SelfType
def pretty1(p1: T1 => String): SelfType
def pretty2(p2: T2 => String): SelfType
def setArbitraries(a1: Arbitrary[T1], a2: Arbitrary[T2]): SelfType
def setArbitrary1(a1: Arbitrary[T1]): SelfType
def setArbitrary2(a2: Arbitrary[T2]): SelfType
def setContext(context: Context): SelfType
def setGen1(g1: Gen[T1]): SelfType
def setGen2(g2: Gen[T2]): SelfType
def setGens(g1: Gen[T1], g2: Gen[T2]): SelfType
def setParameters(ps: Parameters): SelfType
def setPretties(p1: T1 => Pretty, p2: T2 => Pretty): SelfType
def setPretty1(p1: T1 => Pretty): SelfType
def setPretty2(p2: T2 => 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 setShrinks(s1: Shrink[T1], s2: Shrink[T2]): 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 propFFunction: (T1, T2) => PropF[F]