pub struct ContractWitness {
pub ok: bool,
pub policy_version: String,
pub evidence_refs: Vec<String>,
}Expand description
Contract-clause verdict from a registered evaluator (perspt-policy is
invoked inside the runtime’s implementation).
Fields§
§ok: bool§policy_version: String§evidence_refs: Vec<String>Trait Implementations§
Source§impl Clone for ContractWitness
impl Clone for ContractWitness
Source§fn clone(&self) -> ContractWitness
fn clone(&self) -> ContractWitness
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 moreSource§impl Debug for ContractWitness
impl Debug for ContractWitness
Source§impl<'de> Deserialize<'de> for ContractWitness
impl<'de> Deserialize<'de> for ContractWitness
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl PartialEq for ContractWitness
impl PartialEq for ContractWitness
Source§fn eq(&self, other: &ContractWitness) -> bool
fn eq(&self, other: &ContractWitness) -> bool
Tests for
self and other values to be equal, and is used by ==.Source§impl Serialize for ContractWitness
impl Serialize for ContractWitness
impl StructuralPartialEq for ContractWitness
Auto Trait Implementations§
impl Freeze for ContractWitness
impl RefUnwindSafe for ContractWitness
impl Send for ContractWitness
impl Sync for ContractWitness
impl Unpin for ContractWitness
impl UnsafeUnpin for ContractWitness
impl UnwindSafe for ContractWitness
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<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.