Trait EmptyList 

pub trait EmptyList {
    type PushFirst<U: 'static>: List;
    type RootEmpty: EmptyList;

    // Required methods
    fn push_first<U>(self, item: U) -> Self::PushFirst<U>
       where U: 'static;
    fn root_empty() -> Self::RootEmpty;
}

Trait implemented by empty lists to support list construction.

Required Associated Types

type PushFirst<U: 'static>: List

The result of pushing the first element onto an empty list.

type RootEmpty: EmptyList

The canonical empty list type for this family.

Required Methods

fn push_first<U>(self, item: U) -> Self::PushFirst<U>

where U: 'static,

Push the first element onto an empty list.

fn root_empty() -> Self::RootEmpty

Return the canonical empty list.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl EmptyList for ()

type PushFirst<U: 'static> = (U, ())

type RootEmpty = ()

fn push_first<U>(self, item: U) -> <() as EmptyList>::PushFirst<U>

where U: 'static,

fn root_empty() -> <() as EmptyList>::RootEmpty

Implementors

impl<T> EmptyList for CNil<T>

where T: CStackListHeadLimit,

type PushFirst<U: 'static> = CStackList<U, CNil<T>>

type RootEmpty = CNil<()>