5 Commits

Author	SHA1	Message	Date
Grégoire Henry	970305a455	Data_encoding: implements bounded lists and arrays	2018-06-12 21:27:55 +02:00
Grégoire Henry	89b6799fd6	Data_encoding: add combinator for positive big number	2018-05-25 14:41:27 +02:00
Grégoire Henry	2e9df07b0e	Data_encoding: add check_size	2018-05-24 15:43:15 +00:00
Grégoire Henry	72fc71be67	Data_encoding: rename Binary into Binary_writer	2018-05-24 15:43:15 +00:00
Grégoire Henry	aee6718148	Data_encoding: use CPS for the stream reader	2018-05-24 15:43:15 +00:00