Trait lhlist::HasLabels

pub trait HasLabels {
    type Labels;
    fn labels_only(&self) -> Self::Labels
    where
        Self::Labels: Default,
    { ... }
}

Trait for extracting the labels (LCons) from a cons-list of elements which all implement Label.

Associated Types

type Labels

Associated labels

Loading content...

Provided methods

fn labels_only(&self) -> Self::Labels where
    Self::Labels: Default, 

Instantiates a cons-list only containing label information.

Loading content...

Implementors

impl HasLabels for Nil

type Labels = Nil

fn labels_only(&self) -> Self::Labels where
    Self::Labels: Default, 

impl<Lbl, Tail> HasLabels for LVCons<Lbl, Tail> where
    Lbl: Label,
    Tail: HasLabels, 

type Labels = LCons<Lbl, Tail::Labels>

fn labels_only(&self) -> Self::Labels where
    Self::Labels: Default, 

Loading content...