Make (hvsock.Hvsock_lwt.Flow.Make)

Parameters

module Fn : S.FN

module Socket_family : Hvsock.Af_common.S

Signature

type error = [

| `Unix of Unix.error

]

include Mirage_flow.S with type error := error

val pp_error : error Fmt.t

type nonrec write_error = private [>

| Mirage_flow.write_error

]

val pp_write_error : write_error Fmt.t

type flow

val read : flow -> (Cstruct.t Mirage_flow.or_eof, error) Stdlib.result Lwt.t

val write : flow -> Cstruct.t -> (unit, write_error) Stdlib.result Lwt.t

val writev : flow -> Cstruct.t list -> (unit, write_error) Stdlib.result Lwt.t

val shutdown : flow -> [ `read | `read_write | `write ] -> unit Lwt.t

val close : flow -> unit Lwt.t

module Socket : S.SOCKET with type sockaddr = Socket_family.sockaddr

val connect : ?message_size:int -> ?buffer_size:int -> Socket.t -> flow

Construct a flow given a hypervisor socket connection. ?message_size allows the maximum send/recv size to be limited. ?buffer_size controls how much buffering is placed over the socket.

Note the buffer handling of this flow is different to normal: `read` and `readv` will retain references to the passed buffers. They must not be used again by the calling application.

val read_into : 
  flow ->
  Cstruct.t ->
  (unit Mirage_flow.or_eof, error) Stdlib.result Lwt.t