package x509

You can search for identifiers within the package.

in-package search v0.2.0

package x509

x509
- X509

Legend:
Library
Module
Module type
Parameter
Class
Class type

X.500 distinguished name

type _ k =

| CN : string k
| Serialnumber : string k
| C : string k
| L : string k
| SP : string k
| O : string k
| OU : string k
| T : string k
| DNQ : string k
| Mail : string k
| DC : string k
| Given_name : string k
| Surname : string k
| Initials : string k
| Pseudonym : string k
| Generation : string k
| Other : Asn.oid -> string k

The polymorphic variant of a distinguished name component, as defined in X.500.

A distinguished name is a list of component.

include Gmap.S with type 'a key = 'a k

type !'a0 key = 'a k

type t

val empty : t

val singleton : 'a key -> 'a -> t

val is_empty : t -> bool

val cardinal : t -> int

val mem : 'a key -> t -> bool

val find : 'a key -> t -> 'a option

val get : 'a key -> t -> 'a

val add_unless_bound : 'a key -> 'a -> t -> t option

val add : 'a key -> 'a -> t -> t

val remove : 'a key -> t -> t

val update : 'a key -> ('a option -> 'a option) -> t -> t

type b =

| B : 'a key * 'a -> b

val min_binding : t -> b option

val max_binding : t -> b option

val any_binding : t -> b option

val bindings : t -> b list

type eq = {

f : 'a. 'a key -> 'a -> 'a -> bool;

}

type mapper = {

f : 'a. 'a key -> 'a -> 'a;

}

val map : mapper -> t -> t

val iter : (b -> unit) -> t -> unit

val fold : (b -> 'a -> 'a) -> t -> 'a -> 'a

val for_all : (b -> bool) -> t -> bool

val exists : (b -> bool) -> t -> bool

val filter : (b -> bool) -> t -> t

type merger = {

f : 'a. 'a key -> 'a option -> 'a option -> 'a option;

}

val merge : merger -> t -> t -> t

type unionee = {

f : 'a. 'a key -> 'a -> 'a -> 'a option;

}

val union : unionee -> t -> t -> t

val equal : t -> t -> bool

equal a b is true if the distinguished names a and b are equal.

val pp : t Fmt.t

pp ppf dn pretty-prints the distinguished name.

val decode_der : Cstruct.t -> (t, [> Rresult.R.msg ]) Rresult.result

decode_der cs is dn, the ASN.1 decoded distinguished name of cs.

val encode_der : t -> Cstruct.t

encode_der dn is cstruct, the ASN.1 encoded representation of the distinguished name dn.