package httpaf

  1. Overview
  2. Docs

Module Httpaf.Server_connectionSource

Sourcemodule Config : sig ... end
Sourcetype 'handle t
Sourcetype error = [
  1. | `Bad_request
  2. | `Bad_gateway
  3. | `Internal_server_error
  4. | `Exn of exn
]
Sourcetype 'handle request_handler = 'handle Reqd.t -> unit
Sourcetype error_handler = ?request:Request.t -> error -> (Headers.t -> [ `write ] Body.t) -> unit
Sourceval create : ?config:Config.t -> ?error_handler:error_handler -> 'handle request_handler -> 'handle t

create ?config ?error_handler ~request_handler creates a connection handler that will service individual requests with request_handler.

Sourceval next_read_operation : _ t -> [ `Read of Bigstring.t | `Yield | `Close ]

next_read_operation t returns a value describing the next operation that the caller should conduct on behalf of the connection.

Sourceval report_read_result : _ t -> [ `Ok of int | `Eof ] -> unit

report_read_result t result reports the result of the latest read attempt to the connection. report_read_result should be called after a call to next_read_operation that returns a `Read buffer value.

  • `Ok n indicates that the caller successfully received n bytes of input and wrote them into the the read buffer that the caller was provided by next_read_operation.
  • `Eof indicates that the input source will no longer provide any bytes to the read processor.
Sourceval yield_reader : _ t -> (unit -> unit) -> unit

yield_reader t continue registers with the connection to call continue when reading should resume. yield_reader should be called after next_read_operation returns a `Yield value.

Sourceval next_write_operation : _ t -> [ `Write of Bigstring.t IOVec.t list | `Yield | `Close of int ]

next_write_operation t returns a value describing the next operation that the caller should conduct on behalf of the connection.

Sourceval report_write_result : _ t -> [ `Ok of int | `Closed ] -> unit

report_write_result t result reports the result of the latest write attempt to the connection. report_write_result should be called after a call to next_write_operation that returns a `Write buffer value.

  • `Ok n indicates that the caller successfully wrote n bytes of output from the buffer that the caller was provided by next_write_operation.
  • `Closed indicates that the output destination will no longer accept bytes from the write processor.
Sourceval yield_writer : _ t -> (unit -> unit) -> unit

yield_writer t continue registers with the connection to call continue when writing should resume. yield_writer should be called after next_write_operation returns a `Yield value.

Sourceval report_exn : _ t -> exn -> unit

report_exn t exn reports that an error exn has been caught and that it has been attributed to t. Calling this function will switch t into an error state. Depending on the state t is transitioning from, it may call its error handler before terminating the connection.

Sourceval is_closed : _ t -> bool

is_closed t is true if both the read and write processors have been shutdown. When this is the case next_read_operation will return `Close _ and next_write_operation will do the same will return a `Write _ until all buffered output has been flushed.

Sourceval error_code : _ t -> error option

error_code t returns the error_code that caused the connection to close, if one exists.