Module type Validated_intf.Raw_binable

module type Raw_binable = sig .. end

type t

include Validated_intf.Raw

val validate_binio_deserialization : bool

validate_binio_deserialization controls whether when the binio representation of a value is deserialized, the resulting value is validated. Whether one needs to validate values upon deserialization depends on how serialization is being used. If one only ever serializes/deserializes so that the validation function is the same on both ends, then one need not validate upon deserialization, because only values that already pass the validation function can be serialized.

If the validation functions in the serializer and deserializer may be different, e.g. because of two different versions of the code compiled at different times, then it is possible to serialize a value that may fail validation upon deserialization. In that case, having validate_binio_deserialization = true is necessary to prevent creating values that don't pass the validation function.

val bin_t : t Bin_prot.Type_class.t

val bin_read_t : t Bin_prot.Read_ml.reader

val bin_read_t_ : t Bin_prot.Unsafe_read_c.reader

val bin_read_t__ : (int -> t) Bin_prot.Unsafe_read_c.reader

val bin_reader_t : t Bin_prot.Type_class.reader

val bin_size_t : t Bin_prot.Size.sizer

val bin_write_t : t Bin_prot.Write_ml.writer

val bin_write_t_ : t Bin_prot.Unsafe_write_c.writer

val bin_writer_t : t Bin_prot.Type_class.writer

validate_binio_deserialization controls whether when the binio representation of a value is deserialized, the resulting value is validated. Whether one needs to validate values upon deserialization depends on how serialization is being used. If one only ever serializes/deserializes so that the validation function is the same on both ends, then one need not validate upon deserialization, because only values that already pass the validation function can be serialized.

If the validation functions in the serializer and deserializer may be different, e.g. because of two different versions of the code compiled at different times, then it is possible to serialize a value that may fail validation upon deserialization. In that case, having validate_binio_deserialization = true is necessary to prevent creating values that don't pass the validation function.