package async_rpc_kernel

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rpc.MakeSource

Given a model of the types involved in a family of RPCs, this functor provides a single RPC versioned dispatch function dispatch_multi in terms of that model and a mechanism for registering the individual versions that dispatch_multi knows about. Registration requires knowing how to get into and out of the model.

   ,-->-- Q1 --> R1 -->-.
  /                      \
 Q --->-- Q2 --> R2 -->-- R
  \                      /
   `-->-- Q3 --> R3 -->-´

Parameters

module Model : sig ... end

Signature

Sourcemodule Register (Version_i : sig ... end) : sig ... end

Adds a new version to the set of versions available via dispatch_multi.

Sourcemodule Register' (Version_i : sig ... end) : sig ... end

A variant of Register in which the query is made available when transforming the response

include S with type query := Model.query with type response := Model.response
Sourceval rpcs : unit -> Rpc.Any.t list

All rpcs supported by dispatch_multi.

Sourceval versions : unit -> Core.Int.Set.t

All versions supported by dispatch_multi (useful for computing which old versions may be pruned).

Sourceval name : string