Simulation.Aivika.Process

Tested with: GHC 7.6.3

A value in the Process monad represents a discontinuous process that can suspend in any simulation time point and then resume later in the same or another time point.

The process of this type can involve the Event, Dynamics and Simulation computations. Moreover, a value in the Process monad can be run within the Event computation.

A value of the ProcessId type is just an identifier of such a process.

Documentation

data ProcessId

Represents a process identifier.

Instances

Eq ProcessId

data Process a

Specifies a discontinuous process that can suspend at any time and then resume later.

Instances

Monad Process

Functor Process

MonadIO Process

SimulationLift Process

DynamicsLift Process

EventLift Process

runProcess :: ProcessId -> Process () -> Event ()

Start immediately the process with the specified identifier.

To run the process at the specified time, you can use the enqueueProcess function.

runProcessInStartTime :: EventProcessing -> ProcessId -> Process () -> Simulation ()

Start the process in the start time immediately.

runProcessInStopTime :: EventProcessing -> ProcessId -> Process () -> Simulation ()

Start the process in the stop time immediately.

enqueueProcess :: Double -> ProcessId -> Process () -> Event ()

Enqueue the process that will be then started at the specified time from the event queue.

enqueueProcessWithStartTime :: ProcessId -> Process () -> Event ()

Enqueue the process that will be then started in the start time from the event queue.

enqueueProcessWithStopTime :: ProcessId -> Process () -> Event ()

Enqueue the process that will be then started in the stop time from the event queue.

newProcessId :: Simulation ProcessId

Create a new process identifier without exception handling.

newProcessIdWithCatch :: Simulation ProcessId

Create a new process identifier with capabilities of catching the IOError exceptions and finalizing the computation. The corresponded process will be slower than that one which identifier is created with help of newProcessId.

processId :: Process ProcessId

Return the current process identifier.

holdProcess :: Double -> Process ()

Hold the process for the specified time period.

interruptProcess :: ProcessId -> Event ()

Interrupt a process with the specified identifier if the process is held by computation holdProcess.

processInterrupted :: ProcessId -> Event Bool

Test whether the process with the specified identifier was interrupted.

passivateProcess :: Process ()

Passivate the process.

processPassive :: ProcessId -> Event Bool

Test whether the process with the specified identifier is passivated.

reactivateProcess :: ProcessId -> Event ()

Reactivate a process with the specified identifier.

cancelProcess :: ProcessId -> Event ()

Cancel a process with the specified identifier.

processCanceled :: ProcessId -> Event Bool

Test whether the process with the specified identifier was canceled.

catchProcess :: Process a -> (IOException -> Process a) -> Process a

Exception handling within Process computations.

finallyProcess :: Process a -> Process b -> Process a

A computation with finalization part.

throwProcess :: IOException -> Process a

Throw the exception with the further exception handling. By some reasons, the standard throw function per se is not handled properly within Process computations, although it will be still handled if it will be hidden under the liftIO function. The problem arises namely with the throw function, not IO computations.