scalacheck-effect icon indicating copy to clipboard operation
scalacheck-effect copied to clipboard
verified publisher icon typelevel

Support DSL for generating PropF.Result values

Open mpilquist opened this issue 5 years ago • 2 comments

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

  • implication (p1 ==> p2)
  • combining properties (&&, ||, ==, all, atLeastOne)
  • labeling (p :| "label")

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

mpilquist avatar Aug 07 '20 12:08 mpilquist

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

rossabaker avatar Jul 02 '21 13:07 rossabaker

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?

kiendang avatar Aug 11 '23 08:08 kiendang