Trait CheckedAdd

pub trait CheckedAdd<Rhs = Self>: Sized {
    type Output;

    // Required method
    fn checked_add(&self, rhs: Rhs) -> CtOption<Self>;
}

Checked addition.

Required Associated Types

type Output

Output type.

Required Methods

fn checked_add(&self, rhs: Rhs) -> CtOption<Self>

Perform checked subtraction, returning a CtOption which is_some only if the operation did not overflow.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl CheckedAdd for Limb

type Output = Limb

impl<const LIMBS: usize> CheckedAdd<&Uint<LIMBS>> for Uint<LIMBS>

type Output = Uint<LIMBS>