Module IdlSource

The Idl module is for declaring the types and documentation for RPC calls

Sourcemodule Param : sig ... end

The Param module is associated with parameters to RPCs. RPCs are defined in terms of 'a Param.t values.

Sourcemodule Error : sig ... end
Sourcemodule Interface : sig ... end

An interface is a collection of RPC declarations.

Sourceexception MarshalError of string

Raised when the client/server failed to unmarshal the RPC response/request.

Sourceval get_wire_name : Interface.description option -> string -> string
Sourceval get_arg : Rpc.call -> bool -> string option -> bool -> (Rpc.t * Rpc.call, [> `Msg of string ]) result
Sourcemodule type RPC = sig ... end

The RPC module type is the standard module signature that the various specialization modules must conform to.

Sourcemodule type MONAD = sig ... end
Sourceexception NoDescription

For the Server generation, the 'implement' function call _must_ be called before any RPCs are described. This exception will be raised if the user tries to do this.

Sourcemodule Make (M : MONAD) : sig ... end
Sourcemodule ExnM : sig ... end
Sourcemodule IdM : sig ... end
Sourcemodule DefaultError : sig ... end
Sourcemodule Exn : sig ... end