package dns

  1. Overview
  2. Docs

Transport layer security authentication

type cert_usage =
  1. | CA_constraint
  2. | Service_certificate_constraint
  3. | Trust_anchor_assertion
  4. | Domain_issued_certificate
    (*

    The type of the certificate usage field.

    *)
val cert_usage_to_int : cert_usage -> int

cert_usage_to_int cu is the 8 bit integer representation of cu.

val int_to_cert_usage : ?off:int -> int -> (cert_usage, [> `Not_implemented of int * string ]) Stdlib.result

int_to_cert_usage ~off i attempts to convert i to a certificate usage constructor. If successful, this is the result, otherwise an Error is returned (with off as position).

val pp_cert_usage : cert_usage Fmt.t

pp_cert_usage ppf cu pretty-prints the certificate usage on ppf.

type selector =
  1. | Full_certificate
  2. | Subject_public_key_info
  3. | Private
    (*

    The type of the selector.

    *)
val selector_to_int : selector -> int

selector_to_int s is the 8 bit integer representation of s.

val int_to_selector : ?off:int -> int -> (selector, [> `Not_implemented of int * string ]) Stdlib.result

int_to_selector ~off i attempts to convert i to a selector constructor. If there is no such constructor known for the provided i, an Error is returned.

val pp_selector : selector Fmt.t

pp_selector ppf s pretty-prints the selector s on ppf.

type matching_type =
  1. | No_hash
  2. | SHA256
  3. | SHA512
    (*

    The type of matching type.

    *)
val matching_type_to_int : matching_type -> int

matching_type_to_int m is the 8 bit integer representation of m.

val int_to_matching_type : ?off:int -> int -> (matching_type, [> `Not_implemented of int * string ]) Stdlib.result

int_to_matching_type ~off i attempts to convert i to a matching type constructor. If there is no such constructor for the provided i, an Error is returned.

val pp_matching_type : matching_type Fmt.t

pp_matching_type ppf m pretty-prints the matching type m on ppf.

type t = {
  1. cert_usage : cert_usage;
  2. selector : selector;
  3. matching_type : matching_type;
  4. data : Cstruct.t;
}

The type of a TLSA record: certificate usage, selector, matching type, and data.

val pp : t Fmt.t

pp ppf t pretty-prints the TLSA record t on ppf.

val compare : t -> t -> int

compare a b compare the TLSA record a with b, comparing the integer representations of the individual fields in order.

OCaml

Innovation. Community. Security.