Struct 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.

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 = 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 Add for Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Checked<Uint<LIMBS>>

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> 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 for Checked<Limb>

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<const LIMBS: usize> AddAssign 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.

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT 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>

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

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, const HLIMBS: usize> Mul<&Checked<Uint<HLIMBS>>> for &Checked<Uint<LIMBS>>

type Output = Checked<Uint<LIMBS>>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<const LIMBS: usize, const HLIMBS: usize> Mul<&Checked<Uint<HLIMBS>>> for Checked<Uint<LIMBS>>

type Output = Checked<Uint<LIMBS>>

The resulting type after applying the * operator.

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

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, const HLIMBS: usize> Mul<Checked<Uint<HLIMBS>>> for &Checked<Uint<LIMBS>>

type Output = Checked<Uint<LIMBS>>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<const LIMBS: usize, const HLIMBS: usize> Mul<Checked<Uint<HLIMBS>>> for Checked<Uint<LIMBS>>

type Output = Checked<Uint<LIMBS>>

The resulting type after applying the * operator.

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

Performs the * operation.

impl Mul for Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the * operator.

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

Performs the * operation.

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

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

Performs the *= operation.

impl<const LIMBS: usize, const HLIMBS: usize> MulAssign<&Checked<Uint<HLIMBS>>> for Checked<Uint<LIMBS>>

fn mul_assign(&mut self, other: &Checked<Uint<HLIMBS>>)

Performs the *= operation.

impl<const LIMBS: usize, const HLIMBS: usize> MulAssign<Checked<Uint<HLIMBS>>> for Checked<Uint<LIMBS>>

fn mul_assign(&mut self, other: Checked<Uint<HLIMBS>>)

Performs the *= operation.

impl MulAssign for Checked<Limb>

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 = 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 Sub for Checked<Limb>

type Output = Checked<Limb>

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Checked<Uint<LIMBS>>

The resulting type after applying the - operator.

fn sub(self, rhs: Self) -> 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 for Checked<Limb>

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

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

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.