NonEmpty

Trait NonEmpty 

Source
pub trait NonEmpty: TList + Sealed {
    // Required methods
    fn head(&self) -> &Head<Self>;
    fn tail(&self) -> &Tail<Self>;
}
Expand description

A trait implemented for non empty TList.

Required Methods§

Source

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

Source

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

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§

Source§

impl<H, T: TList> NonEmpty for Cat<H, T>