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

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, P: Personality> CarryingMul for &FixedUInt<T, N, P>

Ref-based carrying multiplication — allows calling with references.

type Output = FixedUInt<T, N, P>

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

Non-const carrying multiplication that delegates to ConstCarryingMul.

type Output = FixedUInt<T, N, P>