Struct ShapeMatch 

pub struct ShapeMatch {
    pub accepted: bool,
    pub captures: ShapeBindings,
    pub score: MatchScore,
    pub diagnostics: Vec<Diagnostic>,
}

The outcome of checking a value or expr against a Shape.

Carries acceptance, captured ShapeBindings, a MatchScore for ranking, and any Diagnostics gathered during the check.

Examples

use sim_kernel::shape::{MatchScore, ShapeMatch};

let ok = ShapeMatch::accept(MatchScore::exact(3));
assert!(ok.accepted);
assert_eq!(ok.score.value(), 3);

let no = ShapeMatch::reject("expected a string");
assert!(!no.accepted);
assert_eq!(no.diagnostics.len(), 1);

Fields

accepted: bool

Whether the input satisfied the shape.

captures: ShapeBindings

Names captured by the match.

score: MatchScore

Ranking score for overload selection.

diagnostics: Vec<Diagnostic>

Diagnostics gathered while matching.

Implementations

impl ShapeMatch

pub fn accept(score: MatchScore) -> Self

An accepted match with the given score and no captures or diagnostics.

pub fn reject(message: impl Into<String>) -> Self

A rejected match carrying a single error diagnostic.

pub fn reject_with_diagnostic(diagnostic: Diagnostic) -> Self

A rejected match carrying one already-built diagnostic.

Trait Implementations

impl Clone for ShapeMatch

fn clone(&self) -> ShapeMatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeMatch

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

Formats the value using the given formatter.