Module Pf_qubes.Parse_qubes

type action =
  1. | Accept
  2. | Drop
val pp_action : Stdlib.Format.formatter -> action -> unit
type family =
  1. | Inet
  2. | Inet6
val is_whitespace : char -> bool
val a_whitespace_unit : unit Angstrom.t
val a_whitespace : unit Angstrom.t
val a_ign_whitespace : unit Angstrom.t
val some : 'a Angstrom.t -> 'a option Angstrom.t
val a_number : int Angstrom.t
val a_number_range : int -> int -> int Angstrom.t
val a_mask_bits : af:family -> int Angstrom.t
val a_cidr : Ipaddr.Prefix.t Angstrom.t
val q_action : action Angstrom.t
val a_dst4 : (family * Ipaddr.V4.Prefix.t) Angstrom.t
val a_dst6 : (family * Ipaddr.V6.Prefix.t) Angstrom.t
val a_proto : [> `icmp | `tcp | `udp ] Angstrom.t
val a_specialtarget : [> `dns ] Angstrom.t
type range =
  1. | Range_inclusive of int * int
val pp_range : Stdlib.Format.formatter -> range -> unit
val a_dstports : range option Angstrom.t
val a_icmptype : int Angstrom.t
val a_dpi : string Angstrom.t
type proto = [
  1. | `udp
  2. | `tcp
  3. | `icmp
]
val pp_proto : Stdlib.Format.formatter -> [< `icmp | `tcp | `udp ] -> unit
type dst = [
  1. | `any
  2. | `hosts of Ipaddr.Prefix.t
  3. | `dnsname of [ `host ] Domain_name.t
]
type rule = {
  1. action : action;
  2. proto : proto option;
  3. specialtarget : [ `dns ] option;
  4. dst : dst;
  5. dstports : range option;
  6. icmp_type : int option;
  7. number : int;
}
val pp_specialtarget : Stdlib.Format.formatter -> 'a -> unit
val pp_dst : Stdlib.Format.formatter -> [< `any | `dnsname of 'a Domain_name.t | `hosts of Ipaddr.Prefix.t ] -> unit
val pp_rule : Stdlib.Format.formatter -> rule -> unit
val a_raw_dnsname : dst Angstrom.t
val a_qubes_v4 : number:int -> rule Angstrom.t
val parse_qubes : number:int -> string -> (rule, string) Stdlib.result