trait LawAdapter
- Companion
- object
Value members
Concrete methods
def booleanPropF[F[_], A](propLabel: String, prop: => Boolean)(implicit evidence$1: MonadThrow[F]): (String, PropF[F])
def isEqPropF[F[_], A, B](propLabel: String, prop: A => IsEq[F[B]])(implicit evidence$2: Arbitrary[A], evidence$3: Shrink[A], evidence$4: Eq[B], F: MonadThrow[F]): (String, PropF[F])