Up  

Functor Versioned_rpc.Callee_converts.Make

module Make (Model : sig
val name : string
type query 



type response 



end) : sig .. end
Given a model of the types involved in a family of RPCs, this functor provides a single multi-version implementation function implement_multi in terms of that model and a mechanism for registering the individual versions that implement_multi knows about. Registration requires knowing how to get into and out of the model. 
       Q1 -->-.         ,-->-- R1
               \       /
       Q2 -->-- Q --> R --->-- R2
               /       \
       Q3 -->-'         `-->-- R3

Parameters:
Model : sig val name : string type query type response end 
module Register (Version_i : sig
val version : int
type query 



val bin_size_query : query
       Bin_prot.Size.sizer
val bin_write_query : query
       Bin_prot.Write_ml.writer
val bin_write_query_ : query
       Bin_prot.Unsafe_write_c.writer
val bin_writer_query : query
       Bin_prot.Type_class.writer
val bin_read_query : query
       Bin_prot.Read_ml.reader
val bin_read_query_ : query
       Bin_prot.Unsafe_read_c.reader
val bin_read_query__ : (int -> query)
       Bin_prot.Unsafe_read_c.reader
val bin_reader_query : query
       Bin_prot.Type_class.reader
val bin_query : query
       Bin_prot.Type_class.t
type response 



val bin_size_response : response
       Bin_prot.Size.sizer
val bin_write_response : response
       Bin_prot.Write_ml.writer
val bin_write_response_ : response
       Bin_prot.Unsafe_write_c.writer
val bin_writer_response : response
       Bin_prot.Type_class.writer
val bin_read_response : response
       Bin_prot.Read_ml.reader
val bin_read_response_ : response
       Bin_prot.Unsafe_read_c.reader
val bin_read_response__ : (int -> response)
       Bin_prot.Unsafe_read_c.reader
val bin_reader_response : response
       Bin_prot.Type_class.reader
val bin_response : response
       Bin_prot.Type_class.t
val model_of_query : query -> Model.query
val response_of_model : Model.response -> response
end) : sig .. end
add a new version to the set of versions implemented by implement_multi. 
include Versioned_rpc.Callee_converts.S