Codec for use with decode_value . This is the decoder corresponding to Encoder . See that one for more details.