package frenetic
The Frenetic Programming Language and Runtime System
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29
doc/frenetic.netkat/Frenetic_netkat/Semantics/HeadersValues/Fields/index.html
Module HeadersValues.FieldsSource
Source
val fold :
init:'acc__0 ->
location:('acc__0 -> (t, Syntax.location) Fieldslib.Field.t -> 'acc__1) ->
from:('acc__1 -> (t, Syntax.abstract_location) Fieldslib.Field.t -> 'acc__2) ->
abstractLoc:
('acc__2 -> (t, Syntax.abstract_location) Fieldslib.Field.t -> 'acc__3) ->
ethSrc:
('acc__3 ->
(t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ->
'acc__4) ->
ethDst:
('acc__4 ->
(t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ->
'acc__5) ->
vlan:
('acc__5 -> (t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> 'acc__6) ->
vlanPcp:
('acc__6 ->
(t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ->
'acc__7) ->
vswitch:('acc__7 -> (t, int64) Fieldslib.Field.t -> 'acc__8) ->
vport:('acc__8 -> (t, int64) Fieldslib.Field.t -> 'acc__9) ->
ethType:
('acc__9 ->
(t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ->
'acc__10) ->
ipProto:
('acc__10 ->
(t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ->
'acc__11) ->
ipSrc:
('acc__11 ->
(t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ->
'acc__12) ->
ipDst:
('acc__12 ->
(t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ->
'acc__13) ->
tcpSrcPort:
('acc__13 ->
(t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ->
'acc__14) ->
tcpDstPort:
('acc__14 ->
(t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ->
'acc__15) ->
'acc__15Source
val make_creator :
location:
((t, Syntax.location) Fieldslib.Field.t ->
'acc__0 ->
('input__ -> Syntax.location) * 'acc__1) ->
from:
((t, Syntax.abstract_location) Fieldslib.Field.t ->
'acc__1 ->
('input__ -> Syntax.abstract_location) * 'acc__2) ->
abstractLoc:
((t, Syntax.abstract_location) Fieldslib.Field.t ->
'acc__2 ->
('input__ -> Syntax.abstract_location) * 'acc__3) ->
ethSrc:
((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ->
'acc__3 ->
('input__ -> Frenetic_kernel.Packet.dlAddr) * 'acc__4) ->
ethDst:
((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ->
'acc__4 ->
('input__ -> Frenetic_kernel.Packet.dlAddr) * 'acc__5) ->
vlan:
((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ->
'acc__5 ->
('input__ -> Frenetic_kernel.Packet.int16) * 'acc__6) ->
vlanPcp:
((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ->
'acc__6 ->
('input__ -> Frenetic_kernel.Packet.dlVlanPcp) * 'acc__7) ->
vswitch:
((t, int64) Fieldslib.Field.t -> 'acc__7 -> ('input__ -> int64) * 'acc__8) ->
vport:
((t, int64) Fieldslib.Field.t -> 'acc__8 -> ('input__ -> int64) * 'acc__9) ->
ethType:
((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ->
'acc__9 ->
('input__ -> Frenetic_kernel.Packet.dlTyp) * 'acc__10) ->
ipProto:
((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ->
'acc__10 ->
('input__ -> Frenetic_kernel.Packet.nwProto) * 'acc__11) ->
ipSrc:
((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ->
'acc__11 ->
('input__ -> Frenetic_kernel.Packet.nwAddr) * 'acc__12) ->
ipDst:
((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ->
'acc__12 ->
('input__ -> Frenetic_kernel.Packet.nwAddr) * 'acc__13) ->
tcpSrcPort:
((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ->
'acc__13 ->
('input__ -> Frenetic_kernel.Packet.tpPort) * 'acc__14) ->
tcpDstPort:
((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ->
'acc__14 ->
('input__ -> Frenetic_kernel.Packet.tpPort) * 'acc__15) ->
'acc__0 ->
('input__ -> t) * 'acc__15Source
val create :
location:Syntax.location ->
from:Syntax.abstract_location ->
abstractLoc:Syntax.abstract_location ->
ethSrc:Frenetic_kernel.Packet.dlAddr ->
ethDst:Frenetic_kernel.Packet.dlAddr ->
vlan:Frenetic_kernel.Packet.int16 ->
vlanPcp:Frenetic_kernel.Packet.dlVlanPcp ->
vswitch:int64 ->
vport:int64 ->
ethType:Frenetic_kernel.Packet.dlTyp ->
ipProto:Frenetic_kernel.Packet.nwProto ->
ipSrc:Frenetic_kernel.Packet.nwAddr ->
ipDst:Frenetic_kernel.Packet.nwAddr ->
tcpSrcPort:Frenetic_kernel.Packet.tpPort ->
tcpDstPort:Frenetic_kernel.Packet.tpPort ->
tSource
val map :
location:((t, Syntax.location) Fieldslib.Field.t -> Syntax.location) ->
from:
((t, Syntax.abstract_location) Fieldslib.Field.t ->
Syntax.abstract_location) ->
abstractLoc:
((t, Syntax.abstract_location) Fieldslib.Field.t ->
Syntax.abstract_location) ->
ethSrc:
((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ->
Frenetic_kernel.Packet.dlAddr) ->
ethDst:
((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t ->
Frenetic_kernel.Packet.dlAddr) ->
vlan:
((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t ->
Frenetic_kernel.Packet.int16) ->
vlanPcp:
((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t ->
Frenetic_kernel.Packet.dlVlanPcp) ->
vswitch:((t, int64) Fieldslib.Field.t -> int64) ->
vport:((t, int64) Fieldslib.Field.t -> int64) ->
ethType:
((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t ->
Frenetic_kernel.Packet.dlTyp) ->
ipProto:
((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t ->
Frenetic_kernel.Packet.nwProto) ->
ipSrc:
((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ->
Frenetic_kernel.Packet.nwAddr) ->
ipDst:
((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t ->
Frenetic_kernel.Packet.nwAddr) ->
tcpSrcPort:
((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ->
Frenetic_kernel.Packet.tpPort) ->
tcpDstPort:
((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t ->
Frenetic_kernel.Packet.tpPort) ->
tSource
val iter :
location:((t, Syntax.location) Fieldslib.Field.t -> unit) ->
from:((t, Syntax.abstract_location) Fieldslib.Field.t -> unit) ->
abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t -> unit) ->
ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> unit) ->
ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> unit) ->
vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> unit) ->
vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> unit) ->
vswitch:((t, int64) Fieldslib.Field.t -> unit) ->
vport:((t, int64) Fieldslib.Field.t -> unit) ->
ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> unit) ->
ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> unit) ->
ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> unit) ->
ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> unit) ->
tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> unit) ->
tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> unit) ->
unitSource
val for_all :
location:((t, Syntax.location) Fieldslib.Field.t -> bool) ->
from:((t, Syntax.abstract_location) Fieldslib.Field.t -> bool) ->
abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t -> bool) ->
ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> bool) ->
ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> bool) ->
vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> bool) ->
vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> bool) ->
vswitch:((t, int64) Fieldslib.Field.t -> bool) ->
vport:((t, int64) Fieldslib.Field.t -> bool) ->
ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> bool) ->
ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> bool) ->
ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> bool) ->
ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> bool) ->
tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> bool) ->
tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> bool) ->
boolSource
val exists :
location:((t, Syntax.location) Fieldslib.Field.t -> bool) ->
from:((t, Syntax.abstract_location) Fieldslib.Field.t -> bool) ->
abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t -> bool) ->
ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> bool) ->
ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> bool) ->
vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> bool) ->
vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> bool) ->
vswitch:((t, int64) Fieldslib.Field.t -> bool) ->
vport:((t, int64) Fieldslib.Field.t -> bool) ->
ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> bool) ->
ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> bool) ->
ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> bool) ->
ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> bool) ->
tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> bool) ->
tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> bool) ->
boolSource
val to_list :
location:((t, Syntax.location) Fieldslib.Field.t -> 'elem__) ->
from:((t, Syntax.abstract_location) Fieldslib.Field.t -> 'elem__) ->
abstractLoc:((t, Syntax.abstract_location) Fieldslib.Field.t -> 'elem__) ->
ethSrc:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> 'elem__) ->
ethDst:((t, Frenetic_kernel.Packet.dlAddr) Fieldslib.Field.t -> 'elem__) ->
vlan:((t, Frenetic_kernel.Packet.int16) Fieldslib.Field.t -> 'elem__) ->
vlanPcp:((t, Frenetic_kernel.Packet.dlVlanPcp) Fieldslib.Field.t -> 'elem__) ->
vswitch:((t, int64) Fieldslib.Field.t -> 'elem__) ->
vport:((t, int64) Fieldslib.Field.t -> 'elem__) ->
ethType:((t, Frenetic_kernel.Packet.dlTyp) Fieldslib.Field.t -> 'elem__) ->
ipProto:((t, Frenetic_kernel.Packet.nwProto) Fieldslib.Field.t -> 'elem__) ->
ipSrc:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> 'elem__) ->
ipDst:((t, Frenetic_kernel.Packet.nwAddr) Fieldslib.Field.t -> 'elem__) ->
tcpSrcPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> 'elem__) ->
tcpDstPort:((t, Frenetic_kernel.Packet.tpPort) Fieldslib.Field.t -> 'elem__) ->
'elem__ list