balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Environment: add Data_encoding.check_size

Browse Source
This commit is contained in:
Marco Stronati 2018-06-13 16:49:02 +02:00 committed by Benjamin Canou
parent 8f5aecfc01
commit 0d136b0bd7
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/lib_protocol_environment/sigs/v1/data_encoding.mli
View File

@ -263,3 +263,9 @@ module Binary : sig
exception Write_error of write_error exception Write_error of write_error
end end
(** [check_size size encoding] ensures that the binary encoding
of a value will not be allowed to exceed [size] bytes. The reader
and the writer fails otherwise. This function do not modify
the JSON encoding. *)
val check_size : int -> 'a encoding -> 'a encoding