Enum zia::ZiaError

pub enum ZiaError {
    RedundantReduction,
    RedundantDefinition,
    RedundantRefactor,
    RedundantDefinitionRemoval,
    BadDefinition,
    CyclicReduction,
    CannotExpandFurther,
    CannotReduceFurther,
    ExpandingReduction,
    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.

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 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

fn description(&self) -> &str

This method is soft-deprecated.

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

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

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

Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

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