Trait agnes::label::TakeElemByLabel

pub trait TakeElemByLabel<L> {
    type Elem;
    type Rest;
    fn take_elem(self) -> (Self::Elem, Self::Rest);
}

Take an element from a cons-list using label L.

Associated Types

type Elem

Type of taken element.

type Rest

Type of remaining cons-list after element was taken.

Loading content...

Required methods

fn take_elem(self) -> (Self::Elem, Self::Rest)

Take the element from this cons-list.

Loading content...

Implementors

impl<L, T> TakeElemByLabel<L> for T where
    T: LookupNatByLabel<L>,
    T: TakeElemByNat<<T as LookupNatByLabel<L>>::Nat>, 

type Elem = Self::Elem

type Rest = Self::Rest

fn take_elem(self) -> (Self::Elem, Self::Rest)

Loading content...