Consume.string t ~len
reads len
characters (all, by default) from t
into a new string and advances the lower bound of the window accordingly.
Consume.bin_prot X.bin_read_t t
returns the initial X.t
in t
, advancing past the bytes read.
type src
= (Core_kernel.read , seek ) t
To_bytes.blito ~src ~dst ~dst_pos ~src_len ()
reads src_len
bytes from src
, advancing src
's window accordingly, and writes them into dst
starting at dst_pos
. By default dst_pos = 0
and src_len = length src
. It is an error if dst_pos
and src_len
don't specify a valid region of dst
or if src_len >
length src
.
include Iobuf__.Iobuf_intf.Accessors_read with type ('a, 'r, 's) t = ([> Core_kernel.read ] as 'r, seek ) t -> 'a with type 'a bin_prot := 'a Bin_prot.Type_class.reader
include Iobuf__.Iobuf_intf.Accessors_common
type ('a, 'd, 'w) t
constraint 'd = [> Core_kernel.read ]
type 'a bin_prot
val char : (char, 'd , 'w ) t
val int64_t_be : (Core_kernel.Int64.t , 'd , 'w ) t
val int64_t_le : (Core_kernel.Int64.t , 'd , 'w ) t
val head_padded_fixed_string : padding:char -> len:int -> (string, 'd , 'w ) t
val tail_padded_fixed_string : padding:char -> len:int -> (string, 'd , 'w ) t
val string : str_pos:int -> len:int -> (string, 'd , 'w ) t
val bytes : str_pos:int -> len:int -> (Core_kernel.Bytes.t , 'd , 'w ) t
val bigstring : str_pos:int -> len:int -> (Core_kernel.Bigstring.t , 'd , 'w ) t
val stringo : ?str_pos:int -> ?len:int -> (string, 'd , 'w ) t
val byteso : ?str_pos:int -> ?len:int -> (Core_kernel.Bytes.t , 'd , 'w ) t
val bigstringo : ?str_pos:int -> ?len:int -> (Core_kernel.Bigstring.t , 'd , 'w ) t
val bin_prot : 'a bin_prot -> ('a , 'd , 'w ) t
val int8 : (int, 'd , 'w ) t
val int16_be : (int, 'd , 'w ) t
val int16_le : (int, 'd , 'w ) t
val int32_be : (int, 'd , 'w ) t
val int32_le : (int, 'd , 'w ) t
val int64_be_exn : (int, 'd , 'w ) t
val int64_le_exn : (int, 'd , 'w ) t
val int64_be_trunc : (int, 'd , 'w ) t
val int64_le_trunc : (int, 'd , 'w ) t
val uint8 : (int, 'd , 'w ) t
val uint16_be : (int, 'd , 'w ) t
val uint16_le : (int, 'd , 'w ) t
val uint32_be : (int, 'd , 'w ) t
val uint32_le : (int, 'd , 'w ) t
val uint64_be_exn : (int, 'd , 'w ) t
val uint64_le_exn : (int, 'd , 'w ) t