Struct Amendment 

pub struct Amendment {
    pub summary: Option<String>,
    pub evidence: Vec<EvidenceV1>,
    pub merge_commit: Option<String>,
    pub reason: Option<String>,
    pub queen: bool,
}

What an amendment of a result says: on a submitted task the whole new evidence list and a new summary or none (the summary stays); on a done task only merge_commit (the merge record).

Fields

summary: Option<String>

evidence: Vec<EvidenceV1>

merge_commit: Option<String>

reason: Option<String>

queen: bool

The caller checked that this process runs for a registered Queen session (lean_ctx_hive::queens::this_session_is_queen): it may record a merge like a person.

Trait Implementations

impl Clone for Amendment

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Amendment

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

Formats the value using the given formatter.

impl Default for Amendment

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Amendment

impl PartialEq for Amendment

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Amendment