EncoderLaws
laws
EncoderTests
discipline
emptyUniqueness
OptionalLaws
encode
EncoderLaws
encoded
CodecValue
IllegalValue
LegalValue
encoder
EncoderLaws
EncoderTests
eq
equality
equality
discipline