pub struct PredicateEvaluationResult {
pub status: PredicateEvaluationStatus,
pub message: String,
}Fields§
§status: PredicateEvaluationStatus§message: StringImplementations§
Source§impl PredicateEvaluationResult
impl PredicateEvaluationResult
pub fn holds(message: impl Into<String>) -> PredicateEvaluationResult
pub fn not_proven(message: impl Into<String>) -> PredicateEvaluationResult
pub fn invalid(message: impl Into<String>) -> PredicateEvaluationResult
pub fn unsupported(message: impl Into<String>) -> PredicateEvaluationResult
Trait Implementations§
Source§impl Clone for PredicateEvaluationResult
impl Clone for PredicateEvaluationResult
Source§fn clone(&self) -> PredicateEvaluationResult
fn clone(&self) -> PredicateEvaluationResult
Returns a duplicate 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 PredicateEvaluationResult
impl Debug for PredicateEvaluationResult
impl Eq for PredicateEvaluationResult
impl StructuralPartialEq for PredicateEvaluationResult
Auto Trait Implementations§
impl Freeze for PredicateEvaluationResult
impl RefUnwindSafe for PredicateEvaluationResult
impl Send for PredicateEvaluationResult
impl Sync for PredicateEvaluationResult
impl Unpin for PredicateEvaluationResult
impl UnsafeUnpin for PredicateEvaluationResult
impl UnwindSafe for PredicateEvaluationResult
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more