pub struct OnRight<P>(/* private fields */);Expand description
Descends into the right operand of a tensor product.
Trait Implementationsยง
impl<P: Copy> Copy for OnRight<P>
Sourceยงimpl<A, B, P> ReassociateKernel<OnRight<P>> for TensorProduct<A, B>where
A: Tensor<Hand = Right, Action: TensorProductAction<B::Action>>,
B: Tensor<F = A::F, Hand = Left, Action: ActionExists> + ReassociateKernel<P>,
<B as ReassociateKernel<P>>::Reassociated: Tensor<F = A::F, Hand = Left, Action = B::Action>,
impl<A, B, P> ReassociateKernel<OnRight<P>> for TensorProduct<A, B>where
A: Tensor<Hand = Right, Action: TensorProductAction<B::Action>>,
B: Tensor<F = A::F, Hand = Left, Action: ActionExists> + ReassociateKernel<P>,
<B as ReassociateKernel<P>>::Reassociated: Tensor<F = A::F, Hand = Left, Action = B::Action>,
Sourceยงtype Reassociated = TensorProduct<A, <B as ReassociateKernel<P>>::Reassociated>
type Reassociated = TensorProduct<A, <B as ReassociateKernel<P>>::Reassociated>
The same tensor factors and coordinate order in the new presentation.
Sourceยงfn reassociate_kernel(self) -> Self::Reassociated
fn reassociate_kernel(self) -> Self::Reassociated
Performs the selected coordinate-preserving associativity isomorphism.
Auto Trait Implementationsยง
impl<P> Freeze for OnRight<P>where
PhantomData<P>: Freeze,
impl<P> RefUnwindSafe for OnRight<P>where
PhantomData<P>: RefUnwindSafe,
impl<P> Send for OnRight<P>where
PhantomData<P>: Send,
impl<P> Sync for OnRight<P>where
PhantomData<P>: Sync,
impl<P> Unpin for OnRight<P>where
PhantomData<P>: Unpin,
impl<P> UnsafeUnpin for OnRight<P>where
PhantomData<P>: UnsafeUnpin,
impl<P> UnwindSafe for OnRight<P>where
PhantomData<P>: UnwindSafe,
Blanket Implementationsยง
Sourceยงimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Sourceยงfn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Sourceยงimpl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Sourceยงimpl<๐, X> Equivalent<๐, X> for Xwhere
๐: Cat,
impl<๐, X> Equivalent<๐, X> for Xwhere
๐: Cat,
Sourceยงimpl<T> OptionallyOption<T> for T
impl<T> OptionallyOption<T> for T
Sourceยงfn into_option(self) -> Option<T>
fn into_option(self) -> Option<T>
Converts either permitted representation into
Option<T>. Read more