computation_types

Trait ComputationFn

Source 
pub trait ComputationFn: Computation {
    type Filled;

    // Required methods
    fn fill(self, named_args: NamedArgs) -> Self::Filled;
    fn arg_names(&self) -> Names;
}
Expand description

A type representing a function-like computation.

Most computations should implement this, even if they represent a function with zero arguments.

Required Associated Types§

Source

type Filled

Required Methods§

Source

fn fill(self, named_args: NamedArgs) -> Self::Filled

Fill arguments will values, replacing Args with Vals.

Source

fn arg_names(&self) -> Names

Implementations on Foreign Types§

Source§

impl<T> ComputationFn for Cow<'_, T>
where T: ComputationFn + ToOwned + ?Sized, T::Owned: ComputationFn,

Source§

type Filled = <<T as ToOwned>::Owned as ComputationFn>::Filled

Source§

fn fill(self, named_args: NamedArgs) -> Self::Filled

Source§

fn arg_names(&self) -> Names

Source§

impl<T> ComputationFn for &T
where T: ComputationFn + ToOwned + ?Sized, T::Owned: ComputationFn,

Source§

type Filled = <<T as ToOwned>::Owned as ComputationFn>::Filled

Source§

fn fill(self, named_args: NamedArgs) -> Self::Filled

Source§

fn arg_names(&self) -> Names

Source§

impl<T> ComputationFn for &mut T
where T: ComputationFn + ToOwned + ?Sized, T::Owned: ComputationFn,

Source§

type Filled = <<T as ToOwned>::Owned as ComputationFn>::Filled

Source§

fn fill(self, named_args: NamedArgs) -> Self::Filled

Source§

fn arg_names(&self) -> Names

Source§

impl<T> ComputationFn for Box<T>
where T: ComputationFn + ?Sized,

Source§

type Filled = <T as ComputationFn>::Filled

Source§

fn fill(self, named_args: NamedArgs) -> Self::Filled

Source§

fn arg_names(&self) -> Names

Source§

impl<T> ComputationFn for Rc<T>
where T: ComputationFn + ToOwned + ?Sized, T::Owned: ComputationFn,

Source§

type Filled = <<T as ToOwned>::Owned as ComputationFn>::Filled

Source§

fn fill(self, named_args: NamedArgs) -> Self::Filled

Source§

fn arg_names(&self) -> Names

Source§

impl<T> ComputationFn for Arc<T>
where T: ComputationFn + ToOwned + ?Sized, T::Owned: ComputationFn,

Source§

type Filled = <<T as ToOwned>::Owned as ComputationFn>::Filled

Source§

fn fill(self, named_args: NamedArgs) -> Self::Filled

Source§

fn arg_names(&self) -> Names

Implementors§

Source§

impl<A> ComputationFn for Max<A>
where Self: Computation, A: ComputationFn, Max<A::Filled>: Computation,

Source§

type Filled = Max<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Not<A>
where Self: Computation, A: ComputationFn, Not<A::Filled>: Computation,

Source§

type Filled = Not<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Len<A>
where Self: Computation, A: ComputationFn, Len<A::Filled>: Computation,

Source§

type Filled = Len<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Abs<A>
where Self: Computation, A: ComputationFn, Abs<A::Filled>: Computation,

Source§

type Filled = Abs<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Acos<A>
where Self: Computation, A: ComputationFn, Acos<A::Filled>: Computation,

Source§

type Filled = Acos<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Asin<A>
where Self: Computation, A: ComputationFn, Asin<A::Filled>: Computation,

Source§

type Filled = Asin<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Atan<A>
where Self: Computation, A: ComputationFn, Atan<A::Filled>: Computation,

Source§

type Filled = Atan<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Cos<A>
where Self: Computation, A: ComputationFn, Cos<A::Filled>: Computation,

Source§

type Filled = Cos<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Neg<A>
where Self: Computation, A: ComputationFn, Neg<A::Filled>: Computation,

Source§

