unidocs
0.23.18
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
unidocs/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
class Object
trait Matchable
class Any
Self type

Members list

Concise view

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
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL