pub struct Prove { /* private fields */ }Expand description
Proving state.
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Prove
impl !RefUnwindSafe for Prove
impl Send for Prove
impl !Sync for Prove
impl Unpin for Prove
impl !UnwindSafe for Prove
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
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§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§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> SpawnCompatExt for T
impl<T> SpawnCompatExt for T
§fn compat_ref(&self) -> Compat<&T>
fn compat_ref(&self) -> Compat<&T>
Wrap a reference to the executor in a
Compat wrapper.§fn compat_mut(&mut self) -> Compat<&mut T>
fn compat_mut(&mut self) -> Compat<&mut T>
Wrap a mutable reference to the executor in a
Compat wrapper.§impl<T> SpawnCompatExt for T
impl<T> SpawnCompatExt for T
§fn compat_ref(&self) -> Compat<&T>
fn compat_ref(&self) -> Compat<&T>
Wrap a reference to the executor in a
Compat wrapper.§fn compat_mut(&mut self) -> Compat<&mut T>
fn compat_mut(&mut self) -> Compat<&mut T>
Wrap a mutable reference to the executor in a
Compat wrapper.