package hvsock

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

hvsock
- Hvsock
  - Af_common
    
    S
  - Af_hyperv
  - Af_vsock
  - Hyperkit
  - Socket
hvsock.lwt
- Hvsock_lwt
  - Buffering
    
    Histogram
    
    Make
    
    Fn
    
    RW
  - Cstructs
  - Flow
    
    Make
    
    Fn
    
    Socket
    
    Socket_family
  - Flow_shutdown
    
    Make
    
    Fn
    
    Socket
    
    Socket_family
  - In_main_thread
    
    MAIN
    
    Make
    
    Main
  - S
    
    FN
    
    SOCKET
  - Socket
    
    Make
    
    Fn
    
    Socket_family
hvsock.lwt-unix
- Hvsock_lwt_unix
  - Flow
    
    Socket
  - Flow_shutdown
    
    Socket
  - Preemptive_detach
  - Time

Legend:
Library
Module
Module type
Parameter
Class
Class type

A Mirage FLOW over a hypervisor socket with an additional protocol layer to workaround bugs where in-flight data is lost after a shutdown_write or a close.

Parameters

module Time : Mirage_time.S

module Fn : S.FN

module Socket_family : Hvsock.Af_common.S

Signature

type error = [

| `Unix of Unix.error

]

include Mirage_flow_combinators.SHUTDOWNABLE with type error := 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 close : flow -> unit Lwt.t

val shutdown_write : flow -> unit Lwt.t

Close the write direction of the flow, flushing any buffered data and causing future calls to read by the peer to return `Eof.

val shutdown_read : flow -> unit Lwt.t

Close the read direction of the flow, such that future calls to write by the peer will return `Eof

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

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

val connect : Socket.t -> flow