Module Bin_prot.Read

type 'a reader = Common.buf -> pos_ref:Common.pos_ref -> 'a

Type of reader functions for the binary protocol. They take a buffer and a reference to a read position, and return the unmarshalled value. The next buffer position after reading in the value will be stored in the position reference.

type ('a, 'b) reader1 = 'a reader -> 'b reader
type ('a, 'b, 'c) reader2 = 'a reader -> ('b'c) reader1
type ('a, 'b, 'c, 'd) reader3 = 'a reader -> ('b'c'd) reader2
val bin_read_unit : unit reader
val bin_read_bool : bool reader
val bin_read_string : string reader
val bin_read_bytes : bytes reader
val bin_read_char : char reader
val bin_read_int : int reader
val bin_read_nat0 : Nat0.t reader
val bin_read_float : float reader
val bin_read_int32 : int32 reader
val bin_read_int64 : int64 reader
val bin_read_nativeint : nativeint reader
val bin_read_ref : ('a'a Stdlib.ref) reader1
val bin_read_lazy : ('a'a lazy_t) reader1
val bin_read_option : ('a'a option) reader1
val bin_read_pair : ('a'b'a * 'b) reader2
val bin_read_triple : ('a'b'c'a * 'b * 'c) reader3
val bin_read_list : ('a'a list) reader1
val bin_read_array : ('a'a array) reader1
val bin_read_hashtbl : ('a'b('a'b) Stdlib.Hashtbl.t) reader2
val bin_read_float32_vec : Common.vec32 reader
val bin_read_float64_vec : Common.vec64 reader
val bin_read_vec : Common.vec reader
val bin_read_float32_mat : Common.mat32 reader
val bin_read_float64_mat : Common.mat64 reader
val bin_read_mat : Common.mat reader
val bin_read_bigstring : Common.buf reader
val bin_read_float_array : float array reader
val bin_read_variant_int : int reader
val bin_read_int_8bit : int reader
val bin_read_int_16bit : int reader
val bin_read_int_32bit : int reader
val bin_read_int_64bit : int reader
val bin_read_int64_bits : int64 reader
val bin_read_network16_int : int reader
val bin_read_network32_int : int reader
val bin_read_network32_int32 : int32 reader
val bin_read_network64_int : int reader
val bin_read_network64_int64 : int64 reader
val bin_read_md5 : Md5_lib.t reader
val bin_read_list_with_max_len : max_len:int -> ('a'a list) reader1

Fail early if the list is larger than max_len.