Trait CarryingMul 

pub trait CarryingMul: Sized {
    type Output;

    // Required methods
    fn carrying_mul(
        self,
        rhs: Self,
        carry: Self,
    ) -> (Self::Output, Self::Output);
    fn carrying_mul_add(
        self,
        rhs: Self,
        addend: Self,
        carry: Self,
    ) -> (Self::Output, Self::Output);
}

Carrying multiplication for extended precision arithmetic.

Provides multiply-accumulate operations returning double-width results. This is the non-const version that delegates to ConstCarryingMul implementations.

Required Associated Types

type Output

Required Methods

fn carrying_mul(self, rhs: Self, carry: Self) -> (Self::Output, Self::Output)

Calculates self * rhs + carry, returning (low, high).

The result fits in double-width (2 * BITS) since MAX * MAX + MAX < (MAX+1)^2 = 2^(2*BITS).

fn carrying_mul_add( self, rhs: Self, addend: Self, carry: Self, ) -> (Self::Output, Self::Output)

Calculates self * rhs + addend + carry, returning (low, high).

The result fits in double-width (2 * BITS) since MAX * MAX + MAX + MAX < (MAX+1)^2 = 2^(2*BITS).

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.

Implementations on Foreign Types

impl CarryingMul for &u8

type Output = u8

fn carrying_mul(self, rhs: Self, carry: Self) -> (u8, u8)

fn carrying_mul_add(self, rhs: Self, addend: Self, carry: Self) -> (u8, u8)

impl CarryingMul for &u16

type Output = u16

fn carrying_mul(self, rhs: Self, carry: Self) -> (u16, u16)

fn carrying_mul_add(self, rhs: Self, addend: Self, carry: Self) -> (u16, u16)

impl CarryingMul for &u32

type Output = u32

fn carrying_mul(self, rhs: Self, carry: Self) -> (u32, u32)

fn carrying_mul_add(self, rhs: Self, addend: Self, carry: Self) -> (u32, u32)

impl CarryingMul for &u64

type Output = u64

fn carrying_mul(self, rhs: Self, carry: Self) -> (u64, u64)

fn carrying_mul_add(self, rhs: Self, addend: Self, carry: Self) -> (u64, u64)

impl CarryingMul for u8

type Output = u8

fn carrying_mul(self, rhs: Self, carry: Self) -> (Self, Self)

fn carrying_mul_add(self, rhs: Self, addend: Self, carry: Self) -> (Self, Self)

impl CarryingMul for u16

type Output = u16

fn carrying_mul(self, rhs: Self, carry: Self) -> (Self, Self)

fn carrying_mul_add(self, rhs: Self, addend: Self, carry: Self) -> (Self, Self)

impl CarryingMul for u32

type Output = u32

fn carrying_mul(self, rhs: Self, carry: Self) -> (Self, Self)

fn carrying_mul_add(self, rhs: Self, addend: Self, carry: Self) -> (Self, Self)

impl CarryingMul for u64

type Output = u64

fn carrying_mul(self, rhs: Self, carry: Self) -> (Self, Self)

fn carrying_mul_add(self, rhs: Self, addend: Self, carry: Self) -> (Self, Self)

Implementors

impl<T: ConstMachineWord + ConstCarryingAdd + ConstBorrowingSub + MachineWord, const N: usize> CarryingMul for &FixedUInt<T, N>

Ref-based carrying multiplication — allows calling with references.

type Output = FixedUInt<T, N>

impl<T: ConstMachineWord + ConstCarryingAdd + ConstBorrowingSub + MachineWord, const N: usize> CarryingMul for FixedUInt<T, N>

Non-const carrying multiplication that delegates to ConstCarryingMul.

type Output = FixedUInt<T, N>