package frenetic

  1. Overview
  2. Docs
The Frenetic Programming Language and Runtime System

Install 

dune-project
 Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

  1. A
    Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

  1. N
    Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.kernel/Frenetic_kernel/Net/index.html

Module Frenetic_kernel.NetSource

Sourcemodule SDN = OpenFlow
Sourcetype node =
  1. | Switch of SDN.switchId
  2. | Host of Packet.dlAddr * Packet.nwAddr
Sourceval sexp_of_node : node -> Ppx_sexp_conv_lib.Sexp.t
Sourceval node_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> node
Sourcemodule Node : sig ... end