Trait ManagedVecItemPayloadAdd

pub trait ManagedVecItemPayloadAdd<Rhs>: ManagedVecItemPayload
where
    Rhs: ManagedVecItemPayload,
{
    type Output: ManagedVecItemPayload;

    // Required methods
    fn split_from_add(payload: &Self::Output) -> (&Self, &Rhs);
    fn split_mut_from_add(payload: &mut Self::Output) -> (&mut Self, &mut Rhs);
}

Describes concatantion of smaller payloads into a larger one.

There is no runtime implementation, just a type-level addition.

Implemented via macros, because generic const expressions are currently unstable.

Required Associated Types

type Output: ManagedVecItemPayload

Required Methods

fn split_from_add(payload: &Self::Output) -> (&Self, &Rhs)

fn split_mut_from_add(payload: &mut Self::Output) -> (&mut Self, &mut Rhs)

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<N1, N2> ManagedVecItemPayloadAdd<ManagedVecItemPayloadBuffer<N2>> for ManagedVecItemPayloadBuffer<N1>

where N1: ArrayLength + Add<N2>, N2: ArrayLength, <N1 as Add<N2>>::Output: ArrayLength,

type Output = ManagedVecItemPayloadBuffer<<N1 as Add<N2>>::Output>

impl<N> ManagedVecItemPayloadAdd<ManagedVecItemEmptyPayload> for ManagedVecItemPayloadBuffer<N>

where N: ArrayLength,

type Output = ManagedVecItemPayloadBuffer<N>

impl<N> ManagedVecItemPayloadAdd<ManagedVecItemPayloadBuffer<N>> for ManagedVecItemEmptyPayload

where N: ArrayLength,

type Output = ManagedVecItemPayloadBuffer<N>