Up
module
Tls_mirage
:
sig
#
module
Make :
functor
(F :
V1_LWT
.
FLOW
)
->
functor
(E :
V1_LWT
.
ENTROPY
)
->
sig
#
module
FLOW :
V1_LWT
.
FLOW
#
module
ENTROPY :
V1_LWT
.
ENTROPY
#
type
error = [
| `Tls
of
string
| `Flow
of
FLOW
.
error
]
#
type
buffer =
Cstruct
.
t
#
type
+'a io = 'a
Lwt
.
t
#
type
tracer = Sexplib.Sexp.t
->
unit
include
V1_LWT
.
FLOW
with
type
error
:=
error
and
type
'a
io
:= 'a
io
and
type
buffer
:=
buffer
#
val
attach_entropy :
ENTROPY
.
t
->
unit
Lwt
.
t
#
val
reneg :
flow
->
[
| `Ok
of
unit
| `Eof
| `Error
of
error
]
Lwt
.
t
#
val
client_of_flow : ?trace:
tracer
->
Tls.Config.client
->
string
->
FLOW
.
flow
->
[>
| `Ok
of
flow
| `Error
of
error
]
Lwt
.
t
#
val
server_of_flow : ?trace:
tracer
->
Tls.Config.server
->
FLOW
.
flow
->
[>
| `Ok
of
flow
| `Error
of
error
]
Lwt
.
t
end
with
module
FLOW
=
F
and
module
ENTROPY
=
E
#
module
X509 :
functor
(KV :
V1_LWT
.
KV_RO
)
->
functor
(C :
V1
.
CLOCK
)
->
sig
#
val
authenticator :
KV
.
t
->
[<
| `Noop
| `CAs
]
->
X509
.
Authenticator
.
t
Lwt
.
t
#
val
certificate :
KV
.
t
->
[<
| `Default
| `Name
of
string
]
->
(
X509
.
Cert
.
t
list *
X509
.
PK
.
t
)
Lwt
.
t
end
end