Simulation.Aivika.Internal.Process

Process Monad

data ProcessId

data Process a

class ProcessLift m

invokeProcess

Running Process

runProcess

runProcessUsingId

runProcessInStartTime

runProcessInStartTimeUsingId

runProcessInStopTime

runProcessInStopTimeUsingId

Spawning Processes

spawnProcess

spawnProcessUsingId

spawnProcessWith

spawnProcessUsingIdWith

Enqueuing Process

enqueueProcess

enqueueProcessUsingId

Creating Process Identifier

newProcessId

processId

processUsingId

Holding, Interrupting, Passivating and Canceling Process

holdProcess

interruptProcess

processInterrupted

processInterruptionTime

passivateProcess

passivateProcessBefore

processPassive

reactivateProcess

reactivateProcessImmediately

cancelProcessWithId

cancelProcess

processCancelled

processCancelling

whenCancellingProcess

Awaiting Signal

processAwait

Preemption

processPreemptionBegin

processPreemptionEnd

processPreemptionBeginning

processPreemptionEnding

Yield of Process

processYield

Process Timeout

timeoutProcess

timeoutProcessUsingId

Parallelizing Processes

processParallel

processParallelUsingIds

processParallel_

processParallelUsingIds_

Exception Handling

catchProcess

finallyProcess

throwProcess

Utilities

zipProcessParallel

zip3ProcessParallel

unzipProcess

Memoizing Process

memoProcess

Never Ending Process

neverProcess

Retrying Computation

retryProcess

GoTo Statement

transferProcess

Debugging

traceProcess