package frenetic

  1. Overview
  2. Docs
package frenetic
Legend:
Library
Module
Module type
Parameter
Class
Class type
val 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
val 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
val 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
val 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
val 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
val 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
val set_all_mutable_fields : t -> unit