laws
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
/
EntityCodecLaws
EntityCodecLaws
trait
EntityCodecLaws
[F[_], A] extends
EntityEncoderLaws
[
F
,
A
]
Companion
object
Graph
Supertypes
trait
EntityEncoderLaws
[
F
,
A
]
class
Object
trait
Matchable
class
Any
Value members
Implicits
Value members
Concrete methods
def
entityCodecRoundTrip
(a:
A
):
IsEq
[
IO
[
Either
[
DecodeFailure
,
A
]]]
Inherited methods
def
accurateContentLengthIfDefined
(a:
A
):
IsEq
[
F
[
Boolean
]]
Inherited from
EntityEncoderLaws
def
noContentLengthInStaticHeaders
:
Boolean
Inherited from
EntityEncoderLaws
def
noTransferEncodingInStaticHeaders
:
Boolean
Inherited from
EntityEncoderLaws
Implicits
Implicits
implicit
def
F
:
Effect
[
F
]
implicit
def
decoder
:
EntityDecoder
[
F
,
A
]
implicit
def
encoder
:
EntityEncoder
[
F
,
A
]