laws/org.http4s.laws.discipline/LawAdapter

LawAdapter

trait LawAdapter
Companion
object
class Object
trait Matchable
class Any
object LawAdapter

Value members

Concrete methods

def booleanPropF[F[_], A](propLabel: String, prop: => Boolean)(`evidence$1`: Effect[F]): (String, PropF[F])
def isEqPropF[F[_], A, B](propLabel: String, prop: A => IsEq[F[B]])(`evidence$2`: Effect[F], `evidence$3`: Arbitrary[A], `evidence$4`: Shrink[A], `evidence$5`: Eq[B]): (String, PropF[[A] =>> IO[A]])