Enum ErrorCode 

pub enum ErrorCode {
    E001,
    E002,
    E003,
    E004,
    E005,
    E006,
    E007,
    E008,
    E009,
    E010,
}

Stable, machine-readable error codes.

Quick reference:

• E001: ParseError
• E002: TypeError
• E003: ArityError
• E004: SymbolNotFound
• E005: AmbiguousSymbol
• E006: DivisionByZero
• E007: RecursionError
• E008: IndexError
• E009: IntegerOverflow
• E010: ScopeError

Variants

E001

Parse error: expression does not conform to the grammar.

E002

Type error:operator applied to incompatible types.

E003

Argument error: wrong operand count for an operator.

E004

Symbol not found: symbol path is not present in the payload.

E005

Ambiguous symbol: reserved for a future shorthand-lookup mode.

E006

Division by zero in Div or Mod.

E007

Recursion error: AST nesting exceeded max_depth.

E008

Index error: Get/Head/Tail ran off the end of a list.

E009

Integer overflow during checked arithmetic.

E010

Scope error: @ symbol used outside any quantifier predicate.

Trait Implementations

impl Clone for ErrorCode

fn clone(&self) -> ErrorCode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ErrorCode

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

Formats the value using the given formatter.

impl PartialEq for ErrorCode

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

impl Eq for ErrorCode

impl StructuralPartialEq for ErrorCode