scalacheck-effect
scalacheck-effect copied to clipboard
typelevel
Effectful property testing built on ScalaCheck
ScalaCheck provides a small DSL for writing properties, consisting of syntax like: - implication (`p1 ==> p2`) - combining properties (`&&`, `||`, `==`, `all`, `atLeastOne`) - labeling (`p :| "label"`)...
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`
I was lead to this library by searching on Web how can I use ScalaCheck with async tests, in particular from https://github.com/typelevel/scalacheck/issues/214. The documentation says this is possible , saying:...
ScalaCheck supports this like so: ```scala scala> val p = Prop.forAll { (x: Int, y: Int) => (x + y) == (y + x) } val p: org.scalacheck.Prop = Prop...
Hello, today I tried using this lib, from the provided example: ```scala val p: PropF[IO] = PropF.forAllF { (x: Int) => IO(x).start.flatMap(_.join).map(res => assert(res == x)) } ``` but it...
## About this PR 📦 Updates [org.scalameta:scalafmt-core](https://github.com/scalameta/scalafmt) from `3.8.2` to `3.8.3` 📜 [GitHub Release Notes](https://github.com/scalameta/scalafmt/releases/tag/v3.8.3) - [Version Diff](https://github.com/scalameta/scalafmt/compare/v3.8.2...v3.8.3) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
![typelevel-steward[bot] avatar](https://avatars.githubusercontent.com/u/3731824?v=4 "typelevel-steward[bot] avatar"){kind=avatar}
This will link the randomness used by the code under test to ScalaCheck's seed, which should improve test repeatability. I didn't see a good place to introduce this instance; previously...
## About this PR 📦 Updates [org.typelevel:sbt-typelevel](https://github.com/typelevel/sbt-typelevel) from `0.7.1` to `0.7.2` 📜 [GitHub Release Notes](https://github.com/typelevel/sbt-typelevel/releases/tag/v0.7.2) - [Version Diff](https://github.com/typelevel/sbt-typelevel/compare/v0.7.1...v0.7.2) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...
## About this PR 📦 Updates [org.scala-sbt:sbt](https://github.com/sbt/sbt) from `1.10.0` to `1.10.1` 📜 [GitHub Release Notes](https://github.com/sbt/sbt/releases/tag/v1.10.1) - [Version Diff](https://github.com/sbt/sbt/compare/v1.10.0...v1.10.1) ## Usage ✅ **Please merge!** I'll automatically update this PR to resolve...