EncoderLaws
laws
EncoderTests
discipline
either
GenCodecValue
encode
EncoderLaws
GenCodecValue
encoded
CodecValue
IllegalValue
LegalValue
encoder
EncoderLaws
EncoderTests
eq
equality
equality
discipline