package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

val switch_connected : 
  Frenetic_kernel.OpenFlow0x01.switchId ->
  Frenetic_kernel.OpenFlow0x01.SwitchFeatures.t ->
  unit

switch_connected sw is a callback invoked with sw when a switch with identifer sw connects to the controller.

val switch_disconnected : Frenetic_kernel.OpenFlow0x01.switchId -> unit

switch_disconnected sw is a callback invoked with sw when a switch with identifer sw disconnects from the controller.

val packet_in : 
  Frenetic_kernel.OpenFlow0x01.switchId ->
  Frenetic_kernel.OpenFlow0x01.xid ->
  Frenetic_kernel.OpenFlow0x01.packetIn ->
  unit

packet_in sw xid pkt is a callback invoked when a packet pkt with transaction ID xid from switch sw arrives at the controller.

val barrier_reply : 
  Frenetic_kernel.OpenFlow0x01.switchId ->
  Frenetic_kernel.OpenFlow0x01.xid ->
  unit

barrier_reply sw xid is a callback invoked when a barrier reply with transaction ID xid from switch sw arrives at the controller.

val stats_reply : 
  Frenetic_kernel.OpenFlow0x01.switchId ->
  Frenetic_kernel.OpenFlow0x01.xid ->
  Frenetic_kernel.OpenFlow0x01.reply ->
  unit

stats_reply sw xid rep is a callback invoked when switch sw responds with a reply rep to a statistics request with transaction ID xid.

val cleanup : unit -> unit

cleanup is called when an exception stops the running of the main controller loop.