Trait agnes::label::LookupValuedElemByLabel

pub trait LookupValuedElemByLabel<L>: LookupElemByLabel<L> {
    type Elem: Valued;
    fn elem(&self) -> &Self::Elem;
}

Sepcialization of LookupElemByLabel where the looked-up element implements Valued.

Associated Types

type Elem: Valued

Type of looked-up element.

Loading content...

Required methods

fn elem(&self) -> &Self::Elem

Look up the element from this cons-list.

Loading content...

Implementors

impl<T, L> LookupValuedElemByLabel<L> for T where
    T: LookupElemByLabel<L>,
    ElemOf<Self, L>: Valued, 

type Elem = Self::Elem

fn elem(&self) -> &Self::Elem

Loading content...