Up

Module New_group

Signature

type phantom = [
| `New_group
]
type -'rw t = (phantom, 'rw) t
val t_of_sexp : (Sexplib.Sexp.t -> 'rw) -> Sexplib.Sexp.t -> 'rw t
val sexp_of_t : ('rw -> Sexplib.Sexp.t) -> 'rw t -> Sexplib.Sexp.t
val message_type : char
val buffer_length : int
val of_iobuf_exn : ('rw, _) Core.Std.Iobuf.t -> 'rw t
val write : id:Probe_id.t -> spec:Probe_type.t -> name:string -> (Core.Std.read_write, _) Core.Std.Iobuf.t -> int
val create : id:Probe_id.t -> spec:Probe_type.t -> name:string -> (Core.Std.read_write, Core.Std.Iobuf.seek) Core.Std.Iobuf.t
val get_message_length : _ t -> int
val get_message_type : _ t -> char
val get_id : _ t -> Probe_id.t
val get_spec : _ t -> Probe_type.t
val get_name : _ t -> string
val get_name_zero : _ t -> ((Core.Std.read, Core.Std.Iobuf.no_seek) Core.Std.Iobuf.t -> safe_pos:int -> safe_len:int -> 'a) -> 'a
val set_id : (Core.Std.read_write, _) Core.Std.Iobuf.t -> Probe_id.t -> unit
val set_spec : (Core.Std.read_write, _) Core.Std.Iobuf.t -> Probe_type.t -> unit
val set_name : (Core.Std.read_write, _) Core.Std.Iobuf.t -> string -> unit

set_name_zero buf f a calls f on buf, with the window adjusted to where name is. Even though f is given a seekable buffer, it must move nothing except the lower bound of the window past the data it wrote.

val set_name_zero : (Core.Std.read_write, Core.Std.Iobuf.seek) Core.Std.Iobuf.t -> ('a -> (Core.Std.read_write, Core.Std.Iobuf.seek) Core.Std.Iobuf.t -> unit) -> 'a -> unit

set_name_zero buf f a calls f on buf, with the window adjusted to where name is. Even though f is given a seekable buffer, it must move nothing except the lower bound of the window past the data it wrote.

val to_sub_iobuf : 'rw t -> ('rw, Core.Std.Iobuf.seek) Core.Std.Iobuf.t
module Unpacked : sig .. end
val to_unpacked : 'rw t -> Unpacked.t
val of_unpacked : Unpacked.t -> 'rw t