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/index.html

Module `Frenetic_kernel`Source

Sourcemodule Bits : sig ... end

Bit manipulation for integers

Sourcemodule GroupTable0x04 : sig ... end

Sourcemodule Hashcons : sig ... end

Sourcemodule Net : sig ... end

Sourcemodule Network : sig ... end

Sourcemodule OpenFlow : sig ... end

A uniform interface to OpenFlow 1.0 and 1.3.

Sourcemodule OpenFlow0x01 : sig ... end

Sourcemodule OpenFlow0x04 : sig ... end

Sourcemodule OpenFlow_Header : sig ... end

The first fields of every OpenFlow message, no matter what the version, have the same shape. This is unlikely to change in subsequent OpenFlow versions because there needs to be some standard way to determine the version of each message. So we define that here.

Sourcemodule Packet : sig ... end

Library for constructing, marshaling and parsing data packets. These packets are independent of OpenFlow message information - they are mostly used for the payloads of PacketIn and PacketOut messages.

Sourcemodule Topology : sig ... end

Sourcemodule Util : sig ... end

Utility functions for Frenetic_kernel. These are used in multiple modules and don't have an obvious home type.