Enum Raised 

pub enum Raised {
    Error(Value),
    NoMatch(Value),
}

A value unwinding through the single error channel (see the errors section of docs/elly-spec.md). Evaluation returns Result<Value, Raised>; a raise unwinds the ? chain up to the nearest boundary. Two kinds unwind together, differing only in what catches them:

• Error(v) — a genuine failure: a host abort (raise_sym) or an explicit __Err.raise v. Propagates past __match.
• NoMatch(v) — a pattern refutation produced by match_pattern on a structural miss. v is the original descriptive error the refutation stands for (e.g. .list_size_mismatch, or .no_match for a bare =/as miss). Only __match singles it out — catching it, discarding v, and falling through to its fallback. Every other boundary (__Err.catch, the top level) treats it exactly as Error(v), so an uncaught refutation surfaces as its original error v rather than an opaque signal.

The kinds are distinguished by construction, not by an inspectable tag: user code only ever raises Error (via __Err.raise), so it cannot forge a NoMatch and fool __match (unlike a bare .no_match symbol would).

Variants

Error(Value)

A genuine error, propagated by __match.

NoMatch(Value)

A pattern refutation carrying the original error it decays to when uncaught.

Implementations

impl Raised

pub fn value(&self) -> &Value

The carried payload, regardless of kind (an uncaught refutation is its original error).

pub fn into_value(self) -> Value

Consume into the carried payload.

Trait Implementations

impl Clone for Raised

fn clone(&self) -> Raised

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Raised

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

Formats the value using the given formatter.