org.specs2.scalacheck.effect
package org.specs2.scalacheck.effect
Type members
Classlikes
Implicits to convert PropF to AsResult and AsResult to PropF
Implicits to convert PropF to AsResult and AsResult to PropF
- Companion:
- object
trait ScalaCheckEffect extends ScalaCheckEffectPropertyCreation with ScalaCheckEffectPropertyCheck with ScalaCheckParameters with AsResultPropF with ScalaCheckEffectPropertyDsl with GenInstances
A ScalaCheckEffectFunction adds the possibility to select various typeclass instances for a given property:
A ScalaCheckEffectFunction adds the possibility to select various typeclass instances for a given property:
- Arbitrary to generate values
- Shrink to shrink counter-examples
- Show to display arguments in case of a counter-example
- Collector to collect values and provide a summary as string (to show frequencies for example)
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]
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]
case class ScalaCheckEffectFunction3[F[_], T1, T2, T3, R](execute: (T1, T2, T3) => F[R], argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], prettyFreqMap: FreqMap[Set[Any]] => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters)(using evidence$3: MonadThrow[F]) extends ScalaCheckEffectFunction[F]
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]
case class ScalaCheckEffectFunction5[F[_], T1, T2, T3, T4, T5, R](execute: (T1, T2, T3, T4, T5) => F[R], argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], argInstances5: ScalaCheckArgInstances[T5], prettyFreqMap: FreqMap[Set[Any]] => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters)(using evidence$5: MonadThrow[F]) extends ScalaCheckEffectFunction[F]
case class ScalaCheckEffectFunction6[F[_], T1, T2, T3, T4, T5, T6, R](execute: (T1, T2, T3, T4, T5, T6) => F[R], argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], argInstances5: ScalaCheckArgInstances[T5], argInstances6: ScalaCheckArgInstances[T6], prettyFreqMap: FreqMap[Set[Any]] => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters)(using evidence$6: MonadThrow[F]) extends ScalaCheckEffectFunction[F]
case class ScalaCheckEffectFunction7[F[_], T1, T2, T3, T4, T5, T6, T7, R](execute: (T1, T2, T3, T4, T5, T6, T7) => F[R], argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], argInstances5: ScalaCheckArgInstances[T5], argInstances6: ScalaCheckArgInstances[T6], argInstances7: ScalaCheckArgInstances[T7], prettyFreqMap: FreqMap[Set[Any]] => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters)(using evidence$7: MonadThrow[F]) extends ScalaCheckEffectFunction[F]
case class ScalaCheckEffectFunction8[F[_], T1, T2, T3, T4, T5, T6, T7, T8, R](execute: (T1, T2, T3, T4, T5, T6, T7, T8) => F[R], argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], argInstances5: ScalaCheckArgInstances[T5], argInstances6: ScalaCheckArgInstances[T6], argInstances7: ScalaCheckArgInstances[T7], argInstances8: ScalaCheckArgInstances[T8], prettyFreqMap: FreqMap[Set[Any]] => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters)(using evidence$8: MonadThrow[F]) extends ScalaCheckEffectFunction[F]
case class ScalaCheckEffectProp[F[_]](propF: PropF[F], parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty) extends ScalaCheckEffectProperty[F]
A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters
A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters
- Companion:
- object