Enum AlgebrizerError 

pub enum AlgebrizerError {
    DuplicateVariableError(PlainSymbol, &'static str),
    UnsupportedArgument,
    InputTypeDisagreement(PlainSymbol, ValueType, ValueType),
    InvalidNumberOfArguments(PlainSymbol, usize, usize),
    InvalidArgument(PlainSymbol, &'static str, usize),
    InvalidArgumentType(PlainSymbol, ValueTypeSet, usize),
    InvalidGroundConstant,
    InvalidLimit(String, ValueType),
    GroundBindingsMismatch,
    UnrecognizedIdent(String),
    UnknownFunction(PlainSymbol),
    UnknownLimitVar(PlainSymbol),
    UnboundVariable(PlainSymbol),
    NonMatchingVariablesInOrClause,
    NonMatchingVariablesInNotClause,
    InvalidBinding(PlainSymbol, BindingError),
    UnknownRule(PlainSymbol),
    RuleArgumentMismatch(PlainSymbol, usize, usize),
    RecursiveRuleUnsupported(PlainSymbol),
    MultiClauseRuleUnsupported(PlainSymbol),
    UnsupportedBigInteger,
    UnsupportedSource(String),
    EdnParseError(ParseError<LineCol>),
}

Variants

DuplicateVariableError(PlainSymbol, &'static str)

UnsupportedArgument

InputTypeDisagreement(PlainSymbol, ValueType, ValueType)

InvalidNumberOfArguments(PlainSymbol, usize, usize)

InvalidArgument(PlainSymbol, &'static str, usize)

InvalidArgumentType(PlainSymbol, ValueTypeSet, usize)

InvalidGroundConstant

InvalidLimit(String, ValueType)

GroundBindingsMismatch

UnrecognizedIdent(String)

UnknownFunction(PlainSymbol)

UnknownLimitVar(PlainSymbol)

UnboundVariable(PlainSymbol)

NonMatchingVariablesInOrClause

NonMatchingVariablesInNotClause

InvalidBinding(PlainSymbol, BindingError)

UnknownRule(PlainSymbol)

RuleArgumentMismatch(PlainSymbol, usize, usize)

RecursiveRuleUnsupported(PlainSymbol)

MultiClauseRuleUnsupported(PlainSymbol)

UnsupportedBigInteger

UnsupportedSource(String)

EdnParseError(ParseError<LineCol>)

Trait Implementations

impl Clone for AlgebrizerError

fn clone(&self) -> AlgebrizerError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AlgebrizerError

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

Formats the value using the given formatter.

impl Display for AlgebrizerError

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

Formats the value using the given formatter.

impl Eq for AlgebrizerError

impl Error for AlgebrizerError

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

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

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

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

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

Provides type-based access to context intended for error reports.

impl From<AlgebrizerError> for MentatError

fn from(error: AlgebrizerError) -> MentatError

Converts to this type from the input type.

impl From<ParseError<LineCol>> for AlgebrizerError

fn from(error: ParseError<LineCol>) -> AlgebrizerError

Converts to this type from the input type.

impl PartialEq for AlgebrizerError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for AlgebrizerError