package mirage-types

  1. Overview
  2. Docs
module type DEVICE = sig ... end

Device operations. Defines the functions to connect and disconnect any device

module type TIME = sig ... end

Time operations for cooperative threads.

module type RANDOM = sig ... end

Operations to generate entropy. This is currently a passthrough to the OCaml Random generator, and will be deprecated in V2 and turned into a proper DEVICE with blocking modes.

module type ENTROPY = sig ... end

A native entropy provider. *

module type CLOCK = sig ... end

Clock operations. Currently read-only to retrieve the time in various formats.

module type FLOW = sig ... end

A connection between endpoints.

module type CONSOLE = sig ... end

Text console input/output operations.

module type BLOCK = sig ... end

Operations on sector-addressible block devices, usually used for persistent storage

module type NETWORK = sig ... end

A network interface that serves Ethernet frames.

module type ETHIF = sig ... end

An Ethernet stack that parses frames from a network device and can associate them with IP address via ARP.

module type IPV4 = sig ... end

An IPv4 stack that parses Ethernet frames into IPv4 packets

module type UDPV4 = sig ... end

A UDPv4 stack that can send and receive datagrams.

module type TCPV4 = sig ... end

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

module type STACKV4 = sig ... end

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

module type CHANNEL = sig ... end

Type of a buffered byte-stream that is attached to an unbuffered flow (e.g. a TCPv4 connection).

module type FS = sig ... end

A filesystem module.

module type IO_PAGE = sig ... end

Memory allocation interface.

module type KV_RO = sig ... end

Static Key/value store.

OCaml

Innovation. Community. Security.