pub trait RestrictedMath {
    type Arg: 'static + Sized + Copy;
    type Value: 'static + Sized + Copy;
    fn checked_add(
        &self,
        arg: Self::Arg
    ) -> Result<Restrict<Self::Value>, Self::Arg>;
fn checked_sub(
        &self,
        arg: Self::Arg
    ) -> Result<Restrict<Self::Value>, Self::Arg>;
fn checked_mul(
        &self,
        arg: Self::Arg
    ) -> Result<Restrict<Self::Value>, Self::Arg>; }
Expand description

Common checked math operations for the Restrict type

Associated Types

Argument for the math operations

Return value, generally the same as Arg

Required methods

Checked addition, see usize::checked_add

Checked subtraction, see usize::checked_sub

Checked multiplication, see usize::checked_mul

Implementations on Foreign Types

Implementors