pub enum TranscriptError {
MissingBegin(Box<MissingBeginInfo>),
InvalidKind(Box<InvalidKindInfo>),
MismatchedBeginEnd(Box<MismatchedBeginEndInfo>),
MissingEnd(Box<MissingEndInfo>),
BadProofShape {
reason: &'static str,
},
}Expand description
Failures that can arise while validating a pattern or reading a proof.
Every variant is reachable.
Divergence between the recorded pattern and the code replaying it is a programming bug, not malformed input, so it panics with a diff instead of landing here.
Variants§
MissingBegin(Box<MissingBeginInfo>)
An end marker was found with no matching opener in the sequence.
InvalidKind(Box<InvalidKindInfo>)
A nested step uses a kind incompatible with the surrounding sub-protocol.
MismatchedBeginEnd(Box<MismatchedBeginEndInfo>)
A closer does not match the most recent opener.
MissingEnd(Box<MissingEndInfo>)
An opener was never closed before the sequence ended.
BadProofShape
Verifier-side parsing of the prover’s serialized output failed.
Trait Implementations§
Source§impl Clone for TranscriptError
impl Clone for TranscriptError
Source§impl Debug for TranscriptError
impl Debug for TranscriptError
Source§impl Display for TranscriptError
impl Display for TranscriptError
impl Eq for TranscriptError
Source§impl Error for TranscriptError
impl Error for TranscriptError
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()
Source§impl PartialEq for TranscriptError
impl PartialEq for TranscriptError
impl StructuralPartialEq for TranscriptError
Auto Trait Implementations§
impl Freeze for TranscriptError
impl RefUnwindSafe for TranscriptError
impl Send for TranscriptError
impl Sync for TranscriptError
impl Unpin for TranscriptError
impl UnsafeUnpin for TranscriptError
impl UnwindSafe for TranscriptError
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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