Library
Module
Module type
Parameter
Class
Class type
A functor building an IO module from Mirage components.
module Clock : Mirage_clock.PCLOCK
module Stack : Tcpip.Stack.V4V6
module Time : Mirage_time.S
module IO = Lwt
type stack = Stack.t
TCP/IP stack.
include Mehari.NET
with module IO := IO
and type addr = Ipaddr.t
and type clock := unit
type addr = Ipaddr.t
Type for IP address.
type handler = addr Mehari.request -> Mehari.response IO.t
Handlers are asynchronous functions from Mehari.request
to Mehari.response
.
Rate limiter. See Rate limit.
Middlewares take a handler
, and run some code before or after — producing a “bigger” handler
. See Middleware.
val no_middleware : middleware
Does nothing but call its inner handler. Useful for disabling middleware conditionally during application startup:
if development then
my_middleware
else
Mehari.no_middleware
val pipeline : middleware list -> middleware
Combines a list of middlewares into one, such that these two lines are equivalent: Mehari.pipeline [ mw1 ; mw2 ] @@ handler
mw1 @@ mw2 @@ handler
.
Creates a router. If none of the routes match the Mehari.request
, the router returns Mehari.not_found
.
val route :
?rate_limit:rate_limiter ->
?mw:middleware ->
?regex:bool ->
string ->
handler ->
route
route ~rate_limit ~mw ~regex path handler
forwards requests for path
to handler
. path
can be a string literal or a regex in Perl style depending of value of regex
. If rate limit is in effect, handler
is not executed and a respond with Mehari.status
Mehari.slow_down
is sended.
val scope :
?rate_limit:rate_limiter ->
?mw:middleware ->
string ->
route list ->
route
scope ~rate_limit ~mw prefix routes
groups routes
under the path prefix
, rate_limit
and mw
.
val no_route : route
A dummy value of type route
that is completely ignored by the router. Useful for disabling routes conditionally during application start.
virtual_hosts ?meth [(domain, handler); ...]
produces a handler
which enables virtual hosting at the TLS-layer using SNI.
meth
can be used to choose which source to match the hostnames against. Defaults to `SNI
.val set_log_lvl : Logs.level -> unit
Set Mehari's logger to the given log level.
val debug : 'a Logs.log
val info : 'a Logs.log
val warning : 'a Logs.log
val error : 'a Logs.log
val make_rate_limit :
?period:int ->
int ->
[ `Second | `Minute | `Hour | `Day ] ->
rate_limiter
Same as Mehari.NET.make_rate_limit
but without the required trailing unit parameter.
Same as Mehari.NET.logger
but without the required trailing unit parameter.
val respond : 'a Mehari.status -> 'a -> Mehari.response IO.t
Same as Mehari.response
, but the new Mehari.response
is wrapped in a promise.
val respond_body : Mehari.body -> Mehari.mime -> Mehari.response IO.t
Same as respond
but respond with given Mehari.body
and use given Mehari.mime
as mime type.
val respond_text : string -> Mehari.response IO.t
Same as respond
but respond with given text and use text/plain
as Mehari.mime
type.
val respond_gemtext :
?charset:string ->
?lang:string list ->
Mehari.Gemtext.t ->
Mehari.response IO.t
Same as respond
but respond with given Mehari.Gemtext.t
and use text/gemini
as Mehari.mime
type.
val respond_raw :
[ `Body of string | `Full of int * string * string ] ->
Mehari.response IO.t
Same as Mehari.response_raw
, but the new Mehari.response
is wrapped in a promise.
val run :
?port:int ->
?verify_url_host:bool ->
?config:Tls.Config.server ->
?timeout:float ->
certchains:Tls.Config.certchain list ->
stack ->
handler ->
unit IO.t
run ?port ?verify_url_host ?config ?timeout ?certchains stack handler
runs the server using host
.
port
is the port to listen on. Defaults to 1965
.verify_url_host
, if true (by default), will verify if the URL hostname corresponds to the server's certificate (chosen according to ocaml-tls sni.md).config
is the TLS server configuration. Defaults to
Tls.Config.server ~certificates
~authenticator:(fun ?ip:_ ~host:_ _ -> Ok None)
()
To support client certificates, specify the authenticator
.
timeout
is the maximum waiting time in seconds for the client to write a request after TLS handshake. Unset by default.certchains
is the list of form [(certs, key); ...]
, the last one is considered default.