Handle a connection to another vat. Returns when the connection is closed.

Configuration information for a connection.

Alias for invokePurePromise

a MethodHandler m p r handles a method call with parameters p and return type r, in monad m.

The library represents method handlers via an abstract type MethodHandler, parametrized over parameter (p) and return (r) types, and the monadic context in which it runs (m). This allows us to provide different strategies for actually handling methods; there are various helper functions which construct these handlers.

At some point we will likely additionally provide handlers affording:

• Working directly with the low-level data types.
• Replying to the method call asynchronously, allowing later method calls to be serviced before the current one is finished.

pureHandler f cap is a MethodHandler which calls a function f that accepts the receiver and the parameter type as exposed by the high-level API, and returns the high-level API representation of the return type.

Like pureHandler, except that the parameter and return value use the low-level representation.

Like rawHandler, except that it takes a fulfiller for the result, instead of returning it. This allows the result to be supplied some time after the method returns, making it possible to service other method calls before the result is available.

A MethodHandler which always throws an unimplemented exception.

methodThrow exn is a MethodHandler which always throws exn.

Throw an exception with a type field of Exception'Type'failed and the argument as a reason.

A Transport handles transmitting RPC messages.

socketTransport socket limit is a transport which reads and writes messages to/from a socket. It uses limit as the traversal limit when reading messages and decoing.

handleTransport handle limit is a transport which reads and writes messages from/to handle. It uses limit as the traversal limit when reading messages and decoding.

tracingTransport log trans wraps another transport trans, loging messages when they are sent or received (using the log function). This can be useful for debugging.

A reference to a capability, which may be live either in the current vat or elsewhere. Holding a client affords making method calls on a capability or modifying the local vat's reference count to it.

Types which may be converted to and from Clients. Typically these will be simple type wrappers for capabilities.

Create a new client based on a promise. The fulfiller can be used to supply the final client.