package mirage-protocols

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Ethernet layer
IP stack
ARP
UDP stack
TCP stack

mirage-protocols
- Mirage_protocols
  - ARP
  - Arp
  - ETHERNET
  - Ethernet
  - ICMP
  - ICMPV4
  - IP
  - IPV4
  - IPV6
  - Ip
  - Keepalive
  - TCP
  - Tcp
  - UDP

Legend:
Library
Module
Module type
Parameter
Class
Class type

MirageOS signatures for network protocols

v2.0.0

Ethernet layer

module Ethernet : sig ... end

module type ETHERNET = sig ... end

Ethernet (IEEE 802.3) is a widely used data link layer. The hardware is usually a twisted pair or fibre connection, on the software side it consists of an Ethernet header where source and destination mac addresses, and a type field, indicating the type of the next layer, are present. The Ethernet layer consists of network card mac address and MTU information, and provides decapsulation and encapsulation.

IP stack

module Ip : sig ... end

IP errors.

module type IP = sig ... end

An Internet Protocol (IP) stack reassembles IP fragments into packets, removes the IP header, and on the sending side fragments overlong payload and inserts IP headers.

ARP

module Arp : sig ... end

Arp error.

module type ARP = sig ... end

module type IPV4 = sig ... end

module type IPV6 = sig ... end

No Icmp module, as there are no exposed error polymorphic variants

module type ICMP = sig ... end

module type ICMPV4 = sig ... end

UDP stack

No Udp module, as there are no exposed error polymorphic variants

module type UDP = sig ... end

TCP stack

module Tcp : sig ... end

TCP errors.

module Keepalive : sig ... end

Configuration for TCP keep-alives. Keep-alive messages are probes sent on an idle connection. If no traffic is received after a certain number of probes are sent, then the connection is assumed to have been lost.

module type TCP = sig ... end

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