laws
0.23.19-RC1
laws
API
org.http4s.laws
EntityCodecLaws
EntityCodecLaws
EntityEncoderLaws
EntityEncoderLaws
HttpCodecLaws
HttpCodecLaws
org.http4s.laws.discipline
ArbitraryInstances
EntityCodecTests
EntityCodecTests
EntityEncoderTests
EntityEncoderTests
HttpCodecTests
HttpCodecTests
LawAdapter
LawAdapter
arbitrary
laws
/
org.http4s.laws.discipline
/
LawAdapter
LawAdapter
org.http4s.laws.discipline.LawAdapter$
See the
LawAdapter
companion trait
object
LawAdapter
extends
LawAdapter
Attributes
Companion:
trait
Source:
LawAdapter.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
LawAdapter
class
Object
trait
Matchable
class
Any
Self type
LawAdapter
.type
Clear all
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