package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

Dune Dependency

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

Authors

A

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

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.async/Frenetic_async/OpenFlow0x01_Plugin/index.html

Module `Frenetic_async.OpenFlow0x01_Plugin`Source

Sourceval start : int -> unit

Sourceval events : Frenetic_kernel.OpenFlow.event Async.Pipe.Reader.t

Source

val switch_features : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_kernel.OpenFlow.switchFeatures option Async.Deferred.t

Source

val packet_out : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_kernel.OpenFlow.portId option ->
  Frenetic_kernel.OpenFlow.payload ->
  Frenetic_netkat.Syntax.policy list ->
  unit Async.Deferred.t

Source

val flow_stats : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_kernel.OpenFlow.Pattern.t ->
  Frenetic_kernel.OpenFlow.flowStats Async.Deferred.t

Source

val port_stats : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_kernel.OpenFlow.portId ->
  Frenetic_kernel.OpenFlow.portStats Async.Deferred.t

Sourceval update : Frenetic_netkat.Local_compiler.t -> unit Async.Deferred.t

Source

val update_switch : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_netkat.Local_compiler.t ->
  unit Async.Deferred.t

Sourcetype rpc_ack =

| RpcOk
| RpcEof

Sourcemodule LowLevel : sig ... end

package frenetic

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frenetic.async/Frenetic_async/OpenFlow0x01_Plugin/index.html

Module Frenetic_async.OpenFlow0x01_PluginSource

Module `Frenetic_async.OpenFlow0x01_Plugin`Source