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

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.kernel/Frenetic_kernel/OpenFlow0x04/Message/index.html

Module `OpenFlow0x04.Message`Source

Sourcetype t =

| Hello of element list
| EchoRequest of Cstruct.t
| EchoReply of Cstruct.t
| FeaturesRequest
| FeaturesReply of SwitchFeatures.t
| FlowModMsg of FlowMod.t
| GroupModMsg of GroupMod.t
| PortModMsg of PortMod.t
| MeterModMsg of MeterMod.t
| PacketInMsg of PacketIn.t
| FlowRemoved of FlowRemoved.t
| PacketOutMsg of PacketOut.t
| PortStatusMsg of PortStatus.t
| MultipartReq of MultipartReq.t
| MultipartReply of MultipartReply.t
| BarrierRequest
| BarrierReply
| RoleRequest of RoleRequest.t
| RoleReply of RoleRequest.t
| QueueGetConfigReq of QueueConfReq.t
| QueueGetConfigReply of QueueConfReply.t
| GetConfigRequestMsg
| GetConfigReplyMsg of SwitchConfig.t
| SetConfigMsg of SwitchConfig.t
| TableModMsg of TableMod.t
| GetAsyncRequest
| GetAsyncReply of AsyncConfig.t
| SetAsync of AsyncConfig.t
| Error of Error.t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

Sourceval t_of_sexp : Sexplib0__.Sexp.t -> t

Sourceval sexp_of_t : t -> Sexplib0__.Sexp.t

Sourceval sizeof : t -> int

Sourceval to_string : t -> string

to_string v pretty-prints v

Sourceval blit_message : t -> Cstruct.t -> int

Sourceval header_of : xid -> t -> OpenFlow_Header.t

Sourceval marshal : xid -> t -> string

Sourceval parse : OpenFlow_Header.t -> string -> xid * t

Sourceval marshal_body : t -> Cstruct.t -> unit