Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Async_rpc_kernel.Rpc end
module Description = Async_rpc_kernel.Rpc.Description
module Implementation = Async_rpc_kernel.Rpc.Implementation
A 'connection_state Implementation.t
is something that knows how to respond to one query, given a 'connection_state
. That is, you can create a 'connection_state
Implementation.t
by providing a function which takes a query *and* a 'connection_state
and provides a response.
module Implementations = Async_rpc_kernel.Rpc.Implementations
A 'connection_state Implementations.t
is something that knows how to respond to many different queries. It is conceptually a package of 'connection_state
Implementation.t
s.
module Transport = Async_rpc_kernel.Rpc.Transport
module Rpc = Async_rpc_kernel.Rpc.Rpc
module Pipe_close_reason = Async_rpc_kernel.Rpc.Pipe_close_reason
module Pipe_rpc = Async_rpc_kernel.Rpc.Pipe_rpc
module State_rpc = Async_rpc_kernel.Rpc.State_rpc
A state rpc is an easy way for two processes to synchronize a data structure by sending updates over the wire. It's basically a pipe rpc that sends/receives an initial state of the data structure, and then updates, and applies the updates under the covers.
module One_way = Async_rpc_kernel.Rpc.One_way
An RPC that has no response. Error handling is trickier here than it is for RPCs with responses, as there is no reasonable place to put an error if something goes wrong. Because of this, in the event of an error such as dispatching to an unimplemented RPC, the connection will be shut down. Similarly, if the implementation raises an exception, the connection will be shut down.
module Any = Async_rpc_kernel.Rpc.Any
module Stable = Async_rpc_kernel.Rpc.Stable
module Connection : sig ... end