Trait agnes::cons::Append

pub trait Append<List> {
    type Appended;
    fn append(self, list: List) -> Self::Appended;
}

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

Associated Types

type Appended

The resulting cons-list type after adding the element of the target list to the end of the existing list.

Loading content...

Required methods

fn append(self, list: List) -> Self::Appended

Add a list to the end of this heterogeneous list.

Loading content...

Implementors

impl<List> Append<List> for Nil

type Appended = List

fn append(self, list: List) -> List

impl<List, H, T> Append<List> for Cons<H, T> where
    T: Append<List>, 

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

fn append(self, list: List) -> Cons<H, T::Appended>

Loading content...