Struct Witness 

pub struct Witness {
    pub id: Id,
    pub witness_type: WitnessType,
    pub supports: Vec<ObjectRef>,
    pub contradicts: Vec<ObjectRef>,
    pub payload_ref: PayloadRef,
    pub validity_contexts: Vec<Id>,
    pub observed_at: String,
    pub provenance: Provenance,
    pub confidence: Confidence,
    pub review_status: WitnessStatus,
}

Observable support or counterexample for a structural judgment.

Fields

id: Id

Witness identifier.

witness_type: WitnessType

Witness category.

supports: Vec<ObjectRef>

Supported objects.

contradicts: Vec<ObjectRef>

Contradicted objects.

payload_ref: PayloadRef

Payload backing the witness.

validity_contexts: Vec<Id>

Contexts in which this witness is valid.

observed_at: String

Stable observed timestamp string, such as RFC 3339.

provenance: Provenance

Witness provenance.

confidence: Confidence

Confidence in the witness.

review_status: WitnessStatus

Witness review status.

Implementations

impl Witness

pub fn candidate( id: Id, witness_type: WitnessType, payload_ref: PayloadRef, observed_at: impl Into<String>, provenance: Provenance, confidence: Confidence, ) -> Result<Self>

Creates a candidate witness.

pub fn validate_acceptance(&self) -> Result<()>

Validates conditions required before using this witness as accepted support.

Trait Implementations

impl Clone for Witness

fn clone(&self) -> Witness

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Witness

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Witness

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Witness

fn eq(&self, other: &Witness) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Witness

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Witness