Enum mentat::AlgebrizerError

[+] Show type declaration

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),
    EdnParseError(ParseError),
}

Variants

DuplicateVariableError(PlainSymbol, &'static str)UnsupportedArgumentInputTypeDisagreement(PlainSymbol, ValueType, ValueType)InvalidNumberOfArguments(PlainSymbol, usize, usize)InvalidArgument(PlainSymbol, &'static str, usize)InvalidArgumentType(PlainSymbol, ValueTypeSet, usize)InvalidGroundConstantInvalidLimit(String, ValueType)GroundBindingsMismatchUnrecognizedIdent(String)UnknownFunction(PlainSymbol)UnknownLimitVar(PlainSymbol)UnboundVariable(PlainSymbol)NonMatchingVariablesInOrClauseNonMatchingVariablesInNotClauseInvalidBinding(PlainSymbol, BindingError)EdnParseError(ParseError)

Trait Implementations

impl Fail for AlgebrizerError

[+]

fn cause(&self) -> Option<&(Fail + 'static)>

[−]

Returns a reference to the underlying cause of this failure, if it is an error that wraps other errors.

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

[−]

Returns a reference to the Backtrace carried by this failure, if it carries one.

fn context<D>(self, context: D) -> Context<D> where     D: Display + Send + Sync + 'static,

[−]

Provides context for this failure.

fn compat(self) -> Compat<Self>

[−]

Wraps this failure in a compatibility wrapper that implements std::error::Error.

Important traits for Causes<'f>

impl<'f> Iterator for Causes<'f> type Item = &'f (Fail + 'static);

fn causes(&self) -> Causes

[−]

Returns a iterator over the causes of this Fail with itself as the first item and the root_cause as the final item.

fn root_cause(&self) -> &(Fail + 'static)

[−]

Returns the "root cause" of this Fail - the last value in the cause chain which does not return an underlying cause.

impl Clone for AlgebrizerError

[+]

fn clone(&self) -> AlgebrizerError

[−]

Returns a copy of the value.

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

[−]

Performs copy-assignment from source.

impl From<ParseError> for AlgebrizerError

[+]

fn from(error: ParseError) -> AlgebrizerError

[−]

Performs the conversion.

impl Eq for AlgebrizerError

impl PartialEq<AlgebrizerError> for AlgebrizerError

[+]

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

[−]

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

fn ne(&self, __arg_0: &AlgebrizerError) -> bool

[−]

This method tests for !=.

impl Display for AlgebrizerError

[+]

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

[−]

Formats the value using the given formatter.

impl Debug for AlgebrizerError

[+]

fn fmt(&self, __arg_0: &mut Formatter) -> Result<(), Error>

[−]

Formats the value using the given formatter.

impl From<AlgebrizerError> for MentatError

[+]

fn from(error: AlgebrizerError) -> MentatError

[−]

Performs the conversion.