Module event

The Event computation synchronized with the event queue.

Modules

ops

Additional operations.

Structs

AndThen

The monadic bind for the Event computation.

Ap

The function application for the Event computation.

Cons

Allows constructing the Event computation by the specified function.

Delay

Allows delaying the Event computation by the specified function.

Enqueue

Enqueues the event which handler should be actuated at the specified time.

EnqueueIO

Enqueues the IO-based event which handler should be actuated at the specified time.

EnqueueIOWithIntegTimes

Enqueues the IO-based events which handlers should be actuated in the integration time points.

EnqueueIOWithPriority

Enqueues the IO-based event which handler should be actuated at the specified time with the given priority.

EnqueueWithIntegTimes

Enqueues the events which handlers should be actuated in the integration time points.

EnqueueWithPriority

Enqueues the event which handler should be actuated at the specified time with the given priority.

EventBox

It represents the boxed Event computation.

EventIntoComposite

A conversion into the Composite computation.

EventIntoProcess

Allows converting to the Process computation.

EventRepr

A thin wrapper representaton of the Event action.

Map

The functor for the Event computation.

Priority

Returns the current simulation time priority.

Return

Allows creating the Event computation from a pure value.

RunInStartTime

Run the computation in the start time.

RunInStopTime

Run the computation in the stop time.

Sequence

The sequence of computations.

Sequence_

The sequence of computations with ignored result.

Time

Returns the current simulation time.

Trace

Trace the computation.

Yield

Enqueue the event which must be actuated with the current modeling time but later.

Zip

The zip of two Event computations.

Traits

Event

The computation synchronized with the event queue.

IntoEvent

Allows converting to Event computations.

Functions

cons_event

Construct a new Event computation by the specified function.

delay_event

Delay the Event computation.

enqueue_event

Enqueue an event which handler should be activated at the specified time.

enqueue_event_with_priority

Enqueue an event which handler should be activated at the specified time with the given priority.

enqueue_events_with_integ_times

Enqueue events which handlers should be activated in the integration time points.

enqueue_io_event

Enqueue an IO-based event which handler should be activated at the specified time.

enqueue_io_event_with_priority

Enqueue an IO-based event which handler should be activated at the specified time with the given priority.

enqueue_io_events_with_integ_times

Enqueue IO-based events which handlers should be activated in the integration time points.

event_sequence

Create a sequence of computations.

event_sequence_

Create a sequence of computations, where the result is ignored.

priority_event

Return the current modeling time priority.

return_event

Return a new Event computation by the specified pure value.

time_event

Return the current modeling time.

trace_event

Trace the computation.

yield_event

Enqueue the event which must be actuated with the current modeling time but later.