Simulation.Aivika.Process

Process Monad

data ProcessId

data Process a

class ProcessLift m

Running Process

runProcess

runProcessUsingId

runProcessInStartTime

runProcessInStartTimeUsingId

runProcessInStopTime

runProcessInStopTimeUsingId

Spawning Processes

spawnProcess

spawnProcessUsingId

spawnProcessWith

spawnProcessUsingIdWith

Enqueueing Process

enqueueProcess

enqueueProcessUsingId

Creating Process Identifier

newProcessId

processId

processUsingId

Holding, Interrupting, Passivating and Canceling Process

holdProcess

interruptProcess

processInterrupted

passivateProcess

processPassive

reactivateProcess

cancelProcessWithId

cancelProcess

processCancelled

processCancelling

whenCancellingProcess

Awaiting Signal

processAwait

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

Debugging

traceProcess