package shuttle_http

  1. Overview
  2. Docs

Module Body.StreamSource

Stream represents streaming HTTP bodies. This module provides utilities to create and consume streams, while enforcing the invariant that only one consume can read from a stream, and that a stream can only be consumed once.

Sourcetype t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval of_pipe : [ `Chunked | `Fixed of int ] -> string Async.Pipe.Reader.t -> t

of_pipe is a convenience function that creates a stream from a user provided Async_kernel.Pipe.Reader.t. The pipe will be closed whenever the streaming body is closed, or EOF is reached.

Sourceval close : t -> unit

close allows for closing/tearing-down any resources that are used to produce the content for a stream. For servers, this function will be called if the underlying client socket connection is closed, or when the body is fully drained.

Sourceval encoding : t -> [ `Chunked | `Fixed of int ]

encoding informs whether the body needs to be chunk encoded or not. For servers this function is used to automatically populate the transfer-encoding or content-length headers.

Sourceval iter : t -> f:(string -> unit Async.Deferred.t) -> unit Async.Deferred.t

iter t ~f consumes chunks of data one at a time. The stream can only be iterated on once.

Sourceval iter_without_pushback : t -> f:(string -> unit) -> unit Async.Deferred.t
Sourceval fold : t -> init:'a -> f:('a -> string -> 'a Async.Deferred.t) -> 'a Async.Deferred.t
Sourceval fold_without_pushback : t -> init:'a -> f:('a -> string -> 'a) -> 'a Async.Deferred.t
Sourceval drain : t -> unit Async.Deferred.t

drain should consume items one at a time from the stream and discard them. This function raises if its called after a consumer has started reading data from the stream.

Sourceval closed : t -> unit Async.Deferred.t

closed is a deferred that should be resolved when the stream is closed/drained.

Sourceval read_started : t -> bool

read_started indicated whether a user started to consume a stream or not. Servers will use read_started to verify if they should drain before starting the next cycle of the server loop, or if they should wait for the body to be closed by the user.

Sourceval to_string : t -> string Async.Deferred.t

to_string consumes the entire stream and converts it into a string. to_string consumes the entire stream so it can only be called once.