Module Packet.UpdateSource

DNS update packets.

Sourcetype 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.

    *)
Sourceval pp_prereq : prereq Fmt.t

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

Sourceval equal_prereq : prereq -> prereq -> bool

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

Sourcetype 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.

    *)
Sourceval pp_update : update Fmt.t

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

Sourceval 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.

Sourceval empty : t

empty is the empty update.

Sourceval pp : t Fmt.t

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

Sourceval equal : t -> t -> bool

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