Expand description
Cordis Timer: complete generation-owned time operations.
Timer owns scheduling, monotonic deadlines, cancellation outcomes, and operation delivery. Core sees only generic generation cleanup obligations.
Structs§
- Interval
- A construction-anchored fixed-phase timer stream.
- Sleep
- One complete one-shot timer operation.
- Timeout
- One lazy caller Future racing a deadline pinned at construction.
- Timer
Cancelled - Generation cleanup cancelled an already-constructed timer operation.
Enums§
- Timeout
Outcome - The normal terminal outcome of a
Timeout. - Timer
Registration Error - Why a timer operation could not be registered. Every variant is a synchronous pre-delivery refusal: no operation is returned.
Traits§
- Timer
Ext - Timer operations bound to a context’s current generation.