Struct sp1_core::operations::field::params::Limbs

pub struct Limbs<T, N: ArrayLength>(pub GenericArray<T, N>);

An array representing N limbs of T.

GenericArray allows us to constrain the correct array lengths so we can have # of limbs and # of witness limbs associated in NumLimbs / FieldParameters. See: https://github.com/RustCrypto/traits/issues/1481

Tuple Fields

0: GenericArray<T, N>

Trait Implementations

impl<T: Clone, N: Clone + ArrayLength> Clone for Limbs<T, N>

fn clone(&self) -> Limbs<T, N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug, N: Debug + ArrayLength> Debug for Limbs<T, N>

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

Formats the value using the given formatter.

impl<T, N: ArrayLength> Default for Limbs<T, N>

where T: Default + Copy,

fn default() -> Self

Returns the “default value” for a type.

impl<'a, T: Debug + Default + Clone, N: ArrayLength> From<Iter<'a, T>> for Limbs<T, N>

fn from(value: Iter<'a, T>) -> Self

Converts to this type from the input type.

impl<Var: Into<Expr> + Clone, N: ArrayLength, Expr: Clone> From<Limbs<Var, N>> for Polynomial<Expr>

fn from(value: Limbs<Var, N>) -> Self

Converts to this type from the input type.

impl<T: Debug + Default + Clone, N: ArrayLength> From<Polynomial<T>> for Limbs<T, N>

fn from(value: Polynomial<T>) -> Self

Converts to this type from the input type.

impl<T, N: ArrayLength> Index<usize> for Limbs<T, N>

type Output = T

The returned type after indexing.

fn index(&self, index: usize) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<T, N: ArrayLength> IndexMut<usize> for Limbs<T, N>

fn index_mut(&mut self, index: usize) -> &mut Self::Output

Performs the mutable indexing (container[index]) operation.

impl<T, N: ArrayLength> IntoIterator for Limbs<T, N>

type Item = T

The type of the elements being iterated over.

type IntoIter = <GenericArray<T, N> as IntoIterator>::IntoIter

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<T: Copy, N: ArrayLength> Copy for Limbs<T, N>

where N::ArrayType<T>: Copy,