specs2-scalacheck-effect/org.specs2.scalacheck.effect/ScalaCheckEffectFunction1

ScalaCheckEffectFunction1

case
class ScalaCheckEffectFunction1[F[_], T, R](execute: T => F[R], arbitrary: Arbitrary[T], shrink: Option[Shrink[T]], collectors: List[T => Any], pretty: T => Pretty, prettyFreqMap: FreqMap[Set[Any]] => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters)(using evidence$1: MonadThrow[F]) extends ScalaCheckEffectFunction[F]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Types

Value members

Concrete methods

def collectArg(f: T => Any): SelfType
def prepare(action: T => T): SelfType
def pretty(pretty: T => String): SelfType
def setArbitrary(arbitrary: Arbitrary[T]): SelfType
def setContext(context: Context): SelfType
def setGen(gen: Gen[T]): SelfType
def setParameters(ps: Parameters): SelfType
def setPretty(pretty: T => Pretty): SelfType
def setPrettyFreqMap(f: FreqMap[Set[Any]] => Pretty): SelfType
def setSeed(seed: Seed): SelfType
def setSeed(seed: String): SelfType
def setShrink(shrink: Shrink[T]): 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: T => PropF[F]