Enum zia::ZiaError

pub enum ZiaError {
    RedundantReduction,
    RedundantDefinition,
    RedundantRefactor,
    RedundantDefinitionRemoval,
    BadDefinition,
    CyclicReduction,
    CannotExpandFurther,
    CannotReduceFurther,
    ExpandingReduction,
    MissingSymbol {
        symbol: &'static str,
    },
    InfiniteDefinition,
    EmptyParentheses,
    AmbiguousExpression,
    DefinitionCollision,
    SettingDefinitionOfConcrete,
    ConcreteReduction,
    MultipleReductionPaths,
    UnusedSymbol,
}

All the expected ways a Zia command could be invalid.

Variants

RedundantReduction

When specifying a reduction rule that already exists.

RedundantDefinition

When specifying a definition that already exists.

RedundantRefactor

When refactoring a symbol that hasn't been used.

RedundantDefinitionRemoval

When removing a definition from a concept with no definition.

BadDefinition

When defining an expanded expression.

CyclicReduction

When the command would complete a cycle of chained reduction rules.

CannotExpandFurther

When syntax tree cannot be expanded further

CannotReduceFurther

When syntax tree cannot be reduced further

ExpandingReduction

When a concept is contained within the concept that it reduces to.

MissingSymbol

When a required symbol is missing from a command

Fields of MissingSymbol

symbol: &'static str

InfiniteDefinition

When a concept is contained within the normal form of its definition.

EmptyParentheses

When a command contains a pair of parentheses with no syntax inside.

AmbiguousExpression

When the interpreter cannot determine the tree structure of an expression.

DefinitionCollision

When trying to refactor a used symbol as another used symbol or expression.

SettingDefinitionOfConcrete

When trying to define the composition of a concrete concept.

ConcreteReduction

When trying to specify a reduction rule for a concrete concept.

MultipleReductionPaths

When trying to specify a reduction rule for a concept whose components reduce to something else.

UnusedSymbol

When symbol is expected to be used by a concept but isn't.

Trait Implementations

impl Clone for ZiaError

fn clone(&self) -> ZiaError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ZiaError

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

Formats the value using the given formatter.

impl Display for ZiaError

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

Formats the value using the given formatter.

impl Error for ZiaError where
    Self: Debug + Display, 

fn description(&self) -> &str

Deprecated since 1.41.0:

use the Display impl or to_string()

if let Err(e) = "xc".parse::<u32>() { // Print e itself, no need for description(). eprintln!("Error: {}", e); }

fn cause(&self) -> Option<&dyn Error>

Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

🔬 This is a nightly-only experimental API. (backtrace)

Returns a stack backtrace, if available, of where this error occurred.

impl ErrorCompat for ZiaError

fn backtrace(&self) -> Option<&Backtrace>

Returns a Backtrace that may be printed.

impl PartialEq<ZiaError> for ZiaError

fn eq(&self, other: &ZiaError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ZiaError) -> bool

This method tests for !=.

impl StructuralPartialEq for ZiaError