Struct crypto_bigint::Checked

pub struct Checked<T>(pub CtOption<T>);

Provides intentionally-checked arithmetic on T.

Internally this leverages the CtOption type from the subtle crate in order to handle overflows in constant time.

Tuple Fields

0: CtOption<T>

Implementations

impl<T> Checked<T>

pub fn new(val: T) -> Self

Create a new checked arithmetic wrapper for the given value.

Trait Implementations

impl Add<&'_ Checked<Limb>> for Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the + operator.

fn add(self, rhs: &Checked<Limb>) -> Checked<Limb>

Performs the + operation.

impl Add<&'_ Checked<Limb>> for &Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the + operator.

fn add(self, rhs: &Checked<Limb>) -> Checked<Limb>

Performs the + operation.

impl<const LIMBS: usize> Add<&'_ Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the + operator.

fn add(self, rhs: &Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the + operation.

impl<const LIMBS: usize> Add<&'_ Checked<UInt<LIMBS>>> for &Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the + operator.

fn add(self, rhs: &Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the + operation.

impl Add<Checked<Limb>> for Checked<Limb>

type Output = Self

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Checked<Limb>

Performs the + operation.

impl Add<Checked<Limb>> for &Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the + operator.

fn add(self, rhs: Checked<Limb>) -> Checked<Limb>

Performs the + operation.

impl<const LIMBS: usize> Add<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Self

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Checked<UInt<LIMBS>>

Performs the + operation.

impl<const LIMBS: usize> Add<Checked<UInt<LIMBS>>> for &Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the + operator.

fn add(self, rhs: Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the + operation.

impl AddAssign<&'_ Checked<Limb>> for Checked<Limb>

fn add_assign(&mut self, other: &Self)

Performs the += operation.

impl<const LIMBS: usize> AddAssign<&'_ Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn add_assign(&mut self, other: &Self)

Performs the += operation.

impl AddAssign<Checked<Limb>> for Checked<Limb>

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<const LIMBS: usize> AddAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<T: Clone> Clone for Checked<T>

fn clone(&self) -> Checked<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: ConditionallySelectable> ConditionallySelectable for Checked<T>

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl<T: ConstantTimeEq> ConstantTimeEq for Checked<T>

fn ct_eq(&self, rhs: &Self) -> Choice

Determine if two items are equal.

impl<T: Debug> Debug for Checked<T>

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

Formats the value using the given formatter.

impl<T> Default for Checked<T> where
    T: Default, 

fn default() -> Self

Returns the “default value” for a type.

impl<T> From<Checked<T>> for CtOption<T>

fn from(checked: Checked<T>) -> CtOption<T>

Performs the conversion.

impl<T> From<Checked<T>> for Option<T>

fn from(checked: Checked<T>) -> Option<T>

Performs the conversion.

impl<T> From<CtOption<T>> for Checked<T>

fn from(ct_option: CtOption<T>) -> Checked<T>

Performs the conversion.

impl Mul<&'_ Checked<Limb>> for Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the * operator.

fn mul(self, rhs: &Checked<Limb>) -> Checked<Limb>

Performs the * operation.

impl Mul<&'_ Checked<Limb>> for &Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the * operator.

fn mul(self, rhs: &Checked<Limb>) -> Checked<Limb>

Performs the * operation.

impl<const LIMBS: usize> Mul<&'_ Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the * operator.

fn mul(self, rhs: &Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the * operation.

impl<const LIMBS: usize> Mul<&'_ Checked<UInt<LIMBS>>> for &Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the * operator.

fn mul(self, rhs: &Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the * operation.

impl Mul<Checked<Limb>> for Checked<Limb>

type Output = Self

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Checked<Limb>

Performs the * operation.

impl Mul<Checked<Limb>> for &Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the * operator.

fn mul(self, rhs: Checked<Limb>) -> Checked<Limb>

Performs the * operation.

impl<const LIMBS: usize> Mul<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Self

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Checked<UInt<LIMBS>>

Performs the * operation.

impl<const LIMBS: usize> Mul<Checked<UInt<LIMBS>>> for &Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the * operator.

fn mul(self, rhs: Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the * operation.

impl MulAssign<&'_ Checked<Limb>> for Checked<Limb>

fn mul_assign(&mut self, other: &Self)

Performs the *= operation.

impl<const LIMBS: usize> MulAssign<&'_ Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn mul_assign(&mut self, other: &Self)

Performs the *= operation.

impl MulAssign<Checked<Limb>> for Checked<Limb>

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl<const LIMBS: usize> MulAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl Sub<&'_ Checked<Limb>> for Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the - operator.

fn sub(self, rhs: &Checked<Limb>) -> Checked<Limb>

Performs the - operation.

impl Sub<&'_ Checked<Limb>> for &Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the - operator.

fn sub(self, rhs: &Checked<Limb>) -> Checked<Limb>

Performs the - operation.

impl<const LIMBS: usize> Sub<&'_ Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the - operator.

fn sub(self, rhs: &Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the - operation.

impl<const LIMBS: usize> Sub<&'_ Checked<UInt<LIMBS>>> for &Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the - operator.

fn sub(self, rhs: &Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the - operation.

impl Sub<Checked<Limb>> for Checked<Limb>

type Output = Self

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Checked<Limb>

Performs the - operation.

impl Sub<Checked<Limb>> for &Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the - operator.

fn sub(self, rhs: Checked<Limb>) -> Checked<Limb>

Performs the - operation.

impl<const LIMBS: usize> Sub<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

type Output = Self

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> Checked<UInt<LIMBS>>

Performs the - operation.

impl<const LIMBS: usize> Sub<Checked<UInt<LIMBS>>> for &Checked<UInt<LIMBS>>

type Output = Checked<UInt<LIMBS>>

The resulting type after applying the - operator.

fn sub(self, rhs: Checked<UInt<LIMBS>>) -> Checked<UInt<LIMBS>>

Performs the - operation.

impl SubAssign<&'_ Checked<Limb>> for Checked<Limb>

fn sub_assign(&mut self, other: &Self)

Performs the -= operation.

impl<const LIMBS: usize> SubAssign<&'_ Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn sub_assign(&mut self, other: &Self)

Performs the -= operation.

impl SubAssign<Checked<Limb>> for Checked<Limb>

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<const LIMBS: usize> SubAssign<Checked<UInt<LIMBS>>> for Checked<UInt<LIMBS>>

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<T: Copy> Copy for Checked<T>