Trait PushBack 

pub trait PushBack<E>: HList {
    type Output;

    // Required method
    fn push_back(self, element: E) -> Self::Output;
}

Adds an element at the end of the list

Inverse of PushFront

Required Associated Types

type Output

The type of the resulting list.

Required Methods

fn push_back(self, element: E) -> Self::Output

Pushes an element at the end of the list.

Examples

With HCons

use tuplify::*;
let list = hcons!['1', "2"].push_back(0);

assert_eq!(list, hcons!['1', "2", 0]);

With tuples

use tuplify::*;
let list = ('1', "2").push_back(0);

assert_eq!(list, ('1', "2", 0));

use tuplify::*;
let list = ('1', "2").push_back((0, 1));

assert_eq!(list, ('1', "2", (0, 1)));

use tuplify::*;
let list = ().push_back(1);

assert_eq!(list, (1,));

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.

Implementations on Foreign Types

impl<E> PushBack<E> for ()

type Output = (E,)

fn push_back(self, element: E) -> Self::Output

Implementors

impl<E> PushBack<E> for HEmpty

type Output = HCons<E, HEmpty>

impl<L, E> PushBack<E> for L

where L: Uncons, L::Tail: PushBack<E>, <L::Tail as PushBack<E>>::Output: PushFront<L::Head>,

type Output = <<<L as Uncons>::Tail as PushBack<E>>::Output as PushFront<<L as Uncons>::Head>>::Output