bombay-behavior 0.7.0

Composable, statically typed actor behavior algebra
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

//! Pure actor algebra. A [`Behavior`] folds its associated event protocol into
//! exactly [`Actions`]: sends, creates, and become. Timing, observation,
//! supervision, stashing, and finite-state behavior are derived compositions.

// The `workers!` macro emits `::behavior::…` paths; this alias lets
// those expansions resolve inside this crate too (macro hygiene).
extern crate self as behavior;

#[path = "behavior.rs"]
mod algebra;
mod deadlined;
mod stashing;
mod supervising;
mod verdict;
mod watching;

// `Fsm` is a thin state-machine helper built from the core stashing primitive.
mod fsm;
mod protocol;
mod shutdown;
mod spec;

pub use algebra::{
    Acted, Actions, Address, Base, Become, Behavior, BehaviorActed, BirthMode, Births, Create,
    CreationKind, Delivery, FnState, MailAddr, NoBirths, Recipient, Route, SendAlgebra,
    SendProduct, ServiceSends, State, Transcript, User, UserEvent, run,
};
pub use deadlined::{At, AtEvent, AtReaction};
pub use fsm::{Fsm, Move};
pub use protocol::{
    AtGeneration, AtId, ChildEvent, ChildStopped, ObserveChild, ObservePeer, PeerEvent,
    PeerStopped, ReportWorkerStopped, ScheduleAt, ShutdownEvent, ShutdownRequested, TimeEvent,
    TimeReached, WorkerEvent, WorkerStopped,
};
pub use shutdown::{FinalizeOnShutdown, ShutdownProtocol, ShutdownReaction, StopOnShutdown};
pub use spec::Spec;
pub use stashing::{StashRoute, Stashing};
pub use supervising::{
    Proxy, ProxyCommand, RestartPolicy, Strategy, Supervising, SupervisionEvent,
    SupervisionFailure, SupervisionFailureReaction, restart_all, restart_one, restart_rest,
    retire_on_supervision_failure, stop_on_supervision_failure,
};
pub use verdict::{Never, Step};
pub use watching::{LinkReaction, WatchEvent, Watching, stop_on_abnormal_death};

mod exit;

pub use exit::{Crash, Exit, RestartDenial, SupervisionFailureReason};

pub use behavior_macros::workers;