Trait opendp::traits::SaturatingMul

pub trait SaturatingMul: Sized {
    // Required method
    fn saturating_mul(&self, v: &Self) -> Self;
}

Multiplication that saturates at the numeric bounds instead of overflowing.

Avoids unrecoverable panics that could leak private information.

use opendp::traits::SaturatingMul;
assert_eq!(i8::MAX.saturating_mul(2), i8::MAX);

Required Methods

fn saturating_mul(&self, v: &Self) -> Self

Proof Definition

For any self and v of type Self, returns self * v, saturating at the relevant high or low boundary of the type.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl SaturatingMul for f32

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for f64

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for i8

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for i16

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for i32

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for i64

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for i128

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for isize

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for u8

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for u16

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for u32

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for u64

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for u128

fn saturating_mul(&self, v: &Self) -> Self

impl SaturatingMul for usize

fn saturating_mul(&self, v: &Self) -> Self

Implementors