Struct Encoder 

pub struct Encoder<WI, CI, T> { /* private fields */ }

An encoder for CDF format

Implementations

impl<WI, CI, T> Encoder<WI, CI, T>

where WI: ExactSizeIterator, CI: ExactSizeIterator,

pub fn into_inner(self) -> T

Return the underlying encoder

impl<WI, CI> Encoder<WI, CI, File>

where WI: ExactSizeIterator, CI: ExactSizeIterator,

pub fn init_file<P>( config: Config, witnesses: WI, constraints: CI, path: P, ) -> Result<Self>

where P: AsRef<Path>,

Initialize the encoder, filling a file with required bytes.

Check File::set_len

impl<WI, CI, B> Encoder<WI, CI, BufWriter<B>>

where WI: ExactSizeIterator, CI: ExactSizeIterator, B: Write + Seek,

pub fn init_buffer( config: Config, witnesses: WI, constraints: CI, buffer: B, ) -> Result<Self>

Initialize the encoder, filling the buffer with required bytes.

impl<WI, CI> Encoder<WI, CI, Cursor<Vec<u8>>>

where WI: ExactSizeIterator, CI: ExactSizeIterator,

pub fn init_cursor(config: Config, witnesses: WI, constraints: CI) -> Self

Initialize the encoder, filling the buffer with required bytes.

impl<W, WI, C, CI, T> Encoder<WI, CI, T>

where W: Borrow<EncodableWitness>, WI: Iterator<Item = W> + ExactSizeIterator, C: Borrow<EncodableConstraint>, CI: Iterator<Item = C> + ExactSizeIterator, T: Write + Seek,

pub fn write_all<P>(&mut self, provider: P) -> Result<usize>

where P: EncoderContextProvider,

Write all witnesses and constraints into the target

Trait Implementations

impl<WI: Debug, CI: Debug, T: Debug> Debug for Encoder<WI, CI, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.