unidocs
0.23.25
API
Generated with
unidocs/org.http4s/org.http4s.laws/org.http4s.laws.discipline/LawAdapter

LawAdapter

org.http4s.laws.discipline.LawAdapter
See theLawAdapter companion object
trait LawAdapter

Attributes

Companion
object
Source
LawAdapter.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object LawAdapter.type

Members list

Value members

Concrete methods

def booleanPropF[F[_] : MonadThrow, A](propLabel: String, prop: => Boolean): (String, PropF[F])

Attributes

Source
LawAdapter.scala
def isEqPropF[F[_], A : Shrink, B : Eq](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])

Attributes

Source
LawAdapter.scala
Generated with