Module Packet.Update

DNS update packets.

type prereq =
| Exists of Rr_map.k
| Exists_data of Rr_map.b
| Not_exists of Rr_map.k
| Name_inuse
| 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 =
| Remove of Rr_map.k
| Remove_all
| Remove_single of Rr_map.b
| 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.

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.