pub unsafe trait Concat<T, M: ArrayLength>: GenericSequence<T> {
    type Rest: GenericSequence<T, Length = M>;
    type Output: GenericSequence<T>;

    // Required method
    fn concat(self, rest: Self::Rest) -> Self::Output;
}
Expand description

Defines GenericSequences which can be joined together, forming a larger array.

§Safety

While the concat method is marked safe, care must be taken when implementing it.

Required Associated Types§

source

type Rest: GenericSequence<T, Length = M>

Sequence to be concatenated with self

source

type Output: GenericSequence<T>

Resulting sequence formed by the concatenation.

Required Methods§

source

fn concat(self, rest: Self::Rest) -> Self::Output

Concatenate, or join, two sequences.

Object Safety§

This trait is not object safe.

Implementors§

source§

impl<T, N, M> Concat<T, M> for GenericArray<T, N>
where N: ArrayLength + Add<M>, M: ArrayLength, Sum<N, M>: ArrayLength,

§

type Rest = GenericArray<T, M>

§

type Output = GenericArray<T, <N as Add<M>>::Output>