Module Packet.Update

DNS update packets.

type prereq =
  1. | Exists of Rr_map.k
  2. | Exists_data of Rr_map.b
  3. | Not_exists of Rr_map.k
  4. | Name_inuse
  5. | Not_name_inuse
    (*

    The type of Update prerequisites.

    *)
val pp_prereq : prereq Fmt.t

pp_prereq ppf t pretty-prints the prerequisite t on ppf.

val equal_prereq : prereq -> prereq -> bool

equal_prereq a b is true if a and b are equal, false otherwise.

type update =
  1. | Remove of Rr_map.k
  2. | Remove_all
  3. | Remove_single of Rr_map.b
  4. | Add of Rr_map.b
    (*

    The type of an update.

    *)
val pp_update : update Fmt.t

pp_update ppf t pretty-prints the update t on ppf.

val equal_update : update -> update -> bool

equal_update a b is true if a is equal to b, false otherwise.

type t = prereq list Domain_name.Map.t * update list Domain_name.Map.t

The type of a DNS update: a map indexed by domain name with a list of prerequisites, and a map indexed by domain name of a list of updates.

val empty : t

empty is the empty update.

val pp : t Fmt.t

pp ppf t pretty-prints the update t on ppf.

val equal : t -> t -> bool

equal a b is true if a is equal to b, false otherwise.