laws
1.0.0-M36
laws
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
trait
LawAdapter
Companion:
object
Source:
LawAdapter.scala
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
object
LawAdapter
.type
Value members
Value members
Concrete methods
def
booleanPropF
[
F
[
_
] :
MonadThrow
,
A
](
propLabel:
String
,
prop:
=>
Boolean
): (
String
,
PropF
[
F
])
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
])
Source:
LawAdapter.scala