behavior/
lib.rs

1//! Pure actor algebra. A [`Behavior`] folds its associated event protocol into
2//! exactly [`Actions`]: sends, creates, and become. Timing, observation,
3//! supervision, stashing, and finite-state behavior are derived compositions.
4
5// The `workers!` macro emits `::behavior::…` paths; this alias lets
6// those expansions resolve inside this crate too (macro hygiene).
7extern crate self as behavior;
8
9#[path = "behavior.rs"]
10mod algebra;
11mod deadlined;
12mod stashing;
13mod supervising;
14mod verdict;
15mod watching;
16
17// `Fsm` is a thin state-machine helper built from the core stashing primitive.
18mod fsm;
19mod spec;
20
21pub use algebra::{
22    Acted, Actions, Address, Base, Become, Behavior, BirthMode, Births, Create, Delivery, FnState,
23    MailAddr, NoBirths, Recipient, Route, SendAlgebra, SendProduct, ServiceSends, State,
24    Transcript, User, UserEvent, run,
25};
26pub use deadlined::{
27    At, AtEvent, AtGeneration, AtId, AtReaction, ScheduleAt, TimeEvent, TimeReached,
28};
29pub use fsm::{Fsm, Move};
30pub use spec::Spec;
31pub use stashing::{StashRoute, Stashing};
32pub use supervising::{
33    ChildEvent, ChildStopped, ObserveChild, Proxy, ProxyCommand, ReportWorkerStopped,
34    RestartPolicy, Strategy, Supervising, SupervisionEvent, WorkerEvent, WorkerStopped,
35    restart_all, restart_one, restart_rest,
36};
37pub use verdict::{Never, Step};
38pub use watching::{
39    LinkReaction, ObservePeer, PeerEvent, PeerStopped, WatchEvent, Watching, stop_on_abnormal_death,
40};
41
42mod exit;
43
44pub use exit::{Crash, Exit};
45
46pub use behavior_macros::workers;
behavior/lib.rs

behavior/
lib.rs
