Trait agnes::cons::PushBack

pub trait PushBack<U> {
    type Output;
    fn push_back(self, elem: U) -> Self::Output;
}

Trait for adding a new element to the end of a heterogeneous list.

Associated Types

type Output

The resulting cons-list type after pushing the specified H element to the front of the existing list.

Loading content...

Required methods

fn push_back(self, elem: U) -> Self::Output

Add an element to the end of this heterogeneous list.

Loading content...

Implementors

impl<U> PushBack<U> for Nil

type Output = Cons<U, Nil>

fn push_back(self, elem: U) -> Cons<U, Nil>

impl<U, H, T> PushBack<U> for Cons<H, T> where
    T: PushBack<U>, 

type Output = Cons<H, T::Output>

fn push_back(self, elem: U) -> Cons<H, T::Output>

Loading content...