Enum proof_of_sql::sql::proof::QueryError
source · pub enum QueryError {
Overflow,
InvalidString,
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.
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)>
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