Struct BinaryLeftShiftExtend 

pub struct BinaryLeftShiftExtend<'a>(/* private fields */);

For a BinaryBundle x and an integer n, shift x left by n 0s, extending the BinaryBundle.

That is, $x = x_1,...,x_m$ becomes $x_1,...,x_m,0_1,...,0_n$.

Implementations

impl<'a> BinaryLeftShiftExtend<'a>

pub fn new() -> Self

Create a new BinaryLeftShiftExtend circuit.

Trait Implementations

impl<'a, F: FancyBinary> Circuit<F> for BinaryLeftShiftExtend<'a>

where F::Item: 'a,

type Input = (&'a BinaryBundle<<F as Fancy>::Item>, usize)

The input type of the circuit.

type Output = BinaryBundle<<F as Fancy>::Item>

The output type of the circuit.

fn execute( &self, backend: &mut F, inputs: Self::Input, channel: &mut Channel<'_>, ) -> Result<Self::Output>

Execute a circuit on a given Fancy backend using the provided inputs.

impl<'a> Default for BinaryLeftShiftExtend<'a>

fn default() -> BinaryLeftShiftExtend<'a>

Returns the “default value” for a type.