Trait List

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

    const LEN: usize;

    // Required methods
    fn split(self) -> (<Self as List>::Head, <Self as List>::Tail);
    fn head(&self) -> &Self::Head;
    fn tail(&self) -> &Self::Tail;

    // Provided method
    fn into_iter_as<X>(self) -> Self::ListIter
       where Self: ListOf<X> { ... }
}

Required Associated Constants

const LEN: usize

Required Associated Types

type Head

type Tail: List

type IsEOL

Required Methods

fn split(self) -> (<Self as List>::Head, <Self as List>::Tail)

fn head(&self) -> &Self::Head

fn tail(&self) -> &Self::Tail

Provided Methods

fn into_iter_as<X>(self) -> Self::ListIter

where Self: ListOf<X>,

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> List for T

where T: List,

const LEN: usize = <Self as internal::List>::ILEN

type Head = <T as List>::IHead

type Tail = <T as List>::ITail

type IsEOL = <T as List>::IIsEOL