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 trait
object LawAdapter extends LawAdapter

Attributes

Companion
trait
Source
LawAdapter.scala
Graph
Supertypes
trait LawAdapter
class Object
trait Matchable
class Any
Self type
LawAdapter.type

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
LawAdapter
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

Inherited from:
LawAdapter
Source
LawAdapter.scala
Generated with