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.kernel/Frenetic_kernel/OpenFlow0x01/Action/index.html

Module `OpenFlow0x01.Action`Source

Sourcetype sequence = action list

Sourceval move_controller_last : sequence -> sequence

move_controller_last seq produces a semantically-equivalent list of actions with actions that send packets to the controller moved to the end. This works around a known bug in the OpenFlow reference switch where actions in an action sequence after a "send to controller" (Output (Controller n)) action are ignored.

Sourceval to_string : action -> string

Sourceval sequence_to_string : sequence -> string

Sourceval marshal : action -> Cstruct.t -> int

Sourceval parse : Cstruct.t -> action

Sourceval size_of : action -> int