Module Frenetic_async.Ox.Platform

Platform defines functions for sending OpenFlow messages to switches and wrapping thunks with timeouts.

val send_packet_out : Frenetic_kernel.OpenFlow0x01.switchId ‑> Frenetic_kernel.OpenFlow0x01.xid ‑> Frenetic_kernel.OpenFlow0x01.packetOut ‑> unit
val send_flow_mod : Frenetic_kernel.OpenFlow0x01.switchId ‑> Frenetic_kernel.OpenFlow0x01.xid ‑> Frenetic_kernel.OpenFlow0x01.flowMod ‑> unit
val send_stats_request : Frenetic_kernel.OpenFlow0x01.switchId ‑> Frenetic_kernel.OpenFlow0x01.xid ‑> Frenetic_kernel.OpenFlow0x01.request ‑> unit
val send_barrier_request : Frenetic_kernel.OpenFlow0x01.switchId ‑> Frenetic_kernel.OpenFlow0x01.xid ‑> unit
val timeout : float ‑> (unit ‑> unit) ‑> unit