Up

Module Make ()

Parameters

Signature

type seek = Iobuf_intf.seek
val sexp_of_seek : seek -> Sexplib.Sexp.t
type no_seek = Iobuf_intf.no_seek
val sexp_of_no_seek : no_seek -> Sexplib.Sexp.t
type ('data_perm_read_write, 'seek_permission) t = ('data_perm_read_write, 'seek_permission) Iobuf.t
val sexp_of_t : ('data_perm_read_write -> Sexplib.Sexp.t) -> ('seek_permission -> Sexplib.Sexp.t) -> ('data_perm_read_write, 'seek_permission) t -> Sexplib.Sexp.t
val create : len:int -> ('a, 'b) t
val of_bigstring : ?pos:int -> ?len:int -> Core_kernel.Std.Bigstring.t -> ([<
| Core_kernel.Std.read_write
], 'a) t
val of_string : string -> ('a, 'b) t
val sub_shared : ?pos:int -> ?len:int -> ('d, 'a) t -> ('d, 'b) t
val set_bounds_and_buffer : src:( ([>
| Core_kernel.Std.write
] as 'a) , 'b) t -> dst:('a, seek) t -> unit
val set_bounds_and_buffer_sub : ?pos:int -> ?len:int -> src:( ([>
| Core_kernel.Std.write
] as 'a) , 'b) t -> dst:('a, seek) t -> unit -> unit
val read_only : ([>
| Core_kernel.Std.read
], 's) t -> (Core_kernel.Std.read, 's) t
val no_seek : ('r, 'a) t -> ('r, no_seek) t
val capacity : ('a, 'b) t -> int
val length : ('a, 'b) t -> int
val is_empty : ('a, 'b) t -> bool
val narrow : ('a, seek) t -> unit
val narrow_lo : ('a, seek) t -> unit
val narrow_hi : ('a, seek) t -> unit
module type Bound = sig .. end
val advance : ('a, seek) t -> int -> unit
val unsafe_advance : ('a, seek) t -> int -> unit
val resize : ('a, seek) t -> len:int -> unit
val unsafe_resize : ('a, seek) t -> len:int -> unit
val rewind : ('a, seek) t -> unit
val reset : ('a, seek) t -> unit
val flip_lo : ('a, seek) t -> unit
val bounded_flip_lo : ('a, seek) t -> Lo_bound.t -> unit
val compact : (Core_kernel.Std.read_write, seek) t -> unit
val bounded_compact : (Core_kernel.Std.read_write, seek) t -> Lo_bound.t -> Hi_bound.t -> unit
val flip_hi : ('a, seek) t -> unit
val bounded_flip_hi : ('a, seek) t -> Hi_bound.t -> unit
val protect_window_and_bounds : ('rw, no_seek) t -> f:(('rw, seek) t -> 'a) -> 'a
val to_string : ?len:int -> ([>
| Core_kernel.Std.read
], 'a) t -> string
val to_string_hum : ?bounds:[
| `Limits
| `Whole
| `Window
] -> ([>
| Core_kernel.Std.read
], 'a) t -> string
module Fill = Iobuf.Fill
module Peek = Iobuf.Peek
module Poke = Iobuf.Poke
module Unsafe = Iobuf.Unsafe
val crc32 : ([>
| Core_kernel.Std.read
], 'a) t -> Core_kernel.Std.Int63.t
module Blit = Iobuf.Blit
type ok_or_eof = Iobuf.ok_or_eof =
| Ok
| Eof
val sexp_of_ok_or_eof : ok_or_eof -> Sexplib.Sexp.t
val compare_ok_or_eof : ok_or_eof -> ok_or_eof -> int
val read_assume_fd_is_nonblocking : ([>
| Core_kernel.Std.write
], seek) t -> Iobuf_intf.Unix.File_descr.t -> Syscall_result.Unit.t
val pread_assume_fd_is_nonblocking : ([>
| Core_kernel.Std.write
], seek) t -> Iobuf_intf.Unix.File_descr.t -> offset:int -> unit
val recvfrom_assume_fd_is_nonblocking : ([>
| Core_kernel.Std.write
], seek) t -> Iobuf_intf.Unix.File_descr.t -> Iobuf_intf.Unix.sockaddr
val output : ([>
| Core_kernel.Std.read
], seek) t -> Core_kernel.Std.Out_channel.t -> unit
val write : ([>
| Core_kernel.Std.read
], seek) t -> Iobuf_intf.Unix.File_descr.t -> unit
val write_assume_fd_is_nonblocking : ([>
| Core_kernel.Std.read
], seek) t -> Iobuf_intf.Unix.File_descr.t -> unit
val pwrite_assume_fd_is_nonblocking : ([>
| Core_kernel.Std.read
], seek) t -> Iobuf_intf.Unix.File_descr.t -> offset:int -> unit
module Expert = Iobuf.Expert
val check_invariant : bool Core_kernel.Std.ref
val show_messages : bool Core_kernel.Std.ref