pub struct Limbs<T, N: ArrayLength>(pub GenericArray<T, N>);Expand description
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§
Source§impl<T, N: ArrayLength> Default for Limbs<T, N>
impl<T, N: ArrayLength> Default for Limbs<T, N>
Source§impl<Var: Into<Expr> + Clone, N: ArrayLength, Expr: Clone> From<Limbs<Var, N>> for Polynomial<Expr>
impl<Var: Into<Expr> + Clone, N: ArrayLength, Expr: Clone> From<Limbs<Var, N>> for Polynomial<Expr>
Source§impl<T: Debug + Default + Clone, N: ArrayLength> From<Polynomial<T>> for Limbs<T, N>
impl<T: Debug + Default + Clone, N: ArrayLength> From<Polynomial<T>> for Limbs<T, N>
Source§fn from(value: Polynomial<T>) -> Self
fn from(value: Polynomial<T>) -> Self
Converts to this type from the input type.
Source§impl<T, N: ArrayLength> FromIterator<T> for Limbs<T, N>
impl<T, N: ArrayLength> FromIterator<T> for Limbs<T, N>
Source§impl<T, N: ArrayLength> IntoIterator for Limbs<T, N>
impl<T, N: ArrayLength> IntoIterator for Limbs<T, N>
impl<T: Copy, N: ArrayLength> Copy for Limbs<T, N>
Auto Trait Implementations§
impl<T, N> Freeze for Limbs<T, N>
impl<T, N> RefUnwindSafe for Limbs<T, N>
impl<T, N> Send for Limbs<T, N>where
T: Send,
impl<T, N> Sync for Limbs<T, N>where
T: Sync,
impl<T, N> Unpin for Limbs<T, N>
impl<T, N> UnwindSafe for Limbs<T, N>
Blanket Implementations§
Source§impl<'a, F, I> BatchInvert<F> for I
impl<'a, F, I> BatchInvert<F> for I
Source§fn batch_invert(self) -> F
fn batch_invert(self) -> F
Consumes this iterator and inverts each field element (when nonzero). Zero-valued
elements are left as zero. Read more
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more