Expand description
Pure time domains and behavior adapters.
Timer identity is the product (TimerId, TimerGeneration) within one
scheduling owner. Nested adapters remain distinct owners even when those
values are equal: each schedule request carries its structural ingress
destination. This is a Bombay composition policy rather than an actor-model
law.
Structs§
- Deadline
- Lease
- Exclusive expiring ownership behavior.
- Lease
Sends - Named effect lanes emitted by
Lease. - OneShot
- Infallible fold invoked for the one accepted timer generation.
- Periodic
- Infallible fold invoked for each accepted periodic generation.
- Receive
Timeout - Infallible fold invoked for the accepted inactivity generation.
Enums§
- Lease
Message - User commands accepted by
Lease. - Lease
Outcome - Factual lease operation result.
- Lease
Rejection - Typed lease-operation rejection.
- Lease
Request - Complete lease operation retained when admission is rejected.
- Lease
State - Complete exclusive lease phase.
Type Aliases§
- Deadline
Reaction - Infallible reaction to one accepted deadline.
- Timed
Event - A timer template owns one elapsed-timer lane in front of the complete event algebra of the behavior it wraps.
- Timed
Reaction - Infallible reaction that may use every action capability of the wrapped behavior.