Module State_rpc.Make
Parameters
Model : sig ... end
Signature
module Register_raw : functor (Version_i : sig ... end) -> sig ... end
Register_raw
is likeRegister
except you get the whole pipe to deal with.
include S with type caller_query := Model.Caller.query with type caller_state := Model.Caller.state with type caller_update := Model.Caller.update with type caller_error := Model.Caller.error with type callee_query := Model.Callee.query with type callee_state := Model.Callee.state with type callee_update := Model.Callee.update with type callee_error := Model.Callee.error
type caller_query
type callee_query
type caller_state
type callee_state
type caller_update
type callee_update
type caller_error
type callee_error
val dispatch_multi : Connection_with_menu.t -> caller_query -> (caller_state * caller_update Core_kernel.Or_error.t Async_kernel.Pipe.Reader.t * Rpc.State_rpc.Metadata.t, caller_error) Core_kernel.Result.t Core_kernel.Or_error.t Async_kernel.Deferred.t
multi-version dispatch
val implement_multi : ?log_not_previously_seen_version:(name:string -> int -> unit) -> ('state -> version:int -> callee_query -> (callee_state * callee_update Async_kernel.Pipe.Reader.t, callee_error) Core_kernel.Result.t Async_kernel.Deferred.t) -> 'state Rpc.Implementation.t list
implement multiple versions at once
val rpcs : unit -> Rpc.Any.t list
All supported rpcs.
val versions : unit -> Core_kernel.Int.Set.t
All supported versions. Useful for detecting old versions that may be pruned.