search

typelevel / scalacheck-effect

Effectful property testing built on ScalaCheck
Apache License 2.0
81 stars 24 forks source link

Support scalatest mixins #27

Open Daenyth opened 3 years ago

Daenyth commented 3 years ago

To help this be a better drop-in upgrade from scalatest-scalacheck, it would help to have mixins that provide forAll helpers in the style of ScalaCheckPropertyChecks

mpilquist commented 3 years ago

I personally prefer the mixin style but didn't want scalacheck-effect to diverge from the syntax used by munit-scalacheck. If there was a mixin trait in munit-scalacheck that provided the various forAll definitions, I'd have no problem adding a similar forAllF mixin to this project.

Daenyth commented 3 years ago

If it was restricted to a scalacheck-effect-scalatest package, would that help?

mpilquist commented 3 years ago

I don't think so, as we'd still have the same disparity between forAll and forAllF. Given that ScalaTest doesn't support forAllF at all, I think what you're really after is a forAll mixin for vanilla Prop values.

Note source compatibility is generally just an import away -- import org.scalacheck.Prop.forAll

lacarvalho91 commented 1 year ago

i've been looking into how to use scalacheck in scalatest for properties that return an effect, i came across https://gist.github.com/mpilquist/7dd30a44ca2a7fe0cd494d9b04e4f661#file-eff-scala from yourself @mpilquist

is that not what we're after in this issue?