- Companion
- class
Value members
Inherited methods
def booleanPropF[F[_], A](propLabel: String, prop: => Boolean)(implicit evidence$1: Effect[F]): (String, PropF[F])
- Inherited from
- LawAdapter
def isEqPropF[F[_], A, B](propLabel: String, prop: A => IsEq[F[B]])(implicit evidence$2: Effect[F], evidence$3: Arbitrary[A], evidence$4: Shrink[A], evidence$5: Eq[B]): (String, PropF[[A] =>> IO[A]])
- Inherited from
- LawAdapter