Struct sequent::TransitionError
source · Expand description
Produced by Event::apply()
if an error occurs.
Tuple Fields§
§0: Cow<'static, str>
Trait Implementations§
source§impl Clone for TransitionError
impl Clone for TransitionError
source§fn clone(&self) -> TransitionError
fn clone(&self) -> TransitionError
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for TransitionError
impl Debug for TransitionError
source§impl Display for TransitionError
impl Display for TransitionError
source§impl Error for TransitionError
impl Error for TransitionError
1.30.0 · source§fn source(&self) -> Option<&(dyn Error + 'static)>
fn source(&self) -> Option<&(dyn Error + 'static)>
The lower-level source of this error, if any. Read more
1.0.0 · source§fn description(&self) -> &str
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
source§impl<S> From<TransitionError> for SimulationError<S>
impl<S> From<TransitionError> for SimulationError<S>
source§fn from(source: TransitionError) -> Self
fn from(source: TransitionError) -> Self
Converts to this type from the input type.
source§impl PartialEq<TransitionError> for TransitionError
impl PartialEq<TransitionError> for TransitionError
source§fn eq(&self, other: &TransitionError) -> bool
fn eq(&self, other: &TransitionError) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Eq for TransitionError
impl StructuralEq for TransitionError
impl StructuralPartialEq for TransitionError
Auto Trait Implementations§
impl RefUnwindSafe for TransitionError
impl Send for TransitionError
impl Sync for TransitionError
impl Unpin for TransitionError
impl UnwindSafe for TransitionError
Blanket Implementations§
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.