Module `P11_template`Source

Sourcetype t = P11_attribute.pack list

Sourceval equal : t -> t -> Ppx_deriving_runtime.bool

Sourceval compare : t -> t -> Ppx_deriving_runtime.int

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

Sourceval to_yojson : t -> Yojson.Safe.t

Sourceval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

Sourceval to_string : t -> string

Sourceval get : t -> 'a P11_attribute_type.t -> 'a option

Return the value of the first occurrence of an attribute.

Sourceval get_pack : t -> P11_attribute_type.pack -> P11_attribute.pack option

Sourceval mem : P11_attribute.pack -> t -> bool

Sourceval normalize : t -> t

Sourceval attribute_types : t -> P11_attribute_type.pack list

Sourceval set_attribute : P11_attribute.pack -> t -> t

set_attribute attribute template replaces the value of attribute in template if it already exists and adds attribute otherwise.

Sourceval remove_attribute : P11_attribute.pack -> t -> t

remove_attribute attribute template removes the value attribute from template if present. If the attribute_type of attribute is present with a different value, does nothing.

Sourceval remove_attribute_type : P11_attribute_type.pack -> t -> t

remove_attribute attribute_type template removes the attribute type attribute_type from template if present with any value.

Sourceval fold : ('a -> t -> t) -> 'a list -> t -> t

Iterate one of the above operation. Same as List.fold_right

Sourceval union : t -> t -> t

union template1 template2 concatenates the templates. If an attribute is present in both template1 and template2, the value in template1 is kept.

Sourceval only_attribute_types : P11_attribute_type.pack list -> t -> t

only_attribute_types attr_types template keeps only the attributes in template that are present in attr_types.

Sourceval except_attribute_types : P11_attribute_type.pack list -> t -> t

except_attribute_types attr_types template removes all the attributes in template that are present in attr_types.

Sourceval find_attribute_types : P11_attribute_type.pack list -> t -> t option

find_attribute_types l template look up for the value of each attribute type in the list l in template. Return None if one or several attribute types cannot be found in template.

Sourceval correspond : source:t -> tested:t -> bool

correspond source tested check if tested match source. It means that it will return true if All the elements in source are present in tested.

Source

val diff : 
  source:t ->
  tested:t ->
  P11_attribute.pack list * P11_attribute.pack list

diff source tested search for all the elements of source that are not equal to an element of tested.

It returns a tuple with the list of elements from source which are expected but not found in tested and a list of elements which are found but with a different value.

Sourceval hash : t -> Digest.t

hash template creates a digest from a template.

It sorts the elements of the template to be sure to have the same digest for two templates that have attributes in different orders.

Accessors

Sourceval get_class : t -> P11_object_class.t option

Sourceval get_key_type : t -> P11_key_type.t option

Sourceval get_label : t -> string option

Install

Dune Dependency

Authors

Maintainers

Sources

doc/pkcs11/P11_template/index.html

Module `P11_template`Source

Accessors

package pkcs11

Install

Dune Dependency

Authors

Maintainers

Sources

doc/pkcs11/P11_template/index.html

Module P11_templateSource

Accessors

Module `P11_template`Source