Index of types

Caches previous queries

Parameters for a single call: msg_timeout: If Some tmo, the number tmo is the maximum number of seconds until when a response must have been arrived. Otherwise the call times out with a Client_condition `Message_timeout. If None, there is no such timeout condition. (Only used for twoway calls.), destination: For unconnected UDP sockets, this parameter must be Some addr to set the destination of the call. For connected sockets this parameter must be None., context: If Some ctx, the key/value pairs in ctx are to be passed as context. If None a reasonable default is passed.

`Endpoint(ep,port): port is the DNS-resolved port of the port mentioned in ep (if a DNS resolution happened)

Parameters for clients: trans_timeout: If non-negative, a timeout on the transport level is set. This means that connections that block for more than this number of seconds time out. In this case, the whole client fails, and all pending calls see a Client_condition `Transport_timeout if it happens in the middle of a connection, or Client_condition `Connect_timeout if it happens in the connect phase., msg_timeout: If non-negative, the number tmo is the maximum number of seconds until when a response must have been arrived. Otherwise the call times out with a Client_condition `Message_timeout. This error is non-fatal, and only the single call times out. (Only used for twoway calls.), idle_timeout: when the client has been idle for this number of seconds, it is automatically shut down. "Idle" means that there is neither something to send nor a message is expected to be received., The exception_handler is invoked for exceptions that cannot be handled by the client. The handler is never invoked for Unbound_exceptions - these always fall through to the caller. In any case the client is shut down for exceptions that cannot be handled by the client., max_proto_minor and max_enc_minor are the maximum minor versions of the server. These values are only used in the datagram case; for stream connections they can be obtained directly from the server. If not set, minor numbers of 0 are assumed.

The client response type

Explanations see below, at hydromon_factory

A domain resolver is a function r called as r esys name reply.

An exception handler encapsulated as object

A proxy address where the parameters can also specify connectors directly

The identity of a remote object

See below

A type without value.

The invoke_object method either returns the next dispatcher, or raises Not_found.

Object values are subtypes of sliced_value.

If you get Not_found after only passing the operation name to hydro_invoke_operation the operation does not exist.

The address of a remote object (for creating a proxy): id is the identity of the remote object, facet is the facet if any, mode is the mode of the proxy, secure may demand that only SSL endpoints are chose in order to access the remote object, parameters denotes the endpoint(s) where the object is reachable in a transport-dependent form

Where to find the Internet port(s) of the service behind the proxy: `Endpoints e: The proxy is a direct proxy with the non-empty array of endpoints e, `Well_known: The proxy is an indirect proxy referring to a well known object, `Adapter s: The proxy is an indirect proxy referring to an adapter s (the string is non-empty)

The language-mapped type of the Slice type "T*" where 't is the language-mapped name of the proxy

A friendly version of response messages

- endpoint returns the endpoint name where this server is reachable by remote proxies shutdown_connection initiates the shutdown of the connection for connection-oriented servers (nothing is done for connection-less servers), abort_connection closes the connection immediately for connection-oriented servers (nothing is done for connection-less servers), event_system is the Unixqueue the server is using, system is the type system, server_params are the server parameters, server_id identifies the connection for connection-oriented servers, otherwise just the server

- is_responded is true when a response has been sent, or when a response can no longer be sent, and false when a response is still expected response is Some r when the response r is emitted, and None otherwise, emit_result r outvars emits the main result r and the output parameters outvars, emit_user_exception sv emits the user exception contained in sv, emit_unknown_local_exception s emit the "unknown local exception", accompanied by the string s, emit_unknown_user_exception s emit the "unknown user exception", accompanied by the string s, emit_unknown_exception s emit the "unknown exception", accompanied by the string s, request_id is the request ID sent in the request. Fails if non applicable (e.g. oneway calls), context is the list of key/value pairs sent as context in the request message, server_ops allows access to server-specific operations

Internally used

It is possible that the ID of a slice is known or not.

Sliced values are used to marshal exceptions and object instances.

A server endpoint for an existing connection

A live client

An endpoint that can be enabled as client (and thus invoke remote functions), or as server (and thus provide functions for remote invocation), or as both.

This is mostly clear: e.g.