Trait tylisp::marker_traits::List[][src]

pub trait List: List {
    type Head;
    type Tail: List;
    type IsEOL;

    const LEN: usize;

    fn split(self) -> (Self::Head, Self::Tail);
fn head(&self) -> &Self::Head;
fn tail(&self) -> &Self::Tail; fn into_iter_as<X>(self) -> Self::ListIter
    where
        Self: ListOf<X>
, { ... } }

Associated Types

type Head[src]

type Tail: List[src]

type IsEOL[src]

Associated Constants

Required methods

fn split(self) -> (Self::Head, Self::Tail)[src]

fn head(&self) -> &Self::Head[src]

fn tail(&self) -> &Self::Tail[src]

Provided methods

fn into_iter_as<X>(self) -> Self::ListIter where
    Self: ListOf<X>, 
[src]

Implementors

impl<T> List for T where
    T: List, 
[src]

type Head = Self::IHead

type Tail = Self::ITail

type IsEOL = Self::IIsEOL

const LEN: usize[src]

fn split(self) -> (Self::Head, Self::Tail)[src]

fn head(&self) -> &Self::Head[src]

fn tail(&self) -> &Self::Tail[src]