Expand description
Timer-based management of operator activators.
Structs§
- Scheduler
- A scheduler allows polling sources to defer triggering their activators, in case they do not have work available. This reduces time spent polling infrequently updated sources and allows us to (optionally) block for input from within the event loop without unnecessarily delaying sources that have run out of fuel during the current step.
- Timed
Activator - A thing that can be scheduled at an instant. Scheduling this
activator might result in an
Event.
Enums§
- Event
- A set of things that we might want to schedule.