[−][src]Struct zkinterface::consumers::reader::Reader
Collect buffers waiting to be read.
Fields
messages: Vec<Vec<u8>>
first_id: u64
Implementations
impl Reader
[src]
pub fn new() -> Reader
[src]
pub fn new_filtered(first_id: u64) -> Reader
[src]
Collect messages. Methods will filter out irrelevant variables. first_id: The first variable ID to consider in received messages. Variables with lower IDs are ignored.
pub fn push_message(&mut self, buf: Vec<u8>) -> Result<()>
[src]
pub fn read_from(&mut self, reader: impl Read) -> Result<()>
[src]
pub fn read_file(&mut self, path: impl AsRef<Path>) -> Result<()>
[src]
pub fn first_header(&self) -> Option<CircuitHeader<'_>>
[src]
pub fn last_header(&self) -> Option<CircuitHeader<'_>>
[src]
pub fn headers(&self) -> Vec<CircuitHeader<'_>>
[src]
pub fn instance_variables(&self) -> Option<Vec<Variable<'_>>>
[src]
pub fn private_variables(&self) -> Option<Vec<Variable<'_>>>
[src]
impl Reader
[src]
pub fn iter_constraints(&self) -> R1CSIterator<'_>ⓘNotable traits for R1CSIterator<'a>
impl<'a> Iterator for R1CSIterator<'a> type Item = Constraint<'a>;
[src]
Notable traits for R1CSIterator<'a>
impl<'a> Iterator for R1CSIterator<'a> type Item = Constraint<'a>;
impl Reader
[src]
pub fn iter_witness(&self) -> WitnessIterator<'_>ⓘNotable traits for WitnessIterator<'a>
impl<'a> Iterator for WitnessIterator<'a> type Item = Variable<'a>;
[src]
Notable traits for WitnessIterator<'a>
impl<'a> Iterator for WitnessIterator<'a> type Item = Variable<'a>;
Trait Implementations
impl Clone for Reader
[src]
impl Debug for Reader
[src]
impl<'_> From<&'_ Reader> for Messages
[src]
impl<'a> IntoIterator for &'a Reader
[src]
type Item = Root<'a>
The type of the elements being iterated over.
type IntoIter = MessageIterator<'a>
Which kind of iterator are we turning this into?
fn into_iter(self) -> MessageIterator<'a>ⓘNotable traits for MessageIterator<'a>
impl<'a> Iterator for MessageIterator<'a> type Item = Root<'a>;
[src]
Notable traits for MessageIterator<'a>
impl<'a> Iterator for MessageIterator<'a> type Item = Root<'a>;
Auto Trait Implementations
impl RefUnwindSafe for Reader
impl Send for Reader
impl Sync for Reader
impl Unpin for Reader
impl UnwindSafe for Reader
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,