Trait agnes::label::StrTypes

pub trait StrTypes {
    fn str_types<'a>() -> VecDeque<&'a str>;
}

Trait for generating a collection (VecDeque) of string descriptions for the types associated with the Self cons-list.

Required methods

fn str_types<'a>() -> VecDeque<&'a str>

Returns the string descriptions of the types associated with Self.

Loading content...

Implementors

impl StrTypes for Nil

fn str_types<'a>() -> VecDeque<&'a str>

impl<L, V, T> StrTypes for LVCons<L, V, T> where
    L: LabelName,
    T: StrTypes, 

fn str_types<'a>() -> VecDeque<&'a str>

Loading content...