Exported data types

Return type for and InitHandler expression.

StateT based monad for prioritised process loops.

Run an action in the GenProcess monad.

Lift an action in the Process monad to GenProcess.

Lift an IO action directly into GenProcess, liftIO = lift . Process.LiftIO.

Internal state of a prioritised process loop.

Prioritised process state, held as an IORef.

Internal priority queue, used by prioritised processes.

Represent a max-backlog from RecvTimeoutPolicy

Wraps a predicate that is used to determine whether or not a handler is valid based on some combination of the current process state, the type and/or value of the input message or both.

The action taken by a process after a handler has run and its updated state. See "Control.Distributed.Process.ManagedProcess.Server.continue" "Control.Distributed.Process.ManagedProcess.Server.timeoutAfter" "Control.Distributed.Process.ManagedProcess.Server.hibernate" "Control.Distributed.Process.ManagedProcess.Server.stop" "Control.Distributed.Process.ManagedProcess.Server.stopWith"

Also see "Control.Distributed.Process.Management.Priority.act" and "Control.Distributed.Process.ManagedProcess.Priority.runAfter".

And other actions. This type should not be used directly.

Returned from handlers for the synchronous call protocol, encapsulates the reply data and the action to take after sending the reply. A handler can return NoReply if they wish to ignore the call.

An action (server state transition) in the Process monad

An action (server state transition) causing a reply to a caller, in the Process monad

An expression used to handle a message

An expression used to handle a message and providing a reply

An expression used to handle a cast message

An expression used to ignore server state during handling

An expression used to handle a call message where the reply is deferred via the CallRef

An expression used to handle a call message ignoring server state

An expression used to handle an info message

An expression used to handle a channel message

An expression used to handle a channel message in a stateless process

An expression used to initialise a process with its state

An expression used to handle process termination

Informs a shutdown handler of whether it is running due to a clean shutdown, or in response to an unhandled exception.

True if the ExitState is CleanShutdown, otherwise False.

Evaluates to the s state datum in the given ExitState.

An expression used to handle process timeouts

Policy for handling unexpected messages, i.e., messages which are not sent using the call or cast APIs, and which are not handled by any of the handleInfo handlers.

Stores the functions that determine runtime behaviour in response to incoming messages and a policy for responding to unhandled messages.

Priority of a message, encoded as an Int

Dispatcher for prioritised handlers

Provides dispatch from a variety of inputs to a typed filter handler.

Given as the result of evaluating a DispatchFilter. This type is intended for internal use. For an API for working with filters, see Control.Distributed.Process.ManagedProcess.Priority.

A ProcessDefinition decorated with DispatchPriority for certain input domains.

For a PrioritisedProcessDefinition, this policy determines for how long the receive loop should continue draining the process' mailbox before processing its received mail (in priority order).

If a prioritised managed process is receiving a lot of messages (into its real mailbox), the server might never get around to actually processing its inputs. This (mandatory) policy provides a guarantee that eventually (i.e., after a specified number of received messages or time interval), the server will stop removing messages from its mailbox and process those it has already received.

Provides a means for servers to listen on a separate, typed control channel, thereby segregating the channel from their regular (and potentially busy) mailbox.

Creates a new ControlChannel.

The writable end of a ControlChannel.

Obtain an opaque expression for communicating with a ControlChannel.

Provides dispatch from cast and call messages to a typed handler.

Provides dispatch for channels and STM actions

Provides dispatch for any input, returns Nothing for unhandled messages.

Provides dispatch for any exit signal - returns Nothing for unhandled exceptions

Defines the means of dispatching inbound messages to a handler

Defines the means of dispatching messages from external channels (e.g. those defined in terms of ControlChannel, and STM actions) to a handler.

Message type used internally by the call, cast, and rpcChan APIs.

Response type for the call API

wrapper for a MonitorRef

Wraps a consumer of the call API

Sent to a consumer of the call API when a server filter expression explicitly rejects an incoming call message.

Creates a CallRef for the given Recipient and CallId

Retrieve the Recipient from a Message. If the supplied message is a cast or chan message will evaluate to Nothing, otherwise Just ref.

Reject a call message with the supplied string. Sends CallRejected to the recipient if the input is a CallMessage, otherwise has no side effects.

Retrieve the Recipient for a CallRef.

Retrieve the CallId for a CallRef.

The send part of the call client-server interaction. The resulting CallRef can be used to identify the corrolary response message (if one is sent by the server), and is unique to this call-reply pair.

Version of initCall that utilises "unsafeSendTo".

Wait on the server's response after an "initCall" has been previously been sent.

This function does not trap asynchronous exceptions.