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> CheckedArithmetic<Op> for &PrimitiveScalar

where for<'a> &'a PScalar<i8>: CheckedArithmetic<Op, &'a PScalar<i8>, Output = PScalar<i8>>, for<'a> &'a PScalar<i16>: CheckedArithmetic<Op, &'a PScalar<i16>, Output = PScalar<i16>>, for<'a> &'a PScalar<i32>: CheckedArithmetic<Op, &'a PScalar<i32>, Output = PScalar<i32>>, for<'a> &'a PScalar<i64>: CheckedArithmetic<Op, &'a PScalar<i64>, Output = PScalar<i64>>, for<'a> &'a PScalar<u8>: CheckedArithmetic<Op, &'a PScalar<u8>, Output = PScalar<u8>>, for<'a> &'a PScalar<u16>: CheckedArithmetic<Op, &'a PScalar<u16>, Output = PScalar<u16>>, for<'a> &'a PScalar<u32>: CheckedArithmetic<Op, &'a PScalar<u32>, Output = PScalar<u32>>, for<'a> &'a PScalar<u64>: CheckedArithmetic<Op, &'a PScalar<u64>, Output = PScalar<u64>>,

type Output = PrimitiveScalar

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

impl<Op> CheckedArithmetic<Op> for PrimitiveDatum

where for<'a> &'a PrimitiveScalar: CheckedArithmetic<Op, Output = PrimitiveScalar>, for<'a> PrimitiveVector: CheckedArithmetic<Op, &'a PrimitiveVector, Output = PrimitiveVector>,

type Output = PrimitiveDatum

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

impl<Op> CheckedArithmetic<Op, &PrimitiveVector> for PrimitiveVector

where for<'a> PVector<i8>: CheckedArithmetic<Op, &'a PVector<i8>, Output = PVector<i8>>, for<'a> PVector<i16>: CheckedArithmetic<Op, &'a PVector<i16>, Output = PVector<i16>>, for<'a> PVector<i32>: CheckedArithmetic<Op, &'a PVector<i32>, Output = PVector<i32>>, for<'a> PVector<i64>: CheckedArithmetic<Op, &'a PVector<i64>, Output = PVector<i64>>, for<'a> PVector<u8>: CheckedArithmetic<Op, &'a PVector<u8>, Output = PVector<u8>>, for<'a> PVector<u16>: CheckedArithmetic<Op, &'a PVector<u16>, Output = PVector<u16>>, for<'a> PVector<u32>: CheckedArithmetic<Op, &'a PVector<u32>, Output = PVector<u32>>, for<'a> PVector<u64>: CheckedArithmetic<Op, &'a PVector<u64>, Output = PVector<u64>>,

type Output = PrimitiveVector

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

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> for &PScalar<T>

where T: NativePType, Op: CheckedOperator<T>,

type Output = PScalar<T>

fn checked_eval(self, rhs: Self) -> 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