Struct ShapeReport 

pub struct ShapeReport {
    pub id: Ref,
    pub shape: Ref,
    pub target: Ref,
    pub accepted: bool,
    pub score: MatchScore,
    pub captures: Ref,
    pub diagnostics: Vec<Diagnostic>,
}

The canonical record of a shape check: who was checked against what, the outcome, and the diagnostics.

A report is interned content (the id) and is the evidence backing the satisfies-shape satisfaction claim published when a match is accepted. The kernel defines this record and that claim; libraries produce reports by running the shape protocol.

Fields

id: Ref

Content reference identifying this report.

shape: Ref

Reference to the shape that was checked.

target: Ref

Reference to the value or expr that was checked.

accepted: bool

Whether the target satisfied the shape.

score: MatchScore

The match score.

captures: Ref

Reference to the interned captures datum.

diagnostics: Vec<Diagnostic>

Diagnostics gathered during the check.

Implementations

impl ShapeReport

pub fn canonical_datum(&self) -> Datum

Build the canonical Datum for this report (excluding its own id).

Trait Implementations

impl Clone for ShapeReport

fn clone(&self) -> ShapeReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeReport

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

Formats the value using the given formatter.

impl Eq for ShapeReport

impl PartialEq for ShapeReport

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