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

Module `Packet.Ip`Source

IPv4 frame of a packet.

Sourcetype tp =

| Tcp of Tcp.t
| Udp of Udp.t
| Icmp of Icmp.t
| Igmp of Igmp.t
| Unparsable of nwProto * Cstruct.t

The type tp represents packets at the transport protocol level, which are encapsulated within the IPv4 payload. At present, we only support TCP, UDP, ICMP and IGMP explicitly; otherwise, the raw bytes and IPv4 protocol number are provided.

Sourceval sexp_of_tp : tp -> Ppx_sexp_conv_lib.Sexp.t

Sourceval tp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tp

Sourcemodule Flags : sig ... end

Sourcetype t = {

tos : nwTos;
(*
Type of service.
*)
ident : int16;
(*
Identification.
*)
flags : Flags.t;
(*
IPv4 header flags.
*)
frag : int16;
(*
Fragment offset.
*)
ttl : int8;
(*
Time to live.
*)
chksum : int16;
(*
Header checksum.
*)
src : nwAddr;
(*
IP source address.
*)
dst : nwAddr;
(*
IP destination address.
*)
options : Cstruct.t;
(*
Uninterpreted IP options.
*)
tp : tp;
(*
Transport payload.
*)

}

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