Trait rai_core::ValueSpec

pub trait ValueSpec {
    type Kind;
    type Tensors: TensorIter + 'static;
    type Gradient;
}

Required Associated Types

type Kind

type Tensors: TensorIter + 'static

type Gradient

Implementations on Foreign Types

impl ValueSpec for Option<bool>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<f32>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<f64>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<i8>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<i16>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<i32>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<i64>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<i128>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<isize>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<u8>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<u16>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<u32>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<u64>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<u128>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<()>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<usize>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<bf16>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for Option<f16>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for bool

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for f32

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for f64

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for i8

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for i16

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for i32

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for i64

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for i128

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for isize

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for u8

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for u16

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for u32

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for u64

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for u128

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for ()

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for usize

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for HashMap<usize, Tensor>

type Kind = Basic

type Tensors = HashMap<usize, Tensor>

type Gradient = HashMap<usize, Tensor>

impl ValueSpec for bf16

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl ValueSpec for f16

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<'a, T> ValueSpec for &'a T

where T: ValueSpec,

type Kind = <T as ValueSpec>::Kind

type Tensors = <T as ValueSpec>::Tensors

type Gradient = <T as ValueSpec>::Gradient

impl<A> ValueSpec for (A,)

where A: Value, A::Tensors: TensorIter,

type Kind = Tuple<(A,)>

type Tensors = <A as ValueSpec>::Tensors

type Gradient = <A as ValueSpec>::Gradient

impl<A, B> ValueSpec for (A, B)

where A: Value, B: Value, (A::Tensors, B::Tensors): TensorIter,

type Kind = Tuple<(A, B)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient)

impl<A, B, C> ValueSpec for (A, B, C)

where A: Value, B: Value, C: Value, (A::Tensors, B::Tensors, C::Tensors): TensorIter,

type Kind = Tuple<(A, B, C)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient)

impl<A, B, C, D> ValueSpec for (A, B, C, D)

where A: Value, B: Value, C: Value, D: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient)

impl<A, B, C, D, E> ValueSpec for (A, B, C, D, E)

where A: Value, B: Value, C: Value, D: Value, E: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors, E::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D, E)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors, <E as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient, <E as ValueSpec>::Gradient)

impl<A, B, C, D, E, F> ValueSpec for (A, B, C, D, E, F)

where A: Value, B: Value, C: Value, D: Value, E: Value, F: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors, E::Tensors, F::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D, E, F)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors, <E as ValueSpec>::Tensors, <F as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient, <E as ValueSpec>::Gradient, <F as ValueSpec>::Gradient)

impl<A, B, C, D, E, F, G> ValueSpec for (A, B, C, D, E, F, G)

where A: Value, B: Value, C: Value, D: Value, E: Value, F: Value, G: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors, E::Tensors, F::Tensors, G::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D, E, F, G)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors, <E as ValueSpec>::Tensors, <F as ValueSpec>::Tensors, <G as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient, <E as ValueSpec>::Gradient, <F as ValueSpec>::Gradient, <G as ValueSpec>::Gradient)

impl<A, B, C, D, E, F, G, H> ValueSpec for (A, B, C, D, E, F, G, H)

where A: Value, B: Value, C: Value, D: Value, E: Value, F: Value, G: Value, H: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors, E::Tensors, F::Tensors, G::Tensors, H::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D, E, F, G, H)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors, <E as ValueSpec>::Tensors, <F as ValueSpec>::Tensors, <G as ValueSpec>::Tensors, <H as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient, <E as ValueSpec>::Gradient, <F as ValueSpec>::Gradient, <G as ValueSpec>::Gradient, <H as ValueSpec>::Gradient)

impl<A, B, C, D, E, F, G, H, I> ValueSpec for (A, B, C, D, E, F, G, H, I)

where A: Value, B: Value, C: Value, D: Value, E: Value, F: Value, G: Value, H: Value, I: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors, E::Tensors, F::Tensors, G::Tensors, H::Tensors, I::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D, E, F, G, H, I)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors, <E as ValueSpec>::Tensors, <F as ValueSpec>::Tensors, <G as ValueSpec>::Tensors, <H as ValueSpec>::Tensors, <I as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient, <E as ValueSpec>::Gradient, <F as ValueSpec>::Gradient, <G as ValueSpec>::Gradient, <H as ValueSpec>::Gradient, <I as ValueSpec>::Gradient)

