package frenetic

  1. Overview
  2. Docs
The Frenetic Programming Language and Runtime System

Install

Dune Dependency

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

Authors

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

Maintainers

  1. N
    Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/Semantics/HeadersValues/Fields/Direct/index.html

Module Fields.DirectSource

Sourceval iter : t -> location: ((t, Syntax.location) Fieldslib.Field.t -> t -> Syntax.location -> unit) -> from: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> unit) -> abstractLoc: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> unit) -> ethSrc: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> unit) -> ethDst: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> unit) -> vlan: ((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.int16 -> unit) -> vlanPcp: ((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlVlanPcp -> unit) -> vswitch:((t, int64) Fieldslib.Field.t -> t -> int64 -> unit) -> vport:((t, int64) Fieldslib.Field.t -> t -> int64 -> unit) -> ethType: ((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlTyp -> unit) -> ipProto: ((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwProto -> unit) -> ipSrc: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> unit) -> ipDst: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> unit) -> tcpSrcPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> unit) -> tcpDstPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> unit) -> unit
Sourceval fold : t -> init:'acc__0 -> location: ('acc__0 -> (t, Syntax.location) Fieldslib.Field.t -> t -> Syntax.location -> 'acc__1) -> from: ('acc__1 -> (t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> 'acc__2) -> abstractLoc: ('acc__2 -> (t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> 'acc__3) -> ethSrc: ('acc__3 -> (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> 'acc__4) -> ethDst: ('acc__4 -> (t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> 'acc__5) -> vlan: ('acc__5 -> (t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.int16 -> 'acc__6) -> vlanPcp: ('acc__6 -> (t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlVlanPcp -> 'acc__7) -> vswitch:('acc__7 -> (t, int64) Fieldslib.Field.t -> t -> int64 -> 'acc__8) -> vport:('acc__8 -> (t, int64) Fieldslib.Field.t -> t -> int64 -> 'acc__9) -> ethType: ('acc__9 -> (t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlTyp -> 'acc__10) -> ipProto: ('acc__10 -> (t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwProto -> 'acc__11) -> ipSrc: ('acc__11 -> (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> 'acc__12) -> ipDst: ('acc__12 -> (t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> 'acc__13) -> tcpSrcPort: ('acc__13 -> (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> 'acc__14) -> tcpDstPort: ('acc__14 -> (t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> 'acc__15) -> 'acc__15
Sourceval for_all : t -> location: ((t, Syntax.location) Fieldslib.Field.t -> t -> Syntax.location -> bool) -> from: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> bool) -> abstractLoc: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> bool) -> ethSrc: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> bool) -> ethDst: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> bool) -> vlan: ((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.int16 -> bool) -> vlanPcp: ((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlVlanPcp -> bool) -> vswitch:((t, int64) Fieldslib.Field.t -> t -> int64 -> bool) -> vport:((t, int64) Fieldslib.Field.t -> t -> int64 -> bool) -> ethType: ((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlTyp -> bool) -> ipProto: ((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwProto -> bool) -> ipSrc: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> bool) -> ipDst: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> bool) -> tcpSrcPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> bool) -> tcpDstPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> bool) -> bool
Sourceval exists : t -> location: ((t, Syntax.location) Fieldslib.Field.t -> t -> Syntax.location -> bool) -> from: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> bool) -> abstractLoc: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> bool) -> ethSrc: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> bool) -> ethDst: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> bool) -> vlan: ((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.int16 -> bool) -> vlanPcp: ((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlVlanPcp -> bool) -> vswitch:((t, int64) Fieldslib.Field.t -> t -> int64 -> bool) -> vport:((t, int64) Fieldslib.Field.t -> t -> int64 -> bool) -> ethType: ((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlTyp -> bool) -> ipProto: ((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwProto -> bool) -> ipSrc: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> bool) -> ipDst: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> bool) -> tcpSrcPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> bool) -> tcpDstPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> bool) -> bool
Sourceval to_list : t -> location: ((t, Syntax.location) Fieldslib.Field.t -> t -> Syntax.location -> 'elem__) -> from: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> 'elem__) -> abstractLoc: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> 'elem__) -> ethSrc: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> 'elem__) -> ethDst: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> 'elem__) -> vlan: ((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.int16 -> 'elem__) -> vlanPcp: ((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlVlanPcp -> 'elem__) -> vswitch:((t, int64) Fieldslib.Field.t -> t -> int64 -> 'elem__) -> vport:((t, int64) Fieldslib.Field.t -> t -> int64 -> 'elem__) -> ethType: ((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlTyp -> 'elem__) -> ipProto: ((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwProto -> 'elem__) -> ipSrc: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> 'elem__) -> ipDst: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> 'elem__) -> tcpSrcPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> 'elem__) -> tcpDstPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> 'elem__) -> 'elem__ list
Sourceval map : t -> location: ((t, Syntax.location) Fieldslib.Field.t -> t -> Syntax.location -> Syntax.location) -> from: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> Syntax.abstract_location) -> abstractLoc: ((t, Syntax.abstract_location) Fieldslib.Field.t -> t -> Syntax.abstract_location -> Syntax.abstract_location) -> ethSrc: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> Frenetic_kernel.Packet.dlAddr) -> ethDst: ((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlAddr -> Frenetic_kernel.Packet.dlAddr) -> vlan: ((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.int16 -> Frenetic_kernel.Packet.int16) -> vlanPcp: ((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlVlanPcp -> Frenetic_kernel.Packet.dlVlanPcp) -> vswitch:((t, int64) Fieldslib.Field.t -> t -> int64 -> int64) -> vport:((t, int64) Fieldslib.Field.t -> t -> int64 -> int64) -> ethType: ((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.dlTyp -> Frenetic_kernel.Packet.dlTyp) -> ipProto: ((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwProto -> Frenetic_kernel.Packet.nwProto) -> ipSrc: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> Frenetic_kernel.Packet.nwAddr) -> ipDst: ((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.nwAddr -> Frenetic_kernel.Packet.nwAddr) -> tcpSrcPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> Frenetic_kernel.Packet.tpPort) -> tcpDstPort: ((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> t -> Frenetic_kernel.Packet.tpPort -> Frenetic_kernel.Packet.tpPort) -> t
Sourceval set_all_mutable_fields : t -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct