Module dvcompute_branch::simulation::process
source · [−]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.
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.