Apply a decoder to a source
Helper to apply an encoder to a value
Only accepts an empty list/tuple
Only accepts a 1-element list/tuple
Only accepts a 2-elements list/tuple
Only accepts a 3-elements list/tuple
Decode a serialized value
Encode a value into the serialization format 'into
'into
Map the decoded value
Decoder for records.
Encode a record, using the polymorphic record CConv.Encode.record_encoder to generate an association list
CConv.Encode.record_encoder
Fixpoint on record definition
record_get name dec l is a helper for decoding records.
record_get name dec l
Helper to report conversion errors.
Print values.
Decoder for sums.
Constant sums, only put the name
Fixpoint on sum types
Use CConv.Encode.string_target to print the value
CConv.Encode.string_target
Tuple decoder
General encoding of tuples (returns a list of values)