Uniform Cohttp interface. Cohttp's interface isn't entirely uniform, making it difficult to provide a single functorized implementation over Async and Lwt. We define a signature here that covers the features of Cohttp we need. Async and Lwt implementations matching this signature are provided.
module type S = sig ... endmodule Meth : sig ... endmodule Headers : sig ... endmodule Monad : sig ... endMonad type class. The technique used here relies on lightweight higher-kinded polymorphism as described by Yallop and White in FLOPS (2014). Familiarity with the concepts in that paper is a prerequisite to understanding this module. However, most users do not need to understand this module since common useful instances of the abstract types here are provided elsewhere.
module Range : sig ... endHigh level representation of a http byte range specifications. For a full treatment, see https://www.w3.org/Protocols/rfc2616/rfc2616-sec14.html#sec14.35
module Status : sig ... endmodule Request : sig ... endmodule Response : sig ... endmodule Call : sig ... endmodule Io : sig ... end