type Filled = Neg<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Sin<A>
where Self: Computation, A: ComputationFn, Sin<A::Filled>: Computation,

Source§

type Filled = Sin<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Tan<A>
where Self: Computation, A: ComputationFn, Tan<A::Filled>: Computation,

Source§

type Filled = Tan<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Sum<A>
where Self: Computation, A: ComputationFn, Sum<A::Filled>: Computation,

Source§

type Filled = Sum<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Fst<A>
where Self: Computation, A: ComputationFn, Fst<A::Filled>: Computation,

Source§

type Filled = Fst<<A as ComputationFn>::Filled>

Source§

impl<A> ComputationFn for Snd<A>
where Self: Computation, A: ComputationFn, Snd<A::Filled>: Computation,

Source§

type Filled = Snd<<A as ComputationFn>::Filled>

Source§

impl<A, ArgNames, F> ComputationFn for Then<A, ArgNames, F>
where Self: Computation, A: ComputationFn, Then<A::Filled, ArgNames, F>: Computation,

Source§

type Filled = Then<<A as ComputationFn>::Filled, ArgNames, F>

Source§

impl<A, ArgNames, F, P> ComputationFn for LoopWhile<A, ArgNames, F, P>
where Self: Computation, A: ComputationFn, LoopWhile<A::Filled, ArgNames, F, P>: Computation,

Source§

type Filled = LoopWhile<<A as ComputationFn>::Filled, ArgNames, F, P>

Source§

impl<A, ArgNames, P, FTrue, FFalse> ComputationFn for If<A, ArgNames, P, FTrue, FFalse>
where Self: Computation, A: ComputationFn, If<A::Filled, ArgNames, P, FTrue, FFalse>: Computation,

Source§

type Filled = If<<A as ComputationFn>::Filled, ArgNames, P, FTrue, FFalse>

Source§

impl<A, B> ComputationFn for Eq<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Eq<A::Filled, B::Filled>: Computation,

Source§

type Filled = Eq<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Ge<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Ge<A::Filled, B::Filled>: Computation,

Source§

type Filled = Ge<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Gt<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Gt<A::Filled, B::Filled>: Computation,

Source§

type Filled = Gt<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Le<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Le<A::Filled, B::Filled>: Computation,

Source§

type Filled = Le<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Lt<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Lt<A::Filled, B::Filled>: Computation,

Source§

type Filled = Lt<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Ne<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Ne<A::Filled, B::Filled>: Computation,

Source§

type Filled = Ne<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for MatMul<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, MatMul<A::Filled, B::Filled>: Computation,

Source§

type Filled = MatMul<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for MulCol<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, MulCol<A::Filled, B::Filled>: Computation,

Source§

type Filled = MulCol<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for MulOut<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, MulOut<A::Filled, B::Filled>: Computation,

Source§

type Filled = MulOut<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Add<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Add<A::Filled, B::Filled>: Computation,

Source§

type Filled = Add<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Div<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Div<A::Filled, B::Filled>: Computation,

Source§

type Filled = Div<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Mul<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Mul<A::Filled, B::Filled>: Computation,

Source§

type Filled = Mul<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Pow<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Pow<A::Filled, B::Filled>: Computation,

Source§

type Filled = Pow<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Sub<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Sub<A::Filled, B::Filled>: Computation,

Source§

type Filled = Sub<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, B> ComputationFn for Zip<A, B>
where Self: Computation, A: ComputationFn, B: ComputationFn, Zip<A::Filled, B::Filled>: Computation,

Source§

type Filled = Zip<<A as ComputationFn>::Filled, <B as ComputationFn>::Filled>

Source§

impl<A, F> ComputationFn for Enumerate<A, F>
where Self: Computation, A: ComputationFn, Enumerate<A::Filled, F>: Computation,

Source§

type Filled = Enumerate<<A as ComputationFn>::Filled, F>

Source§

impl<A, F, FDim, FItem> ComputationFn for BlackBox<A, F, FDim, FItem>
where Self: Computation, A: ComputationFn, BlackBox<A::Filled, F, FDim, FItem>: Computation,

