Struct dusk_cdf::Encoder

source · [−]

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

Expand description

An encoder for CDF format

Implementations

source

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

source

pub fn into_inner(self) -> T

Return the inner target

source

impl<W, WI, C, CI, T> Encoder<WI, CI, T> where
 W: Borrow<Witness>,
 WI: Iterator<Item = W> + ExactSizeIterator,
 C: Borrow<Constraint>,
 CI: Iterator<Item = C> + ExactSizeIterator,

source

pub fn init_preamble(config: Config, witnesses: &WI, constraints: &CI) -> Preamble

Intialize a preamble from a witness & constraints iterator

source

impl<W, WI, C, CI> Encoder<WI, CI, File> where
 W: Borrow<Witness>,
 WI: Iterator<Item = W> + ExactSizeIterator,
 C: Borrow<Constraint>,
 CI: Iterator<Item = C> + ExactSizeIterator,

source

pub fn init_file(
 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

source

impl<W, WI, C, CI, B> Encoder<WI, CI, BufWriter> where
 W: Borrow<Witness>,
 WI: Iterator<Item = W> + ExactSizeIterator,
 C: Borrow<Constraint>,
 CI: Iterator<Item = C> + ExactSizeIterator,
 B: Write + Seek,

source

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

Initialize the encoder, filling the buffer with required bytes.

source

impl<W, WI, C, CI> Encoder<WI, CI, Cursor<Vec<u8>>> where
 W: Borrow<Witness>,
 WI: Iterator<Item = W> + ExactSizeIterator,
 C: Borrow<Constraint>,
 CI: Iterator<Item = C> + ExactSizeIterator,

source

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

Initialize the encoder, filling the cursor with required bytes.

source

impl<W, WI, C, CI, T> Encoder<WI, CI, T> where
 W: Borrow<Witness>,
 WI: Iterator<Item = W> + ExactSizeIterator,
 C: Borrow<Constraint>,
 CI: Iterator<Item = C> + ExactSizeIterator,
 T: Write + Seek,

source

pub fn write_all(&mut self) -> Result<usize> where
 W: Borrow<Witness>,
 WI: Iterator<Item = W>,
 C: Borrow<Constraint>,
 CI: Iterator<Item = C>,

Write all witnesses and constraints into the target

Trait Implementations

source

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

source

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

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl<WI, CI, T> RefUnwindSafe for Encoder<WI, CI, T> where
 CI: RefUnwindSafe,
 T: RefUnwindSafe,
 WI: RefUnwindSafe,

impl<WI, CI, T> Send for Encoder<WI, CI, T> where
 CI: Send,
 T: Send,
 WI: Send,

impl<WI, CI, T> Sync for Encoder<WI, CI, T> where
 CI: Sync,
 T: Sync,
 WI: Sync,

impl<WI, CI, T> Unpin for Encoder<WI, CI, T> where
 CI: Unpin,
 T: Unpin,
 WI: Unpin,

impl<WI, CI, T> UnwindSafe for Encoder<WI, CI, T> where
 CI: UnwindSafe,
 T: UnwindSafe,
 WI: UnwindSafe,

Blanket Implementations

source

impl<T> Any for T where
T: 'static + ?Sized,

source

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

source

impl<T> Borrow<T> for T where
T: ?Sized,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · source

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

Struct dusk_cdf::Encoder

Implementations

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

pub fn into_inner(self) -> T

impl<W, WI, C, CI, T> Encoder<WI, CI, T> where
    W: Borrow<Witness>,
    WI: Iterator<Item = W> + ExactSizeIterator,
    C: Borrow<Constraint>,
    CI: Iterator<Item = C> + ExactSizeIterator,

pub fn init_preamble(config: Config, witnesses: &WI, constraints: &CI) -> Preamble

impl<W, WI, C, CI> Encoder<WI, CI, File> where
    W: Borrow<Witness>,
    WI: Iterator<Item = W> + ExactSizeIterator,
    C: Borrow<Constraint>,
    CI: Iterator<Item = C> + ExactSizeIterator,

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

impl<W, WI, C, CI, B> Encoder<WI, CI, BufWriter<B>> where
    W: Borrow<Witness>,
    WI: Iterator<Item = W> + ExactSizeIterator,
    C: Borrow<Constraint>,
    CI: Iterator<Item = C> + ExactSizeIterator,
    B: Write + Seek,

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

impl<W, WI, C, CI> Encoder<WI, CI, Cursor<Vec<u8>>> where
    W: Borrow<Witness>,
    WI: Iterator<Item = W> + ExactSizeIterator,
    C: Borrow<Constraint>,
    CI: Iterator<Item = C> + ExactSizeIterator,

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

impl<W, WI, C, CI, T> Encoder<WI, CI, T> where
    W: Borrow<Witness>,
    WI: Iterator<Item = W> + ExactSizeIterator,
    C: Borrow<Constraint>,
    CI: Iterator<Item = C> + ExactSizeIterator,
    T: Write + Seek,

pub fn write_all(&mut self) -> Result<usize> where
    W: Borrow<Witness>,
    WI: Iterator<Item = W>,
    C: Borrow<Constraint>,
    CI: Iterator<Item = C>,

Trait Implementations

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

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

Auto Trait Implementations

impl<WI, CI, T> RefUnwindSafe for Encoder<WI, CI, T> where
    CI: RefUnwindSafe,
    T: RefUnwindSafe,
    WI: RefUnwindSafe,

impl<WI, CI, T> Send for Encoder<WI, CI, T> where
    CI: Send,
    T: Send,
    WI: Send,

impl<WI, CI, T> Sync for Encoder<WI, CI, T> where
    CI: Sync,
    T: Sync,
    WI: Sync,

impl<WI, CI, T> Unpin for Encoder<WI, CI, T> where
    CI: Unpin,
    T: Unpin,
    WI: Unpin,

impl<WI, CI, T> UnwindSafe for Encoder<WI, CI, T> where
    CI: UnwindSafe,
    T: UnwindSafe,
    WI: UnwindSafe,

Blanket Implementations

impl<T> Any for T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where
T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where
T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where
U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for T where
U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct dusk_cdf::Encoder

Implementations

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

pub fn into_inner(self) -> T

impl<W, WI, C, CI, T> Encoder<WI, CI, T> where W: Borrow<Witness>, WI: Iterator<Item = W> + ExactSizeIterator, C: Borrow<Constraint>, CI: Iterator<Item = C> + ExactSizeIterator,

pub fn init_preamble(config: Config, witnesses: &WI, constraints: &CI) -> Preamble

impl<W, WI, C, CI> Encoder<WI, CI, File> where W: Borrow<Witness>, WI: Iterator<Item = W> + ExactSizeIterator, C: Borrow<Constraint>, CI: Iterator<Item = C> + ExactSizeIterator,

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

impl<W, WI, C, CI, B> Encoder<WI, CI, BufWriter<B>> where W: Borrow<Witness>, WI: Iterator<Item = W> + ExactSizeIterator, C: Borrow<Constraint>, CI: Iterator<Item = C> + ExactSizeIterator, B: Write + Seek,

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

impl<W, WI, C, CI> Encoder<WI, CI, Cursor<Vec<u8>>> where W: Borrow<Witness>, WI: Iterator<Item = W> + ExactSizeIterator, C: Borrow<Constraint>, CI: Iterator<Item = C> + ExactSizeIterator,

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

impl<W, WI, C, CI, T> Encoder<WI, CI, T> where W: Borrow<Witness>, WI: Iterator<Item = W> + ExactSizeIterator, C: Borrow<Constraint>, CI: Iterator<Item = C> + ExactSizeIterator, T: Write + Seek,

pub fn write_all(&mut self) -> Result<usize> where W: Borrow<Witness>, WI: Iterator<Item = W>, C: Borrow<Constraint>, CI: Iterator<Item = C>,

Trait Implementations

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

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

Auto Trait Implementations

impl<WI, CI, T> RefUnwindSafe for Encoder<WI, CI, T> where CI: RefUnwindSafe, T: RefUnwindSafe, WI: RefUnwindSafe,

impl<WI, CI, T> Send for Encoder<WI, CI, T> where CI: Send, T: Send, WI: Send,

impl<WI, CI, T> Sync for Encoder<WI, CI, T> where CI: Sync, T: Sync, WI: Sync,

impl<WI, CI, T> Unpin for Encoder<WI, CI, T> where CI: Unpin, T: Unpin, WI: Unpin,

impl<WI, CI, T> UnwindSafe for Encoder<WI, CI, T> where CI: UnwindSafe, T: UnwindSafe, WI: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<W, WI, C, CI, T> Encoder<WI, CI, T> where
W: Borrow<Witness>,
WI: Iterator<Item = W> + ExactSizeIterator,
C: Borrow<Constraint>,
CI: Iterator<Item = C> + ExactSizeIterator,

impl<W, WI, C, CI> Encoder<WI, CI, File> where
W: Borrow<Witness>,
WI: Iterator<Item = W> + ExactSizeIterator,
C: Borrow<Constraint>,
CI: Iterator<Item = C> + ExactSizeIterator,

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

impl<W, WI, C, CI, B> Encoder<WI, CI, BufWriter<B>> where
W: Borrow<Witness>,
WI: Iterator<Item = W> + ExactSizeIterator,
C: Borrow<Constraint>,
CI: Iterator<Item = C> + ExactSizeIterator,
B: Write + Seek,

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

impl<W, WI, C, CI> Encoder<WI, CI, Cursor<Vec<u8>>> where
W: Borrow<Witness>,
WI: Iterator<Item = W> + ExactSizeIterator,
C: Borrow<Constraint>,
CI: Iterator<Item = C> + ExactSizeIterator,

impl<W, WI, C, CI, T> Encoder<WI, CI, T> where
W: Borrow<Witness>,
WI: Iterator<Item = W> + ExactSizeIterator,
C: Borrow<Constraint>,
CI: Iterator<Item = C> + ExactSizeIterator,
T: Write + Seek,

pub fn write_all(&mut self) -> Result<usize> where
W: Borrow<Witness>,
WI: Iterator<Item = W>,
C: Borrow<Constraint>,
CI: Iterator<Item = C>,

impl<WI, CI, T> RefUnwindSafe for Encoder<WI, CI, T> where
CI: RefUnwindSafe,
T: RefUnwindSafe,
WI: RefUnwindSafe,

impl<WI, CI, T> Send for Encoder<WI, CI, T> where
CI: Send,
T: Send,
WI: Send,

impl<WI, CI, T> Sync for Encoder<WI, CI, T> where
CI: Sync,
T: Sync,
WI: Sync,

impl<WI, CI, T> Unpin for Encoder<WI, CI, T> where
CI: Unpin,
T: Unpin,
WI: Unpin,

impl<WI, CI, T> UnwindSafe for Encoder<WI, CI, T> where
CI: UnwindSafe,
T: UnwindSafe,
WI: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,