Enum zia::ZiaError

pub enum ZiaError {
    RedundantReduction,
    RedundantDefinition,
    RedundantRefactor,
    RedundantDefinitionRemoval,
    NotAProgram,
    BadDefinition,
    CyclicReduction,
    ExpandingReduction,
    InfiniteDefinition,
    EmptyParentheses,
    AmbiguousExpression,
    DefinitionCollision,
    SettingDefinitionOfConcrete,
    ConcreteReduction,
    MultipleReductionPaths,
}

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.

NotAProgram

When the command cannot be interpreted as a routine.

BadDefinition

When defining an expanded expression.

CyclicReduction

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

ExpandingReduction

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

InfiniteDefinition

When a concept is contained within 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.

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.