Trait Lengthen

pub unsafe trait Lengthen<T>: Sized + GenericSequence<T> {
    type Longer: Shorten<T, Shorter = Self>;

    // Required methods
    fn append(self, last: T) -> Self::Longer;
    fn prepend(self, first: T) -> Self::Longer;
}

Defines any GenericSequence which can be lengthened or extended by appending or prepending an element to it.

Any lengthened sequence can be shortened back to the original using pop_front or pop_back

Safety

While the append and prepend methods are marked safe, care must be taken when implementing them.

Required Associated Types

type Longer: Shorten<T, Shorter = Self>

GenericSequence that has one more element than Self

Required Methods

fn append(self, last: T) -> Self::Longer

Returns a new array with the given element appended to the end of it.

Example:

let a = arr![1, 2, 3];

let b = a.append(4);

assert_eq!(b, arr![1, 2, 3, 4]);

fn prepend(self, first: T) -> Self::Longer

Returns a new array with the given element prepended to the front of it.

Example:

let a = arr![1, 2, 3];

let b = a.prepend(4);

assert_eq!(b, arr![4, 1, 2, 3]);

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<T, N> Lengthen<T> for GenericArray<T, N>

where N: Add<B1> + ArrayLength, Add1<N>: ArrayLength + Sub<B1, Output = N>, Sub1<Add1<N>>: ArrayLength,

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