pub struct BitReadings<EF> {
pub current: Option<EF>,
pub next: Option<EF>,
}Expand description
The readings one BitOpening asked for, and nothing where it asked for nothing.
Fields§
§current: Option<EF>The witness at the point.
next: Option<EF>The witness one row further on, the last row repeating.
Trait Implementations§
Source§impl<EF: Clone> Clone for BitReadings<EF>
impl<EF: Clone> Clone for BitReadings<EF>
impl<EF: Copy> Copy for BitReadings<EF>
Source§impl<EF: Debug> Debug for BitReadings<EF>
impl<EF: Debug> Debug for BitReadings<EF>
impl<EF: Eq> Eq for BitReadings<EF>
Source§impl<EF: PartialEq> PartialEq for BitReadings<EF>
impl<EF: PartialEq> PartialEq for BitReadings<EF>
impl<EF: PartialEq> StructuralPartialEq for BitReadings<EF>
Auto Trait Implementations§
impl<EF> Freeze for BitReadings<EF>
impl<EF> RefUnwindSafe for BitReadings<EF>where
Option<EF>: RefUnwindSafe,
impl<EF> Send for BitReadings<EF>
impl<EF> Sync for BitReadings<EF>
impl<EF> Unpin for BitReadings<EF>
impl<EF> UnsafeUnpin for BitReadings<EF>where
Option<EF>: UnsafeUnpin,
impl<EF> UnwindSafe for BitReadings<EF>where
Option<EF>: UnwindSafe,
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