Support DSL for generating PropF.Result values

typelevel / scalacheck-effect

Effectful property testing built on ScalaCheck

Apache License 2.0

81 stars 24 forks source link

Open mpilquist opened 4 years ago

mpilquist commented 4 years ago

ScalaCheck provides a small DSL for writing properties, consisting of syntax like:

Which of these should we support? All, none, some?

rossabaker commented 3 years ago

I just wanted ==> and :| whilst trying to eliminate some unsafeRunSync().

kiendang commented 1 year ago

I would like to use these with scalacheck-effect as well @rossabaker would you mind if I make a PR here porting over Banno/vault4s#225?