Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val answer_client_hello :
hrr:bool ->
State.handshake_state ->
Core.client_hello ->
Stdlib.String.t ->
(State.handshake_state
* [> `Change_dec of State.crypto_context
| `Change_enc of State.crypto_context
| `Record of Packet.content_type * string ]
list,
[> `Error of
[> `CouldntSelectCertificate
| `NoConfiguredCiphersuite of
[> `AES_128_CCM_SHA256
| `AES_128_GCM_SHA256
| `AES_256_GCM_SHA384
| `CHACHA20_POLY1305_SHA256 ]
list
| `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list
| `NoMatchingCertificateFound of string ]
| `Fatal of
[> `Bad_certificate of string
| `Handshake of
[> `BadDH of string
| `BadECDH of Mirage_crypto_ec.error
| `Fragments
| `Message of string ]
| `Missing_extension of string
| `No_application_protocol ] ])
Stdlib.result
val answer_client_certificate :
State.handshake_state ->
string ->
State.session_data13 ->
string ->
State.crypto_context ->
Core.session_ticket option ->
string ->
string ->
(State.handshake_state * 'a list,
[> `Error of
[> `AuthenticationFailure of X509.Validation.validation_error ]
| `Fatal of
[> `Bad_certificate of string
| `Decode of string
| `Handshake of [> `Message of string ] ] ])
Stdlib.result
val answer_client_certificate_verify :
State.handshake_state ->
string ->
State.session_data13 ->
string ->
State.crypto_context ->
Core.session_ticket option ->
string ->
Stdlib.String.t ->
(State.handshake_state * 'a list,
[> `Error of
[> `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list ]
| `Fatal of
[> `Bad_certificate of string
| `Decode of string
| `Handshake of [> `Message of string ] ] ])
Stdlib.result
val answer_client_finished :
State.handshake_state ->
Stdlib.String.t ->
string ->
'a ->
Core.session_ticket option ->
string ->
Stdlib.String.t ->
(State.handshake_state * [> `Change_dec of 'a ] list,
[> `Fatal of [> `Handshake of [> `Fragments | `Message of string ] ] ])
Stdlib.result
val handle_end_of_early_data :
State.handshake_state ->
string ->
'a ->
State.crypto_context ->
Core.session_ticket option ->
string ->
string ->
(State.handshake_state * [> `Change_dec of 'a ] list,
[> `Fatal of [> `Handshake of [> `Message of string ] ] ])
Stdlib.result
val handle_key_update :
State.handshake_state ->
Packet.key_update_request_type ->
(State.handshake_state
* [> `Change_dec of State.crypto_context
| `Change_enc of State.crypto_context
| `Record of Packet.content_type * string ]
list,
[> `Fatal of [> `Handshake of [> `Fragments | `Message of string ] ] ])
Stdlib.result
val handle_handshake :
State.server13_handshake_state ->
State.handshake_state ->
Stdlib.String.t ->
(State.handshake_state
* [> `Change_dec of State.crypto_context
| `Change_enc of State.crypto_context
| `Record of Packet.content_type * string ]
list,
[> `Error of
[> `AuthenticationFailure of X509.Validation.validation_error
| `CouldntSelectCertificate
| `NoConfiguredCiphersuite of
[> `AES_128_CCM_SHA256
| `AES_128_GCM_SHA256
| `AES_256_GCM_SHA384
| `CHACHA20_POLY1305_SHA256 ]
list
| `NoConfiguredSignatureAlgorithm of Core.signature_algorithm list
| `NoMatchingCertificateFound of string ]
| `Fatal of
[> `Bad_certificate of string
| `Decode of string
| `Handshake of
[> `BadDH of string
| `BadECDH of Mirage_crypto_ec.error
| `Fragments
| `Message of string ]
| `Missing_extension of string
| `No_application_protocol
| `Unexpected of [> `Handshake of Core.tls_handshake ] ] ])
Stdlib.result