Enum mentat_query_algebrizer::BindingError

pub enum BindingError {
    NoBoundVariable,
    UnexpectedBinding,
    RepeatedBoundVariable,
    ExpectedBindRel,
    ExpectedBindRelOrBindColl,
    InvalidNumberOfBindings {
        number: usize,
        expected: usize,
    },
}

Variants

NoBoundVariableUnexpectedBindingRepeatedBoundVariableExpectedBindRel

Expected [[?x ?y]] but got some other type of binding. Mentat is deliberately more strict than Datomic: we won't try to make sense of non-obvious (and potentially erroneous) bindings.

ExpectedBindRelOrBindColl

Expected [[?x ?y]] or [?x ...] but got some other type of binding. Mentat is deliberately more strict than Datomic: we won't try to make sense of non-obvious (and potentially erroneous) bindings.

InvalidNumberOfBindings

Expected [?x1 … ?xN] or [[?x1 … ?xN]] but got some other number of bindings. Mentat is deliberately more strict than Datomic: we prefer placeholders to omission.

Fields of InvalidNumberOfBindings

number: usize
expected: usize

Trait Implementations

impl Display for BindingError

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

Formats the value using the given formatter.

impl Clone for BindingError

fn clone(&self) -> BindingError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BindingError

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

Formats the value using the given formatter.

impl Eq for BindingError

impl PartialEq for BindingError

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

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

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

This method tests for !=.

impl Fail for BindingError

fn cause(&self) -> Option<&Fail>

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.

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.