Prop.forall needs A ⇒ Prop[B]
japgolly opened this issue · comments
def forall[A, F[_] : Foldable, B](f: A => F[B], lb: Prop[B]): Prop[A]should be
def forall[A, F[_] : Foldable, B](f: A => F[B])(p: A => Prop[B]): Prop[A]Random Data Generation and/or Property Testing in Scala & Scala.JS.
japgolly opened this issue · comments
def forall[A, F[_] : Foldable, B](f: A => F[B], lb: Prop[B]): Prop[A]should be
def forall[A, F[_] : Foldable, B](f: A => F[B])(p: A => Prop[B]): Prop[A]