The operations necessary to receive and handle method calls, i.e. to implement an object. It is parametrized over the monadic context in which methods are serviced.

A CallInfo contains information about a method call.

Handle incoming messages for a given object.

Accepts a queue of messages to handle, and ServerOps used to handle them. returns when it receives a Stop message.

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.

methodThrow exn is a MethodHandler which always throws exn.

A MethodHandler which always throws an unimplemented exception.

Construct a method handler from a function accepting an untyped pointer for the method's parameter, and a Fulfiller which accepts an untyped pointer for the method's return value.

Convert a MethodHandler for any parameter and return types into one that deals with untyped pointers.

Inverse of toUntypedHandler