pub enum MeerkatMachineTransitionError {
NoMatchingTransition {
phase: MeerkatPhase,
trigger: MeerkatMachineTransitionTrigger,
},
GuardRejected {
phase: MeerkatPhase,
trigger: MeerkatMachineTransitionTrigger,
},
RecoveredStateInvariantRejected {
phase: MeerkatPhase,
invariant: &'static str,
},
}Variants§
NoMatchingTransition
No transition is declared for this (phase, trigger) pair at
all — the trigger variant is semantically out of scope for
the current phase. Shell callers should treat this as a hard
error: firing the wrong input for the current phase is a
programming mistake.
GuardRejected
A transition is declared for this (phase, trigger) pair
but every candidate transition’s guard(s) evaluated false.
Typed signal that the input was rejected on state, not
unrecognised. Shell callers that fire idempotently (e.g.,
a realtime dispatcher firing ProductTurnCommitted on every
observed TurnCommitted event, expecting the DSL to drop
duplicates) should treat this as a successful no-op rather
than an error.
RecoveredStateInvariantRejected
A recovered authority state violated a generated invariant before any transition was attempted.
Trait Implementations§
Source§impl Clone for MeerkatMachineTransitionError
impl Clone for MeerkatMachineTransitionError
Source§fn clone(&self) -> MeerkatMachineTransitionError
fn clone(&self) -> MeerkatMachineTransitionError
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Eq for MeerkatMachineTransitionError
Source§impl Error for MeerkatMachineTransitionError
impl Error for MeerkatMachineTransitionError
1.30.0 · Source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
1.0.0 · Source§fn description(&self) -> &str
fn description(&self) -> &str
use the Display impl or to_string()
Source§impl PartialEq for MeerkatMachineTransitionError
impl PartialEq for MeerkatMachineTransitionError
Source§fn eq(&self, other: &MeerkatMachineTransitionError) -> bool
fn eq(&self, other: &MeerkatMachineTransitionError) -> bool
self and other values to be equal, and is used by ==.impl StructuralPartialEq for MeerkatMachineTransitionError
Auto Trait Implementations§
impl Freeze for MeerkatMachineTransitionError
impl RefUnwindSafe for MeerkatMachineTransitionError
impl Send for MeerkatMachineTransitionError
impl Sync for MeerkatMachineTransitionError
impl Unpin for MeerkatMachineTransitionError
impl UnsafeUnpin for MeerkatMachineTransitionError
impl UnwindSafe for MeerkatMachineTransitionError
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.