package mirage-types
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.