Enum proof_of_sql::sql::proof::QueryError   
source · pub enum QueryError {
    Overflow,
    InvalidString,
    MiscellaneousDecodingError,
    InvalidIndexes,
    MiscellaneousEvaluationError,
    ProofError(ProofError),
    InvalidTable(OwnedTableError),
}Expand description
Verifiable query errors
Variants§
Overflow
The query result overflowed. This does not mean that the verification failed. This just means that the database was supposed to respond with a result that was too large.
InvalidString
The query result string could not be decoded. This does not mean that the verification failed. This just means that the database was supposed to respond with a string that was not valid UTF-8.
MiscellaneousDecodingError
Decoding errors other than overflow and invalid string.
InvalidIndexes
Indexes are invalid.
MiscellaneousEvaluationError
Miscellaneous evaluation error.
ProofError(ProofError)
The proof failed to verify.
InvalidTable(OwnedTableError)
The table data was invalid. This should never happen because this should get caught by the verifier before reaching this point.
Trait Implementations§
source§impl Debug for QueryError
 
impl Debug for QueryError
source§impl Display for QueryError
 
impl Display for QueryError
source§impl Error for QueryError
 
impl Error for QueryError
source§fn source(&self) -> Option<&(dyn Error + 'static)>
 
fn source(&self) -> Option<&(dyn Error + 'static)>
Returns the lower-level source of this error, if any. Read more
1.0.0 · source§fn description(&self) -> &str
 
fn description(&self) -> &str
👎Deprecated since 1.42.0: use the Display impl or to_string()
Auto Trait Implementations§
impl Freeze for QueryError
impl RefUnwindSafe for QueryError
impl Send for QueryError
impl Sync for QueryError
impl Unpin for QueryError
impl UnwindSafe for QueryError
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
    T: ?Sized,
 
impl<T> BorrowMut<T> for Twhere
    T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
 
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<T> Instrument for T
 
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
 
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
 
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
 
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
 
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts 
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
 
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts 
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more