laws
0.23.17
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 object
trait
LawAdapter
Attributes
Companion:
object
Source:
LawAdapter.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
object
LawAdapter
.type
Clear all
Members list
Concise view
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