Trait CheckedArithmetic 

pub trait CheckedArithmetic<Op, Rhs = Self> {
    type Output;

    // Required method
    fn checked_eval(self, rhs: Rhs) -> Option<Self::Output>;
}

Trait for checked arithmetic operations.

Required Associated Types

type Output

The result type after performing the operation.

Required Methods

fn checked_eval(self, rhs: Rhs) -> Option<Self::Output>

Perform the operation, returning None on overflow/underflow or division by zero. See the Op marker detailed semantics on the checked behavior.

Implementations on Foreign Types

impl<Op, T> CheckedArithmetic<Op> for &Buffer<T>

where T: Copy + Zero, Op: CheckedOperator<T>,

Implementation that allocates a new output buffer.

type Output = Buffer<T>

fn checked_eval(self, rhs: &Buffer<T>) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &Buffer<T>> for Buffer<T>

where T: Copy + Zero, BufferMut<T>: for<'a> CheckedArithmetic<Op, &'a Buffer<T>, Output = Buffer<T>>, for<'a> &'a Buffer<T>: CheckedArithmetic<Op, &'a Buffer<T>, Output = Buffer<T>>,

Implementation that attempts to downcast to a mutable buffer and operates in-place.

type Output = Buffer<T>

fn checked_eval(self, rhs: &Buffer<T>) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &Buffer<T>> for BufferMut<T>

where T: Copy + Zero, Op: CheckedOperator<T>,

Implementation that operates in-place over a mutable buffer.

type Output = Buffer<T>

fn checked_eval(self, rhs: &Buffer<T>) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &PVector<T>> for &PVector<T>

where T: NativePType, for<'a> &'a Buffer<T>: CheckedArithmetic<Op, &'a Buffer<T>, Output = Buffer<T>>,

Implementation that allocates a new output vector.

type Output = PVector<T>

fn checked_eval(self, rhs: &PVector<T>) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &PVector<T>> for PVector<T>

where T: NativePType, PVectorMut<T>: for<'a> CheckedArithmetic<Op, &'a PVector<T>, Output = PVector<T>>, for<'a> &'a PVector<T>: CheckedArithmetic<Op, &'a PVector<T>, Output = PVector<T>>,

Implementation that attempts to downcast to a mutable vector and operates in-place.

type Output = PVector<T>

fn checked_eval(self, rhs: &PVector<T>) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &PVector<T>> for PVectorMut<T>

where T: NativePType, BufferMut<T>: for<'a> CheckedArithmetic<Op, &'a Buffer<T>, Output = Buffer<T>>,

Implementation that operates in-place over a mutable vector.

type Output = PVector<T>

fn checked_eval(self, other: &PVector<T>) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &T> for &Buffer<T>

where T: Copy + Zero, Op: CheckedOperator<T>,

Implementation that allocates a new output buffer operating against a scalar RHS value.

type Output = Buffer<T>

fn checked_eval(self, rhs: &T) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &T> for &PVector<T>

where T: NativePType, for<'a> &'a Buffer<T>: CheckedArithmetic<Op, &'a T, Output = Buffer<T>>,

Implementation that allocates a new output vector against a scalar RHS value.

type Output = PVector<T>

fn checked_eval(self, rhs: &T) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &T> for Buffer<T>

where T: Copy + Zero, BufferMut<T>: for<'a> CheckedArithmetic<Op, &'a T, Output = Buffer<T>>, for<'a> &'a Buffer<T>: CheckedArithmetic<Op, &'a T, Output = Buffer<T>>,

Implementation that attempts to downcast to a mutable buffer and operates in-place against a scalar RHS value.

type Output = Buffer<T>

fn checked_eval(self, rhs: &T) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &T> for BufferMut<T>

where T: Copy + Zero, Op: CheckedOperator<T>,

Implementation that operates in-place over a mutable buffer against a scalar RHS value.

type Output = Buffer<T>

fn checked_eval(self, rhs: &T) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &T> for PVector<T>

where T: NativePType, PVectorMut<T>: for<'a> CheckedArithmetic<Op, &'a T, Output = PVector<T>>, for<'a> &'a PVector<T>: CheckedArithmetic<Op, &'a T, Output = PVector<T>>,

Implementation that attempts to downcast to a mutable vector and operates in-place against a scalar RHS value.

type Output = PVector<T>

fn checked_eval(self, rhs: &T) -> Option<Self::Output>

impl<Op, T> CheckedArithmetic<Op, &T> for PVectorMut<T>

where T: NativePType, BufferMut<T>: for<'a> CheckedArithmetic<Op, &'a T, Output = Buffer<T>>,

Implementation that operates in-place over a mutable vector against a scalar RHS value.

type Output = PVector<T>

fn checked_eval(self, rhs: &T) -> Option<Self::Output>

Implementors