pub struct ClaimStanding {
pub state: IntentEvidenceState,
pub proof: ProofState,
}Expand description
What a declared claim’s evidence says: the criterion’s state, and the claim report’s own
verdict behind it — proven and inputs_unchanged both meet a criterion, and stay two
answers.
use majordomus_cli::evidence::ProofState;
use majordomus_cli::intent::{ClaimStanding, IntentEvidenceState};
let standing = ClaimStanding {
state: IntentEvidenceState::Current,
proof: ProofState::InputsUnchanged,
};
assert_ne!(standing.proof, ProofState::Proven);Fields§
§state: IntentEvidenceStateWhat the claim’s evidence means for a criterion.
proof: ProofStateThe claim report’s verdict.
Trait Implementations§
Source§impl Clone for ClaimStanding
impl Clone for ClaimStanding
Source§fn clone(&self) -> ClaimStanding
fn clone(&self) -> ClaimStanding
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for ClaimStanding
Source§impl Debug for ClaimStanding
impl Debug for ClaimStanding
impl Eq for ClaimStanding
Source§impl PartialEq for ClaimStanding
impl PartialEq for ClaimStanding
Source§fn eq(&self, other: &ClaimStanding) -> bool
fn eq(&self, other: &ClaimStanding) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for ClaimStanding
Auto Trait Implementations§
impl Freeze for ClaimStanding
impl RefUnwindSafe for ClaimStanding
impl Send for ClaimStanding
impl Sync for ClaimStanding
impl Unpin for ClaimStanding
impl UnsafeUnpin for ClaimStanding
impl UnwindSafe for ClaimStanding
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§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.