Struct StateMachine 

pub struct StateMachine<S, C> { /* private fields */ }

Typed state machine with guarded transitions, audit, and persistence hooks.

Implementations

impl<S, C> StateMachine<S, C>

where S: State + Eq + Hash, C: Clone + Send + Sync + 'static,

pub fn new(initial: S) -> Self

Create a state machine with an initial state.

pub fn with_transition(self, transition: Transition<S, C>) -> Self

Register a transition.

pub fn with_persistence( self, persistence: Arc<dyn StatePersistence<S, C>>, ) -> Self

Register a persistence hook.

pub fn state(&self) -> S

Return the current state.

pub fn snapshot(&self) -> StateSnapshot<S>

Return the current snapshot.

pub fn audit_log(&self) -> Vec<AuditEntry<S, C>>

Return a copy of the audit log.

pub fn apply(&self, name: &str, context: C) -> AppResult<StateSnapshot<S>>

Apply a named transition.