Module dvcompute::simulation::process [−][src]
Expand description
The Process
computation to represent discontinuous processes.
Modules
Structs
The function application for the Process
computation.
Await a signal that should be emitted by the specified observable.
Cancel the current process.
Cancel a process by the specified process identifier.
Allows delaying the Process
computation by the specified function.
The finally block for the Process
computation.
The monadic bind for the Process
computation.
The hold block for the Process
computation.
Return the corresponding process identifier.
Interrupt a process with the specified identifier if the process
is held by computation hold_process
.
Return the expected interruption time after finishing the hold_process
computation,
which value may change if the corresponding process is preempted.
Test whether the process with the specified identifier was interrupted.
Test whether the process with the specified identifier was passivated.
Executes the Process
computation in loop.
The functor for the Process
computation.
The process that never returns a result.
A computation that creates a ProcessId
value.
Allows creating the Process
computation that panics with the specified message.
Passivate the Process
computation.
Passivate the Process
computation before performing some action.
The Process
computation box.
The computation identifier.
Proceed with the process that would use the specified time point priority.
Reactivate the process with the specified identifier.
Reactivate immediately the process with the specified identifier.
Reactivate immediately the processes with specified identifiers.
Allows creating the Process
computation from a pure value.
Run the computation.
The sequence of computations.
The sequence of computations with ignored result.
Allows spawning another process bound with the current one.
Allows spawning another process bound with the current one.
Trace the computation.
Like the GoTo statement it transfers the direction of computation.
Register a handler that will be invoked in case of cancelling the current process.
The zip of two Process
computations.
Enums
It defines how the parent and child computations should be cancelled.
The event that occurs whithin the Process
computation.
Traits
Allows converting to Process
computations.
The computation based on continuations.
Functions
Cancel the current process.
Delay the Process
computation.
Hold the process for the specified time interval.
Execute the Process
computation in loop.
A process that never returns a result.
Return a Process
computation that panics with the specified error message.
Passivate the process.
Passivate the process before performing some action.
Await a signal that should be emitted by the specified observable.
Return the corresponding process identifier.
Create a sequence of computations.
Create a sequence of computations, where the result is ignored.
Proceed with the process that would use the specified time point priority.
Wrap the computation so that it would restore its priority.
Return a new Process
computation by the specified pure value.
Spawn the child process. In case of cancelling one of the processes, other process will be cancelled too.
Spawn the child process specifying how the child and parent processes should be cancelled in case of need.
Spawn the child process specifying how the child and parent processes should be cancelled in case of need.
Spawn the child process specifying how the child and parent processes should be cancelled in case of need.
Trace the computation.
Like the GoTo statement it transfers the direction of computation.
Register a handler that will be invoked in case of cancelling the current process.