object ScalaCheckEffectProperty
- Companion:
- class
Value members
Concrete methods
def makePropF[F[_], T](f: T => PropF[F], shrink: Option[Shrink[T]], parameters: Parameters)(using evidence$10: MonadThrow[F], a: Arbitrary[T], p: T => Pretty): PropF[F]
Givens
Givens
given ScalaCheckEffectPropertyAsExecution[F[_], S <: ScalaCheckEffectProperty[F]](using evidence$9: MonadThrow[F], x$1: AsExecution[F[Result]]): ScalaCheckEffectPropertyAsExecution[F, S]