module type CLIENT = sig ... endmodule type ENDPOINT = sig ... endmodule type FLOW = sig ... endmodule type S = sig ... endmodule Make
(W :
Web.S
with type +'a io = 'a Lwt.t
and type raw = Cstruct.t
and type uri = Uri.t
and type Request.body = Lwt_cstruct_flow.i
and type Response.body = Lwt_cstruct_flow.o)
(C :
CLIENT
with type +'a io = 'a W.io
and type headers = W.HTTP.headers
and type body = Lwt_cstruct_flow.o
and type meth = W.HTTP.meth
and type resp = W.resp)
(E : ENDPOINT with type t = C.endpoint and type headers = C.headers)
(G : Git.S) :
S with module Web = W and module Client = C and module Store = Gmodule type COHTTP_S =
S
with type Web.req = Web_cohttp_lwt.req
and type Web.resp = Web_cohttp_lwt.resp
and type 'a Web.io = 'a Web_cohttp_lwt.io
and type Web.raw = Web_cohttp_lwt.raw
and type Web.uri = Web_cohttp_lwt.uri
and type Web.Request.body = Web_cohttp_lwt.Request.body
and type Web.Response.body = Web_cohttp_lwt.Response.body
and type Web.HTTP.headers = Web_cohttp_lwt.HTTP.headersmodule CohttpMake
(C :
CLIENT
with type +'a io = 'a Lwt.t
and type headers = Web_cohttp_lwt.HTTP.headers
and type body = Lwt_cstruct_flow.o
and type meth = Web_cohttp_lwt.HTTP.meth
and type resp = Web_cohttp_lwt.resp)
(E : ENDPOINT with type t = C.endpoint and type headers = C.headers)
(S : Git.S) :
COHTTP_S with module Client = C and module Store = S