Struct Receipt 

pub struct Receipt {
    pub stages: Vec<Stage>,
}

A receipt: one entry per stage in STAGES, in order. Verified only when every stage passed.

Fields

stages: Vec<Stage>

Implementations

impl Receipt

pub fn unstarted() -> Self

A receipt in which nothing has run yet.

pub fn stage(&self, name: &str) -> Option<&Stage>

pub fn set( &mut self, name: &str, status: StageStatus, detail: impl Into<String>, )

pub fn set_with_code( &mut self, name: &str, status: StageStatus, code: &str, detail: impl Into<String>, )

Receipt::set with the machine-readable reason.

pub fn status(&self, name: &str) -> StageStatus

pub fn verified(&self) -> bool

pub fn replayed(&self) -> bool

Every stage a replay establishes passed. Not the same as Receipt::verified: a replay establishes everything except that the pinned Lean accepted the source, which only the producing run observes.

pub fn first_failure(&self) -> Option<&Stage>

The first stage that failed, in stage order.

pub fn to_json(&self) -> Value

The receipt as the contract’s stages object, with a detail and code for each stage.

Trait Implementations

impl Clone for Receipt

fn clone(&self) -> Receipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Receipt

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

Formats the value using the given formatter.

impl PartialEq for Receipt

fn eq(&self, other: &Receipt) -> 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 Eq for Receipt

impl StructuralPartialEq for Receipt