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),
}
Returns a reference to the underlying cause of this failure, if it is an error that wraps other errors. Read more
Returns a reference to the Backtrace
carried by this failure, if it carries one. Read more
[−]
fn compat(self) -> Compat<Self> | |
[−]
Wraps this failure in a compatibility wrapper that implements std::error::Error
. Read more
ⓘImportant traits for Causes<'f>
Important traits for Causes<'f>
impl<'f> Iterator for Causes<'f> type Item = &'f (Fail + 'static);
[−]
Returns a iterator over the causes of this Fail
with itself as the first item and the root_cause
as the final item. Read more
[−]
Returns the "root cause" of this Fail
- the last value in the cause chain which does not return an underlying cause
. Read more
Performs copy-assignment from source
. Read more
This method tests for self
and other
values to be equal, and is used by ==
. Read more
This method tests for !=
.
Formats the value using the given formatter. Read more
Formats the value using the given formatter. Read more