Source§

type Filled = BlackBox<<A as ComputationFn>::Filled, F, FDim, FItem>

Source§

impl<D, T> ComputationFn for Val<D, T>
where Val<D, T>: Computation,

Source§

type Filled = Val<D, T>

Source§

impl<Dist, T> ComputationFn for Rand<Dist, T>
where Self: Computation, Dist: ComputationFn, Rand<Dist::Filled, T>: Computation,

Source§

type Filled = Rand<<Dist as ComputationFn>::Filled, T>

Source§

impl<Dist, T, R> ComputationFn for SeededRand<Dist, T, R>
where Self: Computation, Dist: ComputationFn, R: ComputationFn, SeededRand<Dist::Filled, T, R::Filled>: Computation,

Source§

type Filled = SeededRand<<Dist as ComputationFn>::Filled, T, <R as ComputationFn>::Filled>

Source§

impl<Len, Elem> ComputationFn for FromDiagElem<Len, Elem>
where Self: Computation, Len: ComputationFn, Elem: ComputationFn, FromDiagElem<Len::Filled, Elem::Filled>: Computation,

Source§

type Filled = FromDiagElem<<Len as ComputationFn>::Filled, <Elem as ComputationFn>::Filled>

Source§

impl<Len, T> ComputationFn for IdentityMatrix<Len, T>
where Self: Computation, Len: ComputationFn, IdentityMatrix<Len::Filled, T>: Computation,

Source§

type Filled = IdentityMatrix<<Len as ComputationFn>::Filled, T>

Source§

impl<T0, T1, T2> ComputationFn for Zip3<T0, T1, T2>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, Zip3<T0::Filled, T1::Filled, T2::Filled>: Computation,

Source§

type Filled = Zip3<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3> ComputationFn for Zip4<T0, T1, T2, T3>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, Zip4<T0::Filled, T1::Filled, T2::Filled, T3::Filled>: Computation,

Source§

type Filled = Zip4<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4> ComputationFn for Zip5<T0, T1, T2, T3, T4>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, Zip5<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled>: Computation,

Source§

type Filled = Zip5<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5> ComputationFn for Zip6<T0, T1, T2, T3, T4, T5>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, Zip6<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled>: Computation,

Source§

type Filled = Zip6<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6> ComputationFn for Zip7<T0, T1, T2, T3, T4, T5, T6>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, Zip7<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled>: Computation,

Source§

type Filled = Zip7<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7> ComputationFn for Zip8<T0, T1, T2, T3, T4, T5, T6, T7>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, Zip8<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled>: Computation,

Source§

type Filled = Zip8<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8> ComputationFn for Zip9<T0, T1, T2, T3, T4, T5, T6, T7, T8>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, T8: ComputationFn, Zip9<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled, T8::Filled>: Computation,

Source§

type Filled = Zip9<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled, <T8 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9> ComputationFn for Zip10<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, T8: ComputationFn, T9: ComputationFn, Zip10<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled, T8::Filled, T9::Filled>: Computation,

Source§

type Filled = Zip10<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled, <T8 as ComputationFn>::Filled, <T9 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10> ComputationFn for Zip11<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, T8: ComputationFn, T9: ComputationFn, T10: ComputationFn, Zip11<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled, T8::Filled, T9::Filled, T10::Filled>: Computation,

Source§

type Filled = Zip11<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled, <T8 as ComputationFn>::Filled, <T9 as ComputationFn>::Filled, <T10 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11> ComputationFn for Zip12<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, T8: ComputationFn, T9: ComputationFn, T10: ComputationFn, T11: ComputationFn, Zip12<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled, T8::Filled, T9::Filled, T10::Filled, T11::Filled>: Computation,

Source§

