Module Idl.MakeSource

Parameters

module M : MONAD

Signature

Sourcetype client_implementation
Sourcetype server_implementation
Sourcemodule type RPCTRANSFORMER = sig ... end

The module !T, the RPC MONAD transformer, defines the minimal set of types and functions needed for the !GenClient and !GenServer modules to generate clients and servers. These allow to provide different syncronous and asynctronous engines for the client and server implementations.

Sourcemodule ErrM : sig ... end

!ErrM defines monad to use for the implementation and combination of RPC functions

Sourcemodule GenClient () : sig ... end

This module generates Client modules from RPC declarations.

Sourcemodule GenServer () : sig ... end

This module generates a server that dispatches RPC calls to their implementations.