Trait easy_ml::differentiation::record_operations::SwappedOperations

pub trait SwappedOperations<Lhs = Self> {
    type Output;
    fn sub_swapped(self, lhs: Lhs) -> Self::Output;
    fn div_swapped(self, lhs: Lhs) -> Self::Output;
}

A trait which defines subtraction and division with the arguments swapped around, ie 5.sub_swapped(7) would equal 2. This trait is only implemented for Records and constant operations.

Addition and Multiplication are not included because argument order doesn’t matter for those operations, so you can just swap the left and right and get the same result.

Implementations for Trace are not included because you can just lift a constant to a Trace with ease. While you can lift constants to Records with ease too, these operations allow for the avoidance of storing the constant on the WengertList which saves memory.

Associated Types

type Output

Required methods

fn sub_swapped(self, lhs: Lhs) -> Self::Output

fn div_swapped(self, lhs: Lhs) -> Self::Output

Implementors

impl<'a, T: Numeric + Primitive> SwappedOperations<&'_ T> for &Record<'a, T> where
    for<'t> &'t T: NumericRef<T>, 

type Output = Record<'a, T>

impl<'a, T: Numeric + Primitive> SwappedOperations<&'_ T> for Record<'a, T> where
    for<'t> &'t T: NumericRef<T>, 

type Output = Record<'a, T>

impl<'a, T: Numeric + Primitive> SwappedOperations<T> for &Record<'a, T> where
    for<'t> &'t T: NumericRef<T>, 

type Output = Record<'a, T>

impl<'a, T: Numeric + Primitive> SwappedOperations<T> for Record<'a, T> where
    for<'t> &'t T: NumericRef<T>, 

type Output = Record<'a, T>