package mirage-types

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Single network stack

A complete TCP/IPv4 stack that can be used by applications to receive and transmit network traffic.

type console

Abstract type of a console logger.

type netif

Abstract type of a network interface that is used to transmit and receive traffic associated with this stack.

type mode

Abstract type of the configuration modes associated with this interface. These can consist of the IPv4 address binding, or a DHCP interface.

type ('a, 'b, 'c) config = ('a, 'b, 'c) stackv4_config

Abstract type for the collection of user configuration specified to construct a stack.

type ipv4addr = Ipaddr.V4.t

Abstract type of an IPv4 address

type buffer = Cstruct.t

Abstract type for a memory buffer that may not be page aligned.

type error = [

| `Unknown of string

]

I/O operation errors

include V1.DEVICE
  with type error := error
   and type id = (console, netif, mode) config
  with type 'a io = 'a Lwt.t

type 'a io = 'a Lwt.t

A potentially blocking I/O operation

type t

The type representing the internal state of the device

type id = (console, netif, mode) config

Type defining an identifier for this device that uniquely identifies it among a device tree.

val id : t -> id

Return the identifier that was used to construct this device

val connect : id -> [ `Error of error | `Ok of t ] io

Connect to the device identified by id

val disconnect : t -> unit io

Disconnect from the device. While this might take some time to complete, it can never result in an error.

module UDPV4 : 
  V1.UDPV4
    with type +'a io = 'a io
     and type ipv4addr = ipv4addr
     and type buffer = buffer

A UDPv4 stack that can send and receive datagrams.

module TCPV4 : 
  V1.TCPV4
    with type +'a io = 'a io
     and type ipv4addr = ipv4addr
     and type buffer = buffer

A TCPv4 stack that can send and receive reliable streams using the TCP protocol.

val listen_udpv4 : t -> port:int -> UDPV4.callback -> unit

listen_udpv4 t ~port cb will register the cb callback on the UDPv4 port and immediately return. Multiple bindings to the same port will overwrite previous bindings, so callbacks will not chain if ports clash.

val listen_tcpv4 : t -> port:int -> TCPV4.callback -> unit

listen_tcpv4 t ~port cb will register the cb callback on the TCPv4 port and immediately return. Multiple bindings to the same port will overwrite previous bindings, so callbacks will not chain if ports clash.

val listen : t -> unit io

listen t will cause the stack to listen for traffic on the network interface associated with the stack, and demultiplex traffic to the appropriate callbacks.