Index of values

The monadic composition operator.

m1 >>> m2 is a shortcut for m1 >>= fun _ -> m2.

f @= ep evaluates f ep.

f @> ep evaluates f ep.

accept s waits for a connection from a client to service s.

acquire ep acquires the endpoint ep, if it is valid.

branch mtrue mfalse accepts a boolean selection from the session endpoint and executes either mtrue or mfalse accordingly.

branch ep receives a selection from the endpoint ep with input capability.

close ep closes endpoint ep.

connect ms mc creates a new session that connects the server ms, spawned into a new thread, and the client mc.

create () creates a new service.

create () creates a new session.

Fixpoint operator for monadic computations.

is_valid ep determines whether ep is a valid endpoint or not.

receive waits for a message from the session endpoint and returns its value.

receive ep receives a message from the endpoint ep with input capability.

request s requests a connection to a service s.

return e is the trivial monadic computation that does not perform communications and returns the value of e.

same_session ep ep' checks whether ep and ep' are endpoints of the same session (but not necessarily peer endpoints).

select f ep sends f to the peer endpoint of ep, where it is used to compute the received message.

select_false selects the False branch of a choice.

select_false ep selects the False branch of a choice.

select_true selects the True branch of a choice.

select_true ep selects the True branch of a choice.

send e sends the message e on the session endpoint.

send e ep sends e on the endpoint ep with output capability.

spawn f creates a persistent service that spawns a new thread f ep for each connection with endpoint ep accepted from a client.

string_of_endpoint ep returns a textual representation of the endpoint ep.

try_acquire ep attempts to acquire the endpoint ep.