behavior_actors/time/mod.rs
1//! Pure time domains and behavior adapters.
2//!
3//! Timer identity is the product `(TimerId, TimerGeneration)` within one
4//! scheduling owner. Nested adapters remain distinct owners even when those
5//! values are equal: each schedule request carries its structural ingress
6//! destination. This is a Bombay composition policy rather than an actor-model
7//! law.
8
9mod deadline;
10mod domain;
11mod event;
12mod lease;
13mod one_shot;
14mod periodic;
15mod receive_timeout;
16
17pub use deadline::{Deadline, DeadlineReaction};
18pub use event::{TimedEvent, TimedReaction};
19pub use lease::{
20 Lease, LeaseMessage, LeaseOutcome, LeaseRejection, LeaseRequest, LeaseSends, LeaseState,
21};
22pub use one_shot::OneShot;
23pub use periodic::Periodic;
24pub use receive_timeout::ReceiveTimeout;