Trait agnes::label::LookupElemByLabel

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

Look up an element from a cons-list by label L.

Associated Types

type Elem

Type of lookup-up element.

Loading content...

Required methods

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

Look up the element from this cons-list.

Loading content...

Implementors

impl<L, T> LookupElemByLabel<L> for T where
    T: LookupNatByLabel<L>,
    T: LookupElemByNat<<T as LookupNatByLabel<L>>::Nat>, 

type Elem = Self::Elem

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

Loading content...