impl<A, B, C, D, E, F, G, H, I, J> ValueSpec for (A, B, C, D, E, F, G, H, I, J)

where A: Value, B: Value, C: Value, D: Value, E: Value, F: Value, G: Value, H: Value, I: Value, J: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors, E::Tensors, F::Tensors, G::Tensors, H::Tensors, I::Tensors, J::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D, E, F, G, H, I, J)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors, <E as ValueSpec>::Tensors, <F as ValueSpec>::Tensors, <G as ValueSpec>::Tensors, <H as ValueSpec>::Tensors, <I as ValueSpec>::Tensors, <J as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient, <E as ValueSpec>::Gradient, <F as ValueSpec>::Gradient, <G as ValueSpec>::Gradient, <H as ValueSpec>::Gradient, <I as ValueSpec>::Gradient, <J as ValueSpec>::Gradient)

impl<A, B, C, D, E, F, G, H, I, J, K> ValueSpec for (A, B, C, D, E, F, G, H, I, J, K)

where A: Value, B: Value, C: Value, D: Value, E: Value, F: Value, G: Value, H: Value, I: Value, J: Value, K: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors, E::Tensors, F::Tensors, G::Tensors, H::Tensors, I::Tensors, J::Tensors, K::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D, E, F, G, H, I, J, K)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors, <E as ValueSpec>::Tensors, <F as ValueSpec>::Tensors, <G as ValueSpec>::Tensors, <H as ValueSpec>::Tensors, <I as ValueSpec>::Tensors, <J as ValueSpec>::Tensors, <K as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient, <E as ValueSpec>::Gradient, <F as ValueSpec>::Gradient, <G as ValueSpec>::Gradient, <H as ValueSpec>::Gradient, <I as ValueSpec>::Gradient, <J as ValueSpec>::Gradient, <K as ValueSpec>::Gradient)

impl<A, B, C, D, E, F, G, H, I, J, K, L> ValueSpec for (A, B, C, D, E, F, G, H, I, J, K, L)

where A: Value, B: Value, C: Value, D: Value, E: Value, F: Value, G: Value, H: Value, I: Value, J: Value, K: Value, L: Value, (A::Tensors, B::Tensors, C::Tensors, D::Tensors, E::Tensors, F::Tensors, G::Tensors, H::Tensors, I::Tensors, J::Tensors, K::Tensors, L::Tensors): TensorIter,

type Kind = Tuple<(A, B, C, D, E, F, G, H, I, J, K, L)>

type Tensors = (<A as ValueSpec>::Tensors, <B as ValueSpec>::Tensors, <C as ValueSpec>::Tensors, <D as ValueSpec>::Tensors, <E as ValueSpec>::Tensors, <F as ValueSpec>::Tensors, <G as ValueSpec>::Tensors, <H as ValueSpec>::Tensors, <I as ValueSpec>::Tensors, <J as ValueSpec>::Tensors, <K as ValueSpec>::Tensors, <L as ValueSpec>::Tensors)

type Gradient = (<A as ValueSpec>::Gradient, <B as ValueSpec>::Gradient, <C as ValueSpec>::Gradient, <D as ValueSpec>::Gradient, <E as ValueSpec>::Gradient, <F as ValueSpec>::Gradient, <G as ValueSpec>::Gradient, <H as ValueSpec>::Gradient, <I as ValueSpec>::Gradient, <J as ValueSpec>::Gradient, <K as ValueSpec>::Gradient, <L as ValueSpec>::Gradient)

impl<E> ValueSpec for Result<bool, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<f32, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<f64, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<i8, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<i16, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<i32, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<i64, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<i128, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<isize, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<u8, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<u16, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<u32, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<u64, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<u128, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<(), E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<usize, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<bf16, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<E> ValueSpec for Result<f16, E>

type Kind = Basic

type Tensors = ()

type Gradient = ()

impl<const N: usize, T> ValueSpec for [T; N]

where T: Value, [T::Tensors; N]: TensorIter,

type Kind = Array<[T; N]>

type Tensors = [<T as ValueSpec>::Tensors; N]

type Gradient = [<T as ValueSpec>::Gradient; N]

Implementors

impl ValueSpec for Tensor

type Kind = Basic

type Tensors = Tensor

type Gradient = Tensor

impl<T> ValueSpec for Aux<T>

type Kind = Basic

type Tensors = ()

type Gradient = ()