type Filled = Zip12<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled, <T8 as ComputationFn>::Filled, <T9 as ComputationFn>::Filled, <T10 as ComputationFn>::Filled, <T11 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12> ComputationFn for Zip13<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, T8: ComputationFn, T9: ComputationFn, T10: ComputationFn, T11: ComputationFn, T12: ComputationFn, Zip13<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled, T8::Filled, T9::Filled, T10::Filled, T11::Filled, T12::Filled>: Computation,

Source§

type Filled = Zip13<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled, <T8 as ComputationFn>::Filled, <T9 as ComputationFn>::Filled, <T10 as ComputationFn>::Filled, <T11 as ComputationFn>::Filled, <T12 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13> ComputationFn for Zip14<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, T8: ComputationFn, T9: ComputationFn, T10: ComputationFn, T11: ComputationFn, T12: ComputationFn, T13: ComputationFn, Zip14<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled, T8::Filled, T9::Filled, T10::Filled, T11::Filled, T12::Filled, T13::Filled>: Computation,

Source§

type Filled = Zip14<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled, <T8 as ComputationFn>::Filled, <T9 as ComputationFn>::Filled, <T10 as ComputationFn>::Filled, <T11 as ComputationFn>::Filled, <T12 as ComputationFn>::Filled, <T13 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14> ComputationFn for Zip15<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, T8: ComputationFn, T9: ComputationFn, T10: ComputationFn, T11: ComputationFn, T12: ComputationFn, T13: ComputationFn, T14: ComputationFn, Zip15<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled, T8::Filled, T9::Filled, T10::Filled, T11::Filled, T12::Filled, T13::Filled, T14::Filled>: Computation,

Source§

type Filled = Zip15<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled, <T8 as ComputationFn>::Filled, <T9 as ComputationFn>::Filled, <T10 as ComputationFn>::Filled, <T11 as ComputationFn>::Filled, <T12 as ComputationFn>::Filled, <T13 as ComputationFn>::Filled, <T14 as ComputationFn>::Filled>

Source§

impl<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15> ComputationFn for Zip16<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15>
where Self: Computation, T0: ComputationFn, T1: ComputationFn, T2: ComputationFn, T3: ComputationFn, T4: ComputationFn, T5: ComputationFn, T6: ComputationFn, T7: ComputationFn, T8: ComputationFn, T9: ComputationFn, T10: ComputationFn, T11: ComputationFn, T12: ComputationFn, T13: ComputationFn, T14: ComputationFn, T15: ComputationFn, Zip16<T0::Filled, T1::Filled, T2::Filled, T3::Filled, T4::Filled, T5::Filled, T6::Filled, T7::Filled, T8::Filled, T9::Filled, T10::Filled, T11::Filled, T12::Filled, T13::Filled, T14::Filled, T15::Filled>: Computation,

Source§

type Filled = Zip16<<T0 as ComputationFn>::Filled, <T1 as ComputationFn>::Filled, <T2 as ComputationFn>::Filled, <T3 as ComputationFn>::Filled, <T4 as ComputationFn>::Filled, <T5 as ComputationFn>::Filled, <T6 as ComputationFn>::Filled, <T7 as ComputationFn>::Filled, <T8 as ComputationFn>::Filled, <T9 as ComputationFn>::Filled, <T10 as ComputationFn>::Filled, <T11 as ComputationFn>::Filled, <T12 as ComputationFn>::Filled, <T13 as ComputationFn>::Filled, <T14 as ComputationFn>::Filled, <T15 as ComputationFn>::Filled>

Source§

impl<T> ComputationFn for Arg<Zero, T>
where Self: Computation, T: 'static + AnyArg,

Source§

type Filled = Val<Zero, T>

Source§

impl<T> ComputationFn for Arg<One, T>
where Self: Computation, T: 'static + Clone + AnyArg,

Source§

type Filled = Val<Suc<Zero>, Vec<T>>

Source§

impl<T> ComputationFn for Arg<Two, T>
where Self: Computation, T: 'static + Clone + AnyArg,

Source§

type Filled = Val<Suc<Suc<Zero>>, Matrix<Vec<T>>>