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§
Required Associated Types§
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::ListIterwhere
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.