Trait Diffable

pub trait Diffable<StaticArgs> {
    type Input;
    type Output;
}

Required Associated Types

type Input

type Output

Implementors

impl<A: Diffable<StaticArgs>, B, StaticArgs> Diffable<StaticArgs> for ADConstantAdd<A, B>

where A::Output: Add<B>, B: Clone,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Add<B>>::Output

impl<A: Diffable<StaticArgs>, B, StaticArgs> Diffable<StaticArgs> for ADConstantDiv<A, B>

where A::Output: Div<B>, B: Clone,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Div<B>>::Output

impl<A: Diffable<StaticArgs>, B, StaticArgs> Diffable<StaticArgs> for ADConstantMul<A, B>

where A::Output: Mul<B>, B: Clone,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Mul<B>>::Output

impl<A: Diffable<StaticArgs>, B, StaticArgs> Diffable<StaticArgs> for ADConstantPow<A, B>

where A::Output: Pow<B>, B: Clone,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Pow<B>>::Output

impl<A: Diffable<StaticArgs>, B, StaticArgs> Diffable<StaticArgs> for ADConstantSub<A, B>

where A::Output: Sub<B>, B: Clone,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Sub<B>>::Output

impl<A: Diffable<StaticArgs>, B: Diffable<StaticArgs>, StaticArgs> Diffable<StaticArgs> for ADAdd<A, B>

where A::Output: Add<B::Output>,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Add<<B as Diffable<StaticArgs>>::Output>>::Output

impl<A: Diffable<StaticArgs>, B: Diffable<StaticArgs>, StaticArgs> Diffable<StaticArgs> for ADDiv<A, B>

where A::Output: Div<B::Output>,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Div<<B as Diffable<StaticArgs>>::Output>>::Output

impl<A: Diffable<StaticArgs>, B: Diffable<StaticArgs>, StaticArgs> Diffable<StaticArgs> for ADMul<A, B>

where A::Output: Mul<B::Output>,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Mul<<B as Diffable<StaticArgs>>::Output>>::Output

impl<A: Diffable<StaticArgs>, B: Diffable<StaticArgs>, StaticArgs> Diffable<StaticArgs> for ADSub<A, B>

where A::Output: Sub<B::Output>,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Sub<<B as Diffable<StaticArgs>>::Output>>::Output

impl<A: Diffable<StaticArgs>, NewInput, NewOutput, StaticArgs> Diffable<StaticArgs> for ADCoerce<A, NewInput, NewOutput>

type Input = NewInput

type Output = NewOutput

impl<A: Diffable<StaticArgs>, StaticArgs> Diffable<StaticArgs> for ADAbs<A>

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <A as Diffable<StaticArgs>>::Output

impl<A: Diffable<StaticArgs>, StaticArgs> Diffable<StaticArgs> for ADNeg<A>

where A::Output: Neg,

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <<A as Diffable<StaticArgs>>::Output as Neg>::Output

impl<A: Diffable<StaticArgs>, StaticArgs> Diffable<StaticArgs> for ADSignum<A>

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <A as Diffable<StaticArgs>>::Output

impl<A: Diffable<StaticArgs>, StaticArgs, NewStaticArgs> Diffable<(NewStaticArgs, StaticArgs)> for ADPrependStaticArgs<A, NewStaticArgs>

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <A as Diffable<StaticArgs>>::Output

impl<A: Diffable<StaticArgs>, StaticArgs, NewStaticArgs> Diffable<(StaticArgs, NewStaticArgs)> for ADAppendStaticArgs<A, NewStaticArgs>

type Input = <A as Diffable<StaticArgs>>::Input

type Output = <A as Diffable<StaticArgs>>::Output

impl<Outer, Inner, StaticArgs> Diffable<StaticArgs> for ADCompose<Outer, Inner>

where Outer: Diffable<StaticArgs>, Inner: Diffable<StaticArgs>,

type Input = <Inner as Diffable<StaticArgs>>::Input

type Output = <Outer as Diffable<StaticArgs>>::Output

impl<S, I> Diffable<S> for Identity<S, I>

type Input = I

type Output = I

impl<S, I, O> Diffable<S> for Polynomial<S, I, O>

type Input = I

type Output = O

impl<S, I, P> Diffable<S> for Monomial<S, I, P>

type Input = I

type Output = I

impl<StaticArgs, T> Diffable<StaticArgs> for AutoDiff<StaticArgs, T>

where T: Diffable<StaticArgs>,

Impl of Diffable<StaticArgs> for AutoDiff

type Input = <T as Diffable<StaticArgs>>::Input

type Output = <T as Diffable<StaticArgs>>::Output